Write a Blog >>
AI-SEPS 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
AI-SEPS Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Track/Call
Organization
AI-SEPS 2019 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
AI-SEPS 2019
AI-SEPS 2018
SEPS 2017
SEPS 2016
SEPS 2015
SEPS
Sign in
Sign up
SPLASH 2019
(
series
) /
AI-SEPS 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
Thu 19 Dec 09:38