I have completed my teaching requirements so I will not be a teaching assistant for the time being.
If you need to see me, you can e-mail me to set up a meeting on Zoom or Skype.
A Proof Tree Builder for Sequent Calculus and Hoare Logic. Joomy Korkut. Extended abstract, ThEdu '22. 2022.
Morphology and Lexicon-based Machine Translation of Ottoman Turkish to Modern Turkish. Joomy Korkut. Unpublished draft, 2019.
- Extensible Type-Directed Editing. Joomy Korkut, David Thrane Christiansen. TyDe ’18, 2018.
Edit-Time Tactics in Idris.
Joomy Korkut. Master's thesis. 2018.
[Idris code for demos] [Idris code for Hezarfen]
Joomy Korkut. Undergraduate senior thesis. 2017.
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.