Author of the publication

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

The Java Pathfinder Workshop 2019., , , , , , , , , and 28 other author(s). ACM SIGSOFT Softw. Eng. Notes, 45 (2): 20-22 (2020)JPF-HJ: A Tool for Task Parallel Program Analysis., , , , , and . ACM SIGSOFT Softw. Eng. Notes, 44 (4): 19 (2019)Memory safety in C by abstract interpretation., , , , , and . ACM SIGSOFT Softw. Eng. Notes, 43 (4): 56 (2018)Static Analysis of Non-interference in Expressive Low-Level Languages., and . SAS, volume 9291 of Lecture Notes in Computer Science, page 1-17. Springer, (2015)Noninterference in Expressive Low-Level Languages.. University of Utah, USA, (2017)Model-checking task-parallel programs for data-race., , , , , , , and . Innov. Syst. Softw. Eng., 15 (3-4): 289-306 (2019)Optimized Sound and Complete Data Race Detection in Structured Parallel Programs., , , , , and . LCPC, volume 11882 of Lecture Notes in Computer Science, page 94-111. Springer, (2018)Model-Checking Task Parallel Programs for Data-Race., , , and . NFM, volume 10811 of Lecture Notes in Computer Science, page 367-382. Springer, (2018)Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order., , and . FMCAD, page 55-63. IEEE, (2019)