Author of the publication

Tortoise: interactive system configuration repair.

, , and . ASE, page 625-636. IEEE Computer Society, (2017)

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

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)How Beginning Programmers and Code LLMs (Mis)read Each Other., , , , , and . CoRR, (2024)SantaCoder: don't reach for the stars!, , , , , , , , , and 31 other author(s). CoRR, (2023)ADsafety: Type-Based Verification of JavaScript Sandboxing., , , and . USENIX Security Symposium, USENIX Association, (2011)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)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)Typed-based verification of Web sandboxes., , and . J. Comput. Secur., 22 (4): 511-565 (2014)