Extensible type-directed editing. - Joomy Korkut; David Thrane Christiansen (TyDe@ICFP, 2018)

A Proof Tree Builder for Sequent Calculus and Hoare Logic. - Joomy Korkut (ThEdu@FLoC, 2022)

A Verified Foreign Function Interface between Coq and C. - Joomy Korkut; Kathrin Stark; Andrew W. Appel (Proc. ACM Program. Lang., 2025)