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.

 

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

On the fly synthesis of edit suggestions., , , , , , , и . Proc. ACM Program. Lang., 3 (OOPSLA): 143:1-143:29 (2019)From non-preemptive to preemptive scheduling using synchronization synthesis., , , , , , и . Formal Methods Syst. Des., 50 (2-3): 97-139 (2017)Regression-Free Synthesis for Concurrency., , , , и . CAV, том 8559 из Lecture Notes in Computer Science, стр. 568-584. Springer, (2014)Battery transition systems., , и . POPL, стр. 595-606. ACM, (2014)NL2Viz: natural language to visualization via constrained syntax-guided synthesis., , , , , , , , , и . ESEC/SIGSOFT FSE, стр. 972-983. ACM, (2022)AutoTSG: learning and synthesis for incident troubleshooting., , , , и . ESEC/SIGSOFT FSE, стр. 1477-1488. ACM, (2022)Landmarks and regions: a robust approach to data extraction., , , , , , и . PLDI, стр. 993-1009. ACM, (2022)Segment Abstraction for Worst-Case Execution Time Analysis., , , , и . ESOP, том 9032 из Lecture Notes in Computer Science, стр. 105-131. Springer, (2015)Synthesis Through Unification., , и . CAV (2), том 9207 из Lecture Notes in Computer Science, стр. 163-179. Springer, (2015)Overwatch: Learning Patterns in Code Edit Sequences., , , , , , , , , и 1 other автор(ы). CoRR, (2022)