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.

 

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

The Design, Implementation, and Evaluation of Jade., и . ACM Trans. Program. Lang. Syst., 20 (3): 483-545 (1998)Probabilistic accuracy bounds for fault-tolerant computations that discard tasks.. ICS, стр. 324-334. ACM, (2006)A source-to-source transformation tool for error fixing., , и . CASCON, стр. 147-160. IBM / ACM, (2013)Software analysis: a roadmap: a roadmap., и . ICSE - Future of SE Track, стр. 133-145. ACM, (2000)Semantic Foundations of Concurrent Constraint Programming., , и . POPL, стр. 333-352. ACM Press, (1991)Detecting and eliminating memory leaks using cyclic memory allocation., и . ISMM, стр. 15-30. ACM, (2007)Automatic inference of code transforms for patch generation., , и . ESEC/SIGSOFT FSE, стр. 727-739. ACM, (2017)On the Complexity of Commutativity Analysis., , и . COCOON, том 1090 из Lecture Notes in Computer Science, стр. 323-332. Springer, (1996)Design-Driven Compilation., и . CC, том 2027 из Lecture Notes in Computer Science, стр. 150-164. Springer, (2001)Synthesizing replacement classes., , и . Proc. ACM Program. Lang., 4 (POPL): 52:1-52:33 (2020)