- 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.
Morphology and Lexicon-based Machine Translation of Ottoman Turkish to Modern Turkish. (draft, work in progress)