Author of the publication

Accurate Shape Analysis for Recursive Data Structures.

, , and . LCPC, volume 2017 of Lecture Notes in Computer Science, page 1-15. Springer, (2000)

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

Lightweight asynchronous scheduling in heterogeneous reconfigurable systems., , , , , , and . J. Syst. Archit., (2022)Efficient heterogeneous matrix profile on a CPU + High Performance FPGA with integrated HBM., , , , , and . Future Gener. Comput. Syst., (2021)New Shape Analysis and Interprocedural Techniques for Automatic Parallelization of C Codes., , and . Int. J. Parallel Program., 30 (1): 37-63 (2002)Parallel Pipeline on Heterogeneous Multi-processing Architectures., , , , , and . TrustCom/BigDataSE/ISPA (3), page 166-171. IEEE, (2015)978-1-4673-7952-6.Data-parallel support for numerical irregular problems., , , and . Parallel Comput., 25 (13-14): 1971-1994 (1999)Accurate Shape Analysis for Recursive Data Structures., , and . LCPC, volume 2017 of Lecture Notes in Computer Science, page 1-15. Springer, (2000)Towards a Software Transactional Memory for Heterogeneous CPU-GPU Processors., , , and . PARCO, volume 32 of Advances in Parallel Computing, page 708-717. IOS Press, (2017)Progressive Shape Analysis for Real C Codes., , and . ICPP, page 373-382. IEEE Computer Society, (2001)HPF-2 Support for Dynamic Sparse Computations., , , , and . LCPC, volume 1656 of Lecture Notes in Computer Science, page 230-246. Springer, (1998)Detecting loop-carried dependences in programs with dynamic data structures., , , , and . J. Parallel Distributed Comput., 67 (1): 47-62 (2007)