REBLS 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
VenueRoyal Olympic Hotel
Room nameOlympia
Floor-1
Capacity500
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Wed 23 Oct
Times are displayed in time zone: Beirut change

09:00 - 10:30: Rebase Keynote (Might)SPLASH Rebase / SPLASH Keynotes at Olympia
Chair(s): Shan Shan HuangRelational.ai, Michael CarbinMassachusetts Institute of Technology, Yannis SmaragdakisUniversity of Athens
09:00 - 09:20
Day opening
Welcome, Introduction
SPLASH Rebase
Yannis SmaragdakisUniversity of Athens, Shan Shan HuangRelational.ai, Michael CarbinMassachusetts Institute of Technology
09:20 - 10:30
Talk
The Algorithm for Precision Medicine
SPLASH Keynotes
K: Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
11:00 - 12:30: Modular VerificationSPLASH OOPSLA at Olympia
Chair(s): Friedrich SteimannFernuni Hagen
11:00 - 11:22
Research paper
Modular Verification of Heap Reachability Properties in Separation Logic
SPLASH OOPSLA
Link to publication DOI Pre-print File Attached
11:22 - 11:45
Talk
Modular Verification of Web Page Layout
SPLASH OOPSLA
Pavel PanchekhaUniversity of Utah, Michael D. ErnstUniversity of Washington, USA, Zachary TatlockUniversity of Washington, Seattle, Shoaib KamilAdobe
DOI
11:45 - 12:07
Talk
Modular Verification for Almost-Sure Termination of Probabilistic Programs
SPLASH OOPSLA
Mingzhang HuangShanghai Jiao Tong University, Hongfei FuShanghai Jiao Tong University, Krishnendu ChatterjeeIST Austria, Amir Kafshdar GoharshadyIST Austria
DOI
12:07 - 12:30
Talk
Leveraging Rust Types for Modular Specification and Verification
SPLASH OOPSLA
Vytautas AstrauskasETH Zurich, Switzerland, Peter MüllerETH Zurich, Federico PoliETH Zurich, Switzerland, Alexander J. SummersETH Zurich
DOI Pre-print
14:00 - 15:30: Testing SPLASH OOPSLA at Olympia
Chair(s): Stephen KellUniversity of Kent
14:00 - 14:22
Talk
Reflection-Aware Static Regression Test Selection
SPLASH OOPSLA
August ShiUniversity of Illinois at Urbana-Champaign, Milica Hadzi-TanovicTechnische Universitat Munchen, Lingming ZhangThe University of Texas at Dallas, Darko MarinovUniversity of Illinois at Urbana-Champaign, Owolabi LegunsenUniversity of Illinois at Urbana-Champaign
DOI
14:22 - 14:45
Talk
Trace Aware Random Testing for Distributed Systems
SPLASH OOPSLA
Burcu Kulahcioglu OzkanMax Planck Institute for Software Systems (MPI-SWS), Rupak MajumdarMax Planck Institute for Software Systems (MPI-SWS), Simin OraeeMax Planck Institute for Software Systems (MPI-SWS)
DOI
14:45 - 15:07
Talk
Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
SPLASH OOPSLA
Dowon SongKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
DOI
15:07 - 15:30
Talk
On the Complexity of Checking Transactional Consistency
SPLASH OOPSLA
Ranadeep BiswasIRIF, University Paris Diderot & CNRS, Constantin EneaIRIF, University Paris Diderot & CNRS
DOI
16:00 - 17:30: Analysis SPLASH OOPSLA at Olympia
Chair(s): Jan VitekNortheastern University
16:00 - 16:22
Talk
Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity
SPLASH OOPSLA
Jingbo LuUNSW Sydney, Jingling XueUNSW Sydney
DOI
16:22 - 16:45
Talk
Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations
SPLASH OOPSLA
Gregory EssertelPurdue University, Guannan WeiPurdue University, Tiark RompfPurdue University
DOI
16:45 - 17:07
Talk
I/O Dependent Idempotence Bugs in Intermittent Systems
SPLASH OOPSLA
Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
DOI
17:07 - 17:30
Talk
PlanAlyzer: Assessing Threats to the Validity of Online Experiments
SPLASH OOPSLA
Emma ToschUniversity of Massachusetts Amherst, Eytan BakshyFacebook, Inc., Emery D. BergerUniversity of Massachusetts Amherst, David JensenUniversity of Massachusetts Amherst, Eliot MossUniversity of Massachusetts Amherst
DOI
17:30 - 18:30: Awards / SIGPLAN Town Hall MeetingSPLASH OOPSLA at Olympia
Chair(s): Eelco VisserDelft University of Technology, Jens PalsbergUniversity of California, Los Angeles

Thu 24 Oct
Times are displayed in time zone: Beirut change

09:30 - 10:30: Sack keynoteSPLASH Keynotes at Olympia
Chair(s): Tomas PetricekUniversity of Kent, Hidehiko MasuharaTokyo Institute of Technology
09:30 - 10:30
Talk
The Software Arts
SPLASH Keynotes
K: Warren SackUniversity of California, Santa Cruz
11:00 - 12:30: Distributed SystemsSPLASH OOPSLA at Olympia
Chair(s): Arjun GuhaUniversity of Massachusetts, Amherst
11:00 - 11:22
Talk
Asphalion: Trustworthy Shielding against Byzantine Faults
SPLASH OOPSLA
Ivana VukoticSnT, University of Luxembourg, Vincent RahliUniversity of Birmingham, Paulo Esteves-VeríssimoSnT, University of Luxembourg
DOI
11:22 - 11:45
Talk
DProf: Distributed Profiler with Strong Guarantees
SPLASH OOPSLA
Zachary BenavidesUC Riverside, Keval VoraSimon Fraser University, Rajiv GuptaUC Riverside
DOI
11:45 - 12:07
Talk
A Fault-Tolerant Programming Model for Distributed Interactive Applications
SPLASH OOPSLA
Ragnar MogkTechnische Universität Darmstadt, Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt, Mira MeziniTechnische Universität Darmstadt
DOI
12:07 - 12:30
Talk
Language-Integrated Privacy-Aware Distributed Queries
SPLASH OOPSLA
Guido SalvaneschiTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Daniel SokolowskiTechnische Universität Darmstadt, Philipp HallerKTH Royal Institute of Technology, Sebastian ErdwegJGU Mainz, Mira MeziniTechnische Universität Darmstadt
DOI
14:00 - 15:30: Specification and CertificationSPLASH OOPSLA at Olympia
Chair(s): Colin GordonDrexel University
14:00 - 14:22
Talk
Relational Verification using Reinforcement Learning
SPLASH OOPSLA
Jia ChenUniversity of Texas at Austin, Jiayi WeiUniversity of Texas at Austin, Yu FengUniversity of California, Santa Barbara, Osbert BastaniUniversity of Pennsylvania, Isil DilligUniversity of Texas Austin
DOI
14:22 - 14:45
Talk
Specification and Inference of Trace Refinement Relations
SPLASH OOPSLA
Timos AntonopoulosYale University, Eric KoskinenStevens Institute of Technology, Ton Chanh LeStevens Institute of Technology
DOI
14:45 - 15:07
Talk
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
SPLASH OOPSLA
Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute, Germán Andrés DelbiancoIRIF - Université de Paris, Ignacio FábregasIMDEA Software Institute
Link to publication DOI
15:07 - 15:30
Talk
Certifying Graph-Manipulating C Programs via Localizations within Data Structures
SPLASH OOPSLA
Shengyi WangNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore
DOI Pre-print
16:00 - 17:30: TypesSPLASH OOPSLA at Olympia
Chair(s): Éric TanterUniversity of Chile & Inria Paris
16:00 - 16:22
Talk
Mergeable Replicated Data Types
SPLASH OOPSLA
Gowtham KakiPurdue University, Swarn PriyaPurdue University, KC SivaramakrishnanIIT Madras, Suresh JagannathanPurdue University
Link to publication DOI
16:22 - 16:45
Talk
Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation
SPLASH OOPSLA
Luís CairesUniversidade Nova de Lisboa and NOVA LINCS, Bernardo ToninhoUniversidade Nova de Lisboa and NOVA LINCS
DOI
16:45 - 17:07
Talk
System FR: Formalized Foundations for the Stainless Verifier
SPLASH OOPSLA
Jad HamzaEPFL, Switzerland, Nicolas VoirolEPFL, Switzerland, Viktor KunčakEPFL, Switzerland
DOI
17:07 - 17:30
Talk
Complete Monitors for Gradual Types
SPLASH OOPSLA
Ben GreenmanPLT @ Northeastern University, Matthias FelleisenPLT @ Northeastern University, Christos DimoulasPLT @ Northwestern University
DOI

Fri 25 Oct
Times are displayed in time zone: Beirut change

09:30 - 10:30: Dillig keynoteSPLASH Keynotes at Olympia
Chair(s): Eelco VisserDelft University of Technology
09:30 - 10:30
Talk
Programming Support for Evolving Database Applications
SPLASH Keynotes
K: Isil DilligUniversity of Texas Austin
11:00 - 12:30: Concurrency SPLASH OOPSLA at Olympia
Chair(s): Sophia DrossopoulouImperial College London
11:00 - 11:22
Talk
Efficient Lock-Free Durable SetsACM SIGPLAN Distinguished Paper Award
SPLASH OOPSLA
Yoav ZurielTechnion - Israel, Michal FriedmanTechnion - Israel, Gali SheffiTechnion - Israel, Nachshon CohenAmazon, Erez PetrankTechnion - Israel
DOI
11:22 - 11:45
Talk
Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models
SPLASH OOPSLA
Azalea RaadMPI-SWS, Germany, John WickersonImperial College London, Viktor VafeiadisMPI-SWS, Germany
DOI
11:45 - 12:07
Talk
Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization
SPLASH OOPSLA
Vimuth FernandoUniversity of Illinois at Urbana-Champaign, Keyur JoshiUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign
DOI
12:07 - 12:30
Talk
Dependence-Aware, Unbounded Sound Predictive Race Detection
SPLASH OOPSLA
Kaan GençOhio State University, Jake RoemerOhio State University, Yufan XuOhio State University, Michael D. BondOhio State University
DOI Pre-print
14:00 - 15:30: ImplementationSPLASH OOPSLA at Olympia
Chair(s): Jens PalsbergUniversity of California, Los Angeles
14:00 - 14:22
Talk
Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters
SPLASH OOPSLA
Ahmet CelikThe University of Texas at Austin, Pengyu NieThe University of Texas at Austin, Chris RossbachThe University of Texas at Austin and VMware Research Group, Milos GligoricThe University of Texas at Austin
DOI
14:22 - 14:45
Talk
Initialize Once, Start Fast: Application Initialization at Build Time
SPLASH OOPSLA
Christian WimmerOracle Labs, Codrut StancuOracle Labs, Peter HoferOracle Labs, Vojin JovanovicOracle Labs, Paul WögererOracle Labs, Peter B. KesslerOracle Labs, Oleg PlissOracle Labs, Thomas WuerthingerOracle Labs
DOI Pre-print
14:45 - 15:07
Talk
Reliable and Fast DWARF-Based Stack Unwinding
SPLASH OOPSLA
Link to publication DOI File Attached
15:07 - 15:30
Talk
PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java ProgramsTOPLAS
SPLASH OOPSLA
Manas ThakurIIT Madras, V Krishna NandivadaIIT Madras
16:00 - 17:30: Dellaert keynote (closing)SPLASH Keynotes at Olympia
Chair(s): Yannis SmaragdakisUniversity of Athens
16:00 - 17:30
Talk
A Graphical Language for Flexible Inference in Robotics and Vision
SPLASH Keynotes
K: Frank DellaertGeorgia Institute of Technology

Wed 23 Oct
Times are displayed in time zone: Beirut change

Thu 24 Oct
Times are displayed in time zone: Beirut change

Fri 25 Oct
Times are displayed in time zone: Beirut change