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

Deep typechecking and refactoring., , , , and . OOPSLA, page 37-52. ACM, (2008)Towards foundational verification of cyber-physical systems., , , and . SOSCYPS@CPSWeek, page 1-5. IEEE Computer Society, (2016)Finding root causes of floating point error., , , and . PLDI, page 256-269. ACM, (2018)Latent Variable Models for Predicting File Dependencies in Large-Scale Software Development., , , , and . NIPS, page 865-873. Curran Associates, Inc., (2010)WitchDoctor: IDE support for real-time auto-completion of refactorings., , and . ICSE, page 222-232. IEEE Computer Society, (2012)Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis., , , , , , and . SAS, volume 2477 of Lecture Notes in Computer Science, page 230-246. Springer, (2002)Targeted Synthesis for Programming with Data Invariants., , , and . CoRR, (2019)A Computational Stack for Cross-Domain Acceleration., , , , , , , and . HPCA, page 54-70. IEEE, (2021)Live programming and programming by example: better together (keynote).. GPCE, page 1. ACM, (2021)Seamless Integration of Coding and Gameplay: Writing Code Without Knowing it., , and . FDG, Society for the Advancement of the Science of Digital Games, (2015)