Publications
- 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
- CS1101S Programming Methodology, 2022
- CS2103T Software Engineering, 2022
- CS2030S Programming Methodology II, 2021
- CS2102 Database Systems, 2020 (slides)
- CS3281/CS3282 Software Engineering in Live Projects, 2016
- CS1101S Programming Methodology, 2013-2015
Service
- ESOP 2022 AE
- Subreviewer: POPL 2022, CAV 2022