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.

 

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

Revamping TVLA: Making Parametric Shape Analysis Competitive., , , и . CAV, том 4590 из Lecture Notes in Computer Science, стр. 221-225. Springer, (2007)Synthesis with Asymptotic Resource Bounds., , , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 783-807. Springer, (2021)Programmable Program Synthesis., , , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 84-109. Springer, (2021)The Synthesizer Generator., и . Software Development Environments (SDE), стр. 42-48. ACM, (1984)SIGPLAN Notices 19 (5), May 1984.A program integration algorithm that accommodates semantics-preserving transformations., , и . SDE, стр. 133-143. ACM, (1990)Component-based synthesis for complex APIs., , , , и . POPL, стр. 599-612. ACM, (2017)Speeding up Slicing., , , и . SIGSOFT FSE, стр. 11-20. ACM, (1994)Pointer Analysis for Programs with Structures and Casting., , и . PLDI, стр. 91-103. ACM, (1999)Automatic discovery of API-level exploits., , , , и . ICSE, стр. 312-321. ACM, (2005)Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems., , , и . PLDI, стр. 1128-1142. ACM, (2020)