Program - SPLASH 2018

Benjamin ChungNortheastern University, Ben GreenmanNortheastern University, USA, Timothy JonesMontoux, Andrew BlackPortland State University, Kim BrucePomona College

15:30 - 15:45
Talk

Gradual Typing is Morally Incorrect: the Problem of Applying Gradual Typing

Timothy JonesMontoux

13:30 - 15:00: SLEBoK 2018 - Working Session II at Cambridge

13:30 - 15:00
Meeting

Split into small groups, work on SLEBoK tasks, afternoon

15:30 - 17:00: SLEBoK 2018 - Closing Session at Cambridge

15:30 - 16:15
Other

General discussion on SLEBoK: What is working, What should be improved? What next?

16:15 - 17:00
Meeting

Updates from working groups, discussion of future plans

15:30 - 17:05: VMIL 2018 - Session 4 at Newbury

15:30 - 15:55
Research paper

Building JIT Compilers For Dynamic Languages With Low Development Effort

Baptiste SaleilUniversité de Montréal, Marc FeeleyUniversité de Montréal

15:55 - 16:15
Talk

Twopy: A Just-In-Time Compiler For Python Based On Code Specialization

Julien PagèsUniversité de Montréal, Marc FeeleyUniversité de Montréal

16:15 - 16:40
Research paper

Towards Compilation of an Imperative Language for FPGAs

Baptiste PaugetÉcole Normale Supérieure, David PearceVictoria University of Wellington, Alex PotaninVictoria University of Wellington

16:40 - 17:05
Research paper

Two Decades of Smalltalk VM Development

Eliot MirandaCadence Design Systems, Clément BéraSofware Languages Lab, Vrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Dan Ingalls

15:30 - 17:00: GRACE 2018 - The Future of Grace at Exeter

13:30 - 16:15
Talk

Types in Grace

Benjamin ChungNortheastern University, Ben GreenmanNortheastern University, USA, Timothy JonesMontoux, Andrew BlackPortland State University, Kim BrucePomona College

15:30 - 15:45
Talk

Static & Dynamic Typing in Grace

Andrew BlackPortland State University, Kim BrucePomona College, James NobleVictoria University of Wellington

Link to publication

16:15 - 17:00
Meeting

The Future of Grace

James NobleVictoria University of Wellington

Mon 5 Nov

08:30 - 10:00: PLATEAU 2018 - Adoption and Programmer Perception at Beacon Hill
Chair(s): Joshua SunshineCarnegie Mellon University

08:30 - 08:40
Talk

Welcome

08:40 - 09:05
Talk

Programming by example: efficient, but not "helpful"

Mark SantolucitoYale University, USA, Drew GoldmanRoslyn High School, Allyson WeseleyRoslyn High School, Ruzica PiskacYale University, USA

09:05 - 09:20
Talk

Observing the Uptake of a Language Change Making Strings Immutable

Manuel MaarekHeriot-Watt University

09:20 - 09:35
Talk

Identifying Barriers to Adoption for Rust through Online Discourse

Anna Zeng, Will Crichton

08:30 - 10:00: SLE 2018 - GPCE Keynote at Studio 1

08:30 - 10:00: Keynotes - Hermans at Cambridge

08:30 - 10:00
Talk

Explicit Direct Instruction in Programming EducationKEYNOTE

Felienne HermansTU Delft

08:30 - 10:00: GPCE 2018 - Keynote at Studio 2

08:30 - 10:00
Talk

How to Make Sparse FastKeynote

Saman AmarasingheMIT

08:30 - 10:00: Meta - Metaprogramming for Types at Franklin

08:30 - 09:00
Talk

Code Generation for Higher Inductive Types

Paventhan VivekanandanIndiana University Bloomington

09:00 - 09:30
Talk

Recognizing heterogeneous sequences by rational type expression

Jim NewtonEPITA / LRDE https://www.lrde.epita.fr, Didier VernaEPITA / LRDE

09:30 - 10:00
Talk

Multiple Dispatch using Compile-Time Metaprogramming

Seyed Hossein HaeriUniversité Catholique de Louvain, Paul Keir

08:30 - 10:00: HILT 2018 - Monday Morning Keynote at Back Bay
Chair(s): S Tucker Taft

08:30 - 09:00
Day opening

Welcome to the HILT 2018 Workshop

Tucker TaftAdaCore

09:00 - 10:00
Talk

CVE, CWE, CQE and all that -- enumerating the security and safety challenges for networked softwareKeynote

Robert A. MartinThe MITRE Corporation

10:30 - 12:00: GPCE 2018 - II at Studio 2

10:30 - 11:00
Talk

A Domain-Specific Language for Exploratory Data Visualization

Karl SmeltzerOregon State University, Martin ErwigOregon State University

11:00 - 11:30
Talk

A Practical Unification of Multi-Stage Programming and Macros

Nicolas StuckiEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland

11:30 - 12:00
Talk

Anomaly Analyses for Feature-Model Evolution

Michael NiekeTU Braunschweig, Germany, Jacopo MauroUniversity of Southern Denmark, Christoph SeidlTechnische Universität Braunschweig, Thomas ThümTU Braunschweig, Germany, Ingrid Chieh YuUniversity of Oslo, Felix FranzkeTU Braunschweig

10:30 - 12:00: PLATEAU 2018 - Keynote: Ravi Chugh at Beacon Hill
Chair(s): Joshua SunshineCarnegie Mellon University

10:30 - 12:00
Talk

Direct Manipulation Programming in Sketch-n-Sketch: Three Years, Three Ideas

Ravi ChughUniversity of Chicago

10:30 - 12:00: HILT 2018 - Monday Late Morning at Back Bay

10:30 - 11:15
Talk

Programming Language Systems for Developing Cyber Resilient Software

David A. WheelerIDA

11:15 - 12:00
Talk

Programming-Language-Based Approach to Security

Stephen ChongHarvard University

10:30 - 12:00: SLE 2018 - Parsing at Studio 1

10:30 - 11:00
Talk

Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages

Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Michael J. SteindorferDelft University of Technology, Sebastian ErdwegTU Delft, Eelco VisserTU Delft

11:00 - 11:30
Talk

GLL Parsing with Flexible Combinators

L. Thomas van BinsbergenRoyal Holloway University of London, Elizabeth ScottRoyal Holloway University of London, Adrian Johnstone

11:30 - 12:00
Talk

Morbig, a trustworthy static parser for POSIX shell

Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2, Nicolas JeannerodIRIF, Ralf TreinenIRIF

10:30 - 12:00: Meta - Tooling at Franklin

10:30 - 11:30
Talk

SemanticDB: a common data model for Scala developer tools ⭐️Keynote

Eugene BurmakoTwitter, Inc.

13:30 - 14:30: SPLASH-I - Chlipala at White Hill

13:30 - 14:30
Talk

Mechanized Proofs of System Correctness in Production: Cryptography and Beyond

Adam ChlipalaMIT

13:30 - 15:00: GPCE 2018 - III at Studio 2

13:30 - 14:00
Talk

Exploring feature interactions without specifications: a controlled experiment

Larissa SoaresUniversidade Federal da Bahia, Jens MeinickeMagdeburg University, Sarah NadiUniversity of Alberta, Christian KästnerCarnegie Mellon University, Eduardo AlmeidaUniversidade Federal da Bahia

14:00 - 14:30
Talk

Generating Qualifiers and Hierarchical Object Graphs Based on Developer Refinements

Ebrahim KhalajWayne State University, Marwan Abi-AntounWayne State University

14:30 - 15:00
Talk

Implementing a semi-causal domain-specific language for context detection over binary sensors

Nic VolanschiInria Bordeaux, Bernard SerpetteInria, Charles ConselUniversity of Bordeaux

13:30 - 15:00: PLATEAU 2018 - Language Usability at Beacon Hill
Chair(s): Titus BarikMicrosoft

13:30 - 13:55
Talk

A Randomized Controlled Trial on the Impact of Polyglot Programming in a Database Context

P. Merlin UesbeckUniversity of Nevada, Las Vegas, Andreas Stefik

13:55 - 14:10
Talk

Understanding Java Usability by Mining GitHub Repositories

Mark Lemay

14:10 - 14:35
Talk

QDB: From Quantum Algorithms Towards Correct Quantum Programs

Yipeng HuangPrinceton University, Margaret Martonosi

13:30 - 14:30: SPLASH-I - Marron at Whittier

13:30 - 14:30
Talk

Time-Travel Debugging and Actionable Diagnostics Insights

Mark MarronMicrosoft Research

13:30 - 15:00: HILT 2018 - Monday Early Afternoon at Back Bay

13:30 - 14:15
Talk

Tool support for Confidentiality by Construction

Tobias RungeTU Braunschweig, Ina SchaeferTechnische Universität Braunschweig, Alexander KnüppelTU Braunschweig, Germany, Loek Cleophas, Derrick KourieStellenbosch University, Bruce WatsonStellenbosch University; and Centre for AI Research, CSIR

14:15 - 15:00
Other

Panel on Language-based Security

Stephen ChongHarvard University

13:30 - 15:00: SLE 2018 - Parsing / Language Composition at Studio 1

13:30 - 13:50
Talk

Input-Driven Regular ExpressionsVision / New Idea

Alexander SakharovSynstretch

13:50 - 14:20
Talk

Modular Language Composition for the Masses

Manuel LeducUniv Rennes, Inria, CNRS, IRISA, Thomas DegueuleCentrum Wiskunde & Informatica, Benoit CombemaleUniversity of Rennes 1

14:20 - 14:40
Talk

Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)Tool Demo

Filip StrömbäckLinköping University

14:40 - 15:00
Talk

Languages as First-Class Citizens (Vision Paper)Vision / New Idea

Matteo CiminiUniversity of Massachusetts Lowell

13:30 - 15:00: Meta - Session 3 at Franklin

14:30 - 15:00
Talk

Does It Make Sense to have Application-specific Code Conventions as a Complementary Approach to Code Annotations?

Rodrigo TeixeiraINPE - National Institute for Space Research, Eduardo GuerraINPE - National Institute for Space Research, Phyllipe LimaINPE - National Institute for Space Research, Paulo MeirellesFederal University of São Paulo, Fabio KonUniversity of São Paulo

15:30 - 17:00: GPCE 2018 - IV at Studio 2

15:30 - 16:00
Talk

Meta-programming for cross-domain tensor optimizations

Adilla SusungiMINES ParisTech, France, Norman A. RinkTU Dresden, Germany, Albert CohenInria, France / ENS, France, Jeronimo CastrillonTU Dresden, Germany, Claude TadonkiMINES ParisTech, France

16:00 - 16:30
Talk

Model-based Security Analysis of Feature-oriented Software Product Lines

Sven PeldszusUniversity of Koblenz-Landau, Daniel StrüberUniversity of Koblenz-Landau, Germany, Jan JürjensUniversity of Koblenz-Landau

16:30 - 17:00
Talk

Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs

Laurent ChristopheVUB, Coen De RooverVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel

15:30 - 17:00: HILT 2018 - Monday Late Afternoon at Back Bay

15:30 - 16:00
Short-paper

SPARK by Example: an introduction to formal verification through the standard C++ library

Léo CreuseISAE, Joffrey HuguetISAE, Christophe GarionISAE-SUPAERO, Jerome HuguesISAE

16:00 - 16:30
Short-paper

Soundness of a Dataflow Analysis for Memory Monitoring

Dara LyCEA LIST, Nikolai KosmatovCEA List, Frederic LoulergueNorthern Arizona University, Julien SignolesCEA LIST

16:30 - 16:55
Short-paper

HILT Submission #3

16:55 - 17:00
Social Event

18:30-20:30 Monday HILT 2018 Banquet at Legal Seafoods, Park Plaza

15:30 - 16:30: SPLASH-I - Pamer at White Hill

15:30 - 16:30
Talk

Software is eating the world, but ML is going to eat software

Joe PamerFacebook

15:30 - 17:00: Meta - Reflection on Reflection at Franklin

15:30 - 16:30
Talk

Through a Glass, Darkly ⭐️Keynote

James NobleVictoria University of Wellington

16:30 - 17:00
Day closing

Discussion and Closing

15:30 - 16:30: SPLASH-I - Stoodley at Whittier

15:30 - 16:30
Talk

Oh, the compilers you will build!

Mark StoodleyIBM Canada

15:30 - 17:00: PLATEAU 2018 - Teasers + Breakout at Beacon Hill
Chair(s): Sarah ChasinsUniversity of California, Berkeley

15:30 - 17:30: SLE 2018 - Validation & Verification at Studio 1

15:30 - 16:00
Talk

Continuous Model Validation using Reference Attribute Grammars

Johannes MeyTechnische Universität Dresden, René SchöneTechnische Universität Dresden, Görel Hedin, Emma SöderbergLund University, Thomas KühnTechnische Universität Dresden, Niklas ForsLund University, Jesper OqvistLund University, Uwe AßmannTU Dresden, Germany

16:00 - 16:30
Talk

Migrating Business Logic to an Incremental Computing DSL: A Case Study

Daco HarkesDelft University of Technology, Elmer van ChasteletDelft University of Technology, Eelco VisserTU Delft

16:30 - 16:50
Talk

An Industrial Case Study in Compiler Testing (Tool Demo)Tool Demo

Vadim ZaytsevRaincode Labs

16:50 - 17:10
Talk

Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)Tool Demo

Benoît RiesUniversity of Luxembourg, Alfredo CapozuccaUniversity of Luxembourg, Nicolas GuelfiUniversity of Luxembourg

16:30 - 17:30: SPLASH-I - Adams at White Hill

16:30 - 17:30
Talk

Scaling Slack Engineering

Keith AdamsSlack Technologies

16:30 - 17:30: SPLASH-I - Gibbons at Whittier

16:30 - 17:30
Talk

Composable References and the Yoneda Lemma

Jeremy GibbonsUniversity of Oxford

Link to publication Pre-print

17:30 - 18:30: SPLASH-I - Burka at Whittier

17:30 - 18:30
Talk

Establishing a culture of code review

Peter BurkaTwo Sigma

17:30 - 18:30: SPLASH-I - Ramanathan at White Hill

17:30 - 18:30
Talk

Reliable Deployment at Uber Scale

Murali Krishna RamanathanUber

Tue 6 Nov

08:30 - 10:00: OCAP 2018 - Keynote at Charles River
Chair(s): Marc Stiegler

08:30 - 10:00: SLE 2018 - Keynote at Studio 1

08:30 - 10:00
Talk

A New Approach for Software Correctness and ReliabilityKeynote

Martin RinardMassachusetts Institute of Technology

08:30 - 10:00: GPCE 2018 - SLE Keynote at Studio 2

08:30 - 10:00: LIVE 2018 - Session #1 at Beacon Hill

08:30 - 09:30
Talk

Against The Current: What We Learned From EveKeynote

Chris Granger

09:30 - 10:00
Talk

From Debugging Towards Live Tuning of Reactive Applications

Ragnar MogkTechnische Universität Darmstadt, Pascal WeisenburgerTechnische Universität Darmstadt, Julian HaasTechnische Universität Darmstadt, David RichterTechnische Universität Darmstadt

08:30 - 10:00: AI-SEPS - Session 1: Introduction + Keynote at Franklin

08:30 - 10:00
Talk

Deep Learning at ScaleKeynote

PrabhatNERSC, Berkeley Lab

08:30 - 10:00: HILT 2018 - Tuesday Morning Keynote at Back Bay

08:30 - 09:00
Awards

SIGAda Awards

Tucker TaftAdaCore

09:00 - 10:00
Talk

DARPA CASE program, motivation and challengesKeynote

Raymond RichardsDARPA

10:30 - 12:00: OCAP 2018 - Ocap Patterns at Charles River
Chair(s): Bill TulloheRights.org

10:30 - 12:00: DLS 2018 - Semantics at The Loft

10:30 - 11:00
Talk

The Behavior of Gradual Types: A User Study

Preston Tunnell WilsonBrown University, USA, Ben GreenmanNortheastern University, USA, Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA

11:00 - 11:30
Talk

A Trustworthy Mechanized Formalization of R

Martin BodinUniversity of Chile, Chile, Tomás DiazUniversity of Chile, Chile, Éric TanterUniversity of Chile & Inria Paris

10:30 - 12:00: LIVE 2018 - Session #2 at Beacon Hill

10:30 - 11:00
Talk

Margin Notes: Automatic code documentation with recorded examples from runtime

Geoffrey Litt

Pre-print

11:00 - 11:30
Talk

PANE: Programming with visible data

Joshua Horowitz

11:30 - 12:00
Talk

Realtime Annotations & Visualizations in Live Coding Environments

Charles RobertsWorcester Polytechnic Institute

10:30 - 12:00: AI-SEPS - Session 2 at Franklin

10:30 - 11:15
Talk

PIRA: Performance Instrumentation Refinement Automation

Jan-Patrick LehrGraduate School of Computational Engineering, TU Darmstadt, Alexander HückInstitute for Scientific Computing, TU Darmstadt, Christian BischofScientific Computing, TU Darmstadt

11:15 - 12:00
Talk

PyGA: A Python to FPGA compiler prototype

Yohann UguenUniv Lyon, INSA Lyon, Inria, CITI, Eric PetitIntel, France

10:30 - 12:00: HILT 2018 - Tuesday Late Morning at Back Bay

10:30 - 11:15
Talk

SpeAR – Using a formal specification language for safety and security

Lucas WagnerRockwell Collins

11:15 - 12:00
Talk

Architecture-level Security concerns in a safety-critical system

Sam ProcterCarnegie Mellon Software Engineering Institute, Peter FeilerCarnegie Mellon Software Engineering Institute

10:30 - 12:00: SLE 2018 - Types & Constraints at Studio 1

10:30 - 11:00
Talk

Constraint-based Run-time State Migration for Live Modeling

Ulyana TikhonovaCWI, Jouke StoelCWI, Tijs van der StormCWI & University of Groningen, Thomas DegueuleCentrum Wiskunde & Informatica

11:00 - 11:30
Talk

The Next 700 Unit Checkers

Oscar Bennich-BjörkmanUppsala University, Steve McKeeverUppsala University

11:30 - 12:00
Talk

A Practical Type System for Safe Aliasing

Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier BuchsUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland

10:30 - 12:00: GPCE 2018 - VI at Studio 2

10:30 - 11:00
Talk

Measuring Effectiveness of Sample-based Product-Line Testing

Sebastian Ruland, Lars LuthmannTU Darmstadt, Real-time Systems Lab, Johannes BürdekTU Darmstadt, Real-time Systems Lab, Sascha LityTechnische Universität Braunschweig, Thomas ThümTU Braunschweig, Germany, Malte Lochau, Márcio RibeiroFederal University of Alagoas, Brazil

11:00 - 11:30
Talk

Pattern Matching in an Open World

Weixin ZhangThe University of Hong Kong, Bruno C. d. S. OliveiraThe University of Hong Kong

11:30 - 12:00
Talk

Verification of High-Level Transformations with Inductive Refinement Types

Ahmad Salim Al-SibahiDepartment of Computer Science, University of Copenhagen (DIKU) & BilagScan, Thomas P. JensenINRIA Rennes, Aleksandar S. DimovskiIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark

13:30 - 15:00: OCAP 2018 - Formal Methods at Charles River
Chair(s): Mark MillerGoogle Inc.

13:30 - 15:00: SLE 2018 - Grammars & Metamodelling at Studio 1

13:30 - 14:00
Talk

Facet-Oriented Modelling: Open Objects for Model-Driven Engineering

Juan de LaraUniversidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Jörg KienzleMcGill University, Canada, Yanis HattabMcGill University

14:00 - 14:30
Talk

Analysing Meta-Model Product Lines

Esther Guerra Universidad Autónoma de Madrid, Juan de LaraUniversidad Autónoma de Madrid, Marsha ChechikUniversity of Toronto, Rick SalayUniversity of Toronto

14:30 - 15:00
Talk

Translating Grammars to Accurate Metamodels

Arvid ButtingSoftware Engineering RWTH Aachen University, Nico JansenSoftware Engineering, RWTH Aachen University, Bernhard RumpeRWTH Aachen University, Andreas WortmannRWTH Aachen University

13:30 - 15:00: DLS 2018 - Optimization at The Loft

13:30 - 14:00
Talk

Log++ Logging for a Cloud-Native World

Mark MarronMicrosoft Research

14:00 - 14:30
Talk

HorseIR: Bringing Array Programming Languages Together with Database Query Processing

Hanfeng ChenMcGill University, Canada, Joseph Vinish D'SilvaMcGill University, Canada, Hongji ChenMcGill University, Canada, Bettina KemmeMcGill University, Canada, Laurie HendrenMcGill University, Canada

14:30 - 15:00
Talk

JavaScript AOT Compilation

Manuel SerranoInria, France

13:30 - 14:30: SPLASH-I - Rideau at Whittier

13:30 - 14:30
Talk

Verifying dApp Computations on a Blockchain

François-René RideauLegiCash

13:30 - 15:00: LIVE 2018 - Session #3 at Beacon Hill

13:30 - 14:00
Talk

Espalier: a structured spreadsheet tool for end-user development of organizational applications

Matt McCutchenMIT, Shachar ItzhakyTechnion, Israel, Daniel JacksonMIT, Willow JarvisMIT

Media Attached

14:00 - 14:30
Talk

Hazel: Live and Direct Functional Programming with Holes

Cyrus OmarUniversity of Chicago, Ian VoyseyCarnegie Mellon University, Matthew HammerUniversity of Colorado, Boulder, Ravi ChughUniversity of Chicago

Pre-print

14:30 - 15:00
Talk

REPLugger: a pleasant and scalable live coding editor

Glen ChiacchieriIndependent Researcher

13:30 - 15:00: AI-SEPS - Session 3: Panel discussion at Franklin

13:30 - 14:30: SPLASH-I - Szabó at White Hill

13:30 - 14:30
Talk

Better living through incrementality: Immediate static analysis feedback without loss of precision

Sebastian ErdwegTU Delft, Tamás Szabóitemis

13:30 - 15:00: HILT 2018 - Tuesday Early Afternoon at Back Bay

13:30 - 14:15
Talk

Permission Systems on Android and Beyond

Jeffrey S. FosterTufts University

14:15 - 15:00
Talk

Hardware and Infrastructure support for Cyber Resilience

13:30 - 15:00: GPCE 2018 - VII at Studio 2

13:30 - 14:15
Talk

Explaining Spreadsheets with Spreadsheets

Jácome CunhaUniversity of Minho, Mihai DanOregon State University, Martin ErwigOregon State University, Danila FedorinOregon State University, Alex GrejucOregon State University

14:15 - 15:00
Talk

Short paper: Funcons for HGMP - The Fundamental Constructs of Homogeneous Generative Meta-Programming

L. Thomas van BinsbergenRoyal Holloway University of London

15:30 - 17:00: HILT 2018 - Final Workshop Session at Back Bay

15:30 - 16:30
Demonstration

Security Tools Showcase

16:30 - 17:00
Day closing

Workshop Wrapup

Tucker TaftAdaCore

15:30 - 16:30: SPLASH-I - Gottschlich at White Hill

15:30 - 16:30
Talk

The Future of AI: Machine Programmers and Their Necessary Self-Awareness

Justin GottschlichIntel Labs

15:30 - 17:30: SLE 2018 - Grammars & Metamodelling / Language Workbenches at Studio 1

15:30 - 16:00
Talk

Deriving Fluent Internal Domain-Specific Languages from Grammars

Arvid ButtingSoftware Engineering RWTH Aachen University, Manuela DaliborSoftware Engineering, RWTH Aachen University, Gerrit LeonhardtSoftware Engineering, RWTH Aachen University, Bernhard RumpeRWTH Aachen University, Andreas WortmannRWTH Aachen University

16:00 - 16:20
Talk

Fostering Metamodels and Grammars Within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo)Tool Demo

Benoît LelandaisCEA/DAM/DIF, France, Marie-Pierre OudotCEA/DAM/DIF, France, Benoit CombemaleUniversity of Rennes 1

16:20 - 16:40
Talk

Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo)Tool Demo

Jasper DenkersTU Delft, Louis van GoolOcé Technologies B.V., Eelco VisserTU Delft

16:40 - 17:00
Talk

Bacatá: A Language Parametric Notebook Generator (Tool Demo)Tool Demo

Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV, Tijs van der StormCWI & University of Groningen

17:00 - 17:20
Talk

Shape-Diverse DSLs: Languages without BordersVision / New Idea

Fabien CoulonUniversity of Toulouse / Obeo, Thomas DegueuleCentrum Wiskunde & Informatica, Tijs van der StormCWI & University of Groningen, Benoit CombemaleUniversity of Rennes 1

15:30 - 16:30: SPLASH-I - Miller at Whittier

15:30 - 16:30
Talk

What happened to distributed programming languages?

Heather MillerCMU

15:30 - 17:00: OCAP 2018 - Research Challenges & Directions at Charles River

15:30 - 17:00: LIVE 2018 - Session #4 at Beacon Hill

15:30 - 16:00
Talk

Scaling the REPL Experience

Yair ChuchemLamdu, Eyal LotemLamdu

16:00 - 16:30
Talk

SVG Programming by Direct Manipulation of Intermediates

Brian HempelUniversity of Chicago, Ravi ChughUniversity of Chicago

16:30 - 17:00
Talk

Chalktalk : A Visualization and Communication Language -- As a Tool in the Domain of Computer Science Education

Ken PerlinNew York University, Zhenyi HeNew York University, Karl RosenbergNew York University

15:30 - 17:00: DLS 2018 - Systems at The Loft

15:30 - 16:00
Talk

Query-Based Object-Oriented Programming: A Declarative Web of Objects

Yoav Seginercdl-lang.org, Netherlands, Theo Vossecdl-lang.org, Netherlands, Gil Hararicdl-lang.org, Israel, Uri Kolodnycdl-lang.org, Israel

16:00 - 16:30
Talk

Self-Contained Development Environments

Guido ChariCzech Technical University, Czechia, Javier PimásPalantir Solutions, Argentina, Jan VitekNortheastern University, Olivier FlückigerNortheastern University, USA

16:30 - 17:00
Talk

Numerical Computing on the Web: Benchmarking for the Future

David HerreraMcGill University, Canada, Hanfeng ChenMcGill University, Canada, Erick LavoieMcGill University, Canada, Laurie HendrenMcGill University, Canada

15:30 - 17:00: GPCE 2018 - VIII at Studio 2

15:30 - 16:00
Talk

RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints

Yin LiuVirginia Tech, Kijin AnVirginia Tech, Eli TilevichVirginia Tech

16:00 - 16:30
Talk

Rash: From Reckless Interactions to Reliable Programs

William G HatchUniversity of Utah, Matthew FlattUniversity of Utah

16:30 - 17:00
Talk

Regenerate: Generation of test cases for regular expression engines

Gabriel RadanneUniversity of Freiburg, Peter ThiemannUniversity of Freiburg

16:30 - 17:30: SPLASH-I - Mansinghka at Whittier

16:30 - 17:30
Talk

Probabilistic Programming Paradigms

Vikash MansinghkaMIT

16:30 - 17:30: SPLASH-I - Wilkinson at White Hill

16:30 - 17:30
Talk

Automatic Visualization

Leland WilkinsonH2O.ai

17:30 - 18:30: SPLASH-I - Ahmed at Whittier

17:30 - 18:30
Talk

All the languages together

Amal AhmedNortheastern University

17:30 - 18:30: SPLASH-I - Fisher at White Hill

17:30 - 18:30
Talk

Provably Eliminating Exploitable Bugs

Kathleen FisherTufts University, USA

Wed 7 Nov

08:30 - 10:00: Keynotes - Jackson at Avenue 34

08:30 - 10:00
Talk

A new modularity for softwareKEYNOTE

Daniel JacksonMIT

10:30 - 12:00: OOPSLA - Parallelism and Performance at Studio 2

10:30 - 10:52
Talk

Every Data Structure Deserves Lock-Free Memory Reclamation

Nachshon CohenEPFL, Switzerland

10:52 - 11:15
Talk

Parallelization of Dynamic Languages: Synchronizing Built-in Collections

Benoit DalozeJKU Linz, Austria, Arie TalTechnion, Stefan MarrUniversity of Kent, Hanspeter MössenböckJKU Linz, Austria, Erez PetrankTechnion

11:15 - 11:37
Talk

Virtual Machine Design for Parallel Dynamic Programming Languages

Remigius MeierETH Zurich, Switzerland, Armin RigoPyPy.org, Switzerland, Thomas GrossETH Zurich

11:37 - 12:00
Talk

goSLP: Globally Optimized Superword Level Parallelism Framework

Charith MendisMIT CSAIL, Saman AmarasingheMIT

10:30 - 12:00: OOPSLA - Types and Effects at Studio 1

10:30 - 10:52
Talk

Effect Handlers for the Masses

Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Philipp SchusterUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany

10:52 - 11:15
Talk

Empowering Union and Intersection Types with Integrated Subtyping

Fabian MuehlboeckCornell University, Ross TateCornell University

11:15 - 11:37
Talk

Julia Subtyping: a Rational Reconstruction

Francesco Zappa NardelliInria, Julia BelyakovaNortheastern University, USA, Artem PelenitsynNortheastern University, Benjamin ChungNortheastern University, Jeff BezansonJulia Computing, Jan VitekNortheastern University

11:37 - 12:00
Talk

Scopes as Types

Hendrik van AntwerpenTU Delft, Casper Bach PoulsenDelft University of Technology, Arjen RouvoetDelft University of Technology, Eelco VisserTU Delft

10:30 - 12:00: Papers - Usability and Reusability at Terrace

10:30 - 11:00
Talk

On the Usage of “Pythonic” Idioms in Python Programs

Carol V. AlexandruUniversity of Zurich, José J. MerchanteUniversidad Rey Juan Carlos, Sebastiano PanichellaZurich University of Applied Science/University of Zurich, Sebastian ProkschUniversity of Zurich, Harald GallUniversity of Zurich, Gregorio RoblesUniversidad Rey Juan Carlos

11:00 - 11:30
Talk

Inference and Regeneration of Programs that Store and Retrieve Data

Martin RinardMassachusetts Institute of Technology, Jiasi ShenMassachusetts Institute of Technology, Varun MangalickMIT

11:00 - 12:00: SPLASH-I - Gabriel at Tremont

11:00 - 12:00
Talk

How a Computer Can Write a Poem and Make it Sound like an Angry Type Theorist or Proving Theorems and Seeing Cats

Richard P. GabrielDream Songs, Inc. & HPI

11:00 - 12:00: SPLASH-I - Larus at The Loft

11:00 - 12:00
Talk

Programming NVM

James LarusEPFL

13:30 - 14:30: SPLASH-I - Alexandrescu at Tremont

13:30 - 14:30
Talk

Design by Introspection in D

Andrei AlexandrescuD Language Foundation

13:30 - 15:00: Papers - DSLs and Language Design Principles at Terrace

13:30 - 14:00
Talk

The Open Authorial Principle - Supporting Networks of Authors in Creating Externalisable Designs

Antranig Basman, Clayton LewisUniversity of Colorado Boulder, Colin Clark

14:00 - 14:30
Talk

Tool: Accessible Automated Reasoning for Human Robot Collaboration

Ortwin MailahnZeMA, Rainer MüllerZeMA, Richard PeiferZeMA, Damien ZuffereyMPI-SWS, Ivan GavranMPI-SWS

13:30 - 14:30: SPLASH-I - Hendren at The Loft

13:30 - 14:30
Talk

Developing Opal, an App for Cancer Patients, as a Computer Scientist and Cancer Patient

Laurie HendrenMcGill University, Canada

13:30 - 15:00: OOPSLA - Language Design 1 at Studio 2

13:30 - 13:52
Talk

AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries

Roland LeißaSaarland University, Germany, Klaas BoescheSaarland University, Sebastian HackSaarland University, Germany, Arsène Pérard-GayotSaarland University, Germany, Richard MembarthDFKI, Germany, Philipp SlusallekDFKI, Germany, André MüllerJohannes Gutenberg University, Bertil SchmidtJohannes Gutenberg University

13:52 - 14:15
Talk

Julia: Dynamism and Performance Reconciled by Design

Jeff BezansonJulia Computing, Benjamin ChungNortheastern University, Jiahao ChenCapital One, Stefan Karpinski, Viral B ShahJulia Computing, Jan VitekNortheastern University, Lionel ZoubritzkyÉcole Normale Supérieure

14:15 - 14:37
Talk

GraphIt - A High-Performance Graph DSL

Yunming Zhang, Mengjiao YangMIT CSAIL, Riyadh BaghdadiMIT, Shoaib KamilAdobe, Julian ShunMIT, Saman AmarasingheMIT

14:37 - 15:00
Talk

One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax

James KoppelMIT, Varot PremtoonMIT, Armando Solar-LezamaMIT CSAIL

13:30 - 15:00: OOPSLA - Security at Studio 1

13:30 - 13:52
Talk

A Derivation Framework for Dependent Security Label Inference

Peixuan LiPenn State University, Danfeng ZhangPennsylvania State University

13:52 - 14:15
Talk

MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts

Neville GrechUniversity of Athens, Michael KongUniversity of Sydney, Anton JurisevicUniversity of Sydney, Lexi BrentUniversity of Sydney, Bernhard ScholzThe University of Sydney, Yannis SmaragdakisUniversity of Athens

14:15 - 14:37
Talk

Faster Variational Execution with Transparent Bytecode Transformation

Chu-Pan WongCarnegie Mellon University, Jens MeinickeMagdeburg University, Lukas Lazarek, Christian KästnerCarnegie Mellon University

14:37 - 15:00
Talk

Secure Serverless Computing Using Dynamic Information Flow Control

Kalev AlpernasTel Aviv University, Cormac FlanaganUniversity of California, Santa Cruz, Sadjad FouladiStanford University, Leonid RyzhykVMware Research, Mooly SagivTel Aviv University, Thomas Schmitz, Keith WinsteinStanford University

15:30 - 16:30: SPLASH-I - Aref at Tremont

15:30 - 16:30
Talk

Low level systems programming in a high level language

Molham ArefRelational.ai

15:30 - 16:30: SPLASH-I - Chen at The Loft

15:30 - 16:30
Talk

Robustly benchmarking Julia in noisy environments

Jiahao ChenCapital One

Pre-print

15:30 - 17:00: OOPSLA - Compiler Optimization at Studio 2

15:30 - 15:52
Talk

Format Abstraction for Sparse Tensor Algebra Compilers

Stephen ChouMIT CSAIL, Fredrik KjolstadMIT CSAIL, Saman AmarasingheMIT

15:52 - 16:15
Talk

ShareJIT: JIT Code Cache Sharing across Processes and its Practical Implementation

Xiaoran XuRice University, Keith CooperRice University, Jacob BrockUniversity of Rochester, Yan Zhang, Handong YeFuturewei Technologies

16:15 - 16:37
Talk

Reconciling High-level Optimizations and Low-level Code in LLVM

Juneyoung LeeSeoul National University, Chung-Kil HurSeoul National University, Ralf JungMPI-SWS, Zhengyang LiuUniversity of Utah, John RegehrUniversity of Utah, Nuno P. LopesMicrosoft Research

16:37 - 17:00
Talk

An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability

Zhangxiaowen GongUniversity of Illinois at Urbana-Champaign, Zhi ChenUniversity of California, Irvine, Justin SzadayUniversity of Illinois at Urbana-Champaign, David WongIntel, Zehra SuraIBM Research, Neftali Watkinson, Saeed MalekiMicrosoft Research, David PaduaUniversity of Illinois at Urbana-Champaign, Alexander VeidenbaumUniversity of California, Irvine, Alexandru NicolauUniversity of California, Irvine, Josep TorrellasUniversity of Illinois at Urbana-Champaign

15:30 - 17:00: OOPSLA - Language Design 2 at Studio 1

15:30 - 15:52
Talk

Bidirectional Evaluation with Direct Manipulation

Mikaël MayerEPFL, Switzerland, Viktor KuncakEPFL, Switzerland, Ravi ChughUniversity of Chicago

15:52 - 16:15
Talk

BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip

Jason OttUniversity of California, Riverside, Tyson LovelessUniversity of California, Riverside, Chris CurtisUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside, Philip BriskUniversity of California, Riverside

16:15 - 16:37
Talk

Distributed System Development with ScalaLoci

Pascal WeisenburgerTechnische Universität Darmstadt, Mirko Köhler, Guido SalvaneschiTU Darmstadt

16:37 - 17:00
Talk

Concurrency-aware Object-oriented Programming with Roles

Michael FaesETH Zurich, Thomas GrossETH Zurich

15:30 - 17:00: Essays - Session 1 at Terrace

15:30 - 16:15
Full-paper

Fatal Abstraction

Friedrich SteimannFernuniversität

16:30 - 17:30: SPLASH-I - Bezanson at The Loft

16:30 - 17:30
Talk

Julia then, now, and after

Jeff BezansonJulia Computing

16:30 - 17:30: SPLASH-I - Hester at Tremont

16:30 - 17:30
Talk

Alternative parsers for R in package space

Jim HesterRStudio

17:30 - 18:30: SPLASH-I - Flood at Tremont

17:30 - 18:30
Talk

Ten Cool Things you might not know about the OpenJDK Java Virtual Machine

Christine H. FloodRed Hat

17:30 - 18:30: SPLASH-I - Noble at The Loft

17:30 - 18:30
Talk

Two Decades of Ownership Types

James NobleVictoria University of Wellington

Thu 8 Nov

08:30 - 10:00: Keynotes - Quillen at Avenue 34

08:30 - 10:00
Talk

Beauty is the Promise of HappinessKEYNOTE

Jenny QuillienEmbodied Making Institute

10:30 - 12:00: Papers - Data Structures at Terrace

10:30 - 11:00
Talk

Cflat: A New Modular Approach to Implementing Efficient and Tunable Collections

Stephan BrandauerUppsala University, Elias CastegrenUppsala University, Tobias WrigstadUppsala University

Pre-print

11:00 - 11:30
Talk

Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming

Akio OkaDepartment of Information Science, Tokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology

10:30 - 12:00: OOPSLA - Types and Contracts at Studio 2

10:30 - 10:52
Talk

Horn-ICE Learning for Synthesizing Invariants and Contracts

Deepak D'Souza, Ezudheen P, Pranav GargUniversity of Illinois at Urbana-Champaign, Daniel NeiderMax Planck Institute for Software Systems, P. MadhusudanUniversity of Illinois at Urbana-Champaign

10:52 - 11:15
Talk

Gradual Liquid Type Inference

Niki VazouUniversity of Maryland, USA, Éric TanterUniversity of Chile & Inria Paris, David Van HornUniversity of Maryland, USA

11:15 - 11:37
Talk

Collapsible Contracts: Fixing a Pathology of Gradual Typing

Daniel FelteyNorthwestern University, USA, Ben GreenmanNortheastern University, USA, Christophe ScholliersUniversiteit Gent, Belgium, Robby FindlerNorthwestern University, USA, Vincent St-AmourNorthwestern University

11:37 - 12:00
Talk

The Root Cause of Blame: Contracts for Intersection and Union Types

Jack WilliamsUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Kansas, USA, Philip WadlerUniversity of Edinburgh, UK

10:30 - 12:00: OOPSLA - Weak Memory and Refactoring at Studio 1

10:30 - 10:52
Talk

Optimal Stateless Model Checking under the Release-Acquire Semantics

Parosh Aziz AbdullaUppsala University, Sweden, Mohamed Faouzi AtigUppsala University, Bengt JonssonUppsala University, Tuan Phong NgoUppsala University

10:52 - 11:15
Talk

Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results

Peizhao OuUniversity of California, Irvine, Brian DemskyUniversity of California, Irvine

11:15 - 11:37
Talk

Persistence Semantics for Weak Memory

Azalea RaadMax Planck Institute for Software Systems (MPI-SWS), Viktor VafeiadisMPI-SWS, Germany

11:37 - 12:00
Talk

Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State

Jyothi VeduradaIIT Madras, V Krishna NandivadaIIT Madras

13:30 - 15:00: Papers - Language Design at Terrace

13:30 - 14:00
Talk

A CAPable distributed programming model

Florian MyterVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium, Wolfgang De MeuterVrije Universiteit Brussel

14:00 - 14:30
Talk

Protecting Chatbots from Toxic Content

Guillaume BaudartIBM Research, Julian DolbyIBM Thomas J. Watson Research Center, Evelyn DuesterwaldIBM Research, Martin HirzelIBM Research, Avraham ShinnarIBM Research

14:30 - 15:00
Talk

JEff: Objects for Effect

Pablo InostrozaCWI, Tijs van der StormCWI & University of Groningen

13:30 - 15:00: OOPSLA - Parallelism and Correctness at Studio 1

13:30 - 13:52
Talk

Thread-Safe Reactive Programming

Joscha DrechslerTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt

13:52 - 14:15
Talk

RacerD: Compositional Static Race Detection

Sam BlackshearFacebook, Nikos Gorogiannis, Peter W. O'HearnFacebook and University College London, Ilya SergeyUniversity College London

Pre-print

14:15 - 14:37
Talk

What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection

Umang MathurUniversity of Illinois at Urbana-Champaign, Dileep KiniUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign

14:37 - 15:00
Talk

Sound Deadlock Prediction

Christian Gram Kalhauge, Jens PalsbergUniversity of California, Los Angeles (UCLA)

13:30 - 15:00: OOPSLA - Static Analysis at Studio 2

13:30 - 13:52
Talk

Incrementalizing Lattice-Based Program Analyses in Datalog

Tamás Szabóitemis, Gábor BergmannBudapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary, Sebastian ErdwegTU Delft, Markus Völterindependent / itemis, Germany

13:52 - 14:15
Talk

Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling

Minseok JeonKorea University, South Korea, Sehun JeongKorea University, Hakjoo OhKorea University

14:15 - 14:37
Talk

Precision-Guided Context Sensitivity for Pointer Analysis

Yue LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens

14:37 - 15:00
Talk

Refinement in object-sensitivity points-to analysis via slicing

Girish Maskeri RamaInfosys Limited, Raghavan KomondoorIndian Institute of Science, Bangalore, Himanshu SharmaIndian Institute of Science, Bangalore

15:30 - 17:00: OOPSLA - Performance at Studio 1

15:30 - 15:52
Talk

Cross-Component Garbage Collection

Ulan DegenbaevGoogle, Jochen EisingerGoogle, Kentaro HaraGoogle, Marcel HlopkoGoogle, Michael LippautzGoogle, Hannes PayerGoogle

15:52 - 16:15
Talk

Reactive Caching for Composed Services

Sebastian BurckhardtMicrosoft Research, Tim CoppietersVrije Universiteit Brussel, Belgium

16:15 - 16:37
Talk

Object-Oriented Recovery for Non-Volatile Memory

Nachshon CohenEPFL, Switzerland, David T. AksunEPFL, James LarusEPFL

16:37 - 17:00
Talk

Software Multiplexing: Share Your Libraries and Statically Link Them Too

Will DietzUniversity of Illinois at Urbana-Champaign, Vikram AdveUniversity of Illinois at Urbana-Champaign

15:30 - 17:00: OOPSLA - Potpourri at Studio 2

15:30 - 15:52
Talk

DeepBugs: A Learning Approach to Name-based Bug Detection

Michael PradelTU Darmstadt, Koushik SenUniversity of California, Berkeley

15:52 - 16:15
Talk

ExceLint: Automatically Finding Spreadsheet Formula Errors

Daniel W. Barowy, Emery BergerUniversity of Massachusetts, Amherst, Benjamin ZornMicrosoft Research

16:15 - 16:37
Talk

Finding Code That Explodes Under Symbolic Evaluation

James BornholtUniversity of Washington, Emina TorlakUniversity of Washington

16:37 - 17:00
Talk

FlashProfile: A Framework for Synthesizing Data Profiles

Saswat PadhiUniversity of California, Los Angeles, Prateek JainMicrosoft Research Lab, India, Daniel PerelmanUniversity of Washington, USA, Alex PolozovMicrosoft Research, Sumit GulwaniMicrosoft Research, Todd MillsteinUniversity of California, Los Angeles

15:30 - 17:00: Essays - Session 2 at Terrace

15:30 - 16:15
Full-paper

We Should Stop Claiming Generality in our Domain-Specific Language Papers

Daco HarkesDelft University of Technology

16:15 - 17:00
Full-paper

Interdisciplinary Programming Language Design

Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Brad MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University

15:30 - 16:30: SPLASH-I - Taft at The Loft

15:30 - 16:30
Talk

Provably Safe Pointers for a Parallel World

Tucker TaftAdaCore

15:30 - 16:30: SPLASH-I - Titzer at Tremont

15:30 - 16:30
Talk

Peering behind the Turing Mirror

Ben L. TitzerGoogle

16:30 - 17:30: SPLASH-I - Pizlo at The Loft

16:30 - 17:30
Talk

All about JavaScriptCore's many compilers

Filip PizloApple

16:30 - 17:30: SPLASH-I - Spoonhower at Tremont

16:30 - 17:30
Talk

Measuring Microservice Performance: A Shape Not a Number

Daniel SpoonhowerLightstep

17:00 - 18:00: Keynotes - Fisler at Avenue 34

17:00 - 18:00
Talk

Programming Language Semantics through a Pedagogic LensKEYNOTE

Kathi FislerBrown University

17:30 - 18:30: SPLASH-I - Matsakis at The Loft

17:30 - 18:30
Talk

Rust: Reach Further

Nicholas MatsakisMozilla Corporation

17:30 - 18:30: SPLASH-I - McDirmid at Tremont

17:30 - 18:30
Talk

Tangible Abstraction

Sean McDirmid

Fri 9 Nov

08:30 - 10:00: Keynotes - Liskov at Avenue 34

08:30 - 10:00
Talk

Distributed AbstractionsKEYNOTE

Barbara LiskovMIT

10:30 - 12:00: OOPSLA - Program Synthesis at Studio 2

10:30 - 10:52
Talk

Relational Program Synthesis

Yuepeng WangUniversity of Texas at Austin, Xinyu WangUT Austin, Isil DilligUT Austin

10:52 - 11:15
Talk

Robust Relational Layout Synthesis from Examples for Android

Pavol BielikETH Zürich, Marc FischerETH Zurich, Martin VechevETH Zürich

11:15 - 11:37
Talk

Speeding up Symbolic Reasoning for Relational Queries

Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington

11:37 - 12:00
Talk

Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments

Junho LeeKorea University, Dowon SongKorea University, Sunbeom SoKorea University, Hakjoo OhKorea University

10:30 - 12:00: OOPSLA - Testing at Studio 1

10:30 - 10:52
Talk

Compositional Programming and Testing of Dynamic Distributed Systems

Ankush DesaiUniversity of California, Berkeley, Amar PhanishayeeMicrosoft Research, Shaz QadeerMicrosoft Research, Sanjit SeshiaUC Berkeley

10:52 - 11:15
Talk

Randomized Testing of Distributed Systems with Probabilistic Guarantees

Burcu Kulahcioglu OzkanMPI-SWS, Germany, Rupak MajumdarMPI-SWS, Germany, Filip NiksicMPI-SWS, Mitra Tabaei BefroueiVienna University of Technology, Georg WeissenbacherTechnische Universität Wien

11:15 - 11:37
Talk

Test Generation for Higher-Order Functions in Dynamic Languages

Marija SelakovicTU Darmstadt, Germany, Michael PradelTU Darmstadt, Rezwana Karim NawrinSamsung Research America, Frank TipNortheastern University

11:37 - 12:00
Talk

Finding Broken Promises in Asynchronous JavaScript Programs

Saba AlimadadiNortheastern University, Di ZhongNortheastern University, USA, Magnus MadsenUniversity of Waterloo, Frank TipNortheastern University

13:30 - 14:15: OOPSLA - Safe Merging at Studio 2

13:30 - 13:52
Talk

Verified Three-Way Program Merge

Marcelo SousaUniversity of Oxford, Isil DilligUT Austin, Shuvendu K. LahiriMicrosoft Research

13:52 - 14:15
Talk

Conflict Resolution for Structured Merge via Version Space Algebra

Fengmin Zhu, Fei HeTsinghua University

13:30 - 14:15: OOPSLA - Verification at Studio 1

13:30 - 13:52
Talk

Leto: Verifying Application-Specific Fault Tolerance through Parameterized Execution Models

Brett BostonMassachusetts Institute of Technology, Zoe GongMassachusetts Institute of Technology, Michael CarbinMassachusetts Institute of Technology

13:52 - 14:15
Talk

Safe Replication through Bounded Concurrency Verification

Gowtham KakiPurdue University, Kapil EarankyPurdue University, KC SivaramakrishnanUniversity of Cambridge, Suresh JagannathanPurdue University

15:30 - 17:00: Keynotes - Cook at Avenue 34

15:30 - 17:00
Talk

Reasoning about Security of Amazon Web ServicesKEYNOTE

Byron CookAmazon

Sun 4 Nov 2018


Room	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00	30	15:00	30	16:00	30	17:00	30
Beacon Hill	BLOCKS+ 09:00 - 10:00			BLOCKS+ 10:30 - 12:00						BLOCKS+ 13:30 - 15:00				BLOCKS+ 15:30 - 17:00
Cambridge	SLEBoK Opening Session 09:00 - 10:00			SLEBoK Working Session I 10:30 - 12:00						SLEBoK Working Session II 13:30 - 15:00				SLEBoK Closing Session 15:30 - 17:00
Exeter	GRACE 09:00 - 10:00			GRACE The State of Grace 10:30 - 12:00						GRACE Types in Grace 13:30 - 15:00				GRACE The Future of Grace 15:30 - 17:00
Longfellow	REBLS 09:00 - 10:00			REBLS 10:30 - 12:00						REBLS 13:30 - 15:00				REBLS 15:30 - 17:00
Newbury	VMIL Session 1 09:00 - 10:00			VMIL Session 2 10:30 - 12:00						VMIL Session 3 13:30 - 15:00				VMIL Session 4 15:30 - 17:05

Mon 5 Nov 2018


Room	8:00	30	9:00	30	10:00	30	11:00	30	12:00	30	13:00		30	14:00	30	15:00		30	16:00		30	17:00		30	18:00	30
Back Bay		HILT Monday Morning Keynote 08:30 - 10:00				HILT Monday Late Morning 10:30 - 12:00							HILT Monday Early Afternoon 13:30 - 15:00					HILT Monday Late Afternoon 15:30 - 17:00
Beacon Hill		PLATEAU Adoption and Programmer Perception 08:30 - 10:00				PLATEAU Keynote: Ravi Chugh 10:30 - 12:00							PLATEAU Language Usability 13:30 - 15:00					PLATEAU Teasers + Breakout 15:30 - 17:00
Cambridge		SPLASH Keynotes Hermans 08:30 - 10:00				SPLASH -E 10:30 - 12:00							SPLASH -E 13:30 - 15:00					SPLASH -E 15:30 - 17:00
Charles River		NOOL 08:30 - 10:00				NOOL 10:30 - 12:00							NOOL 13:30 - 15:00					NOOL 15:30 - 17:00
Exeter		TURBO'18 08:30 - 10:00				TURBO'18 10:30 - 12:00							TURBO'18 13:30 - 15:00					TURBO'18 15:30 - 17:00
Franklin		META'18 Metaprogramming for Types 08:30 - 10:00				META'18 Tooling 10:30 - 12:00							META'18 Session 3 13:30 - 15:00					META'18 Reflection on Reflection 15:30 - 17:00
Newbury		AGERE 08:30 - 10:00				AGERE 10:30 - 12:00							AGERE 13:30 - 15:00					AGERE 15:30 - 17:00
Studio 1		SLE GPCE Keynote 08:30 - 10:00				SLE Parsing 10:30 - 12:00							SLE Parsing / Language Composition 13:30 - 15:00					SLE Validation & Verification 15:30 - 17:30
Studio 2		GPCE Keynote 08:30 - 10:00				GPCE II 10:30 - 12:00							GPCE III 13:30 - 15:00					GPCE IV 15:30 - 17:00
White Hill												SPLASH -I Chlipala 13:30 - 14:30					SPLASH -I Pamer 15:30 - 16:30			SPLASH -I Adams 16:30 - 17:30			SPLASH -I Ramanathan 17:30 - 18:30
Whittier												SPLASH -I Marron 13:30 - 14:30					SPLASH -I Stoodley 15:30 - 16:30			SPLASH -I Gibbons 16:30 - 17:30			SPLASH -I Burka 17:30 - 18:30

Tue 6 Nov 2018


Room	8:00	30	9:00	30	10:00	30	11:00	30	12:00	30	13:00		30	14:00	30	15:00		30	16:00		30	17:00		30	18:00	30	19:00	30
Back Bay		HILT Tuesday Morning Keynote 08:30 - 10:00				HILT Tuesday Late Morning 10:30 - 12:00							HILT Tuesday Early Afternoon 13:30 - 15:00					HILT Final Workshop Session 15:30 - 17:00
Beacon Hill		LIVE Session #1 08:30 - 10:00				LIVE Session #2 10:30 - 12:00							LIVE Session #3 13:30 - 15:00					LIVE Session #4 15:30 - 17:00
Cambridge		DSLDI 08:30 - 10:00				DSLDI 10:30 - 12:00							DSLDI 13:30 - 15:00					DSLDI 15:30 - 17:00
Charles River		OCAP Keynote 08:30 - 10:00				OCAP Ocap Patterns 10:30 - 12:00							OCAP Formal Methods 13:30 - 15:00					OCAP Research Challenges & Directions 15:30 - 17:00
Exeter		TURBO'18 08:30 - 10:00				TURBO'18 10:30 - 12:00							TURBO'18 13:30 - 15:00					TURBO'18 15:30 - 17:00
Franklin		AI-SEPS Session 1: Introduction + Keynote 08:30 - 10:00				AI-SEPS Session 2 10:30 - 12:00							AI-SEPS Session 3: Panel discussion 13:30 - 15:00					AI-SEPS 15:30 - 17:00
Longfellow		SPLASH Doctoral Symposium 08:30 - 10:00				SPLASH Doctoral Symposium 10:30 - 12:00							SPLASH Doctoral Symposium 13:30 - 15:00					SPLASH Doctoral Symposium 15:30 - 17:00
Newbury		NJR 08:30 - 10:00				NJR 10:30 - 12:00							NJR 13:30 - 15:00					NJR 15:30 - 17:00
Studio 1		SLE Keynote 08:30 - 10:00				SLE Types & Constraints 10:30 - 12:00							SLE Grammars & Metamodelling 13:30 - 15:00					SLE Grammars & Metamodelling / Language Workbenches 15:30 - 17:30
Studio 2		GPCE SLE Keynote 08:30 - 10:00				GPCE VI 10:30 - 12:00							GPCE VII 13:30 - 15:00					GPCE VIII 15:30 - 17:00
Terrace												GPCE / SLE Banquet 19:00 - 19:30
The Loft						DLS Semantics 10:30 - 12:00							DLS Optimization 13:30 - 15:00					DLS Systems 15:30 - 17:00
Tremont		SPLASH PLMW 08:30 - 10:00				SPLASH PLMW 10:30 - 12:00							SPLASH PLMW 13:30 - 15:00					SPLASH PLMW 15:30 - 17:00
White Hill												SPLASH -I Szabó 13:30 - 14:30					SPLASH -I Gottschlich 15:30 - 16:30			SPLASH -I Wilkinson 16:30 - 17:30			SPLASH -I Fisher 17:30 - 18:30
Whittier												SPLASH -I Rideau 13:30 - 14:30					SPLASH -I Miller 15:30 - 16:30			SPLASH -I Mansinghka 16:30 - 17:30			SPLASH -I Ahmed 17:30 - 18:30

Wed 7 Nov 2018


Room	8:00	30	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00	30	15:00	30	16:00	30	17:00	30	18:00	30
Avenue 34		SPLASH Keynotes Jackson 08:30 - 10:00
Studio 1						SPLASH OOPSLA Types and Effects 10:30 - 12:00						SPLASH OOPSLA Security 13:30 - 15:00				SPLASH OOPSLA Language Design 2 15:30 - 17:00			SPLASH OOPSLA 17:00 - 18:00
Studio 2						SPLASH OOPSLA Parallelism and Performance 10:30 - 12:00						SPLASH OOPSLA Language Design 1 13:30 - 15:00				SPLASH OOPSLA Compiler Optimization 15:30 - 17:00
Terrace						Onward! Papers Usability and Reusability 10:30 - 12:00						Onward! Papers DSLs and Language Design Principles 13:30 - 15:00				Onward! Essays Session 1 15:30 - 17:00
The Loft							SPLASH -I Larus 11:00 - 12:00					SPLASH -I Hendren 13:30 - 14:30				SPLASH -I Chen 15:30 - 16:30		SPLASH -I Bezanson 16:30 - 17:30		SPLASH -I Noble 17:30 - 18:30
Tremont							SPLASH -I Gabriel 11:00 - 12:00					SPLASH -I Alexandrescu 13:30 - 14:30				SPLASH -I Aref 15:30 - 16:30		SPLASH -I Hester 16:30 - 17:30		SPLASH -I Flood 17:30 - 18:30

Thu 8 Nov 2018


Room	8:00	30	9:00	30	10:00	30	11:00	30	12:00	30	13:00		30	14:00		30	15:00		30	16:00	30	17:00	30	18:00	30
Avenue 34		SPLASH Keynotes Quillen 08:30 - 10:00																SPLASH Keynotes Fisler 17:00 - 18:00
Studio 1						SPLASH OOPSLA Weak Memory and Refactoring 10:30 - 12:00							SPLASH OOPSLA Parallelism and Correctness 13:30 - 15:00						SPLASH OOPSLA Performance 15:30 - 17:00			SPLASH OOPSLA 17:00 - 18:00
Studio 2						SPLASH OOPSLA Types and Contracts 10:30 - 12:00							SPLASH OOPSLA Static Analysis 13:30 - 15:00						SPLASH OOPSLA Potpourri 15:30 - 17:00
Terrace						Onward! Papers Data Structures 10:30 - 12:00							Onward! Papers Language Design 13:30 - 15:00						Onward! Essays Session 2 15:30 - 17:00
The Loft												SPLASH -I Taft 15:30 - 16:30			SPLASH -I Pizlo 16:30 - 17:30			SPLASH -I Matsakis 17:30 - 18:30
Tremont												SPLASH -I Titzer 15:30 - 16:30			SPLASH -I Spoonhower 16:30 - 17:30			SPLASH -I McDirmid 17:30 - 18:30

Fri 9 Nov 2018


Room	8:00	30	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00	30	15:00		30	16:00	30	17:00	30
Avenue 34		SPLASH Keynotes Liskov 08:30 - 10:00														SPLASH Keynotes Cook 15:30 - 17:00
Studio 1						SPLASH OOPSLA Testing 10:30 - 12:00						SPLASH OOPSLA Verification 13:30 - 14:15
Studio 2						SPLASH OOPSLA Program Synthesis 10:30 - 12:00						SPLASH OOPSLA Safe Merging 13:30 - 14:15

Sun 4 Nov 2018


Room	9:00	15	30	45	10:00	15	30	45	11:00	15	30	45	12:00	15	30	45	13:00	15	30	45	14:00	15	30	45	15:00	15	30	45		16:00	15	30		45	17:00	15	30	45
Cambridge	SLEBoK Welcome and introduction to SLEBoK and participants 09:00 - 09:15	SLEBoK Presentations from working group chairs 09:15 - 09:30	SLEBoK Short proposals for new related SLEBoK project 09:30 - 09:45	SLEBoK Planning and organization for the day 09:45 - 10:00			SLEBoK Split into small groups, work on SLEBoK tasks, morning 10:30 - 12:00												SLEBoK Split into small groups, work on SLEBoK tasks, afternoon 13:30 - 15:00								SLEBoK General discussion on SLEBoK: What is working, What should be improved? ... 15:30 - 16:15				SLEBoK Updates from working groups, discussion of future plans 16:15 - 17:00
Exeter							GRACE The State of Grace 10:30 - 12:00												GRACE Types in Grace 13:30 - 16:15																GRACE KafKa: Gradual Typing for Objects 13:30 - 13:45	GRACE Types in Grace 13:30 - 16:15			GRACE Static & Dynamic Typing in Grace 15:30 - 15:45	GRACE Gradual Typing is Morally Incorrect: the Problem of Applying Gradual Typing 15:30 - 15:45	GRACE The Future of Grace 16:15 - 17:00
Newbury	VMILKeynote On the Self in Selfie ⭐️ 09:00 - 10:00						VMIL Efficient VM-independent Runtime Checks for Parallel Programming 10:30 - 10:55			VMIL Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardwar ... 11:15 - 11:40									VMILKeynote BEAM: A Virtual Machine for Handling Millions of Messages per Second ⭐️ 13:30 - 14:30				VMIL A Cost Model for a Graph-Based Intermediate-Representation in a Dynamic ... 14:30 - 14:55				VMIL Building JIT Compilers For Dynamic Languages With Low Development Effort 15:30 - 15:55		VMIL Twopy: A Just-In-Time Compiler For Python Based On Code Specialization 15:55 - 16:15		VMIL Towards Compilation of an Imperative Language for FPGAs 16:15 - 16:40		VMIL Two Decades of Smalltalk VM Development 16:40 - 17:05

Mon 5 Nov 2018


Room	8:00	15	30		45	9:00		15		30	45	10:00	15	30	45	11:00	15	30	45	12:00	15	30	45	13:00	15		30	45			14:00		15		30		45	15:00	15		30	45	16:00	15		30	45			17:00	15		30	45	18:00	15	30	45
Back Bay			HILT Welcome to the HILT 2018 Workshop 08:30 - 09:00			HILTKeynote CVE, CWE, CQE and all that -- enumerating the security and safety chall ... 09:00 - 10:00								HILT Programming Language Systems for Developing Cyber Resilient Software 10:30 - 11:15			HILT Programming-Language-Based Approach to Security 11:15 - 12:00										HILT Tool support for Confidentiality by Construction 13:30 - 14:15						HILT Panel on Language-based Security 14:15 - 15:00								HILT SPARK by Example: an introduction to formal verification through the st ... 15:30 - 16:00		HILT Soundness of a Dataflow Analysis for Memory Monitoring 16:00 - 16:30			HILT HILT Submission #3 16:30 - 16:55			HILT 18:30-20:30 Monday HILT 2018 Banquet at Legal Seafoods, Park Plaza 16:55 - 17:00
Beacon Hill			PLATEAU Welcome 08:30 - 08:40	PLATEAU Programming by example: efficient, but not "helpful" 08:40 - 09:05			PLATEAU Observing the Uptake of a Language Change Making Strings Immutable 09:05 - 09:20		PLATEAU Identifying Barriers to Adoption for Rust through Online Discourse 09:20 - 09:35					PLATEAU Direct Manipulation Programming in Sketch-n-Sketch: Three Years, Three ... 10:30 - 12:00													PLATEAU A Randomized Controlled Trial on the Impact of Polyglot Programming in ... 13:30 - 13:55			PLATEAU Understanding Java Usability by Mining GitHub Repositories 13:55 - 14:10		PLATEAU QDB: From Quantum Algorithms Towards Correct Quantum Programs 14:10 - 14:35
Cambridge			SPLASH KeynotesKEYNOTE Explicit Direct Instruction in Programming Education 08:30 - 10:00
Franklin			META'18 Code Generation for Higher Inductive Types 08:30 - 09:00			META'18 Recognizing heterogeneous sequences by rational type expression 09:00 - 09:30				META'18 Multiple Dispatch using Compile-Time Metaprogramming 09:30 - 10:00				META'18Keynote SemanticDB: a common data model for Scala developer tools ⭐️ 10:30 - 11:30																					META'18 Does It Make Sense to have Application-specific Code Conventions as a C ... 14:30 - 15:00						META'18Keynote Through a Glass, Darkly ⭐️ 15:30 - 16:30					META'18 Discussion and Closing 16:30 - 17:00
Studio 1														SLE Declarative Specification of Indentation Rules: A Tooling Perspective o ... 10:30 - 11:00		SLE GLL Parsing with Flexible Combinators 11:00 - 11:30		SLE Morbig, a trustworthy static parser for POSIX shell 11:30 - 12:00									SLEVision / New Idea Input-Driven Regular Expressions 13:30 - 13:50		SLE Modular Language Composition for the Masses 13:50 - 14:20					SLETool Demo Storm: A Language Platform for Interacting and Extensible Languages (To ... 14:20 - 14:40		SLEVision / New Idea Languages as First-Class Citizens (Vision Paper) 14:40 - 15:00					SLE Continuous Model Validation using Reference Attribute Grammars 15:30 - 16:00		SLE Migrating Business Logic to an Incremental Computing DSL: A Case Study 16:00 - 16:30			SLETool Demo An Industrial Case Study in Compiler Testing (Tool Demo) 16:30 - 16:50		SLETool Demo Messir, a Text-first DSL-based Approach for UML Requirements Engineerin ... 16:50 - 17:10
Studio 2			GPCE Keynote How to Make Sparse Fast 08:30 - 10:00											GPCE A Domain-Specific Language for Exploratory Data Visualization 10:30 - 11:00		GPCE A Practical Unification of Multi-Stage Programming and Macros 11:00 - 11:30		GPCE Anomaly Analyses for Feature-Model Evolution 11:30 - 12:00									GPCE Exploring feature interactions without specifications: a controlled exp ... 13:30 - 14:00				GPCE Generating Qualifiers and Hierarchical Object Graphs Based on Developer ... 14:00 - 14:30				GPCE Implementing a semi-causal domain-specific language for context detecti ... 14:30 - 15:00						GPCE Meta-programming for cross-domain tensor optimizations 15:30 - 16:00		GPCE Model-based Security Analysis of Feature-oriented Software Product Lines 16:00 - 16:30			GPCE Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack ... 16:30 - 17:00
White Hill																										SPLASH -I Mechanized Proofs of System Correctness in Production: Cryptography and ... 13:30 - 14:30														SPLASH -I Software is eating the world, but ML is going to eat software 15:30 - 16:30					SPLASH -I Scaling Slack Engineering 16:30 - 17:30							SPLASH -I Reliable Deployment at Uber Scale 17:30 - 18:30
Whittier																										SPLASH -I Time-Travel Debugging and Actionable Diagnostics Insights 13:30 - 14:30														SPLASH -I Oh, the compilers you will build! 15:30 - 16:30					SPLASH -I Composable References and the Yoneda Lemma 16:30 - 17:30							SPLASH -I Establishing a culture of code review 17:30 - 18:30

Tue 6 Nov 2018


Room	8:00	15	30	45	9:00	15	30	45	10:00	15	30	45	11:00	15	30	45	12:00	15	30	45	13:00	15	30	45	14:00	15	30	45	15:00	15	30	45	16:00	15		30		45	17:00	15	30	45	18:00	15	30	45
Back Bay			HILT SIGAda Awards 08:30 - 09:00		HILTKeynote DARPA CASE program, motivation and challenges 09:00 - 10:00						HILT SpeAR – Using a formal specification language for safety and security 10:30 - 11:15			HILT Architecture-level Security concerns in a safety-critical system 11:15 - 12:00									HILT Permission Systems on Android and Beyond 13:30 - 14:15			HILT Hardware and Infrastructure support for Cyber Resilience 14:15 - 15:00					HILT Security Tools Showcase 15:30 - 16:30					HILT Workshop Wrapup 16:30 - 17:00
Beacon Hill			LIVEKeynote Against The Current: What We Learned From Eve 08:30 - 09:30				LIVE From Debugging Towards Live Tuning of Reactive Applications 09:30 - 10:00				LIVE Margin Notes: Automatic code documentation with recorded examples from ... 10:30 - 11:00		LIVE PANE: Programming with visible data 11:00 - 11:30		LIVE Realtime Annotations & Visualizations in Live Coding Environments 11:30 - 12:00								LIVE Espalier: a structured spreadsheet tool for end-user development of org ... 13:30 - 14:00		LIVE Hazel: Live and Direct Functional Programming with Holes 14:00 - 14:30		LIVE REPLugger: a pleasant and scalable live coding editor 14:30 - 15:00				LIVE Scaling the REPL Experience 15:30 - 16:00		LIVE SVG Programming by Direct Manipulation of Intermediates 16:00 - 16:30			LIVE Chalktalk : A Visualization and Communication Language -- As a Tool in ... 16:30 - 17:00
Franklin			AI-SEPSKeynote Deep Learning at Scale 08:30 - 10:00								AI-SEPS PIRA: Performance Instrumentation Refinement Automation 10:30 - 11:15			AI-SEPS PyGA: A Python to FPGA compiler prototype 11:15 - 12:00
Studio 1			SLEKeynote A New Approach for Software Correctness and Reliability 08:30 - 10:00								SLE Constraint-based Run-time State Migration for Live Modeling 10:30 - 11:00		SLE The Next 700 Unit Checkers 11:00 - 11:30		SLE A Practical Type System for Safe Aliasing 11:30 - 12:00								SLE Facet-Oriented Modelling: Open Objects for Model-Driven Engineering 13:30 - 14:00		SLE Analysing Meta-Model Product Lines 14:00 - 14:30		SLE Translating Grammars to Accurate Metamodels 14:30 - 15:00				SLE Deriving Fluent Internal Domain-Specific Languages from Grammars 15:30 - 16:00		SLETool Demo Fostering Metamodels and Grammars Within a Dedicated Environment for HP ... 16:00 - 16:20		SLETool Demo Migrating Custom DSL Implementations to a Language Workbench: An Indust ... 16:20 - 16:40		SLETool Demo Bacatá: A Language Parametric Notebook Generator (Tool Demo) 16:40 - 17:00		SLEVision / New Idea Shape-Diverse DSLs: Languages without Borders 17:00 - 17:20
Studio 2											GPCE Measuring Effectiveness of Sample-based Product-Line Testing 10:30 - 11:00		GPCE Pattern Matching in an Open World 11:00 - 11:30		GPCE Verification of High-Level Transformations with Inductive Refinement Types 11:30 - 12:00								GPCE Explaining Spreadsheets with Spreadsheets 13:30 - 14:15			GPCE Short paper: Funcons for HGMP - The Fundamental Constructs of Homogeneo ... 14:15 - 15:00					GPCE RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time C ... 15:30 - 16:00		GPCE Rash: From Reckless Interactions to Reliable Programs 16:00 - 16:30			GPCE Regenerate: Generation of test cases for regular expression engines 16:30 - 17:00
The Loft											DLS The Behavior of Gradual Types: A User Study 10:30 - 11:00

SPLASH 2018 Program

Sun 4 Nov

Mon 5 Nov

Tue 6 Nov

Wed 7 Nov

Thu 8 Nov

Fri 9 Nov

Sun 4 Nov 2018

BLOCKS+

BLOCKS+

BLOCKS+

BLOCKS+

SLEBoK

SLEBoK

SLEBoK

SLEBoK

GRACE

GRACE

GRACE

GRACE

REBLS

REBLS

REBLS

REBLS

VMIL

VMIL

VMIL

VMIL

Mon 5 Nov 2018

HILT

HILT

HILT

HILT

PLATEAU

PLATEAU

PLATEAU

PLATEAU

SPLASH Keynotes

SPLASH -E

SPLASH -E

SPLASH -E

NOOL

NOOL

NOOL

NOOL

TURBO'18

TURBO'18

TURBO'18

TURBO'18

META'18

META'18

META'18

META'18

AGERE

AGERE

AGERE

AGERE

SLE

SLE

SLE

SLE

GPCE

GPCE

GPCE

GPCE

SPLASH -I

SPLASH -I

SPLASH -I

SPLASH -I

SPLASH -I

SPLASH -I

SPLASH -I

SPLASH -I

Tue 6 Nov 2018

HILT

HILT

HILT

HILT

LIVE

LIVE