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

Message from the Program Chairs., and . CGO, page v. IEEE, (2021)Generating analyses for detecting faults in path segments., and . ISSTA, page 320-330. ACM, (2011)Compile-time Techniques for Efficient Utilization of Parallel Memories., and . PPOPP/PPEALS, page 235-246. ACM, (1988)Testing deep neural networks (keynote).. SPLASH (Companion), page 2. ACM, (2020)Demand-driven structural testing with dynamic instrumentation., , , , and . ICSE, page 156-165. ACM, (2005)Reducing Exit Stub Memory Consumption in Code Caches., , and . HiPEAC, volume 4367 of Lecture Notes in Computer Science, page 87-101. Springer, (2007)Compile-Time Planning for Overhead Reduction in Software Dynamic Translators., , , , and . Int. J. Parallel Program., 33 (2-3): 103-114 (2005)Debugging Optimized Code Via Tailoring (Abstract)., , and . ISSTA, page 201. ACM, (1994)Practical approach to single assignment code., and . PACT, page 149-158. IFIP Working Group on Algol / ACM, (1995)A Fine-Grained Approach to Scheduling Asynchronous Multiprocessors., , and . ICCI, page 139-142. IEEE Computer Society, (1992)