Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Polynomial-Time Algorithm for Global Value Numbering., und . SAS, Volume 3148 von Lecture Notes in Computer Science, Seite 212-227. Springer, (2004)Randomized Algorithms for Program Analysis and Verification., und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 1. Springer, (2005)Automating Human Tutor-Style Programming Feedback: Leveraging GPT-4 Tutor Model for Hint Generation and GPT-3.5 Student Model for Hint Validation., , , , , , , und . CoRR, (2023)CORNET: Learning Spreadsheet Formatting Rules By Example., , , , , und . Proc. VLDB Endow., 16 (12): 4058-4061 (2023)An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software., und . CAV, Volume 4590 von Lecture Notes in Computer Science, Seite 379-392. Springer, (2007)EmFore: Online Learning of Email Folder Classification Rules., , , , und . CIKM, Seite 2280-2290. ACM, (2023)How Can Automatic Feedback Help Students Construct Automata?, , , , , und . ACM Trans. Comput. Hum. Interact., 22 (2): 9:1-9:24 (2015)APIfix: output-oriented program synthesis for combating breaking changes in libraries., , , , , und . Proc. ACM Program. Lang., 5 (OOPSLA): 1-27 (2021)Structure interpretation of text formats., , , , und . Proc. ACM Program. Lang., 4 (OOPSLA): 212:1-212:29 (2020)Precise interprocedural analysis using random interpretation., und . POPL, Seite 324-337. ACM, (2005)