Papers
Programming Languages · PhD Research
- Control Flow Analysis for Effect Handlers (ICFP 2026)
- Syntactic Implicit Parameters with Static Overloading (PLDI 2026)
- Context-Sensitive Demand-Driven Control Flow Analysis (ESOP 2025)
Technical Report → (See also High-Level Overview of Demand m-CFA)
Digital Control Systems · Internships
- A Comparison of Three Types of Computer-Based Procedures: An Experiment Using the Rancor Microworld Simulator
- Rancor Computer-Based Procedures – A Framework For Task Level Human Performance Data Collection
- Applying human factors evaluation and design guidance to a nuclear power plant digital control system