We stand with Ukraine  

Joomy Korkut

Orcid: 0000-0001-6784-7108

Affiliations:
  • Princeton University, Department of Computer Science, NJ, USA
  • Wesleyan University, Middletown, CT, USA


According to our database1, Joomy Korkut authored at least 4 papers between 2018 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
A Rose Tree Is Blooming (Proof Pearl).
[BibTeX]
[DOI]
Joomy Korkut
Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2025
A Verified Foreign Function Interface between Coq and C.
[BibTeX]
[DOI]
Joomy Korkut
,
Kathrin Stark
,
Andrew W. Appel
Proc. ACM Program. Lang., 2025

2022
A Proof Tree Builder for Sequent Calculus and Hoare Logic.
[BibTeX]
[DOI]
Joomy Korkut
Proceedings of the Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, 2022

2018
Extensible type-directed editing.
[BibTeX]
[DOI]
Joomy Korkut
,
David Thrane Christiansen
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018


  Loading...