Author of the publication

Natural Language is a Programming Language: Applying Natural Language Processing to Software Development.

. SNAPL, volume 71 of LIPIcs, page 4:1-4:14. 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

Automatic SAT-Compilation of Planning Problems., , and . IJCAI, page 1169-1177. Morgan Kaufmann, (1997)Panel: Perspectives on Software Engineering., , , , and . ICSE, page 699-702. IEEE Computer Society, (2001)Inferring models of concurrent systems from logs of their behavior with CSight., , , and . ICSE, page 468-479. ACM, (2014)Summary: ICSE workshop on dynamic analysis (WODA 2003)., and . ACM SIGSOFT Softw. Eng. Notes, 28 (6): 4 (2003)Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support., , and . Software Engineering & Management, volume P-239 of LNI, page 53-54. GI, (2015)How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback.. TAP@TOOLS, volume 6143 of Lecture Notes in Computer Science, page 1-2. Springer, (2010)An Empirical Study of Fault Localization Families and Their Combinations., , , , and . IEEE Trans. Software Eng., 47 (2): 332-347 (2021)A Data Programming CS1 Course., , , , and . SIGCSE, page 150-155. ACM, (2015)Verifying that web pages have accessible layout., , , , and . PLDI, page 1-14. ACM, (2018)Invariant inference for static checking., and . SIGSOFT FSE, page 11-20. ACM, (2002)