Author of the publication

The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem.

, , , and . ESEC / SIGSOFT FSE, volume 1301 of Lecture Notes in Computer Science, page 432-449. Springer, (1997)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Model-assisted machine-code synthesis., , and . Proc. ACM Program. Lang., 1 (OOPSLA): 61:1-61:26 (2017)Tuning Models of Code with Compiler-Generated Reinforcement Learning Feedback., , , , and . CoRR, (2023)The Synthesizer Generator., and . Software Development Environments (SDE), page 42-48. ACM, (1984)SIGPLAN Notices 19 (5), May 1984.A program integration algorithm that accommodates semantics-preserving transformations., , and . SDE, page 133-143. ACM, (1990)Revamping TVLA: Making Parametric Shape Analysis Competitive., , , and . CAV, volume 4590 of Lecture Notes in Computer Science, page 221-225. Springer, (2007)Synthesis with Asymptotic Resource Bounds., , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 783-807. Springer, (2021)Programmable Program Synthesis., , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 84-109. Springer, (2021)Component-based synthesis for complex APIs., , , , and . POPL, page 599-612. ACM, (2017)Speeding up Slicing., , , and . SIGSOFT FSE, page 11-20. ACM, (1994)Automatic discovery of API-level exploits., , , , and . ICSE, page 312-321. ACM, (2005)