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

Sun 4 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:00 - 09:00
BreakfastSocial at Terrace
08:20 - 08:30
08:30 - 09:00
Introductory SessionBLOCKS+ at Beacon Hill
08:30
30m
Talk
Mental Models, Metaphors and Misconceptions
BLOCKS+
09:00 - 10:00
Limits People Reach & How to Get Past ThemBLOCKS+ at Beacon Hill
09:00
5m
Talk
Coding while Making: using Blocks Language in a Physical Computing Setting
BLOCKS+
Karen H. Jin University of New Hampshire
Pre-print
09:05
5m
Talk
Abstractionless Programming in App Inventor
BLOCKS+
Audrey Seo Wellesley College
Pre-print
09:10
5m
Talk
Beyond "I'm done": Encouraging deeper exploration of challenging computational concepts
BLOCKS+
Paulina Haduong Harvard Graduate School of Education, Karen Brennan Harvard Graduate School of Education
Pre-print
09:15
5m
Talk
The Example Guru: Suggesting Examples to Novice Blocks Programmers in an Artifact-Based Context Increases Use of New Blocks
BLOCKS+
Michelle Brachman University of Massachusetts Lowell, Caitlin Kelleher Washington University in St. Louis
Pre-print
09:20
5m
Talk
Research Tools for MIT App Inventor
BLOCKS+
Evan W Patton Massachusetts Institute of Technology, Mark Sherman CERT, Michael Tissenbaum University of Illinois Urbana-Champaign
Pre-print
09:25
15m
Other
Themed Session 1: Whole Group Discussion
BLOCKS+

09:40
20m
Other
Themed Session 1: Break-out discussions
BLOCKS+

09:00 - 10:00
Keynote: RamanathanREBLS at Cambridge
Chair(s): Francisco Sant'Anna Rio de Janeiro State University
09:00
15m
Day opening
Welcome and Opening Remarks
REBLS
S: Guido Salvaneschi TU Darmstadt, S: Wolfgang De Meuter Vrije Universiteit Brussel, P: Francisco Sant'Anna Rio de Janeiro State University
File Attached
09:15
45m
Talk
Reacting to stream-based programming bugs
REBLS
09:00 - 10:00
Opening SessionSLEBoK at Newbury
Chair(s): Vadim Zaytsev Raincode Labs
09:00
15m
Day opening
Welcome and introduction to SLEBoK and participants
SLEBoK
Vadim Zaytsev Raincode Labs, Eric Van Wyk University of Minnesota, USA
09:15
15m
Other
Presentations from working group chairs
SLEBoK

09:30
15m
Other
Short proposals for new related SLEBoK project
SLEBoK

09:45
15m
Other
Planning and organization for the day
SLEBoK

09:00 - 10:00
Keynote: KirschVMIL at Stuart
Chair(s): Stefan Marr University of Kent
09:00
60m
Talk
On the Self in Selfie ⭐️Keynote
VMIL
I: Christoph Kirsch University of Salzburg
DOI Media Attached
10:00 - 10:30
BreakSocial at Terrace
10:30 - 11:00
Panel: Block Abstractions for AIBLOCKS+ at Beacon Hill
10:30
30m
Talk
Panel: Block Abstractions for Artificial Intelligence
BLOCKS+
A: Evan W Patton Massachusetts Institute of Technology, A: Stefania Druga Massachusetts Institute of Technology, A: Jessica Van Brummelen Massachusetts Institute of Technology, P: Joe Mazzone Teacher at Davies Career and Technical High School, P: Xavier Puig Fernandez MIT-CSAIL
Pre-print
10:30 - 12:00
Embedded, IoT / Multitier, DistributedREBLS at Cambridge
Chair(s): Tetsuo Kamina Oita University
10:30
22m
Talk
Where Do Events Come From? Reactive and Energy-Efficient Programming From The Ground Up
REBLS
Francisco Sant'Anna Rio de Janeiro State University, Alexandre Sztajnberg Rio de Janeiro State University
File Attached
10:52
22m
Talk
Synthesizing Manually Verifiable Code for Statecharts
REBLS
Steven Smyth Kiel University, Christian Motika Philotech Systementwicklung und Software GmbH, Reinhard von Hanxleden Kiel University
File Attached
11:15
22m
Talk
RHEA: A Reactive, Heterogeneous, Extensible and Abstract Framework for Dataflow Programming
REBLS
Orestis Melkonian University of Utrecht, Angelos Charalambidis NCSR "Demokritos''
File Attached
11:37
22m
Talk
Reactive Chatbot Programming
REBLS
Guillaume Baudart IBM Research, Martin Hirzel IBM Research, Louis Mandel IBM Research, Avraham Shinnar IBM Research, Jerome Simeon Clause
File Attached
10:30 - 12:00
The State of GraceGRACE at Longfellow
Chair(s): James Noble Victoria University of Wellington
10:35
15m
Demonstration
A Tour of Grace
GRACE
Andrew Black Portland State University
10:50
10m
Talk
Early Experience with Grace at Pomona College
GRACE
Andrew Black Portland State University, P: Kim Bruce Pomona College
Link to publication
11:00
10m
Talk
Teaching programming with Grace at Portland State
GRACE
P: Andrew Black Portland State University, Kim Bruce Pomona College
Link to publication
11:15
10m
Talk
Multi-Device Grace
GRACE
P: Craig Anslow Victoria University of Wellington, Ben Selwyn-Smith , Michael Homer Victoria University of Wellington
11:30
10m
Talk
Newspeak and Truffle: A Platform for Grace?
GRACE
P: Stefan Marr University of Kent, James Noble Victoria University of Wellington, Richard Roberts Victoria University of Wellington
Pre-print
11:45
5m
Talk
SmallGrace: Grace in Pharo Smalltalk
GRACE
Andrew Black Portland State University
10:30 - 12:00
Working Session ISLEBoK at Newbury
10:30
90m
Meeting
Split into small groups, work on SLEBoK tasks, morning
SLEBoK

10:30 - 12:00
IVMIL at Stuart
Chair(s): Mark Marron Microsoft Research
10:30
25m
Research paper
Efficient VM-independent Runtime Checks for Parallel Programming
VMIL
Michael Faes ETH Zurich, Thomas Gross ETH Zurich
DOI Pre-print
10:55
25m
Research paper
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
VMIL
Juan Fumero The University of Manchester, Christos Kotselidis The University of Manchester
DOI Pre-print
11:20
20m
Talk
Generating a Minimum JavaScript VM Specialised for Target Applications
VMIL
Tomoharu Ugawa Kochi University of Technology, Japan, Hideya Iwasaki University of Electro-Communications, Japan
11:40
20m
Talk
Profiling Android Applications with Nanoscope
VMIL
Lun Liu University of California at Los Angeles, USA, Leland Takamine Uber Technologies, Adam Welc Uber Technologies
Pre-print
11:00 - 12:00
Empowerment & Broadening ParticipationBLOCKS+ at Beacon Hill
11:00
10m
Talk
Broadening Participation in Computer Science through Block Programming
BLOCKS+
Beryl Hoffman Elms College, Ralph Morelli Trinity College, Jennifer Rosato College of St. Scholastica
Pre-print
11:10
10m
Talk
Reducing the Barriers for Computational Action: How Blocks-Based Programming Can Support Digital Empowerment
BLOCKS+
Mike Tissenbaum University of Illinois, Urbana-Champain, Josh Sheldon MIT App Inventor, Hal Abelson MIT
Pre-print
11:20
8m
Other
Themed Session 2: Whole-group discussions
BLOCKS+

11:28
3m
Talk
Educational Robotics with a Twist
BLOCKS+
Hamid Zare Graduate Student, Miklos Maroti Associate Professor, Akos Ledeczi Vanderbilt University
Pre-print
11:31
3m
Talk
A Blocks-Based Approach to Internet of Things in MIT App Inventor
BLOCKS+
Wen Xi Hong Kong Polytechnic University, Evan W Patton Massachusetts Institute of Technology
Pre-print
11:34
3m
Talk
DevTech Lab - KIBO and ScratchJr Demo
BLOCKS+
Catherine Cowell Tufts University, Hannah Riehl Tufts University, Marina Umaschi Bers Tufts University
Pre-print
11:37
3m
Talk
CloudDB in MIT App Inventor
BLOCKS+
11:40
20m
Other
Themed Session 2: Breakout discussions and demos/posters
BLOCKS+

13:10 - 14:10
Keynote: ShapiroBLOCKS+ at Beacon Hill
13:10
60m
Talk
Thinking Outside the Blocks
BLOCKS+
R. Benjamin Shapiro University of Colorado, Boulder
13:30 - 15:00
Multitier, DistributedREBLS at Cambridge
Chair(s): Louis Mandel IBM Research
13:30
22m
Talk
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms
REBLS
Jesse Zaman Vrije Universiteit Brussel, Kennedy Kambona Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
File Attached
13:52
22m
Talk
Multitier Reactive Programming with ScalaLoci
REBLS
Pascal Weisenburger Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt
File Attached
14:15
22m
Talk
Distributing Thread-Safety for Reactive Programming
REBLS
Joscha Drechsler Technische Universität Darmstadt, Mira Mezini TU Darmstadt
Pre-print File Attached
14:37
22m
Talk
Skitter: A DSL for Distributed Reactive Workflows
REBLS
Mathijs Saey Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
Pre-print File Attached
13:30 - 15:00
Types in GraceGRACE at Longfellow
Chair(s): Kim Bruce Pomona College
13:30
20m
Talk
KafKa: Gradual Typing for Objects
GRACE
Benjamin Chung Northeastern University
Link to publication
14:00
20m
Talk
Three approaches to Gradual Typing
GRACE
Ben Greenman Northeastern University, USA, A: Preston Tunnell Wilson Brown University, USA, A: Justin Pombrio Brown University, USA, A: Shriram Krishnamurthi Brown University, USA
14:30
20m
Talk
Gradual Typing is Morally Incorrect: the Problem of Applying Gradual Typing
GRACE
13:30 - 15:00
Working Session IISLEBoK at Newbury
13:30
90m
Meeting
Split into small groups, work on SLEBoK tasks, afternoon
SLEBoK

13:30 - 15:00
Keynote: StenmanVMIL at Stuart
Chair(s): Stephen Kell University of Kent
13:30
60m
Talk
BEAM: A Virtual Machine for Handling Millions of Messages per Second ⭐️Keynote
VMIL
DOI
14:30
25m
Research paper
A Cost Model for a Graph-Based Intermediate-Representation in a Dynamic Compiler
VMIL
David Leopoldseder Johannes Kepler University Linz, Lukas Stadler Oracle Labs, Austria, Manuel Rigger Johannes Kepler University Linz, Thomas Wuerthinger Oracle Labs, Hanspeter Mössenböck JKU Linz, Austria
DOI
14:10 - 15:00
Accessibility & Language Construction ToolsBLOCKS+ at Beacon Hill
14:10
10m
Talk
Building an Accessible Block Environment
BLOCKS+
Emmanuel Schanzer Brown University, Sina Bahram Prime Access Consulting, Shriram Krishnamurthi Brown University, USA
Pre-print
14:20
5m
Talk
Language Workbench Support for Block-Based DSLs
BLOCKS+
Mauricio Verano Merino Technische Universiteit Eindhoven, Tijs van der Storm CWI & University of Groningen
Pre-print
14:25
5m
Talk
Rapid Prototyping for Blocks-based Languages and Environments
BLOCKS+
Josh Caldwell Code.org, Josh Lory Code.org
Pre-print
14:30
5m
Talk
TypeScript: From JavaScript to Blockly and Back
BLOCKS+
Thomas Ball Microsoft Research, Peli de Halleux Microsoft Research, Sam El-Husseini Microsoft, Richard Knoll Microsoft, Michał Moskal Microsoft Research
Pre-print
14:35
25m
Other
Themed Session 3: Break-out discussions and demos/posters
BLOCKS+

15:00 - 15:30
BreakSocial at Terrace
15:30 - 16:15
Collaborative ProgrammingBLOCKS+ at Beacon Hill
15:30
5m
Talk
Enhancing and Evaluating Collaborative Blocks Programming in App Inventor
BLOCKS+
Alissa Tinney Wellesley College, Xinhui Xu Wellesley College
Pre-print
15:35
5m
Talk
Real-time Collaboration and Undo in StarLogo Nova: Technical Approach and Considerations for UX Design
BLOCKS+
Denis Li MIT Scheller Teacher Education Program, Lisa Stump MIT Scheller Teacher Education Program, Daniel Wendel MIT Scheller Teacher Education Program
Pre-print
15:40
5m
Talk
Real-time Collaboration in NetsBlox
BLOCKS+
Akos Ledeczi Vanderbilt University
15:45
5m
Talk
Multi-Device Grace
BLOCKS+
Ben Selwyn-Smith , Craig Anslow Victoria University of Wellington, Michael Homer Victoria University of Wellington
15:50
25m
Other
Themed Session 4: Break-out discussions and demos/posters
BLOCKS+

15:30 - 16:15
Types in Grace (continued)GRACE at Longfellow
15:30
20m
Talk
Static & Dynamic Typing in Grace
GRACE
P: Andrew Black Portland State University, Kim Bruce Pomona College, James Noble Victoria University of Wellington
Link to publication
15:50
25m
Other
Discussion on types in Grace
GRACE

15:30 - 17:05
IIVMIL at Stuart
Chair(s): Adam Welc Uber Technologies
15:30
25m
Research paper
Building JIT Compilers For Dynamic Languages With Low Development Effort
VMIL
Baptiste Saleil Université de Montréal, Marc Feeley Université de Montréal
DOI
15:55
20m
Talk
Twopy: A Just-In-Time Compiler For Python Based On Code Specialization
VMIL
Julien Pagès Université de Montréal, Marc Feeley Université de Montréal
16:15
25m
Research paper
Towards Compilation of an Imperative Language for FPGAs
VMIL
Baptiste Pauget École Normale Supérieure, David J. Pearce Victoria University of Wellington, Alex Potanin Victoria University of Wellington
DOI Pre-print File Attached
16:40
25m
Research paper
Two Decades of Smalltalk VM Development
VMIL
Eliot Miranda Cadence Design Systems, Clément Béra Sofware Languages Lab, Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Dan Ingalls
DOI
16:15 - 17:00
Implementers’ CampfireBLOCKS+ at Beacon Hill
16:15
5m
Talk
Rethinking OOP in Snap!
BLOCKS+
Jens Mönig SAP SE, Brian Harvey University of California, Berkeley, Jadga Hügle SAP SE
Pre-print
16:20
5m
Talk
Custom Blocks in StarLogo Nova: A Template-Based Approach to Abstraction for Improved Ease of Use and Expressive Power
BLOCKS+
Hyeonsu Kang MIT Scheller Teacher Education Program, David Wu MIT, Daniel Wendel MIT Scheller Teacher Education Program
Pre-print
16:25
5m
Talk
Two New Block Features in GP
BLOCKS+
16:30
5m
Talk
JSON Interoperability in MIT App Inventor
BLOCKS+
Evan W Patton Massachusetts Institute of Technology, Danny Tang Massachusetts Institute of Technology
Pre-print
16:35
5m
Talk
Scratch 3.0 Design Notes
BLOCKS+
16:40
20m
Other
Implementers’ Campfire: Whole group discussions
BLOCKS+

16:15 - 17:00
The Future of GraceGRACE at Longfellow
16:15
45m
Meeting
The Future of Grace
GRACE
S: James Noble Victoria University of Wellington
17:00 - 17:05
17:00 - 18:00
Social Social at Terrace
17:05 - 17:45
Playground Poster/DemoBLOCKS+ at Beacon Hill
17:05
40m
Other
Playground Demo/Poster Session
BLOCKS+

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

07:30 - 08:30
BreakfastSocial at Terrace
08:30 - 10:00
Adoption & Programmer PerceptionPLATEAU at Beacon Hill
Chair(s): Joshua Sunshine Carnegie Mellon University
08:30
20m
Talk
Welcome
PLATEAU

08:50
25m
Talk
Programming by example: efficient, but not "helpful"
PLATEAU
Mark Santolucito Yale University, USA, Drew Goldman Roslyn High School, Allyson Weseley Roslyn High School, Ruzica Piskac Yale University, USA
File Attached
09:15
15m
Talk
Observing the Uptake of a Language Change Making Strings Immutable
PLATEAU
Manuel Maarek Heriot-Watt University
File Attached
09:30
15m
Talk
Identifying Barriers to Adoption for Rust through Online Discourse
PLATEAU
Anna Zeng Stanford University, Will Crichton Stanford University
File Attached
08:30 - 10:00
Keynote: WrigstadAGERE at Cabot
08:30
15m
Talk
Welcome and Introduction
AGERE

08:45
75m
Talk
Concurrency vs. Parallelism in Encore (...and Types)Keynote
AGERE
Tobias Wrigstad Uppsala University
08:30 - 10:00
Meta for TypesMETA at Cambridge
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel
08:30
30m
Talk
Code Generation for Higher Inductive Types
META
Paventhan Vivekanandan Indiana University Bloomington
File Attached
09:00
30m
Talk
Recognizing heterogeneous sequences by rational type expression
META
Jim Newton EPITA / LRDE https://www.lrde.epita.fr, Didier Verna EPITA / LRDE
DOI
09:30
30m
Talk
Multiple Dispatch using Compile-Time Metaprogramming
META
Seyed Hossein Haeri Université Catholique de Louvain, Paul Keir
08:30 - 10:00
Keynote: AmarasingheGPCE at Studio 1
08:30
15m
Talk
Opening
GPCE
Eric Van Wyk University of Minnesota, USA, Tiark Rompf Purdue University, David J. Pearce Victoria University of Wellington, Tanja Mayerhofer TU Wien, Friedrich Steimann Fernuniversität
08:45
75m
Talk
How to Make Sparse FastKeynote
GPCE
10:00 - 10:30
BreakSocial at Terrace
10:30 - 12:00
Keynote: ChughPLATEAU at Beacon Hill
Chair(s): Joshua Sunshine Carnegie Mellon University
10:30
65m
Talk
Direct Manipulation Programming in Sketch-n-Sketch: Three Years, Three IdeasKeynote
PLATEAU
Ravi Chugh University of Chicago
11:35
5m
Talk
Interdisciplinary Programming Language Design - Preview
PLATEAU
Michael Coblenz Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University
11:40
5m
Talk
Julia: Dynamism and Performance Reconciled by Design - Preview
PLATEAU
Jeff Bezanson Julia Computing, Benjamin Chung Northeastern University, Jiahao Chen Capital One, Stefan Karpinski , Viral B Shah Julia Computing, Jan Vitek Northeastern University, Lionel Zoubritzky École Normale Supérieure
11:45
5m
Talk
On the Usage of “Pythonic” Idioms in Python Programs - Preview
PLATEAU
Carol V. Alexandru University of Zurich, José J. Merchante Universidad Rey Juan Carlos, Sebastiano Panichella Zurich University of Applied Science/University of Zurich, Sebastian Proksch University of Zurich, Harald Gall University of Zurich, Gregorio Robles Universidad Rey Juan Carlos
11:50
5m
Talk
We Should Stop Claiming Generality in our Domain-Specific Language Papers - Preview
PLATEAU
Daco Harkes Delft University of Technology
Link to publication
10:30 - 12:00
Distributed SystemsAGERE at Cabot
10:30
30m
Talk
A Configurable Transport Layer for CAF
AGERE
Link to publication DOI File Attached
11:00
30m
Talk
Distributed Functional Reactive Programming on Actor-Based Runtime
AGERE
Kazuhiro Shibanai Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology
Link to publication DOI
11:30
30m
Talk
Observable atomic consistency for CvRDTs
AGERE
Xin Zhao KTH Royal Institute of Technology, Philipp Haller KTH, Sweden
10:30 - 12:00
Keynote: Burmako & ToolingMETA at Cambridge
Chair(s): Stefan Marr University of Kent
10:30
60m
Talk
SemanticDB: a common data model for Scala developer tools ⭐️Keynote
META
I: Eugene Burmako Twitter, Inc.
DOI
11:30
30m
Demonstration
Relit: Typed Literal Macros for Reason
META
Cyrus Omar University of Chicago, Charles Chamberlain University of Chicago
Link to publication
10:30 - 12:00
Speakers 2TURBO at Stuart
Chair(s): Gerhard Dueck University of New Brunswick
10:30
30m
Talk
Eclipse OMR Om: A Relaxing Object Model for the Polyglot World
TURBO
Robert Young IBM, Canada
11:00
30m
Talk
Building AArch64 Support for the Eclipse OMR Language Runtime Toolkit
TURBO
Jean-Philippe Legault University of New Brunswick, Aaron Graham IBM/University of New Brunswick: Centre for Advanced Studies - Atlantic (CAS-Atlantic)
11:30
30m
Talk
Building an Ahead-of-Time Compiler for WebAssembly with Eclipse OMR
TURBO
10:30 - 12:00
ParsingSLE at Studio 1
Chair(s): Tijs van der Storm CWI & University of Groningen
10:30
30m
Talk
Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
SLE
Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Michael J. Steindorfer Delft University of Technology, Sebastian Erdweg TU Delft, Eelco Visser Delft University of Technology
Link to publication DOI
11:00
30m
Talk
GLL Parsing with Flexible Combinators
SLE
L. Thomas van Binsbergen Royal Holloway University of London, Elizabeth Scott Royal Holloway University of London, Adrian Johnstone
File Attached
11:30
30m
Talk
Morbig: A Static Parser for POSIX Shell
SLE
Yann Régis-Gianas IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2, Nicolas Jeannerod IRIF, Université de Paris, Ralf Treinen IRIF
10:30 - 12:00
IGPCE at Studio 2
Chair(s): Shoaib Kamil Adobe
10:30
30m
Talk
A Domain-Specific Language for Exploratory Data Visualization
GPCE
Karl Smeltzer Oregon State University, Martin Erwig Oregon State University
11:00
30m
Talk
A Practical Unification of Multi-Stage Programming and Macros
GPCE
Nicolas Stucki EPFL, Switzerland, Aggelos Biboudis EPFL, Switzerland, Martin Odersky EPFL, Switzerland
11:30
30m
Talk
Rash: From Reckless Interactions to Reliable Programs
GPCE
William G Hatch University of Utah, Matthew Flatt University of Utah
13:30 - 15:00
Parallel SystemsAGERE at Cabot
13:30
30m
Talk
Chocola: Integrating Futures, Actors, and Transactions
AGERE
Janwillem Swalens Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
Pre-print
14:00
30m
Talk
Concurrent Garbage Collection in the Actor Model
AGERE
Dan Plyukhin , Gul Agha University of Illinois at Urbana-Champaign, USA
14:30
30m
Talk
Attached and Detached Closures in Actors
AGERE
Elias Castegren Uppsala University, Dave Clarke Uppsala Univ. Sweden and KU Leuvern, Kiko Fernandez-Reyes Uppsala University, Tobias Wrigstad Uppsala University, Albert Mingkun Yang Uppsala University
13:30 - 15:00
Keynote: Bonetta & InfrastructureMETA at Cambridge
Chair(s): Guido Chari Czech Technical University, Czechia
13:30
60m
Talk
GraalVM: Metaprogramming inside a Polyglot System ⭐️Keynote
META
Daniele Bonetta Oracle Labs
DOI
14:30
30m
Talk
Does It Make Sense to have Application-specific Code Conventions as a Complementary Approach to Code Annotations?
META
Rodrigo Teixeira INPE - National Institute for Space Research, Eduardo Guerra INPE - National Institute for Space Research, Phyllipe Lima INPE - National Institute for Space Research, Paulo Meirelles Federal University of São Paulo, Fabio Kon University of São Paulo
DOI
13:30 - 15:00
IIHILT at Franklin
Chair(s): William Bail The MITRE Corporation
13:30
45m
Talk
Tool support for Confidentiality by Construction
HILT
S: Tobias Runge TU Braunschweig, S: Ina Schaefer Technische Universität Braunschweig, Alexander Knüppel TU Braunschweig, Germany, Loek Cleophas Eindhoven University of Technology (TU/e) and Stellenbosch University, Derrick Kourie Stellenbosch University, Bruce Watson Stellenbosch University; and Centre for AI Research, CSIR
14:15
45m
Other
Panel on Language-based Security
HILT
P: Stephen Chong Harvard University, Ina Schaefer Technische Universität Braunschweig, Tobias Runge TU Braunschweig, Lucas Wagner Rockwell Collins, Sam Procter Carnegie Mellon Software Engineering Institute, Tucker Taft AdaCore
13:30 - 15:00
AfternoonSPLASH-E at Newbury
13:30
30m
Talk
Bridging the Gap for At-Risk Cohorts: Experimenting with English Language Learners
SPLASH-E
Celina Berg UBC, Computer Science, Fatimah Mahmood University of British Columbia
File Attached
14:00
30m
Talk
LambdaLab: An Interactive Lambda-Calculus Reducer for Learning
SPLASH-E
Daniel Sainati Cornell University, Adrian Sampson Cornell University
File Attached
14:30
30m
Meeting
Discussion
SPLASH-E

13:30 - 15:00
Hands-on Tutorial 1TURBO at Stuart
Chair(s): Leonardo Banderali IBM Toronto Labs
13:30
90m
Other
Boost WABT Performance with JitBuilder (Part I)
TURBO
Leonardo Banderali IBM Toronto Labs, Xiaoli Liang IBM Canada, Daryl Maier IBM Canada, Mark Stoodley IBM Canada, Robert Young IBM, Canada
13:30 - 15:00
Parsing / CompositionSLE at Studio 1
Chair(s): Eelco Visser Delft University of Technology
13:30
20m
Talk
Input-Driven Regular Expressions (Vision Paper)Vision / New Idea
SLE
13:50
30m
Talk
Modular Language Composition for the Masses
SLE
Manuel Leduc Univ Rennes, Inria, CNRS, IRISA, Thomas Degueule Centrum Wiskunde & Informatica, Benoit Combemale University of Rennes 1
DOI Pre-print
14:20
20m
Talk
Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)Tool Demo
SLE
Filip Strömbäck Linköping University
DOI
14:40
20m
Talk
Languages as First-Class Citizens (Vision Paper)Vision / New Idea
SLE
Matteo Cimini University of Massachusetts Lowell
13:30 - 15:00
IIGPCE at Studio 2
Chair(s): Aggelos Biboudis EPFL, Switzerland
13:30
30m
Talk
Exploring feature interactions without specifications: a controlled experiment
GPCE
Larissa Soares Universidade Federal da Bahia, Jens Meinicke Magdeburg University, Sarah Nadi University of Alberta, Christian Kästner Carnegie Mellon University, Eduardo Santana de Almeida Universidade Federal da Bahia
14:00
30m
Talk
Inferring Ownership Domains From Refinements
GPCE
Ebrahim Khalaj Wayne State University, Marwan Abi-Antoun Wayne State University
14:30
30m
Talk
Implementing a semi-causal domain-specific language for context detection over binary sensors
GPCE
Nic Volanschi Inria Bordeaux, Bernard Serpette Inria, Charles Consel University of Bordeaux
13:30 - 14:30
13:30
60m
Talk
Time-Travel Debugging and Actionable Diagnostics Insights
SPLASH-I
Mark Marron Microsoft Research
15:00 - 15:30
BreakSocial at Terrace
15:30 - 17:00
Interactive Tools & BreakoutPLATEAU at Beacon Hill
Chair(s): Sarah E. Chasins University of California, Berkeley
15:30
25m
Talk
Interactive Extraction of Examples from Existing Code
PLATEAU
Andrew Head UC Berkeley
15:55
5m
Talk
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments - Preview
PLATEAU
Junho Lee Korea University, Dowon Song Korea University, Sunbeom So Korea University, Hakjoo Oh Korea University
16:00
5m
Talk
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax - Preview
PLATEAU
16:05
5m
Talk
Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming - Preview
PLATEAU
Akio Oka Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, Tomoyuki Aotani Tokyo Institute of Technology
16:10
50m
Other
Breakout Discussion
PLATEAU

15:30 - 17:00
WIPAGERE at Cabot
15:30
30m
Talk
Implementing Linking in Multiparty Sessions
AGERE
Hanwen Wu , Hongwei Xi Boston University
16:00
30m
Talk
Compositional Programming and Testing of Actor Programs
AGERE
Ankush Desai University of California, Berkeley, Shaz Qadeer Microsoft Research, Sanjit Seshia UC Berkeley
15:30 - 17:00
Keynote: NobleMETA at Cambridge
Chair(s): Stefan Marr University of Kent
15:30
60m
Talk
Through a Glass, Darkly ⭐️Keynote
META
I: James Noble Victoria University of Wellington
DOI
16:30
30m
Day closing
Discussion and Closing
META

15:30 - 17:00
IIIHILT at Franklin
Chair(s): Peter Chapin Vermont Technical College
15:30
30m
Short-paper
SPARK by Example: an introduction to formal verification through the standard C++ library
HILT
Léo Creuse ISAE, Joffrey Huguet ISAE, P: Christophe Garion ISAE-SUPAERO, Jerome Hugues ISAE
16:00
30m
Short-paper
Soundness of a Dataflow Analysis for Memory Monitoring
HILT
P: Dara Ly CEA LIST, Nikolai Kosmatov CEA List, Frederic Loulergue Northern Arizona University, Julien Signoles CEA LIST
16:30
25m
Short-paper
Minimal Specifications for Detecting Security Vulnerabilities
HILT
P: Andrew Berns University of Northern Iowa, James Curbow University of Northern Iowa, Joshua Hilliard University of Northern Iowa, Sheriff Jorkeh University of Northern Iowa, Miho Sanders University of Northern Iowa
16:55
5m
Social Event
6:30PM HILT Banquet at Legal Seafoods, Park Plaza, preceded by SIGAda EC meeting from 5:15 to 6:15PM
HILT

15:30 - 17:00
Hands-on Tutorial 2TURBO at Stuart
Chair(s): Leonardo Banderali IBM Toronto Labs
15:30
90m
Other
Boost WABT Performance with JitBuilder (Part II)
TURBO
Leonardo Banderali IBM Toronto Labs, Xiaoli Liang IBM Canada, Daryl Maier IBM Canada, Mark Stoodley IBM Canada, Robert Young IBM, Canada
15:30 - 17:30
Validation & VerificationSLE at Studio 1
Chair(s): Marsha Chechik University of Toronto
15:30
30m
Talk
Continuous Model Validation using Reference Attribute Grammars
SLE
Johannes Mey Technische Universität Dresden, René Schöne Technische Universität Dresden, Görel Hedin , Emma Söderberg Lund University, Thomas Kühn Technische Universität Dresden, Niklas Fors Lund University, Jesper Oqvist Lund University, Uwe Aßmann TU Dresden, Germany
Link to publication DOI Pre-print Media Attached
16:00
30m
Talk
Migrating Business Logic to an Incremental Computing DSL: A Case Study
SLE
Daco Harkes Delft University of Technology, Elmer van Chastelet Delft University of Technology, Eelco Visser Delft University of Technology
Link to publication DOI Pre-print
16:30
20m
Talk
An Industrial Case Study in Compiler Testing (Tool Demo)Tool Demo
SLE
Vadim Zaytsev Raincode Labs
16:50
20m
Talk
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)Tool Demo
SLE
Benoît Ries University of Luxembourg, Alfredo Capozucca University of Luxembourg, Nicolas Guelfi University of Luxembourg
DOI
15:30 - 17:00
IIIGPCE at Studio 2
Chair(s): Sarah Nadi University of Alberta
15:30
30m
Talk
Meta-programming for cross-domain tensor optimizations
GPCE
Adilla Susungi MINES ParisTech, France, Norman A. Rink TU Dresden, Germany, Albert Cohen Google, Jeronimo Castrillon TU Dresden, Germany, Claude Tadonki MINES ParisTech, France
16:00
30m
Talk
Model-based Security Analysis of Feature-oriented Software Product Lines
GPCE
Sven Peldszus University of Koblenz-Landau, Daniel Strüber University of Koblenz-Landau, Germany, Jan Jürjens University of Koblenz-Landau
DOI Pre-print
16:30
30m
Talk
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
GPCE
Laurent Christophe VUB, Coen De Roover Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
15:30 - 16:30
StoodleySPLASH-I at Whittier
15:30
60m
Talk
Oh, the compilers you will build!
SPLASH-I
Mark Stoodley IBM Canada
Link to publication
16:30 - 17:30
RamanathanSPLASH-I at White Hill
16:30
60m
Talk
Reliable Deployment at Uber Scale
SPLASH-I
17:30 - 19:30
PosterPosters at Terrace
17:30
1m
Poster
Data Programming (DP): A new way of programming user interfaces
Posters
Link to publication
17:31
1m
Poster
Programming by example: efficient, but not "helpful"
Posters
A: Mark Santolucito Yale University, USA, A: Drew Goldman Roslyn High School, A: Allyson Weseley Roslyn High School, A: Ruzica Piskac Yale University, USA
Link to publication
17:33
1m
Poster
Obsidian: A Safer Blockchain Programming Language
Posters
A: Michael Coblenz Carnegie Mellon University, A: Jonathan Aldrich Carnegie Mellon University, A: Brad A. Myers Carnegie Mellon University, A: Joshua Sunshine Carnegie Mellon University
17:34
1m
Talk
Toward a Language-Parametric Code Completion Editor Service
Posters
Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology
Link to publication
17:36
1m
Poster
Compositional Programming and Testing of Dynamic Distributed Systems
Posters
A: Ankush Desai University of California, Berkeley, A: Amar Phanishayee Microsoft Research, A: Shaz Qadeer Microsoft Research, A: Sanjit Seshia UC Berkeley
Link to publication
17:38
1m
Poster
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
Posters
A: Benoît Ries University of Luxembourg, A: Alfredo Capozucca University of Luxembourg, A: Nicolas Guelfi University of Luxembourg
Link to publication
17:39
1m
Poster
Finding Broken Promises in Asynchronous JavaScript Programs
Posters
A: Saba Alimadadi Northeastern University, A: Di Zhong Northeastern University, USA, A: Magnus Madsen Aarhus University, A: Frank Tip Northeastern University
Link to publication
17:41
1m
Talk
Test Generation for Higher-Order Functions in Dynamic Languages
Posters
A: Marija Selakovic TU Darmstadt, Germany, A: Michael Pradel TU Darmstadt, A: Rezwana Karim Nawrin Samsung Research America, A: Frank Tip Northeastern University
Link to publication
17:43
1m
Poster
Speeding up Symbolic Reasoning for Relational Queries
Posters
A: Chenglong Wang University of Washington, USA, A: Alvin Cheung University of Washington, A: Rastislav Bodík University of Washington
Link to publication
17:44
1m
Poster
Fixing Machine Learning with Solver-Aided Languages
Posters
A: Revan MacQueen University of Alberta, A: Julian Dolby IBM Research, A: Karim Ali University of Alberta
17:46
1m
Poster
SWAN: A Swift Program Analysis Framework
Posters
A: Jeff Cho University of Alberta, A: Mark Mroz University of Ottawa, A: Julian Dolby IBM Research, A: Karim Ali University of Alberta
Link to publication
17:48
1m
Poster
The Software Architecture of Economy Mechanics in Digital Games
Posters
A: Wilson Mizutani University of São Paulo
Link to publication
17:49
1m
Poster
Identifying Barriers to Adoption for Rust through Online Discourse
Posters
A: Anna Zeng Stanford University, A: Will Crichton Stanford University
Link to publication
17:51
1m
Poster
Handling inconsistencies in software product line using a rule-based approach
Posters
Megha Bhushan Chitkara University, Punjab, India, A: Shivani Goel , Arun Negi Ministry of Defence, Government of India, India, Piyush Samant Thapar Institute of Engineering, Patiala, Punjab, India
17:53
1m
Poster
Chocola: Integrating Futures, Actors, and Transactions
Posters
A: Janwillem Swalens Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel, A: Joeri De Koster Vrije Universiteit Brussel, Belgium
Link to publication Pre-print
17:54
1m
Poster
Anomaly Analyses for Feature-Model Evolution
Posters
A: Michael Nieke TU Braunschweig, Germany, A: Christoph Seidl Technische Universität Braunschweig, A: Jacopo Mauro University of Southern Denmark, A: Thomas Thüm University of Ulm, A: Ingrid Chieh Yu University of Oslo, A: Felix Franzke TU Braunschweig
Link to publication
17:56
1m
Poster
Understanding Java Usability by Mining GitHub Repositories
Posters
Link to publication
17:57
1m
Poster
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
Posters
A: Minseok Jeon Korea University, South Korea, A: Sehun Jeong Korea University, A: Hakjoo Oh Korea University
Link to publication
17:59
1m
Poster
QDB: From Quantum Algorithms Towards Correct Quantum Programs
Posters
A: Yipeng Huang Princeton University, A: Margaret Martonosi
Link to publication
18:01
1m
Talk
Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
Posters
A: Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, A: Michael J. Steindorfer Delft University of Technology, A: Sebastian Erdweg TU Delft, A: Eelco Visser Delft University of Technology
Link to publication
18:02
1m
Poster
Safe Replication through Bounded Concurrency Verification
Posters
A: Gowtham Kaki Purdue University, A: Kapil Earanky Purdue University, A: KC Sivaramakrishnan University of Cambridge, A: Suresh Jagannathan Purdue University
Link to publication
18:04
1m
Poster
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Posters
A: Junho Lee Korea University, A: Dowon Song Korea University, A: Sunbeom So Korea University, A: Hakjoo Oh Korea University
Link to publication
18:06
1m
Poster
Observable atomic consistency for CvRDTs
Posters
A: Xin Zhao KTH Royal Institute of Technology, A: Philipp Haller KTH, Sweden
Link to publication
18:07
1m
Poster
Reconciling High-level Optimizations and Low-level Code in LLVM
Posters
A: Juneyoung Lee Seoul National University, A: Chung-Kil Hur Seoul National University, A: Ralf Jung MPI-SWS, A: Zhengyang Liu University of Utah, A: John Regehr University of Utah, A: Nuno P. Lopes Microsoft Research
Link to publication
18:09
1m
Poster
Meta-programming for cross-domain tensor optimizations
Posters
A: Adilla Susungi MINES ParisTech, France, A: Norman A. Rink TU Dresden, Germany, A: Albert Cohen Google, A: Jeronimo Castrillon TU Dresden, Germany, A: Claude Tadonki MINES ParisTech, France
Link to publication
18:11
1m
Poster
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
Posters
A: James Koppel MIT, A: Varot Premtoon MIT, A: Armando Solar-Lezama MIT CSAIL
Link to publication
18:12
1m
Poster
Scaling the REPL Experience
Posters
A: Yair Chuchem Lamdu, A: Eyal Lotem Lamdu
Link to publication
18:14
1m
Poster
Automated Rule Inference for Cryptographic APIs through Source Code Repositories
Posters
A: Anna-Katharina Wickert TU Darmstadt
Link to publication
18:16
1m
Poster
Exploring feature interactions without specifications: a controlled experiment
Posters
A: Larissa Soares Universidade Federal da Bahia, A: Jens Meinicke Magdeburg University, A: Sarah Nadi University of Alberta, A: Christian Kästner Carnegie Mellon University, A: Eduardo Santana de Almeida Universidade Federal da Bahia
Link to publication
18:17
1m
Poster
GraphIt - A High-Performance Graph DSL
Posters
A: Yunming Zhang , A: Mengjiao Yang MIT CSAIL, A: Riyadh Baghdadi MIT, A: Shoaib Kamil Adobe, A: Julian Shun MIT, A: Saman Amarasinghe MIT
Link to publication
18:19
1m
Poster
Symmetry-based Optimization of Interaction Kernels
Posters
A: Shigeyuki Sato Kochi University of Technology
18:20
1m
Poster
Sound Deadlock Prediction
Posters
A: Christian Gram Kalhauge University of California, Los Angeles, A: Jens Palsberg University of California, Los Angeles
Link to publication
18:22
1m
Poster
Conflict Resolution for Structured Merge via Version Space Algebra
Posters
A: Fengmin Zhu , A: Fei He Tsinghua University
Link to publication
18:24
1m
Poster
Robust Relational Layout Synthesis from Examples for Android
Posters
A: Pavol Bielik ETH Zürich, A: Marc Fischer ETH Zurich, A: Martin Vechev ETH Zürich
Link to publication
18:25
1m
Poster
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Posters
A: Benoit Daloze JKU Linz, Austria, A: Arie Tal Technion, A: Stefan Marr University of Kent, A: Hanspeter Mössenböck JKU Linz, Austria, A: Erez Petrank Technion
Link to publication
18:27
1m
Poster
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Posters
A: Yin Liu Virginia Tech, A: Kijin An Virginia Tech, A: Eli Tilevich Virginia Tech
Link to publication
18:29
1m
Poster
Scopes as Types
Posters
A: Hendrik van Antwerpen TU Delft, A: Casper Bach Poulsen Delft University of Technology, A: Arjen Rouvoet Delft University of Technology, A: Eelco Visser Delft University of Technology
Link to publication
18:30
1m
Poster
Generating a Java Library from Its Specification
Posters
A: Tomoki Nakamaru The University of Tokyo, A: Shigeru Chiba The University of Tokyo
18:32
1m
Poster
Thread-Safe Reactive Programming
Posters
A: Joscha Drechsler Technische Universität Darmstadt, A: Ragnar Mogk Technische Universität Darmstadt, A: Guido Salvaneschi TU Darmstadt, A: Mira Mezini TU Darmstadt
Link to publication
18:34
1m
Poster
Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)
Posters
A: Filip Strömbäck Linköping University
Link to publication
18:35
1m
Poster
Multi-Device Grace
Posters
A: Ben Selwyn-Smith , A: Craig Anslow Victoria University of Wellington, A: Michael Homer Victoria University of Wellington
18:37
1m
Poster
Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo)
Posters
A: Jasper Denkers TU Delft, A: Louis van Gool Océ Technologies B.V., A: Eelco Visser Delft University of Technology
Link to publication
18:39
1m
Poster
Guiding Inlining Decisions by Identifying Post-Inlining Transformations
Posters
A: Erick Ochoa University of Alberta, A: Andrew Craik IBM Canada, A: Jose Nelson Amaral University of Alberta, A: Karim Ali University of Alberta
18:40
1m
Poster
Compiling Distributed System Specifications into Implementations
Posters
A: Matthew Do Computer Science, University of British Columbia, A: Renato Mascarenhas Computer Science, University of British Columbia, A: Finn Hacket Computer Science, University of Waterloo, A: Brandon Zhang Computer Science, University of British Columbia, A: Yi Fan (Bob) Yang Facebook, A: Adam Geller Computer Science, University of British Columbia, A: Ivan Beschastnikh Computer Science, University of British Columbia
18:42
1m
Poster
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Posters
A: Peizhao Ou University of California, Irvine, A: Brian Demsky University of California, Irvine
Link to publication
18:43
1m
Poster
Incremental compilation for Stratego
Posters
A: Jeff Smits Delft University of Technology, A: Eelco Visser Delft University of Technology
Link to publication
18:45
1m
Poster
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
Posters
A: Juan Fumero The University of Manchester, A: Christos Kotselidis The University of Manchester
Link to publication
18:47
1m
Poster
Object-Oriented Recovery for Non-Volatile Memory
Posters
A: Nachshon Cohen EPFL, Switzerland, A: David T. Aksun EPFL, A: James Larus EPFL
Link to publication
18:48
1m
Poster
Faster Variational Execution with Transparent Bytecode Transformation
Posters
A: Chu-Pan Wong Carnegie Mellon University, A: Jens Meinicke Magdeburg University, A: Lukas Lazarek , A: Christian Kästner Carnegie Mellon University
Link to publication
18:50
1m
Poster
Observing the Uptake of a Language Change Making Strings Immutable
Posters
A: Manuel Maarek Heriot-Watt University
Link to publication
18:52
1m
Poster
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Posters
A: Laurent Christophe VUB, A: Coen De Roover Vrije Universiteit Brussel, A: Elisa Gonzalez Boix Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication
18:53
1m
Poster
Espalier: a structured spreadsheet tool for end-user development of organizational applications
Posters
A: Matt McCutchen MIT, A: Shachar Itzhaky Technion, Israel, A: Daniel Jackson MIT, A: Willow Jarvis MIT
Link to publication
18:55
1m
Poster
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
Posters
A: Jyothi Vedurada IIT Madras, A: V Krishna Nandivada IIT Madras
Link to publication
18:57
1m
Poster
Margin Notes: Automatic code documentation with recorded examples from runtime
Posters
Link to publication
18:58
1m
Poster
A Practical Unification of Multi-Stage Programming and Macros
Posters
A: Nicolas Stucki EPFL, Switzerland, A: Aggelos Biboudis EPFL, Switzerland, A: Martin Odersky EPFL, Switzerland
Link to publication
19:00
1m
Poster
Precision-Guided Context Sensitivity for Pointer Analysis
Posters
A: Yue Li Aarhus University, Denmark, A: Tian Tan Aarhus University, Denmark, A: Anders Møller Aarhus University, A: Yannis Smaragdakis University of Athens
Link to publication
19:02
1m
Poster
Skitter: A DSL for Distributed Reactive Workflows
Posters
A: Mathijs Saey Vrije Universiteit Brussel, A: Joeri De Koster Vrije Universiteit Brussel, Belgium, A: Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication
19:03
1m
Poster
Consolidating Inheritance and Scoping into a Context Abstraction
Posters
A: Matan I. Peled Technion—Israel Institute of Technology
19:05
1m
Poster
Modular Language Composition for the Masses
Posters
A: Manuel Leduc IRISA, University of Rennes 1, A: Thomas Degueule Centrum Wiskunde & Informatica, A: Benoit Combemale University of Rennes 1
Link to publication
19:06
1m
Poster
From Debugging Towards Live Tuning of Reactive Applications
Posters
A: Ragnar Mogk Technische Universität Darmstadt, A: Pascal Weisenburger Technische Universität Darmstadt, A: Julian Haas Technische Universität Darmstadt, A: David Richter Technical University of Darmstadt
Link to publication
19:08
1m
Poster
Secure Serverless Computing Using Dynamic Information Flow Control
Posters
A: Kalev Alpernas Tel Aviv University, A: Cormac Flanagan University of California, Santa Cruz, A: Sadjad Fouladi Stanford University, A: Leonid Ryzhyk VMware Research, A: Mooly Sagiv Tel Aviv University, A: Thomas Schmitz , A: Keith Winstein Stanford University
Link to publication
19:10
1m
Poster
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms
Posters
A: Jesse Zaman Vrije Universiteit Brussel, A: Kennedy Kambona Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication
19:11
1m
Poster
A Derivation Framework for Dependent Security Label Inference
Posters
A: Peixuan Li Penn State University, A: Danfeng Zhang Pennsylvania State University
Link to publication
19:13
1m
Poster
Distributed System Development with ScalaLoci
Posters
A: Pascal Weisenburger Technische Universität Darmstadt, A: Mirko Köhler , A: Guido Salvaneschi TU Darmstadt
Link to publication
19:15
1m
Poster
An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
Posters
A: Zhangxiaowen Gong University of Illinois at Urbana-Champaign, A: Zhi Chen University of California, Irvine, A: Justin Szaday University of Illinois at Urbana-Champaign, A: David Wong Intel, A: Zehra Sura IBM Research, A: Neftali Watkinson , A: Saeed Maleki Microsoft Research, A: David Padua University of Illinois at Urbana-Champaign, A: Alexander Veidenbaum University of California, Irvine, A: Alexandru Nicolau University of California, Irvine, A: Josep Torrellas University of Illinois at Urbana-Champaign
Link to publication
19:16
1m
Poster
METACO, a Type Checker Generator
Posters
A: Haochen Xie Nagoya University
19:18
1m
Poster
Refinement in object-sensitivity points-to analysis via slicing
Posters
A: Girish Maskeri Rama Infosys Limited, A: Raghavan Komondoor Indian Institute of Science, Bangalore, A: Himanshu Sharma Indian Institute of Science, Bangalore
Link to publication
19:20
1m
Poster
Explaining Spreadsheets with Spreadsheets
Posters
A: Jácome Cunha University of Minho, A: Mihai Dan Oregon State University, A: Martin Erwig Oregon State University, A: Danila Fedorin Oregon State University, A: Alex Grejuc Oregon State University
Link to publication
19:21
1m
Poster
Continuous Model Validation using Reference Attribute Grammars
Posters
A: Johannes Mey Technische Universität Dresden, A: René Schöne Technische Universität Dresden, A: Görel Hedin , A: Emma Söderberg Lund University, A: Thomas Kühn Technische Universität Dresden, A: Niklas Fors Lund University, A: Jesper Oqvist Lund University, A: Uwe Aßmann TU Dresden, Germany
Link to publication Pre-print
19:23
1m
Poster
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
Posters
A: Jonathan Bell George Mason University, A: Luís Pina George Mason University
19:25
1m
Poster
DeepBugs: A Learning Approach to Name-based Bug Detection
Posters
A: Michael Pradel TU Darmstadt, A: Koushik Sen University of California, Berkeley
Link to publication
19:26
1m
Talk
Grammar Induction for Programming Languages using Skip-Gram Model
Posters
Tomomasa Matsunaga , Shigeru Chiba The University of Tokyo
19:28
1m
Poster
Migrating Business Logic to an Incremental Computing DSL: A Case Study
Posters
A: Daco Harkes Delft University of Technology, A: Elmer van Chastelet Delft University of Technology, A: Eelco Visser Delft University of Technology
Link to publication

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

07:30 - 08:30
BreakfastSocial at Terrace
07:30 - 08:45
Mentoring BreakfastPLMW at Tremont
07:30
75m
Mentoring Breakfast
PLMW

08:00 - 10:00
AI SEPSAI-SEPS at Cabot
Chair(s): Ali Jannesari Iowa State University, Yukinori Sato Toyohashi University of Technology
08:00
50m
Talk
Deep Learning at ScaleKeynote
AI-SEPS
Prabhat NERSC, Berkeley Lab
08:50
25m
Talk
PIRA: Performance Instrumentation Refinement Automation
AI-SEPS
Jan-Patrick Lehr Graduate School of Computational Engineering, TU Darmstadt, Alexander Hück Institute for Scientific Computing, TU Darmstadt, Christian Bischof Scientific Computing, TU Darmstadt
09:15
15m
Talk
PyGA: A Python to FPGA compiler prototype
AI-SEPS
Yohann Uguen Univ Lyon, INSA Lyon, Inria, CITI, Eric Petit Intel, France
09:30
30m
Talk
Panel discussion
AI-SEPS
P: Yukinori Sato Toyohashi University of Technology, P: Ali Jannesari Iowa State University, P: Shigeru Chiba The University of Tokyo
08:30 - 10:00
ILIVE at Beacon Hill
Chair(s): Jonathan Edwards Unaffiliated
08:30
60m
Talk
Against The Current: What We Learned From EveKeynote
LIVE
09:30
30m
Talk
From Debugging Towards Live Tuning of Reactive Applications
LIVE
Ragnar Mogk Technische Universität Darmstadt, Pascal Weisenburger Technische Universität Darmstadt, Julian Haas Technische Universität Darmstadt, David Richter Technical University of Darmstadt, Guido Salvaneschi TU Darmstadt, Mira Mezini TU Darmstadt
Pre-print
08:30 - 10:00
IDocSymposium at Charles River
Chair(s): Philipp Haller KTH, Sweden
08:30
3m
Day opening
Welcome and Introduction
DocSymposium
Philipp Haller KTH, Sweden
08:33
12m
Talk
Lightning Talks
DocSymposium
Philipp Haller KTH, Sweden
08:45
45m
Talk
A DSL for Distributed, Reactive Workflows
DocSymposium
Mathijs Saey Vrije Universiteit Brussel
09:30
30m
Talk
Invited Talk 1
DocSymposium
Heather Miller Carnegie Mellon University
08:30 - 10:00
Keynote: RichardsHILT at Franklin
Chair(s): Tucker Taft AdaCore
08:30
15m
Awards
SIGAda Awards and Sponsor Intros
HILT
Tucker Taft AdaCore
08:45
20m
Talk
SAFECode.org and Secure Software Development Practices
HILT
Eric Baize SAFECode / Dell
09:05
55m
Talk
DARPA CASE program, motivation and challengesKeynote
HILT
08:30 - 10:00
08:30
30m
Talk
The DaCapo Benchmark Suite: A Methodological, Engineering, and Social Journey
NJR
Steve Blackburn Australian National University
09:00
30m
Talk
NJR: 100,000 Executable, Scriptable, and Searchable Java Programs
NJR
Jens Palsberg University of California, Los Angeles
09:30
30m
Talk
NJR discussion; Needs, Requirements, Wishes
NJR
Jens Palsberg University of California, Los Angeles
08:30 - 10:00
Hands-on Tutorial 1TURBO at Stuart
Chair(s): Robert Young IBM, Canada
08:30
90m
Other
Create an Object Model and Get a GC for Free (Part I)
TURBO
Robert Young IBM, Canada, Leonardo Banderali IBM Toronto Labs, Xiaoli Liang IBM Canada, Daryl Maier IBM Canada, Mark Stoodley IBM Canada
08:30 - 10:00
Keynote: RinardSLE at Studio 1
08:30
15m
Day opening
Awards
SLE
Friedrich Steimann Fernuniversität, Tanja Mayerhofer TU Wien, Matthew Roberts Macquarie University, Romina Eramo University of L'Aquila
08:45
75m
Talk
A New Approach for Software Correctness and ReliabilityKeynote
SLE
Martin C. Rinard Massachusetts Institute of Technology
08:45 - 10:00
Keynote: SteeleKeynotes / PLMW at Cambridge
Chair(s): Barbara Ryder Virginia Tech
08:45
15m
Welcome and Introduction
PLMW
Barbara Ryder Virginia Tech
File Attached
09:00
60m
Talk
50 Years of Programming and Language DesignKEYNOTE
Keynotes
Guy L. Steele Jr. Oracle Labs
File Attached
10:00 - 10:30
BreakSocial at Terrace
10:30 - 12:00
Keynote: StieglerOCAP at Cabot
Chair(s): Marc Stiegler
10:30
60m
Talk
Lost Wisdom of the Ancients
OCAP
11:30
30m
Talk
OCAP Patterns Panel
OCAP
Marc Stiegler , James Noble Victoria University of Wellington, Alan Karp , JF Paradis Salesforce
10:30 - 12:00
Mentoring WorkshopPLMW at Cambridge
Chair(s): Sarah Nadi University of Alberta
10:30
30m
Talk
The story of Arjun Guha, or: the arc of a research project
PLMW
Shriram Krishnamurthi Brown University, USA
11:00
30m
Talk
From academia to industry and back again
PLMW
Julia Rubin University of British Columbia
File Attached
11:30
30m
Talk
Work/Life Balance
PLMW
Kathleen Fisher Tufts University, USA
File Attached
10:30 - 12:00
IIDocSymposium at Charles River
Chair(s): Philipp Haller KTH, Sweden
10:30
45m
Talk
Building Correct and Safe Distributed Systems
DocSymposium
Maryam Dabaghchian University of Utah
11:15
45m
Talk
The Software Architecture of Economy Mechanics in Digital Games
DocSymposium
Wilson Mizutani University of São Paulo
10:30 - 12:00
IVHILT at Franklin
Chair(s): Alok Srivastava SAIC
10:30
45m
Talk
SpeAR – Using a formal specification language for safety and security
HILT
Lucas Wagner Rockwell Collins
11:15
45m
Talk
Architecture-level security in a safety-critical system
HILT
S: Sam Procter Carnegie Mellon Software Engineering Institute, Peter Feiler Carnegie Mellon Software Engineering Institute
10:30 - 12:00
DSLs that computeDSLDI at St. James
10:30
30m
Talk
A Schematic Pushdown Reachability Language
DSLDI
Zachary Palmer Swarthmore College, Charlotte Raty Swarthmore College
11:00
30m
Talk
CLP(SMT)
DSLDI
Nada Amin University of Cambridge, William E. Byrd University of Alabama at Birmingham, USA
11:30
30m
Talk
Domain-Specific Optimizations for Linear Pipelines
DSLDI
10:30 - 12:00
Hands-on Tutorial 2TURBO at Stuart
Chair(s): Robert Young IBM, Canada
10:30
90m
Other
Create an Object Model and Get a GC for Free (Part II)
TURBO
Robert Young IBM, Canada, Leonardo Banderali IBM Toronto Labs, Xiaoli Liang IBM Canada, Mark Stoodley IBM Canada, Daryl Maier IBM Canada
10:30 - 12:00
Types & ConstraintsSLE at Studio 1
Chair(s): Ralf Laemmel Facebook London
10:30
30m
Talk
Constraint-based Run-time State Migration for Live Modeling
SLE
Ulyana Tikhonova CWI, Jouke Stoel CWI, Tijs van der Storm CWI & University of Groningen, Thomas Degueule Centrum Wiskunde & Informatica
11:00
30m
Talk
The Next 700 Unit Checkers
SLE
Oscar Bennich-Björkman Uppsala University, Steve McKeever Uppsala University
11:30
30m
Talk
A Practical Type System for Safe Aliasing
SLE
Dimi Racordon University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier Buchs University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland
10:30 - 12:00
IVGPCE at Studio 2
Chair(s): Sebastian Erdweg TU Delft
10:30
30m
Talk
Measuring Effectiveness of Sample-based Product-Line Testing
GPCE
Sebastian Ruland , Lars Luthmann TU Darmstadt, Real-time Systems Lab, Johannes Bürdek TU Darmstadt, Real-time Systems Lab, Sascha Lity Technische Universität Braunschweig, Thomas Thüm University of Ulm, Malte Lochau , Márcio Ribeiro Federal University of Alagoas, Brazil
11:00
30m
Talk
Pattern Matching in an Open World
GPCE
Weixin Zhang The University of Hong Kong, Bruno C. d. S. Oliveira The University of Hong Kong
11:30
30m
Talk
Verification of High-Level Transformations with Inductive Refinement Types
GPCE
Ahmad Salim Al-Sibahi Department of Computer Science, University of Copenhagen (DIKU) & BilagScan, Thomas P. Jensen INRIA Rennes, Aleksandar S. Dimovski IT University of Copenhagen, Denmark, Andrzej Wąsowski IT University of Copenhagen, Denmark
10:30 - 12:00
SemanticsDLS at The Loft
Chair(s): Tim Felgentreff Oracle Labs, Potsdam
10:30
30m
Talk
The Behavior of Gradual Types: A User Study
DLS
Preston Tunnell Wilson Brown University, USA, Ben Greenman Northeastern University, USA, Justin Pombrio Brown University, USA, Shriram Krishnamurthi Brown University, USA
11:00
30m
Talk
A Trustworthy Mechanized Formalization of R
DLS
Martin Bodin Imperial College London, Tomás Diaz University of Chile, Chile, Éric Tanter University of Chile & Inria Paris
11:00 - 12:00
KinnearSPLASH-I at Whittier
11:00
60m
Talk
Valhalla: Enhancing the JVM with Value Types
SPLASH-I
13:00 - 14:00
Panel: Industry and AcademiaPLMW at Cambridge
Chair(s): Sarah Nadi University of Alberta
13:00
60m
Panel: Industrial and Academic Research
PLMW
Kathleen Fisher Tufts University, USA, Mayur Naik University of Pennsylvania, Julia Rubin University of British Columbia, Frank Tip Northeastern University
13:30 - 15:00
Capabilities and EffectsOCAP at Cabot
13:30
30m
Talk
Designing with Static Capabilities and Effects
OCAP
Colin Gordon Drexel University
14:00
60m
Talk
Formal Methods Panel
OCAP
James Noble Victoria University of Wellington, Philipp Haller KTH, Sweden, Colin Gordon Drexel University
13:30 - 15:00
DSLs that communicateDSLDI at St. James
13:30
30m
Talk
Healthcare Data Management using Domain Specific Languages for Metadata Management
DSLDI
David Milward , Adam Milward University of Oxford
14:00
30m
Talk
Modeling REST API Behaviour with Text, Graphics or Both?
DSLDI
Ana Ivanchikj Software Institute, Faculty of Informatics, USI Lugano, Cesare Pautasso Software Institute, Faculty of Informatics, USI Lugano
14:30
30m
Talk
The POSIX shell is an interactive DSL for concurrency
DSLDI
Michael Greenberg Pomona College
13:30 - 15:00
Grammars & MetamodellingSLE at Studio 1
Chair(s): Thomas Degueule Centrum Wiskunde & Informatica
13:30
30m
Talk
Facet-Oriented Modelling: Open Objects for Model-Driven Engineering
SLE
Juan de Lara Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Jörg Kienzle McGill University, Canada, Yanis Hattab McGill University
14:00
30m
Talk
Analysing Meta-Model Product Lines
SLE
Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Universidad Autónoma de Madrid, Marsha Chechik University of Toronto, Rick Salay University of Toronto
14:30
30m
Talk
Translating Grammars to Accurate Metamodels
SLE
Arvid Butting Software Engineering RWTH Aachen University, Nico Jansen Software Engineering, RWTH Aachen University, Bernhard Rumpe RWTH Aachen University, Andreas Wortmann RWTH Aachen University
13:30 - 15:00
VGPCE at Studio 2
Chair(s): Tijs van der Storm CWI & University of Groningen
13:30
60m
Talk
TensorFlow AutoGraph: Imperative-Style Coding with Graph-based PerformanceInvited Talk
GPCE
I: Alexander B. Wiltschko Google Brain
14:30
15m
Talk
Funcons for HGMP - The Fundamental Constructs of Homogeneous Generative Meta-Programming (Short paper)
GPCE
L. Thomas van Binsbergen Royal Holloway University of London
14:45
15m
Talk
Explaining Spreadsheets with Spreadsheets (Short Paper)
GPCE
Jácome Cunha University of Minho, Mihai Dan Oregon State University, Martin Erwig Oregon State University, Danila Fedorin Oregon State University, Alex Grejuc Oregon State University
13:30 - 15:00
OptimizationDLS at The Loft
Chair(s): Stefan Marr University of Kent
13:30
30m
Talk
Log++ Logging for a Cloud-Native World
DLS
Mark Marron Microsoft Research
14:00
30m
Talk
HorseIR: Bringing Array Programming Languages Together with Database Query Processing
DLS
Hanfeng Chen McGill University, Canada, Joseph Vinish D'Silva McGill University, Canada, Hongji Chen McGill University, Canada, Bettina Kemme McGill University, Canada, Laurie Hendren McGill University, Canada
14:30
30m
Talk
JavaScript AOT Compilation
DLS
Manuel Serrano Inria, France
14:00 - 15:30
Mentoring WorkshopPLMW at Cambridge
Chair(s): Jonathan Bell George Mason University
14:00
30m
Talk
Navigating the process of doing a rewarding Ph.D.
PLMW
Mayur Naik University of Pennsylvania
14:30
30m
Talk
Interaction: the Key to Joining a Research Community
PLMW
Kathi Fisler Brown University
File Attached
15:00
30m
Talk
Advice on your advisor
PLMW
Marsha Chechik University of Toronto
File Attached
15:00 - 15:30
BreakSocial at Terrace
15:30 - 17:00
IVLIVE at Beacon Hill
Chair(s): Roly Perera University of Glasgow
15:30
30m
Talk
Scaling the REPL Experience
LIVE
16:00
30m
Talk
SVG Programming by Direct Manipulation of Intermediates
LIVE
Brian Hempel University of Chicago, Ravi Chugh University of Chicago
Media Attached
16:30
30m
Talk
Chalktalk : A Visualization and Communication Language -- As a Tool in the Domain of Computer Science Education
LIVE
Ken Perlin New York University, Zhenyi He New York University, Karl Rosenberg New York University
15:30 - 17:00
Research DirectionsOCAP at Cabot
15:30
45m
Talk
Using a JavaScript Ocap Security Kernel at Scale
OCAP
JF Paradis Salesforce
16:15
45m
Talk
Ocaps & Crypto-commerce
OCAP
Jonathan Aldrich Carnegie Mellon University, Mark Miller Agoric, Chris Lemmer Webber
15:30 - 17:00
IVDocSymposium at Charles River
Chair(s): Philipp Haller KTH, Sweden
15:30
45m
Talk
Automated Rule Inference for Cryptographic APIs through Source Code Repositories
DocSymposium
16:15
30m
Talk
Invited Talk 2
DocSymposium
Ross Tate Cornell University
16:45
5m
Day closing
Closing Remarks
DocSymposium
Philipp Haller KTH, Sweden
15:30 - 17:00
Showcase & WrapupHILT at Franklin
Chair(s): Tucker Taft AdaCore
15:30
25m
Industry talk
Security Showcae -- Modernizing Static Analysis Tools to Facilitate Integrations
HILT
Paul Anderson GrammaTech, Inc
15:55
25m
Industry talk
Security Showcase -- Ensuring Cyber Resilience through Entropy-Augmented Replication
HILT
Mario Troiani Virtual Software Systems
16:20
25m
Industry talk
Security Showcase -- SPARK Formal Verification for Security
HILT
Tucker Taft AdaCore
16:45
15m
Day closing
Workshop Wrapup
HILT
Tucker Taft AdaCore
15:30 - 17:00
Speakers 2TURBO at Stuart
Chair(s): Mark Stoodley IBM Canada
15:30
90m
Other
BoF: Eclipse OMR Community Directions
TURBO
Mark Stoodley IBM Canada
15:30 - 17:30
Grammars & Metamodelling / WorkbenchesSLE at Studio 1
Chair(s): Juan de Lara Universidad Autónoma de Madrid
15:30
30m
Talk
Deriving Fluent Internal Domain-Specific Languages from Grammars
SLE
Arvid Butting Software Engineering RWTH Aachen University, Manuela Dalibor Software Engineering, RWTH Aachen University, Gerrit Leonhardt Software Engineering, RWTH Aachen University, Bernhard Rumpe RWTH Aachen University, Andreas Wortmann RWTH Aachen University
16:00
20m
Talk
Fostering Metamodels and Grammars Within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo)Tool Demo
SLE
Benoît Lelandais CEA/DAM/DIF, France, Marie-Pierre Oudot CEA/DAM/DIF, France, Benoit Combemale University of Rennes 1
16:20
20m
Talk
Migrating Custom DSL Implementations to a Language Workbench (Tool Demo) Tool Demo
SLE
Jasper Denkers TU Delft, Louis van Gool Océ Technologies B.V., Eelco Visser Delft University of Technology
Link to publication DOI
16:40
20m
Talk
Bacatá: A Language Parametric Notebook Generator (Tool Demo)Tool Demo
SLE
Mauricio Verano Merino Technische Universiteit Eindhoven, Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV, Tijs van der Storm CWI & University of Groningen
17:00
20m
Talk
Shape-Diverse DSLs: Languages without Borders (Vision Paper)Vision / New Idea
SLE
Fabien Coulon University of Toulouse / Obeo, Thomas Degueule Centrum Wiskunde & Informatica, Tijs van der Storm CWI & University of Groningen, Benoit Combemale University of Rennes 1
Pre-print
15:30 - 17:00
VIGPCE at Studio 2
Chair(s): Stefan Marr University of Kent
15:30
30m
Talk
Anomaly Analyses for Feature-Model Evolution
GPCE
Michael Nieke TU Braunschweig, Germany, Jacopo Mauro University of Southern Denmark, Christoph Seidl Technische Universität Braunschweig, Thomas Thüm University of Ulm, Ingrid Chieh Yu University of Oslo, Felix Franzke TU Braunschweig
16:00
30m
Talk
Regenerate: A Language Generator for Extended Regular Expressions
GPCE
Gabriel Radanne University of Freiburg, Peter Thiemann University of Freiburg
DOI Pre-print
16:30
30m
Talk
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
GPCE
Yin Liu Virginia Tech, Kijin An Virginia Tech, Eli Tilevich Virginia Tech
15:30 - 17:00
SystemsDLS at The Loft
15:30
30m
Talk
Query-Based Object-Oriented Programming: A Declarative Web of Objects
DLS
Yoav Seginer cdl-lang.org, Netherlands, Theo Vosse cdl-lang.org, Netherlands, Gil Harari cdl-lang.org, Israel, Uri Kolodny cdl-lang.org, Israel
16:00
30m
Talk
Self-Contained Development Environments
DLS
Guido Chari Czech Technical University, Czechia, Javier Pimás Palantir Solutions, Argentina, Jan Vitek Northeastern University, Olivier Flückiger Northeastern University, USA
16:30
30m
Talk
Numerical Computing on the Web: Benchmarking for the Future
DLS
David Herrera McGill University, Canada, Hanfeng Chen McGill University, Canada, Erick Lavoie McGill University, Canada, Laurie Hendren McGill University, Canada
15:30 - 16:30
15:30
60m
Talk
What happened to distributed programming languages?
SPLASH-I
Heather Miller Carnegie Mellon University
16:00 - 21:00
Mentoring WorkshopPLMW at Cambridge
Chair(s): Jonathan Bell George Mason University
16:00
30m
Talk
How to Select Good Research Topics?
PLMW
Frank Tip Northeastern University
File Attached
16:30
60m
Panel of Recent Ph.Ds
PLMW
Michael Carbin Massachusetts Institute of Technology, Benjamin Lerner Northeastern University, Sarah Nadi University of Alberta, Shiyi Wei The University of Texas at Dallas
17:30
15m
Discussion and Concluding Remarks
PLMW

File Attached
18:00
3h
End-of-Workshop Dinner at The Brahmin American (All PLMW attendees, speakers, panelists and mentors are invited)
PLMW

16:30 - 17:30
WilkinsonSPLASH-I at White Hill
16:30
60m
Talk
Automatic Visualization
SPLASH-I
16:30 - 17:30
MansinghkaSPLASH-I at Whittier
16:30
60m
Talk
Probabilistic Programming Paradigms
SPLASH-I
17:00 - 18:00
SocialSocial at Terrace
17:30 - 18:30
17:30
60m
Talk
Provably Eliminating Exploitable Bugs
SPLASH-I
Kathleen Fisher Tufts University, USA
17:30 - 18:30
17:30
60m
Talk
All the languages together
SPLASH-I
Amal Ahmed Northeastern University

Wed 7 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

07:30 - 08:30
BreakfastSocial at Terrace
08:30 - 10:00
08:30
90m
Talk
A new modularity for softwareKEYNOTE
Keynotes
10:00 - 10:30
BreakSocial at Terrace
10:30 - 12:00
Types and EffectsOOPSLA at Studio 1
Chair(s): Colin Gordon Drexel University
10:30
22m
Talk
Effect Handlers for the Masses
OOPSLA
Jonathan Immanuel Brachthäuser University of Tübingen, Germany, Philipp Schuster University of Tübingen, Germany, Klaus Ostermann University of Tübingen, Germany
10:52
22m
Talk
Empowering Union and Intersection Types with Integrated Subtyping
OOPSLA
Fabian Muehlboeck Cornell University, Ross Tate Cornell University
Link to publication DOI Pre-print
11:15
22m
Talk
Julia Subtyping: a Rational Reconstruction
OOPSLA
Francesco Zappa Nardelli Inria, Julia Belyakova Northeastern University, USA, Artem Pelenitsyn Northeastern University, Benjamin Chung Northeastern University, Jeff Bezanson Julia Computing, Jan Vitek Northeastern University
DOI Media Attached
11:37
22m
Talk
Scopes as Types
OOPSLA
Hendrik van Antwerpen TU Delft, Casper Bach Poulsen Delft University of Technology, Arjen Rouvoet Delft University of Technology, Eelco Visser Delft University of Technology
Link to publication DOI File Attached
10:30 - 12:00
Parallelism and PerformanceOOPSLA at Studio 2
Chair(s): Arjun Guha University of Massachusetts Amherst
10:30
22m
Talk
Every Data Structure Deserves Lock-Free Memory Reclamation
OOPSLA
Nachshon Cohen EPFL, Switzerland
10:52
22m
Talk
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
OOPSLA
Benoit Daloze JKU Linz, Austria, Arie Tal Technion, Stefan Marr University of Kent, Hanspeter Mössenböck JKU Linz, Austria, Erez Petrank Technion
Pre-print
11:15
22m
Talk
Virtual Machine Design for Parallel Dynamic Programming Languages
OOPSLA
Remigius Meier ETH Zurich, Switzerland, Armin Rigo PyPy.org, Switzerland, Thomas Gross ETH Zurich
11:37
22m
Talk
goSLP: Globally Optimized Superword Level Parallelism Framework
OOPSLA
10:30 - 12:00
Usability and ReusabilityOnward! Papers at The Loft
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel
10:30
30m
Talk
On the Usage of “Pythonic” Idioms in Python Programs
Onward! Papers
Carol V. Alexandru University of Zurich, José J. Merchante Universidad Rey Juan Carlos, Sebastiano Panichella Zurich University of Applied Science/University of Zurich, Sebastian Proksch University of Zurich, Harald Gall University of Zurich, Gregorio Robles Universidad Rey Juan Carlos
11:00
30m
Talk
Inference and Regeneration of Programs that Store and Retrieve Data
Onward! Papers
Martin C. Rinard Massachusetts Institute of Technology, Jiasi Shen Massachusetts Institute of Technology, Varun Mangalick MIT
11:00 - 12:00
11:00
60m
Talk
Programming NVM
SPLASH-I
12:00 - 13:30
13:30 - 15:00
SecurityOOPSLA at Studio 1
Chair(s): Tobias Wrigstad Uppsala University
13:30
22m
Talk
A Derivation Framework for Dependent Security Label Inference
OOPSLA
Peixuan Li Penn State University, Danfeng Zhang Pennsylvania State University
13:52
22m
Talk
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart ContractsDistinguished Paper Award
OOPSLA
Neville Grech University of Athens, Michael Kong University of Sydney, Anton Jurisevic University of Sydney, Lexi Brent University of Sydney, Bernhard Scholz The University of Sydney, Yannis Smaragdakis University of Athens
Link to publication Pre-print File Attached
14:15
22m
Talk
Faster Variational Execution with Transparent Bytecode Transformation
OOPSLA
Chu-Pan Wong Carnegie Mellon University, Jens Meinicke Magdeburg University, Lukas Lazarek , Christian Kästner Carnegie Mellon University
14:37
22m
Talk
Secure Serverless Computing Using Dynamic Information Flow Control
OOPSLA
Kalev Alpernas Tel Aviv University, Cormac Flanagan University of California, Santa Cruz, Sadjad Fouladi Stanford University, Leonid Ryzhyk VMware Research, Mooly Sagiv Tel Aviv University, Thomas Schmitz , Keith Winstein Stanford University
13:30 - 15:00
Language Design 1OOPSLA at Studio 2
Chair(s): Eelco Visser Delft University of Technology
13:30
22m
Talk
AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
OOPSLA
Roland Leißa Saarland University, Germany, Klaas Boesche Saarland University, Sebastian Hack Saarland University, Germany, Arsène Pérard-Gayot Saarland University, Germany, Richard Membarth DFKI, Germany, Philipp Slusallek DFKI, Germany, André Müller Johannes Gutenberg University, Bertil Schmidt Johannes Gutenberg University
13:52
22m
Talk
Julia: Dynamism and Performance Reconciled by Design
OOPSLA
Jeff Bezanson Julia Computing, Benjamin Chung Northeastern University, Jiahao Chen Capital One, Stefan Karpinski , Viral B Shah Julia Computing, Jan Vitek Northeastern University, Lionel Zoubritzky École Normale Supérieure
14:15
22m
Talk
GraphIt - A High-Performance Graph DSL
OOPSLA
14:37
22m
Talk
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
OOPSLA
13:30 - 15:00
DSLs and Language Design Principles Onward! Papers at The Loft
Chair(s): Stefan Marr University of Kent
13:30
30m
Talk
The Open Authorial Principle - Supporting Networks of Authors in Creating Externalisable Designs
Onward! Papers
Antranig Basman , Clayton Lewis University of Colorado Boulder, Colin Clark
14:00
30m
Talk
Tool: Accessible Automated Reasoning for Human Robot Collaboration
Onward! Papers
13:30 - 14:30
AlexandrescuSPLASH-I at Whittier
13:30
60m
Talk
Design by Introspection in D
SPLASH-I
Andrei Alexandrescu D Language Foundation
15:00 - 15:30
BreakSocial at Terrace
15:30 - 17:00
Language Design 2OOPSLA at Studio 1
Chair(s): Jonathan Aldrich Carnegie Mellon University
15:30
22m
Talk
Bidirectional Evaluation with Direct Manipulation
OOPSLA
Mikaël Mayer EPFL, Switzerland, Viktor Kunčak EPFL, Switzerland, Ravi Chugh University of Chicago
15:52
22m
Talk
BioScript: Programming Safe Chemistry on Laboratories-on-a-ChipDistinguished Paper Award
OOPSLA
Jason Ott University of California, Riverside, Tyson Loveless University of California, Riverside, Chris Curtis University of California, Riverside, Mohsen Lesani University of California, Riverside, Philip Brisk University of California, Riverside
16:15
22m
Talk
Distributed System Development with ScalaLoci
OOPSLA
Pascal Weisenburger Technische Universität Darmstadt, Mirko Köhler , Guido Salvaneschi TU Darmstadt
16:37
22m
Talk
Concurrency-aware Object-oriented Programming with Roles
OOPSLA
Michael Faes ETH Zurich, Thomas Gross ETH Zurich
Link to publication DOI
15:30 - 17:00
Compiler OptimizationOOPSLA at Studio 2
Chair(s): Patrick Lam University of Waterloo
15:30
22m
Talk
Format Abstraction for Sparse Tensor Algebra Compilers
OOPSLA
15:52
22m
Talk
ShareJIT: JIT Code Cache Sharing across Processes and its Practical Implementation
OOPSLA
Xiaoran Xu Rice University, Keith Cooper Rice University, Jacob Brock University of Rochester, Yan Zhang , Handong Ye Futurewei Technologies
16:15
22m
Talk
Reconciling High-level Optimizations and Low-level Code in LLVM
OOPSLA
Juneyoung Lee Seoul National University, Chung-Kil Hur Seoul National University, Ralf Jung MPI-SWS, Zhengyang Liu University of Utah, John Regehr University of Utah, Nuno P. Lopes Microsoft Research
Pre-print
16:37
22m
Talk
An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
OOPSLA
Zhangxiaowen Gong University of Illinois at Urbana-Champaign, Zhi Chen University of California, Irvine, Justin Szaday University of Illinois at Urbana-Champaign, David Wong Intel, Zehra Sura IBM Research, Neftali Watkinson , Saeed Maleki Microsoft Research, David Padua University of Illinois at Urbana-Champaign, Alexander Veidenbaum University of California, Irvine, Alexandru Nicolau University of California, Irvine, Josep Torrellas University of Illinois at Urbana-Champaign
Media Attached
15:30 - 17:00
15:30
45m
Full-paper
Fatal Abstraction
Onward! Essays
Friedrich Steimann Fernuniversität
Link to publication DOI
15:30 - 16:30
15:30
60m
Talk
Low level systems programming in a high level language
SPLASH-I
Molham Aref Relational.ai
16:30 - 17:30
BezansonSPLASH-I at White Hill
16:30
60m
Talk
The Rise of Compilerization
SPLASH-I
Jeff Bezanson Julia Computing
16:30 - 17:30
16:30
60m
Talk
Expanding R Syntax in package space
SPLASH-I
Jim Hester RStudio
17:05 - 18:00
Awards / SIGPLAN Town Hall MeetingOOPSLA at Studio 1
Chair(s): Jens Palsberg University of California, Los Angeles, Manu Sridharan Uber
17:30 - 18:30
17:30
60m
Talk
Two Decades of Ownership Types
SPLASH-I
James Noble Victoria University of Wellington
18:00 - 20:30
Poster & SRCPosters at Georgian
18:00
2m
Poster
Faster Variational Execution with Transparent Bytecode Transformation
Posters
A: Chu-Pan Wong Carnegie Mellon University, A: Jens Meinicke Magdeburg University, A: Lukas Lazarek , A: Christian Kästner Carnegie Mellon University
Link to publication
18:02
2m
Poster
Guiding Inlining Decisions by Identifying Post-Inlining Transformations
Posters
A: Erick Ochoa University of Alberta, A: Andrew Craik IBM Canada, A: Jose Nelson Amaral University of Alberta, A: Karim Ali University of Alberta
18:04
2m
Poster
DeepBugs: A Learning Approach to Name-based Bug Detection
Posters
A: Michael Pradel TU Darmstadt, A: Koushik Sen University of California, Berkeley
Link to publication
18:06
2m
Poster
Continuous Model Validation using Reference Attribute Grammars
Posters
A: Johannes Mey Technische Universität Dresden, A: René Schöne Technische Universität Dresden, A: Görel Hedin , A: Emma Söderberg Lund University, A: Thomas Kühn Technische Universität Dresden, A: Niklas Fors Lund University, A: Jesper Oqvist Lund University, A: Uwe Aßmann TU Dresden, Germany
Link to publication Pre-print
18:08
2m
Poster
Modular Language Composition for the Masses
Posters
A: Manuel Leduc IRISA, University of Rennes 1, A: Thomas Degueule Centrum Wiskunde & Informatica, A: Benoit Combemale University of Rennes 1
Link to publication
18:10
2m
Poster
Generating a Java Library from Its Specification
Posters
A: Tomoki Nakamaru The University of Tokyo, A: Shigeru Chiba The University of Tokyo
18:12
2m
Poster
Scopes as Types
Posters
A: Hendrik van Antwerpen TU Delft, A: Casper Bach Poulsen Delft University of Technology, A: Arjen Rouvoet Delft University of Technology, A: Eelco Visser Delft University of Technology
Link to publication
18:14
2m
Poster
Compositional Programming and Testing of Dynamic Distributed Systems
Posters
A: Ankush Desai University of California, Berkeley, A: Amar Phanishayee Microsoft Research, A: Shaz Qadeer Microsoft Research, A: Sanjit Seshia UC Berkeley
Link to publication
18:16
2m
Poster
Fixing Machine Learning with Solver-Aided Languages
Posters
A: Revan MacQueen University of Alberta, A: Julian Dolby IBM Research, A: Karim Ali University of Alberta
18:18
2m
Poster
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
Posters
A: Minseok Jeon Korea University, South Korea, A: Sehun Jeong Korea University, A: Hakjoo Oh Korea University
Link to publication
18:20
2m
Poster
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
Posters
A: Jonathan Bell George Mason University, A: Luís Pina George Mason University
18:22
2m
Poster
Speeding up Symbolic Reasoning for Relational Queries
Posters
A: Chenglong Wang University of Washington, USA, A: Alvin Cheung University of Washington, A: Rastislav Bodík University of Washington
Link to publication
18:24
2m
Poster
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Posters
A: Peizhao Ou University of California, Irvine, A: Brian Demsky University of California, Irvine
Link to publication
18:26
2m
Poster
Exploring feature interactions without specifications: a controlled experiment
Posters
A: Larissa Soares Universidade Federal da Bahia, A: Jens Meinicke Magdeburg University, A: Sarah Nadi University of Alberta, A: Christian Kästner Carnegie Mellon University, A: Eduardo Santana de Almeida Universidade Federal da Bahia
Link to publication
18:28
2m
Poster
Obsidian: A Safer Blockchain Programming Language
Posters
A: Michael Coblenz Carnegie Mellon University, A: Jonathan Aldrich Carnegie Mellon University, A: Brad A. Myers Carnegie Mellon University, A: Joshua Sunshine Carnegie Mellon University
18:30
2m
Talk
Grammar Induction for Programming Languages using Skip-Gram Model
Posters
Tomomasa Matsunaga , Shigeru Chiba The University of Tokyo
18:32
2m
Talk
Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
Posters
A: Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, A: Michael J. Steindorfer Delft University of Technology, A: Sebastian Erdweg TU Delft, A: Eelco Visser Delft University of Technology
Link to publication
18:34
2m
Poster
Incremental compilation for Stratego
Posters
A: Jeff Smits Delft University of Technology, A: Eelco Visser Delft University of Technology
Link to publication
18:36
2m
Poster
Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo)
Posters
A: Jasper Denkers TU Delft, A: Louis van Gool Océ Technologies B.V., A: Eelco Visser Delft University of Technology
Link to publication
18:39
2m
Poster
Reconciling High-level Optimizations and Low-level Code in LLVM
Posters
A: Juneyoung Lee Seoul National University, A: Chung-Kil Hur Seoul National University, A: Ralf Jung MPI-SWS, A: Zhengyang Liu University of Utah, A: John Regehr University of Utah, A: Nuno P. Lopes Microsoft Research
Link to publication
18:41
2m
Poster
Identifying Barriers to Adoption for Rust through Online Discourse
Posters
A: Anna Zeng Stanford University, A: Will Crichton Stanford University
Link to publication
18:43
2m
Poster
Chocola: Integrating Futures, Actors, and Transactions
Posters
A: Janwillem Swalens Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel, A: Joeri De Koster Vrije Universiteit Brussel, Belgium
Link to publication Pre-print
18:45
2m
Poster
SWAN: A Swift Program Analysis Framework
Posters
A: Jeff Cho University of Alberta, A: Mark Mroz University of Ottawa, A: Julian Dolby IBM Research, A: Karim Ali University of Alberta
Link to publication
18:47
2m
Poster
Migrating Business Logic to an Incremental Computing DSL: A Case Study
Posters
A: Daco Harkes Delft University of Technology, A: Elmer van Chastelet Delft University of Technology, A: Eelco Visser Delft University of Technology
Link to publication
18:49
2m
Poster
Multi-Device Grace
Posters
A: Ben Selwyn-Smith , A: Craig Anslow Victoria University of Wellington, A: Michael Homer Victoria University of Wellington
18:51
2m
Poster
Handling inconsistencies in software product line using a rule-based approach
Posters
Megha Bhushan Chitkara University, Punjab, India, A: Shivani Goel , Arun Negi Ministry of Defence, Government of India, India, Piyush Samant Thapar Institute of Engineering, Patiala, Punjab, India
18:53
2m
Poster
Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)
Posters
A: Filip Strömbäck Linköping University
Link to publication
18:55
2m
Poster
Espalier: a structured spreadsheet tool for end-user development of organizational applications
Posters
A: Matt McCutchen MIT, A: Shachar Itzhaky Technion, Israel, A: Daniel Jackson MIT, A: Willow Jarvis MIT
Link to publication
18:57
2m
Poster
Scaling the REPL Experience
Posters
A: Yair Chuchem Lamdu, A: Eyal Lotem Lamdu
Link to publication
18:59
2m
Poster
Sound Deadlock Prediction
Posters
A: Christian Gram Kalhauge University of California, Los Angeles, A: Jens Palsberg University of California, Los Angeles
Link to publication
19:01
2m
Poster
Distributed System Development with ScalaLoci
Posters
A: Pascal Weisenburger Technische Universität Darmstadt, A: Mirko Köhler , A: Guido Salvaneschi TU Darmstadt
Link to publication
19:03
2m
Poster
Safe Replication through Bounded Concurrency Verification
Posters
A: Gowtham Kaki Purdue University, A: Kapil Earanky Purdue University, A: KC Sivaramakrishnan University of Cambridge, A: Suresh Jagannathan Purdue University
Link to publication
19:05
2m
Poster
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
Posters
A: Jyothi Vedurada IIT Madras, A: V Krishna Nandivada IIT Madras
Link to publication
19:07
2m
Poster
Margin Notes: Automatic code documentation with recorded examples from runtime
Posters
Link to publication
19:09
2m
Poster
Refinement in object-sensitivity points-to analysis via slicing
Posters
A: Girish Maskeri Rama Infosys Limited, A: Raghavan Komondoor Indian Institute of Science, Bangalore, A: Himanshu Sharma Indian Institute of Science, Bangalore
Link to publication
19:11
2m
Poster
The Software Architecture of Economy Mechanics in Digital Games
Posters
A: Wilson Mizutani University of São Paulo
Link to publication
19:13
2m
Poster
Finding Broken Promises in Asynchronous JavaScript Programs
Posters
A: Saba Alimadadi Northeastern University, A: Di Zhong Northeastern University, USA, A: Magnus Madsen Aarhus University, A: Frank Tip Northeastern University
Link to publication
19:16
2m
Poster
Programming by example: efficient, but not "helpful"
Posters
A: Mark Santolucito Yale University, USA, A: Drew Goldman Roslyn High School, A: Allyson Weseley Roslyn High School, A: Ruzica Piskac Yale University, USA
Link to publication
19:18
2m
Poster
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Posters
A: Benoit Daloze JKU Linz, Austria, A: Arie Tal Technion, A: Stefan Marr University of Kent, A: Hanspeter Mössenböck JKU Linz, Austria, A: Erez Petrank Technion
Link to publication
19:20
2m
Poster
Symmetry-based Optimization of Interaction Kernels
Posters
A: Shigeyuki Sato Kochi University of Technology
19:22
2m
Poster
A Practical Unification of Multi-Stage Programming and Macros
Posters
A: Nicolas Stucki EPFL, Switzerland, A: Aggelos Biboudis EPFL, Switzerland, A: Martin Odersky EPFL, Switzerland
Link to publication
19:24
2m
Poster
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
Posters
A: Benoît Ries University of Luxembourg, A: Alfredo Capozucca University of Luxembourg, A: Nicolas Guelfi University of Luxembourg
Link to publication
19:26
2m
Poster
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
Posters
A: James Koppel MIT, A: Varot Premtoon MIT, A: Armando Solar-Lezama MIT CSAIL
Link to publication
19:28
2m
Poster
Anomaly Analyses for Feature-Model Evolution
Posters
A: Michael Nieke TU Braunschweig, Germany, A: Christoph Seidl Technische Universität Braunschweig, A: Jacopo Mauro University of Southern Denmark, A: Thomas Thüm University of Ulm, A: Ingrid Chieh Yu University of Oslo, A: Felix Franzke TU Braunschweig
Link to publication
19:30
2m
Poster
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Posters
A: Yin Liu Virginia Tech, A: Kijin An Virginia Tech, A: Eli Tilevich Virginia Tech
Link to publication
19:32
2m
Poster
Meta-programming for cross-domain tensor optimizations
Posters
A: Adilla Susungi MINES ParisTech, France, A: Norman A. Rink TU Dresden, Germany, A: Albert Cohen Google, A: Jeronimo Castrillon TU Dresden, Germany, A: Claude Tadonki MINES ParisTech, France
Link to publication
19:34
2m
Poster
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Posters
A: Junho Lee Korea University, A: Dowon Song Korea University, A: Sunbeom So Korea University, A: Hakjoo Oh Korea University
Link to publication
19:36
2m
Poster
Robust Relational Layout Synthesis from Examples for Android
Posters
A: Pavol Bielik ETH Zürich, A: Marc Fischer ETH Zurich, A: Martin Vechev ETH Zürich
Link to publication
19:38
2m
Poster
A Derivation Framework for Dependent Security Label Inference
Posters
A: Peixuan Li Penn State University, A: Danfeng Zhang Pennsylvania State University
Link to publication
19:40
2m
Poster
An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
Posters
A: Zhangxiaowen Gong University of Illinois at Urbana-Champaign, A: Zhi Chen University of California, Irvine, A: Justin Szaday University of Illinois at Urbana-Champaign, A: David Wong Intel, A: Zehra Sura IBM Research, A: Neftali Watkinson , A: Saeed Maleki Microsoft Research, A: David Padua University of Illinois at Urbana-Champaign, A: Alexander Veidenbaum University of California, Irvine, A: Alexandru Nicolau University of California, Irvine, A: Josep Torrellas University of Illinois at Urbana-Champaign
Link to publication
19:42
2m
Poster
Consolidating Inheritance and Scoping into a Context Abstraction
Posters
A: Matan I. Peled Technion—Israel Institute of Technology
19:44
2m
Talk
Test Generation for Higher-Order Functions in Dynamic Languages
Posters
A: Marija Selakovic TU Darmstadt, Germany, A: Michael Pradel TU Darmstadt, A: Rezwana Karim Nawrin Samsung Research America, A: Frank Tip Northeastern University
Link to publication
19:46
2m
Poster
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
Posters
A: Juan Fumero The University of Manchester, A: Christos Kotselidis The University of Manchester
Link to publication
19:48
2m
Poster
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms
Posters
A: Jesse Zaman Vrije Universiteit Brussel, A: Kennedy Kambona Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication
19:50
2m
Poster
Explaining Spreadsheets with Spreadsheets
Posters
A: Jácome Cunha University of Minho, A: Mihai Dan Oregon State University, A: Martin Erwig Oregon State University, A: Danila Fedorin Oregon State University, A: Alex Grejuc Oregon State University
Link to publication
19:53
2m
Poster
Skitter: A DSL for Distributed Reactive Workflows
Posters
A: Mathijs Saey Vrije Universiteit Brussel, A: Joeri De Koster Vrije Universiteit Brussel, Belgium, A: Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication
19:55
2m
Poster
Thread-Safe Reactive Programming
Posters
A: Joscha Drechsler Technische Universität Darmstadt, A: Ragnar Mogk Technische Universität Darmstadt, A: Guido Salvaneschi TU Darmstadt, A: Mira Mezini TU Darmstadt
Link to publication
19:57
2m
Poster
Automated Rule Inference for Cryptographic APIs through Source Code Repositories
Posters
A: Anna-Katharina Wickert TU Darmstadt
Link to publication
19:59
2m
Poster
Observable atomic consistency for CvRDTs
Posters
A: Xin Zhao KTH Royal Institute of Technology, A: Philipp Haller KTH, Sweden
Link to publication
20:01
2m
Poster
Conflict Resolution for Structured Merge via Version Space Algebra
Posters
A: Fengmin Zhu , A: Fei He Tsinghua University
Link to publication
20:03
2m
Poster
Observing the Uptake of a Language Change Making Strings Immutable
Posters
A: Manuel Maarek Heriot-Watt University
Link to publication
20:05
2m
Poster
Secure Serverless Computing Using Dynamic Information Flow Control
Posters
A: Kalev Alpernas Tel Aviv University, A: Cormac Flanagan University of California, Santa Cruz, A: Sadjad Fouladi Stanford University, A: Leonid Ryzhyk VMware Research, A: Mooly Sagiv Tel Aviv University, A: Thomas Schmitz , A: Keith Winstein Stanford University
Link to publication
20:07
2m
Poster
Understanding Java Usability by Mining GitHub Repositories
Posters
Link to publication
20:09
2m
Poster
Compiling Distributed System Specifications into Implementations
Posters
A: Matthew Do Computer Science, University of British Columbia, A: Renato Mascarenhas Computer Science, University of British Columbia, A: Finn Hacket Computer Science, University of Waterloo, A: Brandon Zhang Computer Science, University of British Columbia, A: Yi Fan (Bob) Yang Facebook, A: Adam Geller Computer Science, University of British Columbia, A: Ivan Beschastnikh Computer Science, University of British Columbia
20:11
2m
Poster
From Debugging Towards Live Tuning of Reactive Applications
Posters
A: Ragnar Mogk Technische Universität Darmstadt, A: Pascal Weisenburger Technische Universität Darmstadt, A: Julian Haas Technische Universität Darmstadt, A: David Richter Technical University of Darmstadt
Link to publication
20:13
2m
Poster
Data Programming (DP): A new way of programming user interfaces
Posters
Link to publication
20:15
2m
Poster
Object-Oriented Recovery for Non-Volatile Memory
Posters
A: Nachshon Cohen EPFL, Switzerland, A: David T. Aksun EPFL, A: James Larus EPFL
Link to publication
20:17
2m
Poster
METACO, a Type Checker Generator
Posters
A: Haochen Xie Nagoya University
20:19
2m
Poster
GraphIt - A High-Performance Graph DSL
Posters
A: Yunming Zhang , A: Mengjiao Yang MIT CSAIL, A: Riyadh Baghdadi MIT, A: Shoaib Kamil Adobe, A: Julian Shun MIT, A: Saman Amarasinghe MIT
Link to publication
20:21
2m
Poster
Precision-Guided Context Sensitivity for Pointer Analysis
Posters
A: Yue Li Aarhus University, Denmark, A: Tian Tan Aarhus University, Denmark, A: Anders Møller Aarhus University, A: Yannis Smaragdakis University of Athens
Link to publication
20:23
2m
Poster
QDB: From Quantum Algorithms Towards Correct Quantum Programs
Posters
A: Yipeng Huang Princeton University, A: Margaret Martonosi
Link to publication
20:25
2m
Talk
Toward a Language-Parametric Code Completion Editor Service
Posters
Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology
Link to publication
20:27
2m
Poster
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Posters
A: Laurent Christophe VUB, A: Coen De Roover Vrije Universiteit Brussel, A: Elisa Gonzalez Boix Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication

Thu 8 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

07:30 - 08:30
BreakfastSocial at Terrace
08:30 - 10:00
08:30
90m
Talk
Beauty is the Promise of HappinessKEYNOTE
Keynotes
Jenny Quillien Embodied Making Institute
10:00 - 10:30
BreakSocial at Terrace
10:30 - 12:00
Weak Memory and RefactoringOOPSLA at Studio 1
Chair(s): Richard Jones University of Kent
10:30
22m
Talk
Optimal Stateless Model Checking under the Release-Acquire Semantics
OOPSLA
Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Bengt Jonsson Uppsala University, Tuan Phong Ngo Uppsala University
10:52
22m
Talk
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
OOPSLA
Peizhao Ou University of California, Irvine, Brian Demsky University of California, Irvine
11:15
22m
Talk
Persistence Semantics for Weak Memory
OOPSLA
Azalea Raad MPI-SWS, Germany, Viktor Vafeiadis MPI-SWS, Germany
11:37
22m
Talk
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
OOPSLA
Jyothi Vedurada IIT Madras, V Krishna Nandivada IIT Madras
10:30 - 12:00
Types and ContractsOOPSLA at Studio 2
Chair(s): Hakjoo Oh Korea University
10:30
22m
Talk
Horn-ICE Learning for Synthesizing Invariants and Contracts
OOPSLA
Deepak D'Souza , Ezudheen P , Pranav Garg University of Illinois at Urbana-Champaign, Daniel Neider Max Planck Institute for Software Systems, P. Madhusudan University of Illinois at Urbana-Champaign
10:52
22m
Talk
Gradual Liquid Type InferenceDistinguished Paper Award
OOPSLA
Niki Vazou IMDEA Software Institute, Éric Tanter University of Chile & Inria Paris, David Van Horn University of Maryland, USA
11:15
22m
Talk
Collapsible Contracts: Fixing a Pathology of Gradual Typing
OOPSLA
Daniel Feltey Northwestern University, USA, Ben Greenman Northeastern University, USA, Christophe Scholliers Universiteit Gent, Belgium, Robert Bruce Findler Northwestern University, USA, Vincent St-Amour Northwestern University
11:37
22m
Talk
The Root Cause of Blame: Contracts for Intersection and Union Types
OOPSLA
Jack Williams University of Edinburgh, UK, J. Garrett Morris University of Kansas, USA, Philip Wadler University of Edinburgh, UK
10:30 - 12:00
Data StructuresOnward! Papers at The Loft
Chair(s): Stefan Marr University of Kent
10:30
30m
Talk
Cflat: A New Modular Approach to Implementing Efficient and Tunable Collections
Onward! Papers
Stephan Brandauer Uppsala University, Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University
Pre-print
11:00
30m
Talk
Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming
Onward! Papers
Akio Oka Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, Tomoyuki Aotani Tokyo Institute of Technology
11:00 - 12:00
11:00
60m
Talk
Establishing a culture of code review
SPLASH-I
Peter Burka Two Sigma
12:00 - 13:30
13:30 - 15:00
Parallelism and CorrectnessOOPSLA at Studio 1
Chair(s): Werner Dietl University of Waterloo, Canada
13:30
22m
Talk
Thread-Safe Reactive Programming
OOPSLA
Joscha Drechsler Technische Universität Darmstadt, Ragnar Mogk Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt, Mira Mezini TU Darmstadt
DOI Pre-print File Attached
13:52
22m
Talk
RacerD: Compositional Static Race Detection
OOPSLA
Sam Blackshear Facebook, Nikos Gorogiannis , Peter W. O'Hearn Facebook and University College London, Ilya Sergey Yale-NUS College
Pre-print
14:15
22m
Talk
What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection
OOPSLA
Umang Mathur University of Illinois at Urbana-Champaign, Dileep Kini University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign
DOI Authorizer link Pre-print
14:37
22m
Talk
Sound Deadlock Prediction
OOPSLA
Christian Gram Kalhauge University of California, Los Angeles, Jens Palsberg University of California, Los Angeles
13:30 - 15:00
Static AnalysisOOPSLA at Studio 2
Chair(s): Karim Ali University of Alberta
13:30
22m
Talk
Incrementalizing Lattice-Based Program Analyses in Datalog
OOPSLA
Tamás Szabó itemis / TU Delft, Gábor Bergmann Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary, Sebastian Erdweg TU Delft, Markus Völter independent / itemis, Germany
13:52
22m
Talk
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
OOPSLA
Minseok Jeon Korea University, South Korea, Sehun Jeong Korea University, Hakjoo Oh Korea University
14:15
22m
Talk
Precision-Guided Context Sensitivity for Pointer Analysis
OOPSLA
Yue Li Aarhus University, Denmark, Tian Tan Aarhus University, Denmark, Anders Møller Aarhus University, Yannis Smaragdakis University of Athens
14:37
22m
Talk
Refinement in object-sensitivity points-to analysis via slicing
OOPSLA
Girish Maskeri Rama Infosys Limited, Raghavan Komondoor Indian Institute of Science, Bangalore, Himanshu Sharma Indian Institute of Science, Bangalore
13:30 - 15:00
Language DesignOnward! Papers at The Loft
Chair(s): Philipp Haller KTH, Sweden
13:30
30m
Talk
A CAPable distributed programming model
Onward! Papers
Florian Myter Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
14:00
30m
Talk
Protecting Chatbots from Toxic Content
Onward! Papers
Guillaume Baudart IBM Research, Julian Dolby IBM Research, Evelyn Duesterwald IBM Research, Martin Hirzel IBM Research, Avraham Shinnar IBM Research
14:30
30m
Talk
JEff: Objects for Effect
Onward! Papers
Pablo Inostroza CWI, Tijs van der Storm CWI & University of Groningen
13:30 - 14:30
MatsakisSPLASH-I at White Hill
13:30
60m
Talk
Rust: Reach Further
SPLASH-I
Nicholas Matsakis Mozilla Corporation
13:30 - 14:30
McDirmidSPLASH-I at Whittier
13:30
60m
Talk
Tangible Abstraction
SPLASH-I
15:00 - 15:30
BreakSocial at Terrace
15:30 - 17:00
PerformanceOOPSLA at Studio 1
Chair(s): Adam Welc Uber Technologies
15:30
22m
Talk
Cross-Component Garbage Collection
OOPSLA
DOI Media Attached
15:52
22m
Talk
Reactive Caching for Composed Services
OOPSLA
Sebastian Burckhardt Microsoft Research, Tim Coppieters Vrije Universiteit Brussel, Belgium
16:15
22m
Talk
Object-Oriented Recovery for Non-Volatile Memory
OOPSLA
Nachshon Cohen EPFL, Switzerland, David T. Aksun EPFL, James Larus EPFL
16:37
22m
Talk
Software Multiplexing: Share Your Libraries and Statically Link Them Too
OOPSLA
Will Dietz University of Illinois at Urbana-Champaign, Vikram S. Adve University of Illinois at Urbana-Champaign
Link to publication DOI Pre-print
15:30 - 17:00
PotpourriOOPSLA at Studio 2
Chair(s): Anders Møller Aarhus University
15:30
22m
Talk
DeepBugs: A Learning Approach to Name-based Bug Detection
OOPSLA
Michael Pradel TU Darmstadt, Koushik Sen University of California, Berkeley
15:52
22m
Talk
ExceLint: Automatically Finding Spreadsheet Formula Errors
OOPSLA
Dan Barowy , Emery D. Berger University of Massachusetts, Amherst, Benjamin Zorn Microsoft Research
16:15
22m
Talk
Finding Code That Explodes Under Symbolic Evaluation
OOPSLA
James Bornholt University of Washington, Emina Torlak University of Washington
16:37
22m
Talk
FlashProfile: A Framework for Synthesizing Data Profiles
OOPSLA
Saswat Padhi University of California, Los Angeles, Prateek Jain Microsoft Research Lab, India, Daniel Perelman University of Washington, USA, Alex Polozov Microsoft Research, Sumit Gulwani Microsoft Research, Todd Millstein University of California, Los Angeles
15:30 - 17:00
15:30
45m
Full-paper
We Should Stop Claiming Generality in our Domain-Specific Language Papers
Onward! Essays
Daco Harkes Delft University of Technology
Link to publication
16:15
45m
Full-paper
Interdisciplinary Programming Language Design
Onward! Essays
Michael Coblenz Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University
15:30 - 16:30
15:30
60m
Talk
Provably Safe Pointers for a Parallel World
SPLASH-I
Tucker Taft AdaCore
15:30 - 16:30
15:30
60m
Talk
Peering behind the Turing Mirror
SPLASH-I
16:30 - 17:30
16:30
60m
Talk
All about JavaScriptCore's many compilers
SPLASH-I
17:30 - 18:30
17:30
60m
Talk
In Defense of "Little Code"KEYNOTE
Keynotes
Kathi Fisler Brown University

Fri 9 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

07:30 - 08:30
BreakfastSocial at Terrace
08:30 - 10:00
08:30
90m
Talk
Distributed AbstractionsKEYNOTE
Keynotes
10:00 - 10:30
BreakSocial at Terrace
10:30 - 12:00
TestingOOPSLA at Studio 1
Chair(s): Kim Bruce Pomona College
10:30
22m
Talk
Compositional Programming and Testing of Dynamic Distributed Systems
OOPSLA
Ankush Desai University of California, Berkeley, Amar Phanishayee Microsoft Research, Shaz Qadeer Microsoft Research, Sanjit Seshia UC Berkeley
10:52
22m
Talk
Randomized Testing of Distributed Systems with Probabilistic GuaranteesDistinguished Paper Award
OOPSLA
Burcu Kulahcioglu Ozkan MPI-SWS, Germany, Rupak Majumdar MPI-SWS, Germany, Filip Niksic MPI-SWS, Mitra Tabaei Befrouei Vienna University of Technology, Georg Weissenbacher Technische Universität Wien
11:15
22m
Talk
Test Generation for Higher-Order Functions in Dynamic Languages
OOPSLA
Marija Selakovic TU Darmstadt, Germany, Michael Pradel TU Darmstadt, Rezwana Karim Nawrin Samsung Research America, Frank Tip Northeastern University
11:37
22m
Talk
Finding Broken Promises in Asynchronous JavaScript Programs
OOPSLA
Saba Alimadadi Northeastern University, Di Zhong Northeastern University, USA, Magnus Madsen Aarhus University, Frank Tip Northeastern University
10:30 - 12:00
Program SynthesisOOPSLA at Studio 2
Chair(s): Jens Palsberg University of California, Los Angeles
10:30
22m
Talk
Relational Program Synthesis
OOPSLA
Yuepeng Wang University of Texas at Austin, Xinyu Wang UT Austin, Işıl Dillig UT Austin
10:52
22m
Talk
Robust Relational Layout Synthesis from Examples for Android
OOPSLA
Pavol Bielik ETH Zürich, Marc Fischer ETH Zurich, Martin Vechev ETH Zürich
11:15
22m
Talk
Speeding up Symbolic Reasoning for Relational Queries
OOPSLA
Chenglong Wang University of Washington, USA, Alvin Cheung University of Washington, Rastislav Bodík University of Washington
11:37
22m
Talk
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
OOPSLA
Junho Lee Korea University, Dowon Song Korea University, Sunbeom So Korea University, Hakjoo Oh Korea University
12:00 - 13:30
13:30 - 14:15
VerificationOOPSLA at Studio 1
Chair(s): Tony Hosking Australian National University / Data61
13:30
22m
Talk
Leto: Verifying Application-Specific Fault Tolerance through Parameterized Execution Models
OOPSLA
Brett Boston Massachusetts Institute of Technology, Zoe Gong Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
13:52
22m
Talk
Safe Replication through Bounded Concurrency Verification
OOPSLA
Gowtham Kaki Purdue University, Kapil Earanky Purdue University, KC Sivaramakrishnan University of Cambridge, Suresh Jagannathan Purdue University
13:30 - 14:15
Safe MergingOOPSLA at Studio 2
Chair(s): David J. Pearce Victoria University of Wellington
13:30
22m
Talk
Verified Three-Way Program Merge
OOPSLA
Marcelo Sousa University of Oxford, Işıl Dillig UT Austin, Shuvendu K. Lahiri Microsoft Research
13:52
22m
Talk
Conflict Resolution for Structured Merge via Version Space Algebra
OOPSLA
Fengmin Zhu , Fei He Tsinghua University
15:45 - 16:45
T-shirt socialSocial at Terrace