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

Serverless Workflows with Durable Functions and Netherite., , , , , and . CoRR, (2021)DiSh: Dynamic Shell-Script Distribution., , , and . NSDI, page 341-356. USENIX Association, (2023)PaSh: Light-touch Data-Parallel Shell Processing., , , , and . CoRR, (2020)An Order-aware Dataflow Model for Extracting Shell Script Parallelism., , , and . CoRR, (2020)Executing Shell Scripts in the Wrong Order, Correctly., , , and . HotOS, page 103-109. ACM, (2023)Code-level model checking in the software development workflow at Amazon Web Services., , , , , , , , , and . Softw. Pract. Exp., 51 (4): 772-797 (2021)Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript., , , , , , and . CoRR, (2020)Correctness in Stream Processing: Challenges and Opportunities., , and . CIDR, www.cidrdb.org, (2022)HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang., and . IFL, page 25-36. ACM, (2018)The future of the shell: Unix and beyond., , and . HotOS, page 240-241. ACM, (2021)