If you need to see me, my office is room 214 in the Computer Science Building.
(Since the CS department is closed right now, you can e-mail me to set up a meeting on Zoom or Skype.)
- 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.
Ergonomics and verification of a foreign function interface between Coq and C, general exam talk, May 14th, 2020.
Direct Reflection for Free!, at ICFP 2019 Student Research Competition finalist talks (bronze medal), August 20th, 2019.
[PDF poster] [PDF slides] [Keynote slides] [Haskell code]
Commanding Emacs from Coq, at Scheme Workshop 2019, August 18th, 2019.
[Video] [PDF slides] [Coq and Emacs Lisp code]
- Direct Reflection for Free!, at New York Seminar on Programming Languages and Software Engineering, February 25th, 2019.
Proof Tree Builder. (software, May 2020)
A web-based graphical proof assistant for sequent calculus (LK) and Hoare logic.
Morphology and Lexicon-based Machine Translation of Ottoman Turkish to Modern Turkish. (draft, May 2019)