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