Room 1 - AGERE 2019

VenueRoyal Olympic Hotel

Room nameRoom 1

Floor1

Room number1

Capacity90

Additional information

First floor conference room (when not split)

Program

Mon 21 Oct

09:00 - 10:30: MPLR 2019 - Keynote 1 at Room 1

09:00 - 10:30
Talk

Adversarial Compilation

Olivier FlückigerNortheastern University, Jan VitekNortheastern University

11:00 - 12:30: MPLR 2019 - Virtual machines at Room 1

11:00 - 11:30
Talk

Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction

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 - 12:00
Talk

GraalSqueak: Toward a Smalltalk-based Tooling Platform for Polyglot Programming

Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany

DOI Pre-print

12:00 - 12:30
Talk

WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers

Robbert Gurdeep SinghUniversiteit Gent, Belgium, Christophe ScholliersUniversiteit Gent, Belgium

DOI Authorizer link Pre-print

14:00 - 15:30: MPLR 2019 - Concurrency and parallelism at Room 1

14:00 - 14:30
Talk

Dynamic One-To-One Mapping of Ownership Records for STM using Versioned Weak References

Martin BättigDepartment of Computer Science, ETH Zurich, Thomas GrossETH Zurich, Switzerland

14:30 - 15:00
Talk

A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language

Tatsuya AbeChiba Institute of Technology, Japan

15:00 - 15:30
Talk

Hosting OpenMP Programs on Java Virtual Machines

Swapnil Laxman GaikwadThe University of Manchester, Andy NisbetThe University of Manchester, Mikel LujánUniversity of Manchester

16:00 - 17:30: MPLR 2019 - Program analysis at Room 1

16:00 - 16:30
Talk

Predicting All Data Race Pairs for a Specific Schedule

Martin SulzmannKarlsruhe University of Applied Sciences, Germany, Kai StadtmüllerKarlsruhe University of Applied Sciences

16:30 - 17:00
Talk

Towards Efficient, Multi-Language Dynamic Taint Analysis

Jacob KreindlJohannes Kepler University Linz, Daniele BonettaOracle Labs, Hanspeter MössenböckJKU Linz, Austria

17:00 - 17:30
Talk

Detection of Suspicious Time Windows in Memory Monitoring

Markus WeningerChristian Doppler Lab. MEVSS, Johannes Kepler University Linz, Elias GanderChristian Doppler Lab. MEVSS, Johannes Kepler University Linz, Hanspeter MössenböckJKU Linz, Austria

Tue 22 Oct

09:00 - 10:30: MPLR 2019 - Keynote 2 at Room 1

09:00 - 10:30
Talk

How did we get here and where can we go next?

Laurence TrattKing's College London

11:00 - 12:30: MPLR 2019 - Compilation and code manipulation at Room 1
Chair(s): Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo

11:00 - 11:30
Talk

Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language

Thomas BallMicrosoft Research, Peli de HalleuxMicrosoft Research, Michal MoskalMicrosoft Research

11:30 - 12:00
Talk

PorcE: A Deparallelizing Compiler

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 - 12:30
Talk

An Analysis of Call-site Patching Without Strong Hardware Support for Self-Modifying-Code

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

14:00 - 15:30: MPLR 2019 - Applications at Room 1
Chair(s): Andrea RosàUniversity of Lugano, Switzerland

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énUppsala University, Tobias WrigstadUppsala University

14:30 - 15:00
Talk

Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications

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

Thu 24 Oct

14:00 - 15:30: OOPSLA - DSLs and Parsing at Room 1
Chair(s): Eric Van WykUniversity of Minnesota, USA

14:00 - 14:30
Talk

Seq: A High-Performance Language for Bioinformatics

Ariya ShajiiMIT, Ibrahim NumanagićMIT, Riyadh BaghdadiMIT, Bonnie BergerMIT, Saman AmarasingheMIT

DOI

14:30 - 15:00
Talk

Generating a Fluent API with Syntax Checking from an LR Grammar

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 - 15:30
Talk

Derivative Grammars: A Symbolic Approach to Parsing with Derivatives

Ian HenriksenThe University of Texas at Austin, Gianfranco BilardiUniversity of Padova, Italy, Keshav PingaliThe University of Texas at Austin

DOI

16:00 - 17:30: SRC - Competition - Round 2 at Room 1

16:00 - 16:15
Talk

Designing immersive virtual training environments for experiential learning

Kalliopi Evangelia StavrouliaCyprus University of Technology, Andreas LanitisCyprus University of Technology

16:15 - 16:30
Talk

Linear capabilities for CHERI

Aaron LippeveldtsVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel

16:30 - 16:45
Talk

Gradual Program Analysis

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

Maarten P. SijmDelft University of Technology

17:00 - 17:15
Talk

Debugging Support for Multi-paradigm Concurrent Programs

Dominik AumayrJohannes Kepler University Linz, Austria

17:15 - 17:30
Talk

Practical Second Futamura Projection

Florian LatifiJohannes Kepler University Linz

DOI Pre-print

Fri 25 Oct

11:00 - 12:30: SPLASH-E - Session 1 at Room 1

11:00 - 11:10
Day opening

Welcome

Elisa BaniassadUniversity of British Columbia

11:10 - 12:00
Talk

Scalability of Experiential Programming Courses

Martin Henz

12:00 - 12:15
Short-paper

Parallelism in Practice: Experiences Teaching Concurrency and Parallelism in an Undergraduate OS Course

Charlie CurtsingerGrinnell College

12:15 - 12:30
Short-paper

Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript

Thomas BallMicrosoft Research, Abhijith ChatraMicrosoft, Peli de HalleuxMicrosoft Research, Steve HodgesMicrosoft, Michal MoskalMicrosoft Research, Jacqueline RussellMicrosoft

14:00 - 15:30: SPLASH-E - Session 2 at Room 1

14:00 - 14:30
Full-paper

Towards Answering "Am I On the Right Track?" Automatically Using Program Synthesis

Molly FeldmanCornell University, Yiting WangCornell University, William E. ByrdUniversity of Alabama at Birmingham, USA, François GuimbretièreCornell University, Erik AndersenCornell University

14:30 - 15:00
Full-paper

Evaluating ProDirect Manipulation in Hour of Code

Quan DoWilliams College, Kiersten CampbellWilliams College, Emmie HineWilliams College, Dzung PhamWilliams College, Alex TaylorWilliams College, Iris HowleyWilliams College, Dan BarowyWilliams College

15:00 - 15:15
Short-paper

Experiences in Bridging from Functional to Object-Oriented Programming

Igor Moreno SantosUniversità della Svizzera italiana, Matthias HauswirthUniversità della Svizzera italiana, Nate NystromUniversità della Svizzera italiana

15:15 - 15:30
Short-paper

ChocoPy: A Programming Language for Compilers Courses

Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Paul N. HilfingerUniversity of California, Berkeley

Pre-print

16:00 - 17:30: SPLASH-E - Session 3 at Room 1

16:00 - 16:30
Full-paper

Theia: Automatically Generating Correct Program State Visualizations

Josh PollockUniversity of Washington, Jared RoeschUniversity of Washington, USA, Doug WoosUniversity of Washington, Zachary TatlockUniversity of Washington

16:30 - 17:00
Full-paper

Lambdulus: Teaching Lambda Calculus Practically

Jan SliackyFaculty of Informatics, Czech Technical University, Petr MajCzech Technical University

17:00 - 17:30
Talk

Panel & Group Discussion

Elisa BaniassadUniversity 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

Room information: Room 1

Mon 21 Oct

Tue 22 Oct

Thu 24 Oct

Fri 25 Oct

Mon 21 Oct 2019

MPLR

MPLR

MPLR

MPLR

Tue 22 Oct 2019

MPLR

MPLR

MPLR

MPLR

Thu 24 Oct 2019

SPLASH OOPSLA

SPLASH SRC

Fri 25 Oct 2019

SPLASH -E

SPLASH -E

SPLASH -E

SPLASH -E

Mon 21 Oct 2019

Tue 22 Oct 2019

Thu 24 Oct 2019

Fri 25 Oct 2019

Tracks