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)ADsafety: Type-Based Verification of JavaScript Sandboxing., , , and . USENIX Security Symposium, USENIX Association, (2011)SantaCoder: don't reach for the stars!, , , , , , , , , and 31 other author(s). CoRR, (2023)TeJaS: retrofitting type systems for JavaScript., , , and . DLS, page 1-16. ACM, (2013)Making High-Performance Robots Safe and Easy to Use For an Introduction to Computing., , and . AAAI, page 13412-13419. AAAI Press, (2020)Participatory Networking., , , , and . Hot-ICE, USENIX Association, (2012)The Sweep: Essential Examples for In-Flow Peer Review., , , , and . SIGCSE, page 243-248. ACM, (2016)FatTire: declarative fault tolerance for software-defined networks., , , and . HotSDN, page 109-114. ACM, (2013)NetkAT: semantic foundations for networks., , , , , , and . POPL, page 113-126. ACM, (2014)