Publications

• Tracing OCaml Programs, OCaml 2022 (slides, video)
• 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)

Semantic Scholar, Google Scholar

Teaching

• CS2102 Database Systems, 2020, 2022 (slides)
• CS2103T Software Engineering, 2022
• CS2030S Programming Methodology II, 2021
• CS3281/CS3282 Software Engineering in Live Projects, 2016
• CS1101S Programming Methodology, 2013-2015

Service

• Artifact evaluation committee: ESOP 2022
• Subreviewer: POPL 2022, CAV 2022
• Student volunteer: PLDI 2021, SPLASH 2022