Research

• Automating Continuous Planning in SAFe, RCoSE 2020 (slides)
• The Dynamics of Software Composition Analysis, ASE LBR 2019 (poster)
• Efficient Static Checking of Library Updates, FSE 2018 (slides)
• SGL: A DSL for large-scale analysis of open-source code, SecDev 2018 (slides)
• Higher-Order Debugging and Logging for OCaml, 2016 (slides)