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

Replacements and Replaceables: Making the Case for Code Variants., , , , and . CoRR, (2020)Verifying and Testing Concurrent Programs using Constraint Solver based Approaches., , and . ICSME, page 834-838. IEEE, (2020)Modeling Functional Similarity in Source Code with Graph-Based Siamese Networks., , , , , and . CoRR, (2020)The road not taken: exploring alias analysis based optimizations missed by the compiler., , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 786-810 (2022)Optimizing monitoring of finite state properties through monitor compaction., , and . ISSTA, page 280-290. ACM, (2013)CGuard: Scalable and Precise Object Bounds Protection for C., , , and . ISSTA, page 1307-1318. ACM, (2023)A search system for mathematical expressions on software binaries., , , and . MSR, page 487-491. ACM, (2018)ANNE: Improving Source Code Search using Entity Retrieval Approach., , , , and . WSDM, page 211-220. ACM, (2017)Residual Checking of Safety Properties., and . SPIN, volume 5156 of Lecture Notes in Computer Science, page 1-2. Springer, (2008)Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources., , and . PEPM, page 21-26. ACM, (2015)