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

Polymorphic symmetric multiple dispatch with variance., , , and . Proc. ACM Program. Lang., 3 (POPL): 11:1-11:28 (2019)Wasm SpecTec: Engineering a Formal Language Standard., , , , , , , , , and 1 other author(s). CoRR, (2023)Automatically Tracing Imprecision Causes in JavaScript Static Analysis., , and . Art Sci. Eng. Program., 4 (2): 2 (2020)Long-Term Mentoring for Computer Science Researchers., , , , , and . Commun. ACM, 66 (5): 33-35 (May 2023)Precise and scalable static analysis of jQuery using a regular expression domain., , and . DLS, page 25-36. ACM, (2016)Declarative static analysis for multilingual programs using CodeQL., , and . Softw. Pract. Exp., 53 (7): 1472-1495 (July 2023)All about activity injection: threats, semantics, and detection., , and . ASE, page 252-262. IEEE Computer Society, (2017)Inferring Grammatical Summaries of String Values., , , , and . APLAS, volume 8858 of Lecture Notes in Computer Science, page 372-391. Springer, (2014)Source-Level Debugging for Multiple Languages with Modest Programming Effort., and . CC, volume 3443 of Lecture Notes in Computer Science, page 10-26. Springer, (2005)Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis., , and . ESEC/SIGSOFT FSE, page 1022-1034. ACM, (2022)