Author of the publication

Toward Semantic Foundations for Program Editors.

, , , , , , and . SNAPL, volume 71 of LIPIcs, page 11:1-11:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)

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

Statistical Machine Translation Is a Natural Fit for Automatic Identifier Renaming in Software Source Code., , , , and . AAAI Workshops, volume WS-18 of AAAI Technical Report, page 771-774. AAAI Press, (2018)VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning., , , , , and . ICSE, page 2327-2339. ACM, (2022)Guest editorial for special section on research in search-based software engineering., and . Empir. Softw. Eng., 22 (2): 849-851 (2017)Meaningful variable names for decompiled code: a machine translation approach., , , , and . ICPC, page 20-30. ACM, (2018)S3: syntax- and semantic-guided repair synthesis via programming by examples., , , , and . ESEC/SIGSOFT FSE, page 593-604. ACM, (2017)A Study on Challenges of Testing Robotic Systems., , , and . ICST, page 96-107. IEEE, (2020)Analyzing the impact of social attributes on commit integration success., , and . MSR, page 483-486. IEEE Computer Society, (2017)Trusted Software Repair for System Resiliency., , , , and . DSN Workshops, page 238-241. IEEE Computer Society, (2016)Static automated program repair for heap properties., and . ICSE, page 151-162. ACM, (2018)Enhancing Automated Program Repair with Deductive Verification., , , and . ICSME, page 428-432. IEEE Computer Society, (2016)