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

StarCoder: may the source be with you!, , , , , , , , , and 57 other author(s). (2023)cite arxiv:2305.06161.Formal foundations of serverless computing., , , and . Proc. ACM Program. Lang., 3 (OOPSLA): 149:1-149:26 (2019)On Static Verification of Puppet System Configurations., , , , and . CoRR, (2015)ADsafety: Type-Based Verification of JavaScript Sandboxing., , , and . USENIX Security Symposium, USENIX Association, (2011)FatTire: declarative fault tolerance for software-defined networks., , , and . HotSDN, page 109-114. ACM, (2013)Mind the Gap: Analyzing the Performance of WebAssembly vs. Native Code., , , and . CoRR, (2019)Flexible and Optimal Dependency Management via Max-SMT., , , , , and . ICSE, page 1418-1429. IEEE, (2023)Participatory Networking., , , , and . Hot-ICE, USENIX Association, (2012)SantaCoder: don't reach for the stars!, , , , , , , , , and 31 other author(s). CoRR, (2023)Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs., , , , , , , and . CoRR, (2023)