Get started
Author

Joomy Korkut

ORCID: 0000-0001-6784-7108
Observed ORCID: 0000-0001-6784-7108
OpenAlex ID: A5062691562
A Proof Tree Builder for Sequent Calculus and Hoare Logic
2023 · Joomy Korkut · Electronic Proceedings in Theoretical Computer Science · 12
A Verified Foreign Function Interface between Coq and C
2025 · Joomy Korkut, Kathrin Stark, et al. · Proceedings of the ACM on Programming Languages · 9
Extensible type-directed editing
2018 · Joomy Korkut, David Thrane Christiansen · ACM SIGPLAN International Workshop on Type-Driven Development (TyDe) · 4
Edit-Time Tactics in Idris
2018 · Joomy Korkut · 2
A Rose Tree Is Blooming (Proof Pearl)
2026 · Joomy Korkut · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
Thinking Outside the Box: Verified Compilation of ML5 to JavaScript
2017 · Joomy Korkut
Works count: 6
Citation count: 27
H-index: 3
I10-index: 1
Year
Topic
Type