Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Source Code Curation on StackOverflow: The Vesperin System., and . ICSE (2), page 661-664. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Multistaging to understand: Distilling the essence of java code examples., , and . ICPC, page 1-10. IEEE Computer Society, (2016)Xylem: The Code of Plants., , , , , , , , , and 6 other author(s). FDG, Society for the Advancement of the Science of Digital Games, (2014)JayHorn: A Framework for Verifying Java programs., , , and . CAV (1), volume 9779 of Lecture Notes in Computer Science, page 352-358. Springer, (2016)Kaizen: a semi-automatic index advisor., , , and . SIGMOD Conference, page 685-688. ACM, (2012)Putting Your Passwords on Self-destruct Mode: Beating Password Fatigue., and . WSF@SOUPS, USENIX Association, (2016)Software verification games: Designing Xylem, The Code of Plants., , , , , , , , , and 6 other author(s). FDG, Society for the Advancement of the Science of Digital Games, (2014)Benchmarking Online Index-Tuning Algorithms., , , , and . IEEE Data Eng. Bull., 34 (4): 28-35 (2011)SNIPR: complementing code search with code retargeting capabilities.. ICSE, page 1423-1426. IEEE Computer Society, (2013)Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel., , , , and . ICSR, volume 9679 of Lecture Notes in Computer Science, page 315-330. Springer, (2016)