SPLASH 2023
Sun 22 - Fri 27 October 2023
Cascais, Portugal
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Registration
Sponsoring
Code of conduct
Support for Attending the Conference
Program
Complete Program
Your Program
Sun 22 Oct
Mon 23 Oct
Tue 24 Oct
Wed 25 Oct
Thu 26 Oct
Fri 27 Oct
Tracks
SPLASH 2023
Doctoral Symposium
OOPSLA
OOPSLA Artifacts
Onward! Essays
Onward! Papers
PLMW
Posters
SPLASH-E
Student Research Competition
Volunteers
Workshops
CARES
Co-hosted Conferences
DLS
GPCE
LOPSTR
MPLR
PPDP
SAS
SAS
SAS
SAS
Artifacts
SLE
Workshops
CONFLANG
23
FTSCS
HATRA
IWACO
LIVE
PAINT
PLF
REBLS
ST30
VMIL
VMIL
- Keynote
Organization
SPLASH 2023 Committees
Organizing Committee
Steering Committee
Track Committees
Doctoral Symposium
OOPSLA
OOPSLA Review Committee
External Review / Artifact Evaluation Committee
OOPSLA Artifacts
Onward! Essays
Program Committee
Onward! Steering Committee
Onward! Papers
Program Committee
Steering Committee
PLMW
Organizing Committee
Speakers & Panelists
Mentors
Posters
SPLASH-E
Program Commitee
Steering Committee
Student Research Competition
Organizers
Reviewers
Volunteers
Workshops
Contributors
People Index
Co-hosted Conferences
DLS
Program Committee
Steering Committee
GPCE
Organizing Committee
Program Committee
LOPSTR
N/A - check homepage
MPLR
Organizing Committee
Program Committee
PPDP
N/A - check homepage
SAS
Invited Speakers
Organizing Committee
SAS 2023
SAS 2023 Artifacts
SLE
Organizing Committee
Program Committee
Workshops
CONFLANG
Organizing Committee
Program Committee
FTSCS
Organizing Committee
Program Committee
HATRA
Organizing Committee
Program Committee
IWACO
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
PAINT
Organizing Committee
Program Committee
PLF
Organizing Committee
Program Committee
REBLS
Organizing Committee
Program Committee
ST30
Organizing Committee
Programme Committee
VMIL
Organizing Committee
Program Committee
Search
Series
Series
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2023
(
series
) /
Hotel Cascais Miragem
/
Room information: Room XII
Venue
Hotel Cascais Miragem
Room name
Room XII
Room Information
Lobby level
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Lisbon
.
Use conference time zone: (GMT+01:00) Lisbon
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone -
change time zone
Mon 23 Oct
Displayed time zone:
Lisbon
change
09:00 - 10:30
Welcome, Ice Breaker, Mentoring Talk
PLMW
at
Room XII
09:00
10m
Day opening
Welcome
PLMW
09:10
30m
Social Event
Ice Breaker
PLMW
09:40
50m
Talk
Mentoring Talk 1
PLMW
Nate Foster
Cornell University
11:00 - 12:30
Mentoring Talk & PhD Panel
PLMW
at
Room XII
11:00
30m
Talk
Mentoring Talk 2
PLMW
Magnus Madsen
Aarhus University
11:30
60m
Panel
PhD Panel
PLMW
Luna Phipps-Costin
Northeastern University
,
Noam Zilberstein
Cornell University
14:00 - 15:30
Career Panel
PLMW
at
Room XII
14:00
90m
Panel
Career Panel
PLMW
Felienne Hermans
Vrije Universiteit Amsterdam
,
Chandrakana Nandi
Certora
,
Jürgen Cito
TU Wien
16:00 - 17:30
Wrap-up, SIGPLAN-M Introduction, Mentoring Sessions
PLMW
at
Room XII
16:00
10m
Day closing
Wrap-up
PLMW
16:10
10m
Talk
SIGPLAN-M Introduction
PLMW
16:20
70m
Social Event
Mentoring Sessions
PLMW
Tue 24 Oct
Displayed time zone:
Lisbon
change
09:00 - 10:30
Keynote and Elevator Pitches
Doctoral Symposium
at
Room XII
09:00
10m
Day opening
Introduction and Welcome
Doctoral Symposium
Michael Coblenz
University of California, San Diego
09:10
60m
Keynote
Keynote: Jonathan Aldrich
Doctoral Symposium
Jonathan Aldrich
Carnegie Mellon University
10:10
20m
Talk
Lightning talks
Doctoral Symposium
11:00 - 12:30
Machine Learning and Synthesis
Doctoral Symposium
at
Room XII
11:00
30m
Talk
Large Language Models for Automated Program Repair
Doctoral Symposium
Francisco Ribeiro
University of Minho & HASLab, INESCTEC
11:30
30m
Talk
Scaling up Program Synthesis to Efficient Algorithms
Doctoral Symposium
Ruyi Ji
Peking University
12:00
30m
Talk
Transforming Ideas into Code: Visual Sketching for ML Development
Doctoral Symposium
Luis F. Gomes
Carnegie Mellon University
14:00 - 15:30
Compilation and Analysis
Doctoral Symposium
at
Room XII
14:00
30m
Talk
Remote Just-in-Time Compilation for Dynamic Languages
Doctoral Symposium
Andrej Pečimúth
Oracle Labs
14:30
30m
Talk
Reusing Single-Language Analyses for Static Analysis of Multi-Language Programs
Doctoral Symposium
Tobias Roth
Technische Universität Darmstadt
15:00
30m
Talk
Semantic Versioning for Python Programs
Doctoral Symposium
Luís Carvalho
16:00 - 17:30
Syntax and Discussion
Doctoral Symposium
at
Room XII
16:00
30m
Talk
A Pragmatic Approach to Syntax Repair
Doctoral Symposium
Breandan Considine
McGill University
16:30
60m
Meeting
Discussion
Doctoral Symposium
Michael Coblenz
University of California, San Diego
Thu 26 Oct
Displayed time zone:
Lisbon
change
16:00 - 17:30
compilation & optimization 2
OOPSLA
at
Room XII
16:00
18m
Talk
Graph IRs for Impure Higher-Order Languages - Making Aggressive Optimizations Affordable with Precise Effect Dependencies
OOPSLA
Oliver Bračevac
Galois, Inc.
,
Guannan Wei
Purdue University
,
Songlin Jia
Purdue University
,
Supun Abeysinghe
Purdue University
,
Yuxuan Jiang
Purdue University
,
Yuyan Bao
Computer and Cyber Sciences, Augusta University, Georgia, USA
,
Tiark Rompf
Purdue University
16:18
18m
Talk
AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
OOPSLA
Octave Larose
University of Kent
,
Sophie Kaleba
University of Kent
,
Humphrey Burchell
University of Kent
,
Stefan Marr
University of Kent
DOI
Pre-print
16:36
18m
Talk
Reusing Just-in-Time Compiled Code
OOPSLA
Meetesh Kalpesh Mehta
Indian Institute of Technology Bombay
,
Sebastián Krynski
Czech Technical University
,
Hugo Musso Gualandi
Czech Technical University in Prague
,
Manas Thakur
Indian Institute of Technology Bombay
,
Jan Vitek
Northeastern University
16:54
18m
Talk
TASTyTruffle: Just-in-time Specialization of Parametric Polymorphism
OOPSLA
Matt D'Souza
University of Waterloo
,
James You
University of Waterloo
,
Ondřej Lhoták
University of Waterloo
,
Aleksandar Prokopec
Oracle Labs
17:12
18m
Talk
Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
OOPSLA
Girish Mururu
Georgia Institute of Technology
,
Sharjeel Khan
Georgia Institute of Technology
,
Bodhisatwa Chatterjee
Georgia Institute of Technology
,
Chao Chen
Georgia Institute of Technology
,
Chris Porter
Georgia Institute of Technology, USA
,
Ada Gavrilovska
Georgia Institute of Technology
,
Santosh Pande
Georgia Institute of Technology
Fri 27 Oct
Displayed time zone:
Lisbon
change
11:00 - 12:30
software development
OOPSLA
at
Room XII
11:00
18m
Talk
Towards Better Semantics Exploration for Browser Fuzzing
OOPSLA
Chijin Zhou
Tsinghua University
,
Quan Zhang
Tsinghua University
,
Lihua Guo
Tsinghua University
,
Mingzhe Wang
Tsinghua University
,
Yu Jiang
Tsinghua University
,
Qing Liao
Harbin Institute of Technology
,
Zhiyong Wu
National University of Defense Technology
,
Shanshan Li
National University of Defense Technology
,
Bin Gu
Beijing Institute of Control Engineering, China
11:18
18m
Talk
Live Pattern Matching with Typed Holes
OOPSLA
Yongwei Yuan
Purdue University
,
Scott Guest
University of Michigan
,
Eric Griffis
University of Michigan
,
Hannah Potter
University of Washington
,
David Moon
University of Michigan
,
Cyrus Omar
University of Michigan
DOI
11:36
18m
Talk
Interactive Debugging of Datalog Programs
OOPSLA
André Pacak
JGU Mainz
,
Sebastian Erdweg
JGU Mainz
11:54
18m
Talk
Accelerating Fuzzing through Prefix-Guided Execution
OOPSLA
Shaohua Li
ETH Zurich
,
Zhendong Su
ETH Zurich
DOI
12:12
18m
Talk
MemPerf: Profiling Allocator-Induced Performance Slowdowns
OOPSLA
Jin Zhou
University of Massachusetts Amherst
,
Sam Silvestro
University of Texas at San Antonio
,
Jiaxun,Tang
University of Massachusetts Amherst
,
Hanmei Yang
University of Massachusetts Amherst
,
Hongyu Liu
University of Texas at San Antonio
,
Guangming Zeng
Synopsys
,
Bo Wu
Colorado School of Mines
,
Cong Liu
University of California at Riverside
,
Tongping Liu
University of Massachusetts at Amherst
14:00 - 15:30
security & privacy
OOPSLA
at
Room XII
14:00
18m
Talk
Compositional Security Definitions for Higher-Order Where Declassification
OOPSLA
Jan Menz
MPI-SWS
,
Andrew K. Hirsch
University at Buffalo, SUNY
,
Peixuan Li
Pennsylvania State University
,
Deepak Garg
MPI-SWS
DOI
14:18
18m
Talk
Fat Pointers for Temporal Memory Safety of C
OOPSLA
Jie Zhou
University of Rochester
,
John Criswell
University of Rochester
,
Michael Hicks
Amazon Web Services and the University of Maryland
DOI
14:36
18m
Talk
Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
OOPSLA
Cong Ma
University of Waterloo
,
Dinghao Wu
,
Gang Tan
Pennsylvania State University
,
Mahmut Taylan Kandemir
Pennsylvania State University
,
Danfeng Zhang
Duke University, Penn State University
14:54
18m
Talk
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
OOPSLA
Anthony C. J. Fox
ARM
,
Gareth Stockwell
ARM
,
Shale Xiong
ARM
,
Hanno Becker
Amazon Web Services
,
Dominic P. Mulligan
Amazon Web Services
,
Gustavo Petri
Amazon Web Services
,
Nathan Chong
Amazon Web Services
DOI
15:12
18m
Talk
Verifying Indistinguishability of Privacy-Preserving Protocols
OOPSLA
Kirby Linvill
University of Colorado Boulder
,
Gowtham Kaki
University of Colorado Boulder
,
Eric Wustrow
University of Colorado Boulder
16:00 - 17:30
separation logic
OOPSLA
at
Room XII
16:00
18m
Talk
Verification-Preserving Inlining in Automatic Separation Logic Verifiers
OOPSLA
Thibault Dardinier
ETH Zurich
,
Gaurav Parthasarathy
ETH Zurich
,
Peter Müller
ETH Zurich
DOI
16:18
18m
Talk
Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory
OOPSLA
Simon Friis Vindum
Aarhus University
,
Lars Birkedal
Aarhus University
16:36
18m
Talk
Leaf: Modularity for Temporary Sharing in Separation Logic
OOPSLA
Travis Hance
Carnegie Mellon University
,
Jon Howell
VMware Research
,
Oded Padon
VMware Research
,
Bryan Parno
Carnegie Mellon University
16:54
18m
Talk
Proof Automation for Linearizability in Separation Logic
OOPSLA
Ike Mulder
Radboud University Nijmegen
,
Robbert Krebbers
Radboud University Nijmegen
DOI
Pre-print
17:12
18m
Talk
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
OOPSLA
Jaehwang Jung
KAIST, South Korea
,
Janggun Lee
KAIST
,
Jaemin Choi
,
Jaewoo Kim
KAIST
,
Sunho Park
KAIST
,
Jeehoon Kang
KAIST
Mon 23 Oct
Displayed time zone:
Lisbon
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room XII
PLMW
Welcome, Ice Breaker, Mentoring Talk
PLMW
Mentoring Talk & PhD Panel
PLMW
Career Panel
PLMW
Wrap-up, SIGPLAN-M Introduction, Mentoring Sessions
Tue 24 Oct
Displayed time zone:
Lisbon
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room XII
Doctoral Symposium
Keynote and Elevator Pitches
Doctoral Symposium
Machine Learning and Synthesis
Doctoral Symposium
Compilation and Analysis
Doctoral Symposium
Syntax and Discussion
Wed 25 Oct
Displayed time zone:
Lisbon
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room XII
OOPSLA
OOPSLA
OOPSLA
OOPSLA
Thu 26 Oct
Displayed time zone:
Lisbon
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room XII
OOPSLA
OOPSLA
OOPSLA
OOPSLA
compilation & optimization 2
Fri 27 Oct
Displayed time zone:
Lisbon
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room XII
OOPSLA
OOPSLA
software development
OOPSLA
security & privacy
OOPSLA
separation logic
Mon 23 Oct
Displayed time zone:
Lisbon
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Room XII
SPLASH PLMW
Welcome
09:00 - 09:10
SPLASH PLMW
Ice Breaker
09:10 - 09:40
SPLASH PLMW
Mentoring Talk 1
09:40 - 10:30
SPLASH PLMW
Mentoring Talk 2
11:00 - 11:30
SPLASH PLMW
PhD Panel
11:30 - 12:30
SPLASH PLMW
Career Panel
14:00 - 15:30
SPLASH PLMW
Wrap-up
16:00 - 16:10
SPLASH PLMW
SIGPLAN-M Introduction
16:10 - 16:20
SPLASH PLMW
Mentoring Sessions
16:20 - 17:30
Tue 24 Oct
Displayed time zone:
Lisbon
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Room XII
SPLASH Doctoral Symposium
Introduction and Welcome
09:00 - 09:10
SPLASH Doctoral Symposium
Keynote: Jonathan Aldrich
09:10 - 10:10
SPLASH Doctoral Symposium
Lightning talks
10:10 - 10:30
SPLASH Doctoral Symposium
Large Language Models for Automated Program Repair
11:00 - 11:30
SPLASH Doctoral Symposium
Scaling up Program Synthesis to Efficient Algorithms
11:30 - 12:00
SPLASH Doctoral Symposium
Transforming Ideas into Code: Visual Sketching for ML Development
12:00 - 12:30
SPLASH Doctoral Symposium
Remote Just-in-Time Compilation for Dynamic Languages
14:00 - 14:30
SPLASH Doctoral Symposium
Reusing Single-Language Analyses for Static Analysis of Multi-Language ...
14:30 - 15:00
SPLASH Doctoral Symposium
Semantic Versioning for Python Programs
15:00 - 15:30
SPLASH Doctoral Symposium
A Pragmatic Approach to Syntax Repair
16:00 - 16:30
SPLASH Doctoral Symposium
Discussion
16:30 - 17:30
Thu 26 Oct
Displayed time zone:
Lisbon
change
Room
16:00
15
30
45
17:00
15
30
45
Room XII
SPLASH OOPSLA
Graph IRs for Impure Higher-Order Languages - Making Aggressive Optimiz ...
16:00 - 16:18
SPLASH OOPSLA
AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
16:18 - 16:36
SPLASH OOPSLA
Reusing Just-in-Time Compiled Code
16:36 - 16:54
SPLASH OOPSLA
TASTyTruffle: Just-in-time Specialization of Parametric Polymorphism
16:54 - 17:12
SPLASH OOPSLA
Beacons: An End-to-End Compiler Framework for Predicting and Utilizing ...
17:12 - 17:30
Fri 27 Oct
Displayed time zone:
Lisbon
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Room XII
SPLASH OOPSLA
Towards Better Semantics Exploration for Browser Fuzzing
11:00 - 11:18
SPLASH OOPSLA
Live Pattern Matching with Typed Holes
11:18 - 11:36
SPLASH OOPSLA
Interactive Debugging of Datalog Programs
11:36 - 11:54
SPLASH OOPSLA
Accelerating Fuzzing through Prefix-Guided Execution
11:54 - 12:12
SPLASH OOPSLA
MemPerf: Profiling Allocator-Induced Performance Slowdowns
12:12 - 12:30
SPLASH OOPSLA
Compositional Security Definitions for Higher-Order Where Declassification
14:00 - 14:18
SPLASH OOPSLA
Fat Pointers for Temporal Memory Safety of C
14:18 - 14:36
SPLASH OOPSLA
Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
14:36 - 14:54
SPLASH OOPSLA
A Verification Methodology for the Arm® Confidential Computing Architec ...
14:54 - 15:12
SPLASH OOPSLA
Verifying Indistinguishability of Privacy-Preserving Protocols
15:12 - 15:30
SPLASH OOPSLA
Verification-Preserving Inlining in Automatic Separation Logic Verifiers
16:00 - 16:18
SPLASH OOPSLA
Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory
16:18 - 16:36
SPLASH OOPSLA
Leaf: Modularity for Temporary Sharing in Separation Logic
16:36 - 16:54
SPLASH OOPSLA
Proof Automation for Linearizability in Separation Logic
16:54 - 17:12
SPLASH OOPSLA
Modular Verification of Safe Memory Reclamation in Concurrent Separatio ...
17:12 - 17:30
x
Wed 4 Oct 15:43