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

ADsafety: Type-Based Verification of JavaScript Sandboxing., , , and . CoRR, (2015)A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages., , , , , , , , , and 3 other author(s). CoRR, (2022)A Tool for Mutation Analysis in Racket., , , and . ICSTW, page 308-313. IEEE, (2023)Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code., , , and . USENIX Annual Technical Conference, page 107-120. USENIX Association, (2019)A Large Scale Analysis of Semantic Versioning in NPM., , , and . MSR, page 485-497. IEEE, (2023)Demo., , and . AAMAS, page 1818-1819. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, (2018)Languages for software-defined networks., , , , , , , , , and 2 other author(s). IEEE Commun. Mag., 51 (2): 128-134 (2013)Robo-Instruct: Simulator-Augmented Instruction Alignment For Finetuning CodeLLMs., , , and . CoRR, (2024)Flapjax: a programming language for Ajax applications., , , , , , and . OOPSLA, page 1-20. ACM, (2009)Do Machine Learning Models Produce TypeScript Types That Type Check?, and . ECOOP, volume 263 of LIPIcs, page 37:1-37:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)