conf.researchr.org / Jules Jacobs
Registered user since Mon 13 Jan 2020
Name:Jules Jacobs
Contributions
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