- Extensible Type-Directed Editing. Joomy Korkut, David Thrane Christiansen. TyDe ’18, 2018.
- Edit-Time Tactics in Idris. Joomy Korkut. Master's thesis. Wesleyan University. 2018.
- Intrinsic Verification of a Regular Expression Matcher. Joomy Korkut, Maksim Trifunovski, Daniel R. Licata. Unpublished draft. 2016.