Write a Blog >>
META 2019
Sun 20 - Fri 25 October 2019
Athens, Greece
co-located with
SPLASH 2019
Toggle navigation
Attending
Venue: Royal Olympic Hotel
Banquet Venue: Aegli
Program
META Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Track/Call
Organization
META 2019 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
META 2019
META'18
META 2017
META 2016
Sign in
Sign up
SPLASH 2019
(
series
) /
META 2019 (
series
) /
Royal Olympic Hotel
/
Room information: Olympia
Venue
Royal Olympic Hotel
Room name
Olympia
Floor
-1
Capacity
500
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+03:00) Beirut
.
Use conference time zone: (GMT+03:00) Beirut
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
Wed 23 Oct
Displayed time zone:
Beirut
change
09:00 - 10:30
Rebase Keynote (Might)
SPLASH Rebase
/
SPLASH Keynotes
at
Olympia
Chair(s):
Michael Carbin
Massachusetts Institute of Technology
,
Shan Shan Huang
Relational.ai
,
Yannis Smaragdakis
University of Athens
09:00
20m
Day opening
Welcome, Introduction
SPLASH Rebase
Yannis Smaragdakis
University of Athens
,
Shan Shan Huang
Relational.ai
,
Michael Carbin
Massachusetts Institute of Technology
09:20
70m
Talk
The Algorithm for Precision Medicine
SPLASH Keynotes
K:
Matthew Might
University of Alabama at Birmingham | Harvard Medical School
11:00 - 12:30
Modular Verification
SPLASH OOPSLA
at
Olympia
Chair(s):
Friedrich Steimann
Fernuni Hagen
11:00
22m
Research paper
Modular Verification of Heap Reachability Properties in Separation Logic
SPLASH OOPSLA
Arshavir Ter-Gabrielyan
ETH Zurich
,
Alexander J. Summers
ETH Zurich
,
Peter Müller
ETH Zurich
Link to publication
DOI
Pre-print
File Attached
11:22
22m
Talk
Modular Verification of Web Page Layout
SPLASH OOPSLA
Pavel Panchekha
University of Utah
,
Michael D. Ernst
University of Washington, USA
,
Zachary Tatlock
University of Washington, Seattle
,
Shoaib Kamil
Adobe
DOI
11:45
22m
Talk
Modular Verification for Almost-Sure Termination of Probabilistic Programs
SPLASH OOPSLA
Mingzhang Huang
Shanghai Jiao Tong University
,
Hongfei Fu
Shanghai Jiao Tong University
,
Krishnendu Chatterjee
IST Austria
,
Amir Kafshdar Goharshady
IST Austria
DOI
12:07
22m
Talk
Leveraging Rust Types for Modular Specification and Verification
SPLASH OOPSLA
Vytautas Astrauskas
ETH Zurich, Switzerland
,
Peter Müller
ETH Zurich
,
Federico Poli
ETH Zurich, Switzerland
,
Alexander J. Summers
ETH Zurich
DOI
Pre-print
14:00 - 15:30
Testing
SPLASH OOPSLA
at
Olympia
Chair(s):
Stephen Kell
University of Kent
14:00
22m
Talk
Reflection-Aware Static Regression Test Selection
SPLASH OOPSLA
August Shi
University of Illinois at Urbana-Champaign
,
Milica Hadzi-Tanovic
Technische Universitat Munchen
,
Lingming Zhang
The University of Texas at Dallas
,
Darko Marinov
University of Illinois at Urbana-Champaign
,
Owolabi Legunsen
University of Illinois at Urbana-Champaign
DOI
14:22
22m
Talk
Trace Aware Random Testing for Distributed Systems
SPLASH OOPSLA
Burcu Kulahcioglu Ozkan
Max Planck Institute for Software Systems (MPI-SWS)
,
Rupak Majumdar
Max Planck Institute for Software Systems (MPI-SWS)
,
Simin Oraee
Max Planck Institute for Software Systems (MPI-SWS)
DOI
14:45
22m
Talk
Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
SPLASH OOPSLA
Dowon Song
Korea University
,
Myungho Lee
Korea University
,
Hakjoo Oh
Korea University
DOI
15:07
22m
Talk
On the Complexity of Checking Transactional Consistency
SPLASH OOPSLA
Ranadeep Biswas
IRIF, University Paris Diderot & CNRS
,
Constantin Enea
IRIF, University Paris Diderot & CNRS
DOI
16:00 - 17:30
Analysis
SPLASH OOPSLA
at
Olympia
Chair(s):
Jan Vitek
Northeastern University
16:00
22m
Talk
Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity
SPLASH OOPSLA
Jingbo Lu
UNSW Sydney
,
Jingling Xue
UNSW Sydney
DOI
16:22
22m
Talk
Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations
SPLASH OOPSLA
Gregory Essertel
Purdue University
,
Guannan Wei
Purdue University
,
Tiark Rompf
Purdue University
DOI
16:45
22m
Talk
I/O Dependent Idempotence Bugs in Intermittent Systems
SPLASH OOPSLA
Milijana Surbatovich
Carnegie Mellon University
,
Limin Jia
Carnegie Mellon University
,
Brandon Lucia
Carnegie Mellon University
DOI
17:07
22m
Talk
PlanAlyzer: Assessing Threats to the Validity of Online Experiments
SPLASH OOPSLA
Emma Tosch
University of Massachusetts Amherst
,
Eytan Bakshy
Facebook, Inc.
,
Emery D. Berger
University of Massachusetts Amherst
,
David Jensen
University of Massachusetts Amherst
,
Eliot Moss
University of Massachusetts Amherst
DOI
17:30 - 18:30
Awards / SIGPLAN Town Hall Meeting
SPLASH OOPSLA
at
Olympia
Chair(s):
Jens Palsberg
University of California, Los Angeles
,
Eelco Visser
Delft University of Technology
Thu 24 Oct
Displayed time zone:
Beirut
change
09:30 - 10:30
Sack keynote
SPLASH Keynotes
at
Olympia
Chair(s):
Hidehiko Masuhara
Tokyo Institute of Technology
,
Tomas Petricek
University of Kent
09:30
60m
Talk
The Software Arts
SPLASH Keynotes
K:
Warren Sack
University of California, Santa Cruz
11:00 - 12:30
Distributed Systems
SPLASH OOPSLA
at
Olympia
Chair(s):
Arjun Guha
University of Massachusetts, Amherst
11:00
22m
Talk
Asphalion: Trustworthy Shielding against Byzantine Faults
SPLASH OOPSLA
Ivana Vukotic
SnT, University of Luxembourg
,
Vincent Rahli
University of Birmingham
,
Paulo Esteves-Veríssimo
SnT, University of Luxembourg
DOI
11:22
22m
Talk
DProf: Distributed Profiler with Strong Guarantees
SPLASH OOPSLA
Zachary Benavides
UC Riverside
,
Keval Vora
Simon Fraser University
,
Rajiv Gupta
UC Riverside
DOI
11:45
22m
Talk
A Fault-Tolerant Programming Model for Distributed Interactive Applications
SPLASH OOPSLA
Ragnar Mogk
Technische Universität Darmstadt
,
Joscha Drechsler
Technische Universität Darmstadt
,
Guido Salvaneschi
Technische Universität Darmstadt
,
Mira Mezini
Technische Universität Darmstadt
DOI
12:07
22m
Talk
Language-Integrated Privacy-Aware Distributed Queries
SPLASH OOPSLA
Guido Salvaneschi
Technische Universität Darmstadt
,
Mirko Köhler
Technische Universität Darmstadt
,
Daniel Sokolowski
Technische Universität Darmstadt
,
Philipp Haller
KTH Royal Institute of Technology
,
Sebastian Erdweg
JGU Mainz
,
Mira Mezini
Technische Universität Darmstadt
DOI
14:00 - 15:30
Specification and Certification
SPLASH OOPSLA
at
Olympia
Chair(s):
Colin Gordon
Drexel University
14:00
22m
Talk
Relational Verification using Reinforcement Learning
SPLASH OOPSLA
Jia Chen
University of Texas at Austin
,
Jiayi Wei
University of Texas at Austin
,
Yu Feng
University of California, Santa Barbara
,
Osbert Bastani
University of Pennsylvania
,
Işıl Dillig
University of Texas Austin
DOI
14:22
22m
Talk
Specification and Inference of Trace Refinement Relations
SPLASH OOPSLA
Timos Antonopoulos
Yale University
,
Eric Koskinen
Stevens Institute of Technology
,
Ton Chanh Le
Stevens Institute of Technology
DOI
14:45
22m
Talk
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
SPLASH OOPSLA
Aleksandar Nanevski
IMDEA Software Institute
,
Anindya Banerjee
IMDEA Software Institute
,
Germán Andrés Delbianco
IRIF - Université de Paris
,
Ignacio Fábregas
IMDEA Software Institute
Link to publication
DOI
15:07
22m
Talk
Certifying Graph-Manipulating C Programs via Localizations within Data Structures
SPLASH OOPSLA
Shengyi Wang
National University of Singapore
,
Qinxiang Cao
Shanghai Jiao Tong University
,
Anshuman Mohan
National University of Singapore
,
Aquinas Hobor
National University of Singapore
DOI
Pre-print
16:00 - 17:30
Types
SPLASH OOPSLA
at
Olympia
Chair(s):
Éric Tanter
University of Chile & Inria Paris
16:00
22m
Talk
Mergeable Replicated Data Types
SPLASH OOPSLA
Gowtham Kaki
Purdue University
,
Swarn Priya
Purdue University
,
KC Sivaramakrishnan
IIT Madras
,
Suresh Jagannathan
Purdue University
Link to publication
DOI
16:22
22m
Talk
Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation
SPLASH OOPSLA
Luís Caires
Universidade Nova de Lisboa and NOVA LINCS
,
Bernardo Toninho
Universidade Nova de Lisboa and NOVA LINCS
DOI
16:45
22m
Talk
System FR: Formalized Foundations for the Stainless Verifier
SPLASH OOPSLA
Jad Hamza
EPFL, Switzerland
,
Nicolas Voirol
EPFL, Switzerland
,
Viktor Kunčak
EPFL, Switzerland
DOI
17:07
22m
Talk
Complete Monitors for Gradual Types
SPLASH OOPSLA
Ben Greenman
PLT @ Northeastern University
,
Matthias Felleisen
PLT @ Northeastern University
,
Christos Dimoulas
PLT @ Northwestern University
DOI
Fri 25 Oct
Displayed time zone:
Beirut
change
09:30 - 10:30
Dillig keynote
SPLASH Keynotes
at
Olympia
Chair(s):
Eelco Visser
Delft University of Technology
09:30
60m
Talk
Programming Support for Evolving Database Applications
SPLASH Keynotes
K:
Işıl Dillig
University of Texas Austin
11:00 - 12:30
Concurrency
SPLASH OOPSLA
at
Olympia
Chair(s):
Sophia Drossopoulou
Imperial College London
11:00
22m
Talk
Efficient Lock-Free Durable Sets
SPLASH OOPSLA
Yoav Zuriel
Technion - Israel
,
Michal Friedman
Technion - Israel
,
Gali Sheffi
Technion - Israel
,
Nachshon Cohen
Amazon
,
Erez Petrank
Technion - Israel
DOI
11:22
22m
Talk
Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models
SPLASH OOPSLA
Azalea Raad
MPI-SWS, Germany
,
John Wickerson
Imperial College London
,
Viktor Vafeiadis
MPI-SWS, Germany
DOI
11:45
22m
Talk
Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization
SPLASH OOPSLA
Vimuth Fernando
University of Illinois at Urbana-Champaign
,
Keyur Joshi
University of Illinois at Urbana-Champaign
,
Sasa Misailovic
University of Illinois at Urbana-Champaign
DOI
12:07
22m
Talk
Dependence-Aware, Unbounded Sound Predictive Race Detection
SPLASH OOPSLA
Kaan Genç
Ohio State University
,
Jake Roemer
Ohio State University
,
Yufan Xu
Ohio State University
,
Michael D. Bond
Ohio State University
DOI
Pre-print
14:00 - 15:30
Implementation
SPLASH OOPSLA
at
Olympia
Chair(s):
Jens Palsberg
University of California, Los Angeles
14:00
22m
Talk
Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters
SPLASH OOPSLA
Ahmet Celik
The University of Texas at Austin
,
Pengyu Nie
The University of Texas at Austin
,
Chris Rossbach
The University of Texas at Austin and VMware Research Group
,
Milos Gligoric
The University of Texas at Austin
DOI
14:22
22m
Talk
Initialize Once, Start Fast: Application Initialization at Build Time
SPLASH OOPSLA
Christian Wimmer
Oracle Labs
,
Codrut Stancu
Oracle Labs
,
Peter Hofer
Oracle Labs
,
Vojin Jovanovic
Oracle Labs
,
Paul Wögerer
Oracle Labs
,
Peter B. Kessler
Oracle Labs
,
Oleg Pliss
Oracle Labs
,
Thomas Wuerthinger
Oracle Labs
DOI
Pre-print
14:45
22m
Talk
Reliable and Fast DWARF-Based Stack Unwinding
SPLASH OOPSLA
Théophile Bastian
ENS
,
Stephen Kell
University of Kent
,
Francesco Zappa Nardelli
Inria
Link to publication
DOI
File Attached
15:07
22m
Talk
PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java Programs
TOPLAS
SPLASH OOPSLA
Manas Thakur
IIT Madras
,
V Krishna Nandivada
IIT Madras
16:00 - 17:30
Dellaert keynote (closing)
SPLASH Keynotes
at
Olympia
Chair(s):
Yannis Smaragdakis
University of Athens
16:00
90m
Talk
A Graphical Language for Flexible Inference in Robotics and Vision
SPLASH Keynotes
K:
Frank Dellaert
Georgia Institute of Technology
Wed 23 Oct
Displayed time zone:
Beirut
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
18:00
30
Olympia
SPLASH Rebase + SPLASH Keynotes
Rebase Keynote (Might)
SPLASH OOPSLA
Modular Verification
SPLASH OOPSLA
Testing
SPLASH OOPSLA
Analysis
SPLASH OOPSLA
Awards / SIGPLAN Town Hall Meeting
Thu 24 Oct
Displayed time zone:
Beirut
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
Olympia
SPLASH Keynotes
Sack keynote
SPLASH OOPSLA
Distributed Systems
SPLASH OOPSLA
Specification and Certification
SPLASH OOPSLA
Types
Fri 25 Oct
Displayed time zone:
Beirut
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
Olympia
SPLASH Keynotes
Dillig keynote
SPLASH OOPSLA
Concurrency
SPLASH OOPSLA
Implementation
SPLASH Keynotes
Dellaert keynote (closing)
Wed 23 Oct
Displayed time zone:
Beirut
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
Olympia
SPLASH Rebase
Welcome, Introduction
09:00 - 09:20
SPLASH Keynotes
The Algorithm for Precision Medicine
09:20 - 10:30
SPLASH OOPSLA
Modular Verification of Heap Reachability Properties in Separation Logic
11:00 - 11:22
SPLASH OOPSLA
Modular Verification of Web Page Layout
11:22 - 11:45
SPLASH OOPSLA
Modular Verification for Almost-Sure Termination of Probabilistic Programs
11:45 - 12:07
SPLASH OOPSLA
Leveraging Rust Types for Modular Specification and Verification
12:07 - 12:30
SPLASH OOPSLA
Reflection-Aware Static Regression Test Selection
14:00 - 14:22
SPLASH OOPSLA
Trace Aware Random Testing for Distributed Systems
14:22 - 14:45
SPLASH OOPSLA
Automatic and Scalable Detection of Logical Errors in Functional Progra ...
14:45 - 15:07
SPLASH OOPSLA
On the Complexity of Checking Transactional Consistency
15:07 - 15:30
SPLASH OOPSLA
Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Pa ...
16:00 - 16:22
SPLASH OOPSLA
Precise Reasoning with Structured Time, Structured Heaps, and Collectiv ...
16:22 - 16:45
SPLASH OOPSLA
I/O Dependent Idempotence Bugs in Intermittent Systems
16:45 - 17:07
SPLASH OOPSLA
PlanAlyzer: Assessing Threats to the Validity of Online Experiments
17:07 - 17:30
Thu 24 Oct
Displayed time zone:
Beirut
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
Olympia
SPLASH Keynotes
The Software Arts
09:30 - 10:30
SPLASH OOPSLA
Asphalion: Trustworthy Shielding against Byzantine Faults
11:00 - 11:22
SPLASH OOPSLA
DProf: Distributed Profiler with Strong Guarantees
11:22 - 11:45
SPLASH OOPSLA
A Fault-Tolerant Programming Model for Distributed Interactive Applications
11:45 - 12:07
SPLASH OOPSLA
Language-Integrated Privacy-Aware Distributed Queries
12:07 - 12:30
SPLASH OOPSLA
Relational Verification using Reinforcement Learning
14:00 - 14:22
SPLASH OOPSLA
Specification and Inference of Trace Refinement Relations
14:22 - 14:45
SPLASH OOPSLA
Specifying Concurrent Programs in Separation Logic: Morphisms and Simul ...
14:45 - 15:07
SPLASH OOPSLA
Certifying Graph-Manipulating C Programs via Localizations within Data ...
15:07 - 15:30
SPLASH OOPSLA
Mergeable Replicated Data Types
16:00 - 16:22
SPLASH OOPSLA
Refinement Kinds: Type-Safe Programming with Practical Type-Level Compu ...
16:22 - 16:45
SPLASH OOPSLA
System FR: Formalized Foundations for the Stainless Verifier
16:45 - 17:07
SPLASH OOPSLA
Complete Monitors for Gradual Types
17:07 - 17:30
Fri 25 Oct
Displayed time zone:
Beirut
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
Olympia
SPLASH Keynotes
Programming Support for Evolving Database Applications
09:30 - 10:30
SPLASH OOPSLA
Efficient Lock-Free Durable Sets
11:00 - 11:22
SPLASH OOPSLA
Weak Persistency Semantics from the Ground Up: Formalising the Persiste ...
11:22 - 11:45
SPLASH OOPSLA
Verifying Safety and Accuracy of Approximate Parallel Programs via Cano ...
11:45 - 12:07
SPLASH OOPSLA
Dependence-Aware, Unbounded Sound Predictive Race Detection
12:07 - 12:30
SPLASH OOPSLA
Design, Implementation, and Application of GPU-Based Java Bytecode Inte ...
14:00 - 14:22
SPLASH OOPSLA
Initialize Once, Start Fast: Application Initialization at Build Time
14:22 - 14:45
SPLASH OOPSLA
Reliable and Fast DWARF-Based Stack Unwinding
14:45 - 15:07
SPLASH OOPSLA
TOPLAS
PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for J ...
15:07 - 15:30
SPLASH Keynotes
A Graphical Language for Flexible Inference in Robotics and Vision
16:00 - 17:30
x
Sat 23 Nov 21:17