- Extensible Type-Directed Editing. Joomy Korkut, David Thrane Christiansen. TyDe ’18, 2018.
- Edit-Time Tactics in Idris. Joomy Korkut. Master's thesis. 2018.
- Intrinsic Verification of a Regular Expression Matcher. Joomy Korkut, Maksim Trifunovski, Daniel R. Licata. Unpublished draft. 2016.
Direct Reflection for Free!, at ICFP 2019 Student Research Competition finalist talks, August 20th, 2019.
[PDF poster] [PDF slides] [Keynote slides] [Haskell code]
Commanding Emacs from Coq, at Scheme Workshop 2019, August 18th, 2019.
[PDF slides] [Coq and Emacs Lisp code]
- Direct Reflection for Free!, at New York Seminar on Programming Languages and Software Engineering, February 25th, 2019.