SPLASH 2023 (series) / Ike Mulder
Registered user since Mon 15 Jun 2020
Contributions
| SPLASH 2023 | Proof Automation for Linearizability in Separation Logic | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile
SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
- Attending
- Tracks
- Organization
- SPLASH 2023 Committees
- Organizing Committee
- Steering Committee
- Track Committees
- OOPSLA
- OOPSLA Artifacts
- Onward! Essays
- Onward! Papers
- Workshops
- CARES
- Contributors
- People Index
- Search
- Series