Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Wed 23 Oct 2019 18:22 - 18:33 at Foyer - Competition - Round 1
Thu 24 Oct 2019 17:00 - 17:15 at Room 1 - Competition - Round 2

With the widespread adoption of concurrent programming, debugging of non-deterministic failures becomes increasingly important. Record & replay debugging aids developers in this effort by reliably reproducing recorded bugs. Because each concurrency model is particularly suited for different tasks, developers started combining them within the same application. Record & replay solutions are typically designed for one concurrency model only. In this paper we investigate a novel multi-paradigm record & replay that is based on abstracting concurrency models to a common set of concepts and events for unified ordering-based record & replay.

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

18:00 - 19:30: Competition - Round 1SRC at Foyer
18:00 - 18:11
Talk
Is Mutation Score a Fair Metric?
SRC
Beatriz SouzaFederal University of Campina Grande
18:11 - 18:22
Talk
Designing immersive virtual training environments for experiential learning
SRC
Kalliopi Evangelia StavrouliaCyprus University of Technology, Andreas LanitisCyprus University of Technology
18:22 - 18:33
Talk
Debugging Support for Multi-paradigm Concurrent Programs
SRC
Dominik AumayrJohannes Kepler University Linz, Austria
18:33 - 18:45
Talk
Linear capabilities for CHERI
SRC
Aaron LippeveldtsVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel
18:45 - 18:56
Talk
An Empirical Study of Programming Language Effect on OSS Development Effort
SRC
Muna AltherwiSouthampton University
18:56 - 19:07
Talk
Practical Second Futamura Projection
SRC
Florian LatifiJohannes Kepler University Linz
DOI Pre-print
19:07 - 19:18
Talk
Gradual Program Analysis
SRC
Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook
19:18 - 19:30
Talk
Incremental Scannerless Generalized LR Parsing
SRC
Maarten P. SijmDelft University of Technology

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

16:00 - 17:30: Competition - Round 2SRC at Room 1
16:00 - 16:15
Talk
Designing immersive virtual training environments for experiential learning
SRC
Kalliopi Evangelia StavrouliaCyprus University of Technology, Andreas LanitisCyprus University of Technology
16:15 - 16:30
Talk
Linear capabilities for CHERI
SRC
Aaron LippeveldtsVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel
16:30 - 16:45
Talk
Gradual Program Analysis
SRC
Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook
16:45 - 17:00
Talk
Incremental Scannerless Generalized LR Parsing
SRC
Maarten P. SijmDelft University of Technology
17:00 - 17:15
Talk
Debugging Support for Multi-paradigm Concurrent Programs
SRC
Dominik AumayrJohannes Kepler University Linz, Austria
17:15 - 17:30
Talk
Practical Second Futamura Projection
SRC
Florian LatifiJohannes Kepler University Linz
DOI Pre-print