Write a Blog >>
AGERE 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
SPLASH 2019 (series) / AGERE 2019 (series) / Royal Olympic Hotel /

Room information: Room 1

VenueRoyal Olympic Hotel
Room nameRoom 1
Floor1
Room number1
Capacity90
Room Information

First floor conference room (when not split)

Program

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

Conference Day
Mon 21 Oct

Displayed time zone: Beirut change

09:00 - 10:30
Keynote 1MPLR at Room 1
09:00
90m
Talk
Adversarial Compilation
MPLR
Olivier FlückigerNortheastern University, Jan VitekNortheastern University
11:00 - 12:30
Virtual machinesMPLR at Room 1
11:00
30m
Talk
Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction
MPLR
Raphael MosanerJohannes Kepler University Linz, David LeopoldsederJohannes Kepler University Linz, Manuel RiggerETH Zurich, Roland SchatzJohannes Kepler University Linz, Hanspeter MössenböckJKU Linz, Austria
Pre-print
11:30
30m
Talk
GraalSqueak: Toward a Smalltalk-based Tooling Platform for Polyglot Programming
MPLR
Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
DOI Pre-print
12:00
30m
Talk
WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers
MPLR
Robbert Gurdeep SinghUniversiteit Gent, Belgium, Christophe ScholliersUniversiteit Gent, Belgium
DOI Authorizer link Pre-print
14:00 - 15:30
Concurrency and parallelismMPLR at Room 1
14:00
30m
Talk
Dynamic One-To-One Mapping of Ownership Records for STM using Versioned Weak References
MPLR
Martin BättigDepartment of Computer Science, ETH Zurich, Thomas GrossETH Zurich, Switzerland
14:30
30m
Talk
A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language
MPLR
Tatsuya AbeChiba Institute of Technology, Japan
15:00
30m
Talk
Hosting OpenMP Programs on Java Virtual Machines
MPLR
Swapnil Laxman GaikwadThe University of Manchester, Andrew NisbetThe University of Manchester, Mikel LujánUniversity of Manchester
16:00 - 17:30
Program analysisMPLR at Room 1
16:00
30m
Talk
Predicting All Data Race Pairs for a Specific Schedule
MPLR
Martin SulzmannKarlsruhe University of Applied Sciences, Germany, Kai StadtmüllerKarlsruhe University of Applied Sciences
16:30
30m
Talk
Towards Efficient, Multi-Language Dynamic Taint Analysis
MPLR
Jacob KreindlJohannes Kepler University Linz, Daniele BonettaOracle Labs, Hanspeter MössenböckJKU Linz, Austria
17:00
30m
Talk
Detection of Suspicious Time Windows in Memory Monitoring
MPLR
Markus WeningerChristian Doppler Lab. MEVSS, Johannes Kepler University Linz, Elias GanderChristian Doppler Lab. MEVSS, Johannes Kepler University Linz, Hanspeter MössenböckJKU Linz, Austria

Conference Day
Tue 22 Oct

Displayed time zone: Beirut change

09:00 - 10:30
Keynote 2MPLR at Room 1
09:00
90m
Talk
How did we get here and where can we go next?
MPLR
Laurence TrattKing's College London
11:00 - 12:30
Compilation and code manipulationMPLR at Room 1
Chair(s): Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo
11:00
30m
Talk
Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language
MPLR
Thomas BallMicrosoft Research, Peli de HalleuxMicrosoft Research, Michal MoskalMicrosoft Research
11:30
30m
Talk
PorcE: A Deparallelizing Compiler
MPLR
Arthur Michener PetersThe University of Texas at Austin, Texas, USA, John A. ThywissenThe University of Texas at Austin, Chris RossbachThe University of Texas at Austin and VMware Research Group
12:00
30m
Talk
An Analysis of Call-site Patching Without Strong Hardware Support for Self-Modifying-Code
MPLR
Tim HartleyThe University of Manchester, Foivos S. ZakkakUniversity of Manchester, UK, Christos KotselidisUniversity of Manchester, UK, Mikel LujánUniversity of Manchester
Link to publication DOI Authorizer link
14:00 - 15:30
ApplicationsMPLR at Room 1
Chair(s): Andrea RosàUniversity of Lugano, Switzerland
14:00
30m
Talk
Performance of an OO Compute Kernel on the JVM -- Revisiting Java as a Language for Scientific Computing Applications
MPLR
Malin KällénUppsala University, Tobias WrigstadUppsala University
14:30
30m
Talk
Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications
MPLR
Dominik AumayrJohannes Kepler University Linz, Austria, Stefan MarrUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium, Hanspeter MössenböckJKU Linz, Austria
DOI Pre-print

Conference Day
Thu 24 Oct

Displayed time zone: Beirut change

14:00 - 15:30
DSLs and Parsing SPLASH OOPSLA at Room 1
Chair(s): Eric Van WykUniversity of Minnesota, USA
14:00
30m
Talk
Seq: A High-Performance Language for Bioinformatics
SPLASH OOPSLA
Ariya ShajiiMIT, Ibrahim NumanagićMIT, Riyadh BaghdadiMIT, Bonnie BergerMIT, Saman AmarasingheMIT
DOI
14:30
30m
Talk
Generating a Fluent API with Syntax Checking from an LR Grammar
SPLASH OOPSLA
Tetsuro YamazakiGraduate School of Information Science and Technology, The University of Tokyo, Tomoki NakamaruGraduate School of Information Science and Technology, The University of Tokyo, Kazuhiro IchikawaGraduate School of Information Science and Technology, The University of Tokyo, Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo
DOI
15:00
30m
Talk
Derivative Grammars: A Symbolic Approach to Parsing with Derivatives
SPLASH OOPSLA
Ian HenriksenThe University of Texas at Austin, Gianfranco BilardiUniversity of Padova, Italy, Keshav PingaliThe University of Texas at Austin
DOI
16:00 - 17:30
Competition - Round 2SPLASH SRC at Room 1
16:00
15m
Talk
Designing immersive virtual training environments for experiential learning
SPLASH SRC
Kalliopi Evangelia StavrouliaCyprus University of Technology, Andreas LanitisCyprus University of Technology
16:15
15m
Talk
Linear capabilities for CHERI
SPLASH SRC
Aaron LippeveldtsVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel
16:30
15m
Talk
Gradual Program Analysis
SPLASH SRC
Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook
16:45
15m
Talk
Incremental Scannerless Generalized LR Parsing
SPLASH SRC
Maarten P. SijmDelft University of Technology
17:00
15m
Talk
Debugging Support for Multi-paradigm Concurrent Programs
SPLASH SRC
Dominik AumayrJohannes Kepler University Linz, Austria
17:15
15m
Talk
Practical Second Futamura Projection
SPLASH SRC
Florian LatifiJohannes Kepler University Linz
DOI Pre-print

Conference Day
Fri 25 Oct

Displayed time zone: Beirut change

11:00 - 12:30
Session 1SPLASH -E at Room 1
11:00
10m
Day opening
Welcome
SPLASH -E
Elisa BaniassadUniversity of British Columbia
11:10
50m
Talk
Scalability of Experiential Programming Courses
SPLASH -E
Martin Henz
12:00
15m
Short-paper
Parallelism in Practice: Experiences Teaching Concurrency and Parallelism in an Undergraduate OS Course
SPLASH -E
Charlie CurtsingerGrinnell College
12:15
15m
Short-paper
Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
SPLASH -E
Thomas BallMicrosoft Research, Abhijith ChatraMicrosoft, Peli de HalleuxMicrosoft Research, Steve HodgesMicrosoft, Michal MoskalMicrosoft Research, Jacqueline RussellMicrosoft
14:00 - 15:30
Session 2SPLASH -E at Room 1
14:00
30m
Full-paper
Towards Answering "Am I On the Right Track?" Automatically Using Program Synthesis
SPLASH -E
Molly FeldmanCornell University, Yiting WangCornell University, William E. ByrdUniversity of Alabama at Birmingham, USA, François GuimbretièreCornell University, Erik AndersenCornell University
14:30
30m
Full-paper
Evaluating ProDirect Manipulation in Hour of Code
SPLASH -E
Quan DoWilliams College, Kiersten CampbellWilliams College, Emmie HineWilliams College, Dzung PhamWilliams College, Alex TaylorWilliams College, Iris HowleyWilliams College, Dan BarowyWilliams College
15:00
15m
Short-paper
Experiences in Bridging from Functional to Object-Oriented Programming
SPLASH -E
Igor Moreno SantosUniversità della Svizzera italiana, Matthias HauswirthUniversità della Svizzera italiana, Nate NystromUniversità della Svizzera italiana
15:15
15m
Short-paper
ChocoPy: A Programming Language for Compilers Courses
SPLASH -E
Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Paul N. HilfingerUniversity of California, Berkeley
Pre-print
16:00 - 17:30
Session 3SPLASH -E at Room 1
16:00
30m
Full-paper
Theia: Automatically Generating Correct Program State Visualizations
SPLASH -E
Josh PollockUniversity of Washington, Jared RoeschUniversity of Washington, USA, Doug WoosUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle
16:30
30m
Full-paper
Lambdulus: Teaching Lambda Calculus Practically
SPLASH -E
Jan SliackyFaculty of Information Technology, Czech Technical University in Prague, Petr MajCzech Technical University
17:00
30m
Talk
Panel & Group Discussion
SPLASH -E
Elisa BaniassadUniversity of British Columbia

Conference Day
Mon 21 Oct

Displayed time zone: Beirut change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room 1

MPLR

Keynote 1

MPLR

Virtual machines

MPLR

Concurrency and parallelism

MPLR

Program analysis

Conference Day
Tue 22 Oct

Displayed time zone: Beirut change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room 1

MPLR

Keynote 2

MPLR

Compilation and code manipulation

MPLR

Applications

MPLR

Conference Day
Thu 24 Oct

Displayed time zone: Beirut change

Room14:003015:003016:003017:0030
Room 1

SPLASH OOPSLA

DSLs and Parsing

SPLASH SRC

Competition - Round 2

Conference Day
Fri 25 Oct

Displayed time zone: Beirut change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room 1

SPLASH -E

SPLASH -E

Session 1

SPLASH -E

Session 2

SPLASH -E

Session 3

Conference Day
Mon 21 Oct

Displayed time zone: Beirut change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Conference Day
Tue 22 Oct

Displayed time zone: Beirut change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:00153045
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

Conference Day
Thu 24 Oct

Displayed time zone: Beirut change

Room14:0015304515:0015304516:0015304517:00153045
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

Conference Day
Fri 25 Oct

Displayed time zone: Beirut change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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