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 3 papers between 2018 and 2025.

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

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...