Write a Blog >>
GPCE 2019
Sun 20 - Fri 25 October 2019
Athens, Greece
co-located with
SPLASH 2019
Toggle navigation
Attending
Venue: Royal Olympic Hotel
Banquet Venue: Aegli
SPLASH 2019
Awards
Local information
Students
Registration
Visa
Sponsoring SPLASH
Code of conduct
Remote participation
Program
GPCE Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Track/Call
Organization
GPCE 2019 Committees
Track Committees
Keynote Speaker
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
GPCE 2024
GPCE 2023
GPCE 2022
GPCE 2021
GPCE 2020
GPCE 2019
GPCE 2018
GPCE 2017
GPCE 2016
GPCE 2015
GPCE 2014
GPCE 2013
GPCE 2011
Sign in
Sign up
SPLASH 2019
(
series
) /
GPCE 2019 (
series
) /
Royal Olympic Hotel
/
Room information: Foyer
Venue
Royal Olympic Hotel
Room name
Foyer
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
18:00 - 19:30
Competition - Round 1
SPLASH SRC
at
Foyer
18:00
11m
Talk
Is Mutation Score a Fair Metric?
SPLASH SRC
Beatriz Souza
Federal University of Campina Grande
18:11
11m
Talk
Designing immersive virtual training environments for experiential learning
SPLASH SRC
Kalliopi Evangelia Stavroulia
Cyprus University of Technology
,
Andreas Lanitis
Cyprus University of Technology
18:22
11m
Talk
Debugging Support for Multi-paradigm Concurrent Programs
SPLASH SRC
Dominik Aumayr
Johannes Kepler University Linz, Austria
18:33
11m
Talk
Linear capabilities for CHERI
SPLASH SRC
Aaron Lippeveldts
Vrije Universiteit Brussel
,
Dominique Devriese
Vrije Universiteit Brussel
18:45
11m
Talk
An Empirical Study of Programming Language Effect on OSS Development Effort
SPLASH SRC
Muna Altherwi
Southampton University
18:56
11m
Talk
Practical Second Futamura Projection
SPLASH SRC
Florian Latifi
Johannes Kepler University Linz
DOI
Pre-print
19:07
11m
Talk
Gradual Program Analysis
SPLASH SRC
Samuel Estep
Liberty University
,
Jenna DiVincenzo (Wise)
Carnegie Mellon University
,
Jonathan Aldrich
Carnegie Mellon University
,
Éric Tanter
University of Chile & Inria Paris
,
Johannes Bader
Facebook
19:18
11m
Talk
Incremental Scannerless Generalized LR Parsing
SPLASH SRC
Maarten P. Sijm
Delft University of Technology
Thu 24 Oct
Displayed time zone:
Beirut
change
17:30 - 19:30
Poster #2
SPLASH Posters
at
Foyer
17:30
2m
Poster
Etherolic: A Concolic Execution System for Security Analysis of Smart Contracts
SPLASH Posters
Mohammadreza Ashouri
University of Potsdam, Germany
17:32
2m
Poster
Language-Parametric Semantic Editor Services based on Declarative Type System Specifications
SPLASH Posters
Daniel A. A. Pelsmaeker
Delft University of Technology, Netherlands
,
Hendrik van Antwerpen
TU Delft
,
Eelco Visser
Delft University of Technology
17:35
2m
Poster
NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories
SPLASH Posters
Alex Villazón
Universidad Privada Boliviana, Bolivia
,
Haiyang Sun
Università della Svizzera italiana
,
Andrea Rosà
University of Lugano, Switzerland
,
Eduardo Rosales
University of Lugano, Switzerland
,
Daniele Bonetta
Oracle Labs
,
Isabella Defilippis
Universidad Privada Boliviana (UPB)
,
Sergio Oporto
Universidad Privada Boliviana (UPB)
,
Walter Binder
University of Lugano, Switzerland
17:38
2m
Poster
A Symmetry-Based $N$-Body Solver Compiler
SPLASH Posters
Shigeyuki Sato
The University of Tokyo
17:40
2m
Poster
Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM
SPLASH Posters
Aleksandar Prokopec
Oracle Labs
,
Andrea Rosà
University of Lugano, Switzerland
,
David Leopoldseder
Johannes Kepler University Linz
,
Gilles Duboscq
Oracle Labs
,
Petr Tuma
Charles University
,
Martin Studener
JKU Linz, Austria
,
Lubomír Bulej
Charles University
,
Yudi Zheng
Oracle Labs
,
Alex Villazón
Universidad Privada Boliviana, Bolivia
,
Doug Simon
Oracle Labs
,
Thomas Wuerthinger
Oracle Labs
,
Walter Binder
University of Lugano, Switzerland
17:43
2m
Poster
MetaDL : Declarative Program Analysis for the Masses
SPLASH Posters
Alexandru Dura
Lund University
,
Hampus Balldin
Lund University
17:46
2m
Poster
Obsidian: Typestate and Assets for Safer Smart Contracts
SPLASH Posters
Michael Coblenz
Carnegie Mellon University
,
Jonathan Aldrich
Carnegie Mellon University
,
Joshua Sunshine
Carnegie Mellon University
,
Brad A. Myers
Carnegie Mellon University
17:49
2m
Poster
Component-Based Computation-Energy Modeling for Embedded Systems
SPLASH Posters
Adam Seewald
University of Southern Denmark
,
Ulrik Pagh Schultz
University of Southern Denmark
,
Julius Roede
University of Amsterdam
,
Benjamin Rouxel
University of Amsterdam
,
Clemens Grelck
University of Amsterdam
17:51
2m
Poster
Distributed Object-oriented Programming with Multiple Consistency Levels in ConSysT
SPLASH Posters
Nafise Eskandani
Technische Universität Darmstadt
,
Mirko Köhler
Technische Universität Darmstadt
,
Guido Salvaneschi
Technische Universität Darmstadt
17:54
2m
Poster
Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Generalized k-Limited Context Abstraction
SPLASH Posters
Minseok Jeon
Korea University, South Korea
,
Sehun Jeong
Korea University, South Korea
,
Hakjoo Oh
Korea University
17:57
2m
Poster
Automatically Fixing Memory-Leaks
SPLASH Posters
Seongjoon Hong
Korea University
,
Junhee Lee
Korea University, South Korea
,
Jeongsoo Lee
Korea University
,
Hakjoo Oh
Korea University
18:00
2m
Poster
Precise Safety Verification of Smart Contracts
SPLASH Posters
Sunbeom So
Korea University
,
Myungho Lee
Korea University
,
Hakjoo Oh
Korea University
18:02
2m
Poster
Towards a WebAssembly Standalone Runtime on GraalVM
SPLASH Posters
Salim S. Salim
University of Manchester
,
Andrew Nisbet
The University of Manchester
,
Mikel Luján
University of Manchester
18:05
2m
Poster
Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures
SPLASH Posters
Ari Rasch
University of Münster
,
Richard Schulze
University of Münster
,
Sergei Gorlatch
18:08
2m
Poster
Squirrel: An Extensible Distributed KV Store
SPLASH Posters
Kevin De Porre
,
Elisa Gonzalez Boix
Vrije Universiteit Brussel, Belgium
Link to publication
18:10
2m
Poster
Memory efficient CRDTs in dynamic environments
SPLASH Posters
Jim Bauwens
Vrije Universiteit Brussel
,
Elisa Gonzalez Boix
Vrije Universiteit Brussel, Belgium
Link to publication
18:13
2m
Poster
Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education
SPLASH Posters
Ikuta Tanigawa
Kyusyu University
,
Harumi Watanabe
Tokai University
,
Nobuhiro Ohe
Tokai Univ.
,
Mikiko Sato
Tokai University
,
Nobuhiko Ogura
Tokyo City University
,
Takeshi Ohkawa
Tokai Univ.
,
Kenji Hisazumi
Kyushu University
,
Akira Fukuda
Kyushu University
Link to publication
18:16
2m
Poster
Generating a Fluent API with Syntax Checking from an LR Grammar
SPLASH Posters
Tetsuro Yamazaki
Graduate School of Information Science and Technology, The University of Tokyo
,
Tomoki Nakamaru
Graduate School of Information Science and Technology, The University of Tokyo
,
Shigeru Chiba
Graduate School of Information Science and Technology, The University of Tokyo
,
Kazuhiro Ichikawa
Graduate School of Information Science and Technology, The University of Tokyo
Link to publication
18:19
2m
Poster
Multitier Reactive Programming in High Performance Computing
SPLASH Posters
Daniel Sokolowski
Technische Universität Darmstadt
,
Philipp Martens
Technische Universität Darmstadt
,
Guido Salvaneschi
Technische Universität Darmstadt
Link to publication
18:21
2m
Poster
Certifying Graph-Manipulating C Programs via Localizations within Data Structures
SPLASH Posters
Shengyi Wang
National University of Singapore
,
Qinxiang Cao
Shanghai Jiao Tong University
,
Anshuman Mohan
National University of Singapore
,
Aquinas Hobor
National University of Singapore
Link to publication
DOI
18:24
2m
Poster
Aroma: Code Recommendation via Structural Code Search
SPLASH Posters
Sifei Luan
Facebook, Inc.
,
Di Yang
University of California, Irvine
,
Celeste Barnaby
Facebook, Inc.
,
Koushik Sen
University of California, Berkeley
,
Satish Chandra
Facebook
Link to publication
18:27
2m
Poster
System FR: Formalized Foundations for the Stainless Verifier
SPLASH Posters
Jad Hamza
EPFL, Switzerland
,
Nicolas Voirol
EPFL, Switzerland
,
Viktor Kunčak
EPFL, Switzerland
Link to publication
18:30
2m
Poster
A Fault-Tolerant Programming Model for Distributed Interactive Applications
SPLASH Posters
Ragnar Mogk
Technische Universität Darmstadt
,
Joscha Drechsler
Technische Universität Darmstadt
,
Guido Salvaneschi
Technische Universität Darmstadt
,
Mira Mezini
Technische Universität Darmstadt
Link to publication
18:32
2m
Poster
WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers
SPLASH Posters
Robbert Gurdeep Singh
Universiteit Gent, Belgium
,
Christophe Scholliers
Universiteit Gent, Belgium
Link to publication
18:35
2m
Poster
Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
SPLASH Posters
Dowon Song
Korea University
,
Myungho Lee
Korea University
,
Hakjoo Oh
Korea University
Link to publication
18:38
2m
Poster
Asphalion: Trustworthy Shielding against Byzantine Faults
SPLASH Posters
Ivana Vukotic
SnT, University of Luxembourg
,
Vincent Rahli
University of Birmingham
,
Paulo Esteves-Veríssimo
SnT, University of Luxembourg
Link to publication
18:40
2m
Poster
IVT: An Efficient Method for Sharing Subtype Polymorphic Objects
SPLASH Posters
Yu-Ping Wang
Tsinghua University, China
,
Xu-Qiang Hu
Tsinghua Univeraity, China
,
Zi-Xin Zou
Tsinghua Univeraity, China
,
Wende Tan
Tsinghua University, China
Link to publication
18:43
2m
Poster
Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks
SPLASH Posters
David Richter
Technical University of Darmstadt
,
Ragnar Mogk
Technische Universität Darmstadt
Link to publication
18:46
2m
Poster
TLA+ model checking made symbolic
SPLASH Posters
Igor Konnov
Inria Nancy - Grand Est, France
,
Jure Kukovec
TU Wien, Austria
,
Thanh-Hai Tran
TU Wien, Austria
Link to publication
18:49
2m
Poster
Getafix: Learning to Fix Bugs Automatically
SPLASH Posters
Johannes Bader
Facebook
,
Andrew Scott
Facebook
,
Michael Pradel
University of Stuttgart
,
Satish Chandra
Facebook
Link to publication
18:51
2m
Poster
Dependence-Aware, Unbounded Sound Predictive Race Detection
SPLASH Posters
Kaan Genç
Ohio State University
,
Jake Roemer
Ohio State University
,
Yufan Xu
Ohio State University
,
Michael D. Bond
Ohio State University
Link to publication
18:54
2m
Poster
Effective Lock Handling in Stateless Model Checking
SPLASH Posters
Michalis Kokologiannakis
MPI-SWS, Germany
,
Azalea Raad
MPI-SWS, Germany
,
Viktor Vafeiadis
MPI-SWS, Germany
Link to publication
18:57
2m
Poster
Language-Integrated Privacy-Aware Distributed Queries
SPLASH Posters
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
Link to publication
19:00
2m
Poster
I/O Dependent Idempotence Bugs in Intermittent Systems
SPLASH Posters
Milijana Surbatovich
Carnegie Mellon University
,
Limin Jia
Carnegie Mellon University
,
Brandon Lucia
Carnegie Mellon University
Link to publication
19:02
2m
Poster
Vision Paper: Generating Incremental Type Services
SPLASH Posters
André Pacak
JGU Mainz
,
Sebastian Erdweg
JGU Mainz
Link to publication
19:05
2m
Poster
Static Analysis with Demand-Driven Value Refinement
SPLASH Posters
Benno Stein
University of Colorado Boulder
,
Benjamin Barslev Nielsen
Aarhus University
,
Bor-Yuh Evan Chang
University of Colorado Boulder | Amazon
,
Anders Møller
Aarhus University
Link to publication
19:08
2m
Poster
Improving Bug Detection via Context-based Code Representation Learning and Attention-based Neural Networks
SPLASH Posters
Yi Li
New Jersey Institute of Technology, USA
,
Shaohua Wang
New Jersey Institute of Technology, USA
,
Tien N. Nguyen
University of Texas at Dallas
,
Son Nguyen
The University of Texas at Dallas
Link to publication
19:10
2m
Poster
Reflection in Attribute Grammars
SPLASH Posters
Lucas Kramer
University of Minnesota
,
Ted Kaminski
University of Minnesota
,
Eric Van Wyk
University of Minnesota, USA
Link to publication
19:13
2m
Poster
DeepSEA: A Language for Certified System Software
SPLASH Posters
Vilhelm Sjöberg
Yale University
,
Yuyang Sang
Yale University
,
Shu-chun Weng
Yale University
,
Zhong Shao
Yale University
Link to publication
19:16
2m
Poster
Practical Second Futamura Projection
SPLASH Posters
Florian Latifi
Johannes Kepler University Linz
19:19
2m
Poster
Gradual Program Analysis
SPLASH Posters
Samuel Estep
Liberty University
,
Jenna DiVincenzo (Wise)
Carnegie Mellon University
,
Jonathan Aldrich
Carnegie Mellon University
,
Éric Tanter
University of Chile & Inria Paris
,
Johannes Bader
Facebook
19:21
2m
Poster
Incremental Scannerless Generalized LR Parsing
SPLASH Posters
Maarten P. Sijm
Delft University of Technology
19:24
2m
Poster
Improving Performance and Quality of Database-Backed Software
SPLASH Posters
Junwen Yang
university of chicago
,
Cong Yan
University of Washington
,
Chengcheng Wan
The University of Chicago
,
Alvin Cheung
University of California, Berkeley
,
Shan Lu
University of Chicago
19:27
2m
Poster
On the Fly Synthesis of Edit Suggestions
SPLASH Posters
Anders Miltner
Princeton University
,
Sumit Gulwani
Microsoft
,
Vu Le
Microsoft
,
Alan Leung
Microsoft
,
Arjun Radhakrishna
Microsoft
,
Gustavo Soares
Microsoft
,
Ashish Tiwari
Microsoft
,
Abhishek Udupa
Microsoft
Link to publication
Wed 23 Oct
Displayed time zone:
Beirut
change
Room
18:00
30
19:00
30
Foyer
SPLASH SRC
Competition - Round 1
Thu 24 Oct
Displayed time zone:
Beirut
change
Room
17:00
30
18:00
30
19:00
30
Foyer
SPLASH Posters
Poster #2
Wed 23 Oct
Displayed time zone:
Beirut
change
Room
18:00
15
30
45
19:00
15
30
45
Foyer
SPLASH SRC
Is Mutation Score a Fair Metric?
18:00 - 18:11
SPLASH SRC
Designing immersive virtual training environments for experiential learning
18:11 - 18:22
SPLASH SRC
Debugging Support for Multi-paradigm Concurrent Programs
18:22 - 18:33
SPLASH SRC
Linear capabilities for CHERI
18:33 - 18:45
SPLASH SRC
An Empirical Study of Programming Language Effect on OSS Development Effort
18:45 - 18:56
SPLASH SRC
Practical Second Futamura Projection
18:56 - 19:07
SPLASH SRC
Gradual Program Analysis
19:07 - 19:18
SPLASH SRC
Incremental Scannerless Generalized LR Parsing
19:18 - 19:30
Thu 24 Oct
Displayed time zone:
Beirut
change
Room
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
Foyer
SPLASH Posters
Etherolic: A Concolic Execution System for Security Analysis of Smart C ...
17:30 - 17:32
SPLASH Posters
Language-Parametric Semantic Editor Services based on Declarative Type ...
17:32 - 17:35
SPLASH Posters
NAB: Automated Large-scale Multi-language Dynamic Program Analysis in P ...
17:35 - 17:38
SPLASH Posters
A Symmetry-Based $N$-Body Solver Compiler
17:38 - 17:40
SPLASH Posters
Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM
17:40 - 17:43
SPLASH Posters
MetaDL : Declarative Program Analysis for the Masses
17:43 - 17:46
SPLASH Posters
Obsidian: Typestate and Assets for Safer Smart Contracts
17:46 - 17:49
SPLASH Posters
Component-Based Computation-Energy Modeling for Embedded Systems
17:49 - 17:51
SPLASH Posters
Distributed Object-oriented Programming with Multiple Consistency Level ...
17:51 - 17:54
SPLASH Posters
Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Gene ...
17:54 - 17:57
SPLASH Posters
Automatically Fixing Memory-Leaks
17:57 - 18:00
SPLASH Posters
Precise Safety Verification of Smart Contracts
18:00 - 18:02
SPLASH Posters
Towards a WebAssembly Standalone Runtime on GraalVM
18:02 - 18:05
SPLASH Posters
Performance, Portability, and Productivity for Data-Parallel Applicatio ...
18:05 - 18:08
SPLASH Posters
Squirrel: An Extensible Distributed KV Store
18:08 - 18:10
SPLASH Posters
Memory efficient CRDTs in dynamic environments
18:10 - 18:13
SPLASH Posters
Context-Oriented Live Programming Environments with Mixed Reality Syste ...
18:13 - 18:16
SPLASH Posters
Generating a Fluent API with Syntax Checking from an LR Grammar
18:16 - 18:19
SPLASH Posters
Multitier Reactive Programming in High Performance Computing
18:19 - 18:21
SPLASH Posters
Certifying Graph-Manipulating C Programs via Localizations within Data ...
18:21 - 18:24
SPLASH Posters
Aroma: Code Recommendation via Structural Code Search
18:24 - 18:27
SPLASH Posters
System FR: Formalized Foundations for the Stainless Verifier
18:27 - 18:30
SPLASH Posters
A Fault-Tolerant Programming Model for Distributed Interactive Applications
18:30 - 18:32
SPLASH Posters
WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microco ...
18:32 - 18:35
SPLASH Posters
Automatic and Scalable Detection of Logical Errors in Functional Progra ...
18:35 - 18:38
SPLASH Posters
Asphalion: Trustworthy Shielding against Byzantine Faults
18:38 - 18:40
SPLASH Posters
IVT: An Efficient Method for Sharing Subtype Polymorphic Objects
18:40 - 18:43
SPLASH Posters
Turning Unobservable into Unreachable: Dynamic Reactive Programming wit ...
18:43 - 18:46
SPLASH Posters
TLA+ model checking made symbolic
18:46 - 18:49
SPLASH Posters
Getafix: Learning to Fix Bugs Automatically
18:49 - 18:51
SPLASH Posters
Dependence-Aware, Unbounded Sound Predictive Race Detection
18:51 - 18:54
SPLASH Posters
Effective Lock Handling in Stateless Model Checking
18:54 - 18:57
SPLASH Posters
Language-Integrated Privacy-Aware Distributed Queries
18:57 - 19:00
SPLASH Posters
I/O Dependent Idempotence Bugs in Intermittent Systems
19:00 - 19:02
SPLASH Posters
Vision Paper: Generating Incremental Type Services
19:02 - 19:05
SPLASH Posters
Static Analysis with Demand-Driven Value Refinement
19:05 - 19:08
SPLASH Posters
Improving Bug Detection via Context-based Code Representation Learning ...
19:08 - 19:10
SPLASH Posters
Reflection in Attribute Grammars
19:10 - 19:13
SPLASH Posters
DeepSEA: A Language for Certified System Software
19:13 - 19:16
SPLASH Posters
Practical Second Futamura Projection
19:16 - 19:19
SPLASH Posters
Gradual Program Analysis
19:19 - 19:21
SPLASH Posters
Incremental Scannerless Generalized LR Parsing
19:21 - 19:24
SPLASH Posters
Improving Performance and Quality of Database-Backed Software
19:24 - 19:27
SPLASH Posters
On the Fly Synthesis of Edit Suggestions
19:27 - 19:30
x
Thu 21 Nov 12:45