Author of the publication

Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework.

, and . Symposium on Testing, Analysis, and Verification, page 36-48. ACM, (1991)

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

Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers., , and . LCPC, volume 5234 of Lecture Notes in Computer Science, page 95-109. Springer, (2007)Performance and environment monitoring for continuous program optimization., , , and . IBM J. Res. Dev., 50 (2-3): 239-248 (2006)Characterizing and Predicting Program Behavior and its Variability., , and . IEEE PACT, page 220-231. IEEE Computer Society, (2003)DELI: a new run-time control point., , , , and . MICRO, page 257-268. ACM/IEEE Computer Society, (2002)A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations., , and . PLDI, page 68-77. ACM, (1993)Designing Ground Truth and the Social Life of Labels., , , , , , , , , and 1 other author(s). CHI, page 94:1-94:16. ACM, (2021)Demand-driven Computation of Interprocedural Data Flow., , and . POPL, page 37-48. ACM Press, (1995)Characterizing defect trends in software support., , , , and . ICSE Companion, page 508-511. ACM, (2014)New opportunities for extracting insights from cloud based IDEs., , , and . ICSE Companion, page 408-411. ACM, (2014)Distributed Slicing and Partial Re-execution for Distributed Programs., , and . LCPC, volume 757 of Lecture Notes in Computer Science, page 497-511. Springer, (1992)