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

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)Mind the Gap: Analyzing the Performance of WebAssembly vs. Native Code., , , and . CoRR, (2019)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)ADsafety: Type-Based Verification of JavaScript Sandboxing., , , and . USENIX Security Symposium, USENIX Association, (2011)Typed-based verification of Web sandboxes., , and . J. Comput. Secur., 22 (4): 511-565 (2014)On Static Verification of Puppet System Configurations., , , , and . CoRR, (2015)FatTire: declarative fault tolerance for software-defined networks., , , and . HotSDN, page 109-114. ACM, (2013)Making High-Performance Robots Safe and Easy to Use For an Introduction to Computing., , and . AAAI, page 13412-13419. AAAI Press, (2020)