Publications

• Protocol Conformance with Choreographic PlusCal, TASE 2023 (code)
• Automated Temporal Verification for Algebraic Effects, APLAS 2022 (slides, video, code)
• Tracing OCaml Programs, OCaml 2022 (slides, video, code)
• Automating Continuous Planning in SAFe, RCoSE 2020 (slides, code)
• 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, code)

Semantic Scholar, Google Scholar

Teaching

• CS2030S Programming Methodology II (2021, 2023)
• CS2102 Database Systems (2020, 2022; slides)
• CS2103T Software Engineering (2022)
• 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