conf.researchr.org / Jules Jacobs
Registered user since Mon 13 Jan 2020
Name:Jules Jacobs
Bio:
Email: julesjacobs@gmail.com
Country:United States
Affiliation:Cornell University
Personal website: https://julesjacobs.com/
Contributions
2025
ICFP
ICFP/SPLASH
PLDI
2024
POPL
- Author of Verified Message-Passing Concurrency in Iris: Separation Logic Meets Session Types within the TutorialFest-track
- Presenter of Probabilistic Programs: Session Preview within the Session Previews-track
- Session Chair of Probabilistic Programs (part of POPL)
- Author of Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing within the POPL-track