SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
You're viewing the program in a time zone which is different from your device's time zone - change time zone
This view shows a partial program, view other tabs for the complete program.

No schedule or scheduled events are not visible yet, check back later

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

03:00 - 04:20
Session 1TAPAS at SPLASH-V
03:00
20m
Paper
Program Slicing with Exception Handling
TAPAS
03:20
20m
Paper
MetaCG: Annotated call-graphs to facilitate whole-program analysis
TAPAS
Jan-Patrick LehrScientific Computing, TU Darmstadt, Alexander HückInstitute for Scientific Computing, TU Darmstadt, Yannic FischlerTU Darmstadt, Christian BischofScientific Computing, TU Darmstadt
03:40
20m
Paper
Data Dependence for Object-Oriented Programs
TAPAS
04:00
20m
Paper
Type checking beyond type checkers, via Slice & Run
TAPAS
Justus AdamUniversity of Kent, UK, Stephen KellUniversity of Kent
Pre-print
05:00 - 07:00
Session 2TAPAS at SPLASH-V
05:00
60m
Keynote
Toward More Scalable Symbolic Execution via Code Chopping
TAPAS
Cristian CadarImperial College London, UK
Media Attached
06:00
60m
Keynote
Enterprise-scale static analysis: A Pinpoint experience
TAPAS
Charles ZhangThe Hong Kong University of Science and Technology
Media Attached
09:00 - 10:20
Session 3TAPAS at SPLASH-V
09:00
20m
Short-paper
API Analytics for Curating Static Analysis Rules
TAPAS
09:20
20m
Paper
Online Verification of Commutativity
TAPAS
Aditi KabraCarnegie Mellon University, Dietrich GeislerCornell University, Adrian SampsonCornell University
Pre-print
09:40
20m
Short-paper
Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing
TAPAS
Nicholas Shoemaker, Ruzica PiskacYale University, USA, Mark SantolucitoBarnard College, Columbia University, USA
11:00 - 12:20
Session 4TAPAS at SPLASH-V
11:00
60m
Keynote
Moving Fast with High Reliability using Pluggable Types
TAPAS
Manu SridharanUniversity of California at Riverside
Media Attached
12:00
20m
Other
Closing
TAPAS
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)