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

The ruby type checker., , , and . SAC, page 1565-1572. ACM, (2013)Path projection for user-centered static analysis tools., , , and . PASTE, page 57-63. ACM, (2008)Static type inference for Ruby., , , and . SAC, page 1859-1866. ACM, (2009)Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C., , and . SAS, volume 1824 of Lecture Notes in Computer Science, page 175-198. Springer, (2000)An Observational Investigation of Reverse Engineers' Process and Mental Models., , , , and . CHI Extended Abstracts, ACM, (2019)An Observational Investigation of Reverse Engineers' Processes., , , , and . CoRR, (2019)Serializing C intermediate representations for efficient and portable parsing., , and . Softw. Pract. Exp., 40 (3): 225-238 (2010)An empirical assessment of machine learning approaches for triaging reports of static analysis tools., , , , , , and . Empir. Softw. Eng., 28 (2): 28 (March 2023)Inferring aliasing and encapsulation properties for java., and . OOPSLA, page 423-440. ACM, (2007)Incremental computation with names., , , , , , and . OOPSLA, page 748-766. ACM, (2015)