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

FatTire: declarative fault tolerance for software-defined networks., , , and . HotSDN, page 109-114. ACM, (2013)ADsafety: Type-Based Verification of JavaScript Sandboxing., , , and . USENIX Security Symposium, USENIX Association, (2011)On Static Verification of Puppet System Configurations., , , , and . CoRR, (2015)StarCoder: may the source be with you!, , , , , , , , , and 57 other author(s). (2023)cite arxiv:2305.06161.Mind the Gap: Analyzing the Performance of WebAssembly vs. Native Code., , , and . CoRR, (2019)Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs., , , , , , , and . CoRR, (2023)SantaCoder: don't reach for the stars!, , , , , , , , , and 31 other author(s). CoRR, (2023)Formal foundations of serverless computing., , , and . Proc. ACM Program. Lang., 3 (OOPSLA): 149:1-149:26 (2019)How Beginning Programmers and Code LLMs (Mis)read Each Other., , , , , and . CoRR, (2024)Typed-based verification of Web sandboxes., , and . J. Comput. Secur., 22 (4): 511-565 (2014)