Author of the publication

Towards Ontology-Based Program Analysis.

, , , and . ECOOP, volume 56 of LIPIcs, page 26:1-26:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

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

Dragon: A Static and Dynamic Tool for OpenMP., , and . WOMPAT, volume 3349 of Lecture Notes in Computer Science, page 53-66. Springer, (2004)A Proposal to OpenMP for Addressing the CPU Oversubscription Challenge., , , and . IWOMP, volume 9903 of Lecture Notes in Computer Science, page 187-202. (2016)Semantic-Aware Automatic Parallelization of Modern Applications Using High-Level Abstractions., , , and . Int. J. Parallel Program., 38 (5-6): 361-378 (2010)OpenUH: an optimizing, portable OpenMP compiler., , , , and . Concurr. Comput. Pract. Exp., 19 (18): 2317-2332 (2007)Towards Ontology-Based Program Analysis., , , and . ECOOP, volume 56 of LIPIcs, page 26:1-26:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Deep NLP-based co-evolvement for synthesizing code analysis from natural language., , , and . CC, page 141-152. ACM, (2021)Finding Reusable Machine Learning Components to Build Programming Language Processing Pipelines., , , , , and . ECSA (Tracks and Workshops), volume 13928 of Lecture Notes in Computer Science, page 402-417. Springer, (2022)Enhancement of Urban Floodwater Mapping From Aerial Imagery With Dense Shadows via Semisupervised Learning., , , and . IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., (2022)An OpenMP Analyzer for Detecting Concurrency Errors., , , , and . ICPP Workshops, page 590-591. IEEE Computer Society, (2012)Is Data Placement Optimization Still Relevant on Newer GPUs?, , , , , and . PMBS@SC, page 83-96. IEEE, (2018)