Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Validating structural properties of nested objects., , , , , , und . OOPSLA Companion, Seite 294-304. ACM, (2004)Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints., , , , und . Softw. Pract. Exp., 54 (3): 363-393 (März 2024)A Toolkit for Generating Code Knowledge Graphs., , , und . K-CAP, Seite 137-144. ACM, (2021)Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T)., , , und . ASE, Seite 541-551. IEEE Computer Society, (2015)Model Generation For Java Frameworks., , , , , und . ICST, Seite 165-175. IEEE, (2023)Can Machines Read Coding Manuals Yet? - A Benchmark for Building Better Language Models for Code Understanding., , , und . AAAI, Seite 4415-4423. AAAI Press, (2022)Scalable and precise taint analysis for Android., , , und . ISSTA, Seite 106-117. ACM, (2015)ICC++-AC++ Dialect for High Performance Parallel Computing., , , und . ISOTAS, Volume 1049 von Lecture Notes in Computer Science, Seite 76-95. Springer, (1996)Out of style: Misadventures with LLMs and code style transfer., , , , , , und . CoRR, (2024)An Offline Optimal SPARQL Query Planning Approach to Evaluate Online Heuristic Planners., , , , und . WISE (1), Volume 8786 von Lecture Notes in Computer Science, Seite 480-495. Springer, (2014)