Write a Blog >>
AGERE 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
Complete Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Track/Call
Organization
AGERE 2019
AGERE 2019
Organizing Committee
AGERE 2019
Program Committee
Contributors
People Index
Search
Series
Series
AGERE 2019
AGERE 2018
AGERE 2017
AGERE 2016
AGERE! 2015
AGERE!
AGERE 2012
Sign in
Sign up
SPLASH 2019
(
series
) /
AGERE 2019 (
series
) /
Royal Olympic Hotel
/
Room information: Room 1
Venue
Royal Olympic Hotel
Room name
Room 1
Floor
1
Room number
1
Capacity
90
Additional information
First floor conference room (when not split)
Program
Detailed Table
Session Timeline
Detailed Timeline
Mon 21 Oct
mplr-2019-papers
09:00 - 10:30:
MPLR 2019
- Keynote 1 at
Room 1
mplr-2019-papers
09:00 - 10:30
Talk
Adversarial Compilation
Olivier Flückiger
Northeastern University
,
Jan Vitek
Northeastern University
mplr-2019-papers
11:00 - 12:30:
MPLR 2019
- Virtual machines at
Room 1
mplr-2019-papers
11:00 - 11:30
Talk
Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction
Raphael Mosaner
Johannes Kepler University Linz
,
David Leopoldseder
Johannes Kepler University Linz
,
Manuel Rigger
ETH Zurich
,
Roland Schatz
Johannes Kepler University Linz
,
Hanspeter Mössenböck
JKU Linz, Austria
Pre-print
mplr-2019-papers
11:30 - 12:00
Talk
GraalSqueak: Toward a Smalltalk-based Tooling Platform for Polyglot Programming
Fabio Niephaus
Hasso Plattner Institute, University of Potsdam
,
Tim Felgentreff
Oracle Labs, Potsdam
,
Robert Hirschfeld
Hasso-Plattner-Institut (HPI), Germany
DOI
Pre-print
mplr-2019-papers
12:00 - 12:30
Talk
WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers
Robbert Gurdeep Singh
Universiteit Gent, Belgium
,
Christophe Scholliers
Universiteit Gent, Belgium
DOI
Authorizer link
Pre-print
mplr-2019-papers
14:00 - 15:30:
MPLR 2019
- Concurrency and parallelism at
Room 1
mplr-2019-papers
14:00 - 14:30
Talk
Dynamic One-To-One Mapping of Ownership Records for STM using Versioned Weak References
Martin Bättig
Department of Computer Science, ETH Zurich
,
Thomas Gross
ETH Zurich, Switzerland
mplr-2019-papers
14:30 - 15:00
Talk
A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language
Tatsuya Abe
Chiba Institute of Technology, Japan
mplr-2019-papers
15:00 - 15:30
Talk
Hosting OpenMP Programs on Java Virtual Machines
Swapnil Laxman Gaikwad
The University of Manchester
,
Andy Nisbet
The University of Manchester
,
Mikel Luján
University of Manchester
mplr-2019-papers
16:00 - 17:30:
MPLR 2019
- Program analysis at
Room 1
mplr-2019-papers
16:00 - 16:30
Talk
Predicting All Data Race Pairs for a Specific Schedule
Martin Sulzmann
Karlsruhe University of Applied Sciences, Germany
,
Kai Stadtmüller
Karlsruhe University of Applied Sciences
mplr-2019-papers
16:30 - 17:00
Talk
Towards Efficient, Multi-Language Dynamic Taint Analysis
Jacob Kreindl
Johannes Kepler University Linz
,
Daniele Bonetta
Oracle Labs
,
Hanspeter Mössenböck
JKU Linz, Austria
mplr-2019-papers
17:00 - 17:30
Talk
Detection of Suspicious Time Windows in Memory Monitoring
Markus Weninger
Christian Doppler Lab. MEVSS, Johannes Kepler University Linz
,
Elias Gander
Christian Doppler Lab. MEVSS, Johannes Kepler University Linz
,
Hanspeter Mössenböck
JKU Linz, Austria
Tue 22 Oct
mplr-2019-papers
09:00 - 10:30:
MPLR 2019
- Keynote 2 at
Room 1
mplr-2019-papers
09:00 - 10:30
Talk
How did we get here and where can we go next?
Laurence Tratt
King's College London
mplr-2019-papers
11:00 - 12:30:
MPLR 2019
- Compilation and code manipulation at
Room 1
Chair(s):
Shigeru Chiba
Graduate School of Information Science and Technology, The University of Tokyo
mplr-2019-papers
11:00 - 11:30
Talk
Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language
Thomas Ball
Microsoft Research
,
Peli de Halleux
Microsoft Research
,
Michal Moskal
Microsoft Research
mplr-2019-papers
11:30 - 12:00
Talk
PorcE: A Deparallelizing Compiler
Arthur Michener Peters
The University of Texas at Austin, Texas, USA
,
John A. Thywissen
The University of Texas at Austin
,
Chris Rossbach
The University of Texas at Austin and VMware Research Group
mplr-2019-papers
12:00 - 12:30
Talk
An Analysis of Call-site Patching Without Strong Hardware Support for Self-Modifying-Code
Tim Hartley
The University of Manchester
,
Foivos S. Zakkak
University of Manchester, UK
,
Christos Kotselidis
University of Manchester, UK
,
Mikel Luján
University of Manchester
Link to publication
DOI
mplr-2019-papers
14:00 - 15:30:
MPLR 2019
- Applications at
Room 1
Chair(s):
Andrea Rosà
University of Lugano, Switzerland
mplr-2019-papers
14:00 - 14:30
Talk
Performance of an OO Compute Kernel on the JVM -- Revisiting Java as a Language for Scientific Computing Applications
Malin Källén
Uppsala University
,
Tobias Wrigstad
Uppsala University
mplr-2019-papers
14:30 - 15:00
Talk
Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications
Dominik Aumayr
Johannes Kepler University Linz, Austria
,
Stefan Marr
University of Kent
,
Elisa Gonzalez Boix
Vrije Universiteit Brussel, Belgium
,
Hanspeter Mössenböck
JKU Linz, Austria
DOI
Pre-print
Thu 24 Oct
splash-2019-oopsla
14:00 - 15:30:
OOPSLA
- DSLs and Parsing at
Room 1
Chair(s):
Eric Van Wyk
University of Minnesota, USA
splash-2019-oopsla
14:00 - 14:30
Talk
Seq: A High-Performance Language for Bioinformatics
Ariya Shajii
MIT
,
Ibrahim Numanagić
MIT
,
Riyadh Baghdadi
MIT
,
Bonnie Berger
MIT
,
Saman Amarasinghe
MIT
DOI
splash-2019-oopsla
14:30 - 15:00
Talk
Generating a Fluent API with Syntax Checking from an LR Grammar
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
,
Kazuhiro Ichikawa
Graduate School of Information Science and Technology, The University of Tokyo
,
Shigeru Chiba
Graduate School of Information Science and Technology, The University of Tokyo
DOI
splash-2019-oopsla
15:00 - 15:30
Talk
Derivative Grammars: A Symbolic Approach to Parsing with Derivatives
Ian Henriksen
The University of Texas at Austin
,
Gianfranco Bilardi
University of Padova, Italy
,
Keshav Pingali
The University of Texas at Austin
DOI
splash-2019-SRC
16:00 - 17:30:
SRC
- Competition - Round 2 at
Room 1
splash-2019-SRC
16:00 - 16:15
Talk
Designing immersive virtual training environments for experiential learning
Kalliopi Evangelia Stavroulia
Cyprus University of Technology
,
Andreas Lanitis
Cyprus University of Technology
splash-2019-SRC
16:15 - 16:30
Talk
Linear capabilities for CHERI
Aaron Lippeveldts
Vrije Universiteit Brussel
,
Dominique Devriese
Vrije Universiteit Brussel
splash-2019-SRC
16:30 - 16:45
Talk
Gradual Program Analysis
Samuel Estep
Liberty University
,
Jenna Wise
Carnegie Mellon University
,
Jonathan Aldrich
Carnegie Mellon University
,
Éric Tanter
University of Chile & Inria Paris
,
Johannes Bader
Facebook
splash-2019-SRC
16:45 - 17:00
Talk
Incremental Scannerless Generalized LR Parsing
Maarten P. Sijm
Delft University of Technology
splash-2019-SRC
17:00 - 17:15
Talk
Debugging Support for Multi-paradigm Concurrent Programs
Dominik Aumayr
Johannes Kepler University Linz, Austria
splash-2019-SRC
17:15 - 17:30
Talk
Practical Second Futamura Projection
Florian Latifi
Johannes Kepler University Linz
DOI
Pre-print
Fri 25 Oct
splash-2019-SPLASH-E
11:00 - 12:30:
SPLASH-E
- Session 1 at
Room 1
splash-2019-SPLASH-E
11:00 - 11:10
Day opening
Welcome
Elisa Baniassad
University of British Columbia
splash-2019-SPLASH-E
11:10 - 12:00
Talk
Scalability of Experiential Programming Courses
Martin Henz
splash-2019-SPLASH-E
12:00 - 12:15
Short-paper
Parallelism in Practice: Experiences Teaching Concurrency and Parallelism in an Undergraduate OS Course
Charlie Curtsinger
Grinnell College
splash-2019-SPLASH-E
12:15 - 12:30
Short-paper
Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Thomas Ball
Microsoft Research
,
Abhijith Chatra
Microsoft
,
Peli de Halleux
Microsoft Research
,
Steve Hodges
Microsoft
,
Michal Moskal
Microsoft Research
,
Jacqueline Russell
Microsoft
splash-2019-SPLASH-E
14:00 - 15:30:
SPLASH-E
- Session 2 at
Room 1
splash-2019-SPLASH-E
14:00 - 14:30
Full-paper
Towards Answering "Am I On the Right Track?" Automatically Using Program Synthesis
Molly Feldman
Cornell University
,
Yiting Wang
Cornell University
,
William E. Byrd
University of Alabama at Birmingham, USA
,
François Guimbretière
Cornell University
,
Erik Andersen
Cornell University
splash-2019-SPLASH-E
14:30 - 15:00
Full-paper
Evaluating ProDirect Manipulation in Hour of Code
Quan Do
Williams College
,
Kiersten Campbell
Williams College
,
Emmie Hine
Williams College
,
Dzung Pham
Williams College
,
Alex Taylor
Williams College
,
Iris Howley
Williams College
,
Dan Barowy
Williams College
splash-2019-SPLASH-E
15:00 - 15:15
Short-paper
Experiences in Bridging from Functional to Object-Oriented Programming
Igor Moreno Santos
Università della Svizzera italiana
,
Matthias Hauswirth
Università della Svizzera italiana
,
Nate Nystrom
Università della Svizzera italiana
splash-2019-SPLASH-E
15:15 - 15:30
Short-paper
ChocoPy: A Programming Language for Compilers Courses
Rohan Padhye
University of California, Berkeley
,
Koushik Sen
University of California, Berkeley
,
Paul N. Hilfinger
University of California, Berkeley
Pre-print
splash-2019-SPLASH-E
16:00 - 17:30:
SPLASH-E
- Session 3 at
Room 1
splash-2019-SPLASH-E
16:00 - 16:30
Full-paper
Theia: Automatically Generating Correct Program State Visualizations
Josh Pollock
University of Washington
,
Jared Roesch
University of Washington, USA
,
Doug Woos
University of Washington
,
Zachary Tatlock
University of Washington
splash-2019-SPLASH-E
16:30 - 17:00
Full-paper
Lambdulus: Teaching Lambda Calculus Practically
Jan Sliacky
Faculty of Informatics, Czech Technical University
,
Petr Maj
Czech Technical University
splash-2019-SPLASH-E
17:00 - 17:30
Talk
Panel & Group Discussion
Elisa Baniassad
University of British Columbia
Mon 21 Oct 2019
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
Room 1
MPLR
Keynote 1
09:00 - 10:30
MPLR
Virtual machines
11:00 - 12:30
MPLR
Concurrency and parallelism
14:00 - 15:30
MPLR
Program analysis
16:00 - 17:30
Tue 22 Oct 2019
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
Room 1
MPLR
Keynote 2
09:00 - 10:30
MPLR
Compilation and code manipulation
11:00 - 12:30
MPLR
Applications
14:00 - 15:30
MPLR
16:00 - 17:30
Thu 24 Oct 2019
Room
14:00
30
15:00
30
16:00
30
17:00
30
Room 1
SPLASH OOPSLA
DSLs and Parsing
14:00 - 15:30
SPLASH SRC
Competition - Round 2
16:00 - 17:30
Fri 25 Oct 2019
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
Room 1
SPLASH -E
09:00 - 10:30
SPLASH -E
Session 1
11:00 - 12:30
SPLASH -E
Session 2
14:00 - 15:30
SPLASH -E
Session 3
16:00 - 17:30
Mon 21 Oct 2019
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
Room 1
MPLR
Adversarial Compilation
09:00 - 10:30
MPLR
Supporting On-Stack Replacement in Unstructured Languages by Loop Recon ...
11:00 - 11:30
MPLR
GraalSqueak: Toward a Smalltalk-based Tooling Platform for Polyglot Pro ...
11:30 - 12:00
MPLR
WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microco ...
12:00 - 12:30
MPLR
Dynamic One-To-One Mapping of Ownership Records for STM using Versioned ...
14:00 - 14:30
MPLR
A Type System for Data Independence of Loop Iterations in a Directive-B ...
14:30 - 15:00
MPLR
Hosting OpenMP Programs on Java Virtual Machines
15:00 - 15:30
MPLR
Predicting All Data Race Pairs for a Specific Schedule
16:00 - 16:30
MPLR
Towards Efficient, Multi-Language Dynamic Taint Analysis
16:30 - 17:00
MPLR
Detection of Suspicious Time Windows in Memory Monitoring
17:00 - 17:30
Tue 22 Oct 2019
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
Room 1
MPLR
How did we get here and where can we go next?
09:00 - 10:30
MPLR
Static TypeScript: An Implementation of a Static Compiler for the TypeS ...
11:00 - 11:30
MPLR
PorcE: A Deparallelizing Compiler
11:30 - 12:00
MPLR
An Analysis of Call-site Patching Without Strong Hardware Support for S ...
12:00 - 12:30
MPLR
Performance of an OO Compute Kernel on the JVM -- Revisiting Java as a ...
14:00 - 14:30
MPLR
Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications
14:30 - 15:00
Thu 24 Oct 2019
Room
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Room 1
SPLASH OOPSLA
Seq: A High-Performance Language for Bioinformatics
14:00 - 14:30
SPLASH OOPSLA
Generating a Fluent API with Syntax Checking from an LR Grammar
14:30 - 15:00
SPLASH OOPSLA
Derivative Grammars: A Symbolic Approach to Parsing with Derivatives
15:00 - 15:30
SPLASH SRC
Designing immersive virtual training environments for experiential learning
16:00 - 16:15
SPLASH SRC
Linear capabilities for CHERI
16:15 - 16:30
SPLASH SRC
Gradual Program Analysis
16:30 - 16:45
SPLASH SRC
Incremental Scannerless Generalized LR Parsing
16:45 - 17:00
SPLASH SRC
Debugging Support for Multi-paradigm Concurrent Programs
17:00 - 17:15
SPLASH SRC
Practical Second Futamura Projection
17:15 - 17:30
Fri 25 Oct 2019
Room
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
Room 1
SPLASH -E
Welcome
11:00 - 11:10
SPLASH -E
Scalability of Experiential Programming Courses
11:10 - 12:00
SPLASH -E
Parallelism in Practice: Experiences Teaching Concurrency and Paralleli ...
12:00 - 12:15
SPLASH -E
Microsoft MakeCode: Embedded Programming for Education, in Blocks and T ...
12:15 - 12:30
SPLASH -E
Towards Answering "Am I On the Right Track?" Automatically Using Progra ...
14:00 - 14:30
SPLASH -E
Evaluating ProDirect Manipulation in Hour of Code
14:30 - 15:00
SPLASH -E
Experiences in Bridging from Functional to Object-Oriented Programming
15:00 - 15:15
SPLASH -E
ChocoPy: A Programming Language for Compilers Courses
15:15 - 15:30
SPLASH -E
Theia: Automatically Generating Correct Program State Visualizations
16:00 - 16:30
SPLASH -E
Lambdulus: Teaching Lambda Calculus Practically
16:30 - 17:00
SPLASH -E
Panel & Group Discussion
17:00 - 17:30
x
Wed 11 Dec 23:09