Author of the publication

Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis.

, , and . Softw. Qual. J., 12 (4): 311-337 (2004)

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

Symbolic crosschecking of floating-point and SIMD code., , and . EuroSys, page 315-328. ACM, (2011)High-performance SIMT code generation in an active visual effects library., , , , and . Conf. Computing Frontiers, page 175-184. ACM, (2009)The Feasibility of a General-purpose Parallel Computing using WSI., , and . PARLE (1), volume 365 of Lecture Notes in Computer Science, page 251-268. Springer, (1989)Automated Tiling of Unstructured Mesh Computations with Application to Seismological Modelling., , , , , and . CoRR, (2017)Search strategies for Java bottleneck location by dynamic instrumentation., , , , , and . IEE Proc. Softw., 150 (4): 235-242 (2003)Precise event sampling-based data locality tools for AMD multicore architectures., , , and . Concurr. Comput. Pract. Exp., (2023)Eliminating Invalidation in Coherent-Cache Parallel Graph Reduction., and . PARLE, volume 817 of Lecture Notes in Computer Science, page 375-386. Springer, (1994)Lossy Checkpoint Compression in Full Waveform Inversion., , , , , and . CoRR, (2020)Optimising Shared Reduction Variables in MPI Programs., , and . Euro-Par, volume 2400 of Lecture Notes in Computer Science, page 630-639. Springer, (2002)M-Tree: A Parallel Abstract Data Type for Block-Irregular Adaptive Applictions., , and . Euro-Par, volume 1300 of Lecture Notes in Computer Science, page 638-649. Springer, (1997)