Scholar

Jules Jacobs

Google Scholar ID: Df4eEW4AAAAJ

Cornell University

Computer scienceMathematicsProgramming LanguagesProof AssistantsFormal Methods

Citations & Impact

All-time

Citations

167

H-index

i10-index

Publications

Co-authors

list available

Contact

Publications

2 items

arXiv.org · 2026

Cited

Proceedings of the ACM on Programming Languages · 2025

Cited

Resume (English only)

Academic Achievements

PLDI'25: StacKAT: Infinite State Network Verification
OOPSLA'24: Multris: Functional Verification of Multiparty Message Passing in Separation Logic
PLDI'24: KATch: A Fast Symbolic Verifier for NetKAT
PhD Thesis: Guarantees by Construction
POPL'24: Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing (VERSEN 2025 award)
ICFP'23: Dependent Session Protocols in Separation Logic from First Principles
POPL'23: Higher-Order Leak and Deadlock Free Locks (POPL'23 distinguished paper)
POPL'23: Fast Coalgebraic Bisimilarity Minimization
ICFP'22: Multiparty GV: Functional Multiparty Session Types With Certified Deadlock Freedom
ECOOP'22: A Self-Dual Distillation of Session Types
POPL'22: Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic

Co-authors

20 total