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

Polymorphic symmetric multiple dispatch with variance., , , und . Proc. ACM Program. Lang., 3 (POPL): 11:1-11:28 (2019)Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis., , und . ESEC/SIGSOFT FSE, Seite 1022-1034. ACM, (2022)Automatically Tracing Imprecision Causes in JavaScript Static Analysis., , und . Art Sci. Eng. Program., 4 (2): 2 (2020)Wasm SpecTec: Engineering a Formal Language Standard., , , , , , , , , und 1 andere Autor(en). CoRR, (2023)Precise and scalable static analysis of jQuery using a regular expression domain., , und . DLS, Seite 25-36. ACM, (2016)Long-Term Mentoring for Computer Science Researchers., , , , , und . Commun. ACM, 66 (5): 33-35 (Mai 2023)Declarative static analysis for multilingual programs using CodeQL., , und . Softw. Pract. Exp., 53 (7): 1472-1495 (Juli 2023)Automatic Modeling of Opaque Code for JavaScript Static Analysis., , und . FASE, Volume 11424 von Lecture Notes in Computer Science, Seite 43-60. Springer, (2019)JSTAR: JavaScript Specification Type Analyzer using Refinement., , , , und . ASE, Seite 606-616. IEEE, (2021)Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis., , und . ASE, Seite 127-137. IEEE, (2020)