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 Why and Wherefore of the Cornell Program Synthesizer, , и . ACM SIGPLAN Notices, 16 (6): 8--16 (июня 1981)Tool Demonstration: Finding Duplicated Code Using Program Dependences., и . ESOP, том 2028 из Lecture Notes in Computer Science, стр. 383-386. Springer, (2001)Integrating Non-Interfering Versions of Programs., , и . POPL, стр. 133-145. ACM Press, (1988)Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science., , , , , , , , , и 1 other автор(ы). SIGCSE, стр. 163-167. ACM, (2009)Debugging via Run-Time Type Checking., , , и . FASE, том 2029 из Lecture Notes in Computer Science, стр. 217-232. Springer, (2001)Semantics-Preserving Procedure Extraction., и . POPL, стр. 155-169. ACM, (2000)A program integration algorithm that accommodates semantics-preserving transformations., , и . SDE, стр. 133-143. ACM, (1990)Speeding up Slicing., , , и . SIGSOFT FSE, стр. 11-20. ACM, (1994)Pointer Analysis for Programs with Structures and Casting., , и . PLDI, стр. 91-103. ACM, (1999)Protecting C programs from attacks via invalid pointer dereferences., и . ESEC / SIGSOFT FSE, стр. 307-316. ACM, (2003)