Author of the publication

Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities.

, , , and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 105-123. Springer, (2021)

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

Software Engineering for Infrastructure and Configuration (SEConfig) - Workshop Report., and . ACM SIGSOFT Softw. Eng. Notes, 45 (2): 23-24 (2020)Designing a community to support long-term interest in programming for middle school children., , , , , , , and . IDC, page 304-307. ACM, (2012)Synthesizing functional reactive programs., , , and . Haskell@ICFP, page 162-175. ACM, (2019)Can reactive synthesis and syntax-guided synthesis be friends?, , , and . PLDI, page 229-243. ACM, (2022)The FMCAD 2021 Student Forum.. FMCAD, page 1. IEEE, (2021)Probabilistic Automated Language Learning for Configuration Files., , and . CAV (2), volume 9780 of Lecture Notes in Computer Science, page 80-87. Springer, (2016)Media Modules: Intermedia Systems in a Pure Functional Paradigm., , and . ICMC, Michigan Publishing, (2015)Real-time interactive music in Haskell., , , and . FARM@ICFP, page 15-16. ACM, (2015)Grammar Filtering for Syntax-Guided Synthesis., , , , and . AAAI, page 1611-1618. AAAI Press, (2020)Programming by Example: Efficient, but Not "Helpful"., , , and . PLATEAU@SPLASH, volume 67 of OASIcs, page 3:1-3:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)