From post

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.

 

Другие публикации лиц с тем же именем

APIfix: output-oriented program synthesis for combating breaking changes in libraries., , , , , и . Proc. ACM Program. Lang., 5 (OOPSLA): 1-27 (2021)Structure interpretation of text formats., , , , и . Proc. ACM Program. Lang., 4 (OOPSLA): 212:1-212:29 (2020)Bound Analysis of Imperative Programs with the Size-Change Abstraction., , , и . SAS, том 6887 из Lecture Notes in Computer Science, стр. 280-297. Springer, (2011)A Polynomial-Time Algorithm for Global Value Numbering., и . SAS, том 3148 из Lecture Notes in Computer Science, стр. 212-227. Springer, (2004)Randomized Algorithms for Program Analysis and Verification., и . CAV, том 3576 из Lecture Notes in Computer Science, стр. 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., , , , , , , и . CoRR, (2023)CORNET: Learning Spreadsheet Formatting Rules By Example., , , , , и . Proc. VLDB Endow., 16 (12): 4058-4061 (2023)An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software., и . CAV, том 4590 из Lecture Notes in Computer Science, стр. 379-392. Springer, (2007)EmFore: Online Learning of Email Folder Classification Rules., , , , и . CIKM, стр. 2280-2290. ACM, (2023)Precise interprocedural analysis using random interpretation., и . POPL, стр. 324-337. ACM, (2005)