SPLASH 2017 (series) /
SPLASH 2017 Program
Filter Program
Conference Dates
Conference Dates are in time zone (GMT-07:00) Tijuana, Baja California, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Conference DaySun 22 OctDisplayed time zone: Tijuana, Baja California change
Conference Day
Sun 22 OctDisplayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:45 15mDay opening | Welcome Parsing@SLE Eric Van WykUniversity of Minnesota, USA, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven | ||
09:00 30mTalk | Block Level Parallelism in Parsing Block Structured Languages Parsing@SLE Abhinav JangdaUniversity of Massachusetts, Amherst | ||
09:30 30mTalk | Parsing techniques for graph analysis Parsing@SLE | ||
08:30 - 10:00 | |||
08:30 90mTalk | [Keynote] Shaping the Programming Experiences of Students: Reflections on a Course on Game Design for Problem Solving PX/17.2 Link to publication | ||
08:30 - 10:00 | Session 1DSLDI at Regency A Chair(s): Lindsey KuperIntel Labs, Eric WalkingshawOregon State University | ||
09:00 10mDay opening | Welcome DSLDI | ||
09:10 50mTalk | Gradual Typing: Foundations for Mixing Static and Dynamic (Keynote Talk) DSLDI File Attached | ||
08:30 - 10:00 | |||
08:50 10mDay opening | Welcome META Stefan MarrUniversity of Kent | ||
09:00 30mTalk | Markedly: a cartographic approach for mapping eDSL implementation costs META File Attached | ||
09:30 30mTalk | Less Testing Ink META Yossi GilTechnion—Israel Institute of Technology | ||
08:30 - 10:00 | |||
08:45 15mDay opening | Opening - Day 1 Scala | ||
09:00 60mTalk | Spark and Scala Scala | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
10:30 - 12:00 | Session 2Parsing@SLE at Oxford Chair(s): Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven | ||
10:30 30mTalk | A Modular SGLR Parsing Architecture for Systematic Performance Optimization Parsing@SLE Jasper DenkersTU Delft, Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Michael SteindorferDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology | ||
11:00 30mTalk | System Test Failures Diagnosis Using Grammars Generated by Mining Event Logs Parsing@SLE | ||
11:30 30mTalk | Parsing extensible type qualifiers in ableC Parsing@SLE | ||
10:30 - 12:00 | |||
10:30 45mTalk | Designing a Live Development Experience for Web Components PX/17.2 Jens LinckeHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Potsdam, Patrick ReinHasso Plattner Institute, Robert HirschfeldHPI, Marcel TaeumelHasso Plattner Institute, Tim FelgentreffHasso-Plattner-Institute, Potsdam Pre-print | ||
11:15 45mTalk | Incremental Coverage of Legacy Software Languages PX/17.2 Vadim ZaytsevRaincode Labs, Belgium Pre-print | ||
10:30 - 12:00 | |||
10:30 22mTalk | Substance and Style: domain-specific languages for mathematical diagrams DSLDI Wode NiColumbia University, Katherine Ye, Joshua SunshineCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Keenan CraneCarnegie Mellon University File Attached | ||
10:52 22mTalk | Debugging Domain-Specific Languages Defined with Macros DSLDI File Attached | ||
11:15 22mTalk | DSL Design for Reinforcement Learning Agents DSLDI Christopher SimpkinsGeorgia Institute of Technology, Spencer RugaberGeorgia Institute of Technology, Charles Isbell, Jr.Georgia Institute of Technology File Attached | ||
11:37 22mTalk | Tangent: automatic differentiation using source code transformation in Python DSLDI File Attached | ||
10:30 - 12:00 | |||
10:30 60mTalk | Hop.js: JavaScript Multitier Programming ⭐️ META Manuel SerranoInria, France | ||
11:30 30mTalk | Toward Abstract Interpretation of Program Transformations META DOI | ||
10:30 - 12:00 | |||
10:30 30mTalk | Towards Algorithmic Typing for DOT (Short Paper) Scala Abel NietoUniversity of Waterloo DOI Pre-print File Attached | ||
11:00 30mTalk | The Limitations of Type Classes as Subtyped Implicits (Short Paper) Scala Adelbert ChangUnaffiliated DOI Pre-print | ||
11:30 30mTalk | Rust-Like Borrowing with 2nd-Class Values (Short Paper) Scala DOI Media Attached | ||
10:30 - 12:00 | |||
10:30 30mDay opening | Welcome to FOSD 2017 FOSD | ||
11:00 60mTalk | FOSD Keynote: Managing Features in Cloned Variants FOSD | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
14:00 30mTalk | Declarative Disambiguation with Contextual Scoping Parsing@SLE Michael SteindorferDelft University of Technology, Netherlands, Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands | ||
14:30 30mTalk | Parsing @ IDE Parsing@SLE Vadim ZaytsevRaincode Labs, Belgium | ||
13:30 - 15:00 | |||
13:30 45mTalk | Kanto: A multi-participant screen-sharing system for Etoys, Snap! and GP PX/17.2 Yoshiki OhshimaHARC / Y Combinator Research, Bert Freudenberg, Dan AmelangViewpoints Research Institute Pre-print | ||
14:15 45mTalk | Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools PX/17.2 Patrick ReinHasso Plattner Institute, Jens LinckeHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Potsdam, Toni MattisHasso Plattner Institute, Robert HirschfeldHPI Pre-print | ||
13:30 - 15:00 | |||
13:30 22mTalk | MkMod: A Domain Specific Language for developing Linux Kernel Modules DSLDI Manasij MukherjeeChennai Mathematical Institute File Attached | ||
13:52 22mTalk | Bacatá: a generic notebook generator for DSLs DSLDI Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven, Tijs van der StormCentrum Wiskunde & Informatica / University of Groningen File Attached | ||
14:15 22mTalk | Thapl—A Theatrical DSL DSLDI Yossi GilTechnion—Israel Institute of Technology, David H. LorenzTechnion—Israel Institute of Technology, Matan I. PeledTechnion—Israel Institute of Technology File Attached | ||
14:37 22mTalk | Towards Naturalistic EDSLs using Algebraic Effects DSLDI Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany Link to publication Pre-print Media Attached File Attached | ||
13:30 - 15:00 | |||
13:30 30mTalk | Reactive Reflection in an FRP Language for Small-Scale Embedded Systems META Takuo WatanabeTokyo Institute of Technology File Attached | ||
14:00 30mTalk | Metaphysics: Towards a Robust Framework for Remotely Working with Potentially Broken Objects and Runtimes META File Attached | ||
14:30 30mTalk | An Annotation-based API for Supporting Runtime Code Annotation Reading META Phyllipe LimaINPE - National Institute for Space Research, Eduardo GuerraINPE - National Institute for Space Research, Marco NardesINPE - National Institute for Space Research, Andrea MocciUniversita della Svizzera italiana (USI), Gabriele BavotaUniversità della Svizzera italiana (USI), Michele LanzaUniversità della Svizzera italiana (USI) DOI | ||
13:30 - 15:00 | |||
13:30 30mTalk | A Scala Framework for Supercompilation Scala DOI | ||
14:00 30mTalk | Making Collection Operations Optimal with Aggressive JIT Compilation Scala Aleksandar ProkopecOracle Labs, David LeopoldsederJohannes Kepler University Linz, Gilles DuboscqOracle Labs, Thomas WuerthingerOracle Labs DOI | ||
14:30 30mTalk | ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper) Scala DOI | ||
13:30 - 15:00 | |||
13:30 30mTalk | Towards Complete Consistency Checks of Clafer Models FOSD | ||
14:00 30mTalk | Automated Recommendations for Reducing Unnecessary Variability of Technology Architectures FOSD Kenny WehlingVolkswagen AG, David WilleTU Braunschweig, Germany, Christoph SeidlTechnische Universität Braunschweig, Ina SchaeferTechnische Universität Braunschweig | ||
14:30 30mTalk | Variational Lists: Comparisons and Design Guidelines FOSD | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break Catering | ||
15:30 - 17:00 | Practical Guide to ParsingParsing@SLE at Oxford Chair(s): Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven | ||
15:30 90mOther | Discussion of SLEBoK Practical Guide to Parsing Parsing@SLE Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven | ||
15:30 - 17:00 | |||
15:30 45mTalk | The Entangled Strands of Time in Software Development PX/17.2 Matthias HauswirthUniversità della Svizzera italiana (USI), Mohammad Reza AzadmaneshUniversity of Lugano Pre-print | ||
16:15 45mTalk | Towards Concept-aware Programming Environments for Guiding Software Modularity PX/17.2 Toni MattisHasso Plattner Institute, Patrick ReinHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Potsdam, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI Pre-print | ||
15:30 - 17:00 | |||
15:30 22mTalk | Property Law as a Programming Language DSLDI Shrutarshi BasuCornell University, James GrimmelmannCornell Law School, Nate FosterCornell University File Attached | ||
15:52 22mTalk | Embedding By Normalisation DSLDI Shayan NajdUniversity of Edinburgh File Attached | ||
16:15 22mTalk | Reliable composition of domain-specific language features DSLDI File Attached | ||
16:37 22mDay closing | Discussion and closing remarks DSLDI | ||
15:30 - 17:00 | |||
15:30 60mTalk | Collapsing Towers of Interpreters ⭐️ META Nada AminUniversity of Cambridge | ||
16:30 30mDay closing | Discussion and Closing META | ||
15:30 - 17:00 | |||
15:30 22mTalk | Genomic Data Analysis in Scala (Open-Source Talk) Scala Media Attached | ||
15:52 22mTalk | Flare: A Brief Look into Optimizing UDFs in Spark (Student Talk) Scala A: James Decker Media Attached | ||
16:15 22mTalk | Delimited Control in Scala (Student Talk) Scala A: Nils Jonsson | ||
16:37 22mTalk | Design of Library Interfaces (Student Talk) Scala A: Nils Jonsson | ||
15:30 - 17:00 | |||
15:30 30mTalk | Feature Oriented Programming in Groovy FOSD | ||
16:00 30mTalk | Towards a Development Process for Maturing Delta-Oriented Software Product Lines FOSD Sven SchusterTU Braunschweig, Germany, Christoph SeidlTechnische Universität Braunschweig, Ina SchaeferTechnische Universität Braunschweig | ||
16:30 30mTalk | Lightning Talks FOSD Eric WalkingshawOregon State University | ||
Conference DayMon 23 OctDisplayed time zone: Tijuana, Baja California change
Conference Day
Mon 23 OctDisplayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:45 15mTalk | Welcome and opening SEPS | ||
09:00 60mTalk | SEPS Keynote: Taming Concurrent Programming with Domain-Specific Languages SEPS Media Attached | ||
08:30 - 10:00 | WODAWODA at Cavendish Chair(s): Jeff HuangTexas A&M University, Ben LivshitsImperial College London, UK | ||
08:30 45mTalk | Forget the Garbagemen, We Need a Plumber WODA Emery D. BergerUniversity of Massachusetts, Amherst | ||
09:15 45mTalk | Pushing Predictive Data Race Detection to the Limit WODA Michael D. BondOhio State University | ||
08:30 - 10:00 | |||
08:30 30mTalk | Welcome and Overview of NJR NJR Crista LopesUniversity of California, Irvine, Jens PalsbergUniversity of California, Los Angeles (UCLA) | ||
09:00 20mTalk | Benchmarking for Program Analysis NJR Cristina CifuentesOracle Labs, Karim AliUniversity of Alberta, Yannis SmaragdakisUniversity of Athens File Attached | ||
09:20 20mTalk | Hundreds of Projects and Tens of Thousands of Builds: Evaluating Dynamic Testing and Analysis Tools in the Cloud NJR Jonathan BellGeorge Mason University File Attached | ||
09:40 20mTalk | XCorpus, An Executable Corpus of Java Programs NJR Jens DietrichMassey University File Attached | ||
08:30 - 10:00 | |||
08:30 30mDay opening | Welcome CoCoS | ||
09:00 60mTalk | Keynote: Program Comprehension - Who, How, What, and Why CoCoS Reid HolmesUniversity of British Columbia File Attached | ||
08:30 - 10:00 | Tools and TechniquesSPLASH-E at Kensington Chair(s): Joe Gibbs PolitzUniversity of California, San Diego | ||
08:30 30mTalk | (CER) Mastery Learning-Like Teaching with Achievements SPLASH-E File Attached | ||
09:00 30mTalk | (CSES) Assessing the Usability of a Novel System for Programming Education SPLASH-E Giovanni VincentiUniversity of Baltimore, Scott Hilberg, James Braman, Michael SatzingerUniversity of Baltimore, Lily CaoTowson University File Attached | ||
09:30 30mTalk | (CSES) Applied and Adaptive Curriculum in Introductory to Computer Science Courses for Success in Diverse Student Groups SPLASH-E Aybuke Gul TurkerUniversity of Wisconsin - Madison, Christine Corbett MoranCalifornia Institute of Technology File Attached | ||
08:30 - 10:00 | |||
08:30 90mTalk | Keynote: Don’t Hit Refresh: Towards Automatic Reactivity for Distributed Services REBLS Sebastian BurckhardtMicrosoft Research | ||
08:30 - 10:00 | |||
08:45 15mTalk | Welcome and Introduction AGERE | ||
09:00 60mTalk | AGERE! Keynote: Advanced Features of the Orleans Programming FrameworkKeynote AGERE Philip A. BernsteinMicrosoft Research File Attached | ||
08:30 - 10:00 | |||
08:30 15mDay opening | Opening GPCE | ||
08:45 75mTalk | Keynote: The Landscape of Refactoring Research in the Last DecadeKeynote GPCE | ||
08:30 - 10:00 | |||
08:30 15mDay opening | Opening SLE Benoit CombemaleUniversity of Rennes 1, Marjan MernikUniversity of Maribor, Bernhard RumpeRWTH Aachen University, Germany Media Attached | ||
08:45 75mTalk | GPCE Keynote: The Landscape of Refactoring Research in the Last Decade, Danny DigKeynote SLE Danny DigSchool of EECS at Oregon State University | ||
08:30 - 10:00 | |||
08:45 15mDay opening | Opening - Day 2 Scala | ||
09:00 60mTalk | The Hack Programming Language Scala | ||
08:30 - 10:00 | |||
08:30 30mDay opening | Welcome and Introduction PLATEAU | ||
09:00 60mTalk | PLATEAU Keynote: Usability Design Space in Programming by Examples PLATEAU Sumit GulwaniMicrosoft Research | ||
08:30 - 10:00 | |||
08:45 15mDay opening | Welcome NOOL | ||
09:00 30mTalk | Objectifying a Metaprogramming Language NOOL Vadim ZaytsevRaincode Labs, Belgium | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
10:30 - 12:00 | Session2: Software performance engineeringSEPS at Brighton Chair(s): Pablo de Oliveira CastroUniversity of Versailles, France | ||
10:30 30mTalk | MALT, A Malloc Tracker SEPS Sébastien ValatCERN, Andres S. Charif-RubialUniversité de Versailles Saint-Quentin, William JalbyUniversité de Versalles | ||
11:00 30mTalk | Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software SEPS Philip C. RothOak Ridge National Laboratory, Hongzhang ShanLawrence Berkeley National Laboratory, David RiegnerThe Ohio State University, Nikolas AntolinThe Ohio State University, Sarat SreepathiOak Ridge National Laboratory, Leonid OlikerLawrence Berkeley National Laboratory, Samuel WilliamsLawrence Berkeley National Laboratory, Shirley MooreOak Ridge National Laboratory, Wolfgang WindlThe Ohio State University | ||
11:30 30mTalk | The Influence of HPCToolkit and Score-P on Hardware Performance Counters SEPS Jan-Patrick LehrGraduate School of Computational Engineering, TU Darmstadt, Christian IwainskyCompetence Center for High-Performance Computing in Hessian, TU Darmstadt, Christian BischofScientific Computing, TU Darmstadt | ||
10:30 - 12:00 | WODAWODA at Cavendish Chair(s): Jeff HuangTexas A&M University, Ben LivshitsImperial College London, UK | ||
10:30 45mTalk | Strong Memory Models: 5 Simple Tricks to Beat SC WODA Milind KulkarniPurdue University | ||
11:15 20mTalk | Constructing Dynamic Control Flow Graphs from Execution Traces WODA | ||
11:35 20mTalk | Dynamic Verification of Inter-parameter Constraints in Web Applications WODA Nathalie Oostvogels, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel | ||
10:30 - 12:00 | |||
10:30 20mTalk | Graph Systems for Statically Analyzing Hundreds of Projects at the Same Time NJR Harry XuUniversity of California, Irvine File Attached | ||
10:50 20mTalk | Automated Benchmark Management NJR Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Ben HermannUniversity of Paderborn File Attached | ||
11:10 20mTalk | Tool Support for Energy-Aware Programming NJR Yu David LiuState University of New York (SUNY) Binghamton File Attached | ||
11:30 20mTalk | Discovering Empirical and Theoretical Analysis Properties from Lots of Real Executions NJR Michael D. BondOhio State University | ||
11:50 20mTalk | The Need for a JavaScript Benchmark for Program Analysis NJR File Attached | ||
10:30 - 12:00 | |||
10:30 30mTalk | Megamodelling with NGA Multimodels CoCoS Vadim ZaytsevRaincode Labs, Belgium | ||
11:00 30mTalk | Jatte: A Tunable Tree Editor for Integrated DSLs CoCoS | ||
11:30 30mTalk | Discussion CoCoS | ||
10:30 - 12:00 | |||
10:30 30mTalk | (CER) Early Experience with Grace SPLASH-E File Attached | ||
11:00 30mTalk | (CER) Making the Liskov Substitution Principle Happy and Sad SPLASH-E Elisa BaniassadUniversity of British Columbia File Attached | ||
11:30 30mTalk | (CSES) Student Understanding of Aliasing and Procedure Calls SPLASH-E Preston Tunnell WilsonBrown University, Kathi FislerBrown University, Shriram KrishnamurthiBrown University, USA File Attached | ||
10:30 - 12:00 | |||
10:30 30mTalk | Handling Partial Failures in Distributed Reactive Programming REBLS Florian MyterVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium, Wolfgang De MeuterVrije Universiteit Brussel Link to publication | ||
11:00 30mTalk | A DSL for Compensable and Interruptible Executions REBLS Hiroaki InoueGraduate School of Informatics, Kyoto University, Tomoyuki AotaniTokyo Institute of Technology, Atsushi IgarashiKyoto University, Japan | ||
11:30 30mTalk | First-class Reactive Programs for CPS REBLS Christophe De Troyer, Jens NicolayVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel Pre-print | ||
10:30 - 12:00 | Session 1: Verification and Language ModelsAGERE at Prince of Wales Chair(s): Joeri De KosterVrije Universiteit Brussel, Belgium | ||
10:30 30mTalk | Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors AGERE Humberto Rodriguez AvilaVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel File Attached | ||
11:00 30mTalk | Tree Topologies for Causal Message Delivery AGERE Sebastian BlessingImperial College London, Sylvan ClebschImperial College London, Sophia Drossopoulou | ||
11:30 30mTalk | Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency AGERE File Attached | ||
10:30 - 12:00 | |||
10:30 25mTalk | Refining Semantics for Multi-stage Programming GPCE DOI Authorizer link | ||
10:55 25mTalk | Staging for Generic Programming in Space and Time GPCE DOI Authorizer link | ||
11:20 25mTalk | Staging with Control: Type-Safe Multi-stage Programming with Control Operators GPCE DOI Authorizer link | ||
11:45 15mTalk | Code Staging in GNU GuixShort paper GPCE Ludovic CourtèsInria, France DOI Authorizer link | ||
10:30 - 12:00 | |||
10:30 25mTalk | Type-Safe Modular Parsing SLE DOI | ||
10:55 25mTalk | Incremental Packrat Parsing SLE DOI | ||
11:20 25mTalk | A Symbol-Based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing SLE Kimio KuramitsuYokohama National University, Japan DOI | ||
11:45 15mTalk | Red Shift: Procedural Shift-Reduce ParsingVision Paper SLE Nicolas LaurentUniversité Catholique de Louvain, Belgium DOI | ||
10:30 - 12:00 | |||
10:30 30mTalk | Typesafe Abstractions for Tensor Operations (Short Paper) Scala DOI Pre-print Media Attached | ||
11:00 30mTalk | Interactive Development using the Dotty Compiler (Tool Paper) Scala Guillaume MartresEPFL, Switzerland DOI Pre-print Media Attached | ||
11:30 30mTalk | Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper) Scala DOI File Attached | ||
10:30 - 12:00 | |||
10:30 20mTalk | The Uses of Interactive Explorers for Web APIs PLATEAU Pre-print | ||
10:50 20mTalk | One λ at a time: What do we know about presenting human-friendly output from program analysis tools? PLATEAU Pre-print | ||
11:10 20mTalk | What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment PLATEAU Niklas HollmannUniversity of Duisburg-Essen, Germany, Thorben RoßenbeckUniversity of Duisburg-Essen, Germany, Mark KunzeUniversity of Duisburg-Essen, Germany, Liron TürkUniversity of Duisburg-Essen, Germany, Stefan HanenbergUniversity of Duisburg-Essen Pre-print | ||
11:30 20mTalk | Development of a Web Platform for Code Peer-Testing PLATEAU Pre-print | ||
10:30 - 12:00 | |||
10:30 75mTalk | Panel Discussion: Security in OO languages NOOL P: Cristina CifuentesOracle Labs, Mark MillerGoogle Inc., Jonathan AldrichCarnegie Mellon University, Yannis SmaragdakisUniversity of Athens | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 30mTalk | Transactional Actors: Communication in Transactions SEPS Janwillem SwalensVrije Universiteit Brussel, Belgium, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel Link to publication DOI Pre-print | ||
14:00 20mTalk | [Position paper] How to Test your Concurrent Software: An Approach for the Selection of Testing Techniques SEPS Silvana Morita MeloICMC/USP, Simone do Rocio Senger de SouzaICMC/USP, Jeff CarverUniversity of Alabama, Paulo Sergio Lopes de SouzaICMC/USP | ||
14:20 20mTalk | [Position paper] Declaring Lua Data Types for GPU Code Generation SEPS Paulo MottaMotta & SantAnna Pesquisa e Desenvolvimento | ||
14:40 20mTalk | [Position paper] Facilitating Collaboration in High Performance Computing Projects with an Interaction Room SEPS Matthias BookUniversity of Iceland, Morris RiedelJülich Supercomputing Centre, Helmut NeukirchenUniversity of Iceland, Markus GötzJülich Supercomputing Centre | ||
13:30 - 15:00 | WODAWODA at Cavendish Chair(s): Ben LivshitsImperial College London, UK, Jeff HuangTexas A&M University | ||
13:30 45mTalk | Finding Bugs and Insights in Semi-structured Data WODA Benjamin ZornMicrosoft Research | ||
14:15 45mTalk | Calling-to-Reference Context Translation via Constraint-Guided Context-Free-Language Reachability WODA Harry XuUniversity of California, Irvine | ||
13:30 - 15:00 | |||
13:30 90mOther | NJR discussion; Needs, Requirements, Wishes NJR Crista LopesUniversity of California, Irvine, Jens PalsbergUniversity of California, Los Angeles (UCLA) | ||
13:30 - 15:00 | |||
13:30 30mTalk | Survey of Approaches for Assessing Software Energy Consumption CoCoS | ||
14:00 30mTalk | How Did the Failure Come to Be? CoCoS | ||
14:30 30mTalk | Discussion CoCoS | ||
13:30 - 15:00 | |||
13:30 30mTalk | (CSES) Open-Source Sofware in Class: Students’ Common Mistakes SPLASH-E Zhewei HuNorth Carolina State University, Yang SongUniversity of North Carolina Wilmington, Edward GehringerNorth Carolina State University File Attached | ||
14:00 30mTalk | (CSES) Peer Review in Cybersecurity Education SPLASH-E File Attached | ||
14:30 30mTalk | (CER) 10+ Years of Teaching Software Engineering with iTrust: the Good, the Bad, and the Ugly SPLASH-E File Attached | ||
13:30 - 15:00 | |||
13:30 30mTalk | FRP IoT Modules as a Scala DSL REBLS Ben Calusimec - DistriNet, KU Leuven, Bob Reyndersimec-DistriNet, KU Leuven, Belgium, Dominique DevrieseKU Leuven, Job NoormanKU Leuven, Frank PiessensKU Leuven | ||
14:00 30mTalk | Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model REBLS Sam Van den Vonder, Joeri De KosterVrije Universiteit Brussel, Belgium, Florian MyterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel DOI Pre-print | ||
14:30 30mTalk | Verifiable Reactive Software REBLS | ||
13:30 - 15:00 | Session 2: Runtime Environments and DebuggingAGERE at Prince of Wales Chair(s): Joeri De KosterVrije Universiteit Brussel, Belgium | ||
13:30 30mTalk | Locality-Guided Scheduling in CAF AGERE File Attached | ||
14:00 30mTalk | A Principled Approach Towards Debugging Communicating Event-Loops AGERE Carmen Torres Lopez, Stefan MarrUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Hanspeter MössenböckJKU Linz, Austria, Christophe ScholliersUniversiteit Gent, Belgium | ||
14:30 30mTalk | Actoverse: A Reversible Debugger for Actors AGERE Link to publication DOI | ||
13:30 - 15:00 | |||
13:30 25mTalk | A Classification of Variation Control Systems GPCE Lukas LinsbauerJohannes Kepler University Linz, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Paul GrünbacherJKU Linz, Austria DOI Authorizer link | ||
13:55 25mTalk | Analyzing the Impact of Natural Language Processing over Feature Location in Models GPCE Raúl LapeñaSan Jorge University, Spain, Jaime FontSan Jorge University, Spain, Oscar PastorUniversitat Politècnica de València, Spain, Carlos CetinaSan Jorge University, Spain DOI Authorizer link | ||
14:20 25mTalk | How Preprocessor Annotations (Do Not) Affect Maintainability: A Case Study on Change-PronenessBest Paper GPCE Wolfram FenskeUniversity of Magdeburg, Germany, Sandro SchulzeUniversity of Magdeburg, Germany, Gunter SaakeUniversity of Magdeburg, Germany DOI Authorizer link | ||
13:30 - 15:00 | |||
13:30 23mTalk | Towards a Taxonomy of Grammar Smells SLE DOI | ||
13:53 22mTalk | Deep Priority Conflicts in the Wild: A Pilot Study SLE Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Michael J. SteindorferDelft University of Technology, Eelco VisserDelft University of Technology DOI | ||
14:16 22mTalk | Virtual Textual Model Composition for Supporting Versioning and Aspect-Orientation SLE Robert BillVienna University of Technology, Patrick NeubauerUniversity of York, UK, Manuel WimmerTU Wien DOI | ||
14:38 22mTalk | Robust Projectional Editing SLE DOI | ||
13:30 - 15:00 | |||
13:30 30mTalk | Squid: Type-Safe, Hygienic, and Reusable Quasiquotes Scala DOI Media Attached | ||
14:00 30mTalk | Effekt: Extensible Algebraic Effects in Scala (Short Paper) Scala Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Philipp SchusterUniversity of Tübingen DOI Pre-print Media Attached File Attached | ||
13:30 - 15:00 | Language, DSL, and Feature DesignPLATEAU at Regency D Chair(s): Joshua SunshineCarnegie Mellon University | ||
13:30 20mTalk | A User Study to Inform the Design of the Obsidian Blockchain DSL PLATEAU Celeste BarnabyWesleyan University, Michael CoblenzCarnegie Mellon University, Tyler Etzel, Eliezer KanalCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University Pre-print | ||
13:50 15mTalk | Programming Robot Manipulators with Tangible Blocks PLATEAU Pre-print | ||
14:05 20mTalk | Preliminary Analysis of REST API Style Guidelines PLATEAU Lauren MurphyUniversity of Michigan, Tosin AlliyuHaverford College, Mary Beth KeryCarnegie Mellon University, Brad A. MyersCarnegie Mellon University Pre-print | ||
14:25 20mTalk | Sympathy for the Devil: Reified Collection of Runtime Errors PLATEAU Tommaso Dal SassoUniversità della Svizzera Italiana, Andrei Chişfeenk, Switzerland, Andrea MocciUniversita della Svizzera italiana (USI), Tudor GîrbaCompuGroup Medical Schweiz AG, Michele LanzaUniversità della Svizzera italiana (USI) Pre-print | ||
14:45 15mTalk | Preventing Babel: Rectifying the Trend of Programming Language Divergence PLATEAU Pre-print | ||
13:30 - 15:00 | |||
13:30 30mTalk | Integrating Debugging with Continuous Testing NOOL | ||
14:00 30mTalk | Algool – Object-Orientation with Algebraic Specification NOOL Anya Helene BaggeUniversity of Bergen | ||
14:30 30mTalk | Usably Expressing and Enforcing Design in Wyvern NOOL | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break Catering | ||
15:30 - 17:00 | |||
15:30 90mTalk | Panel discussions: "Open source software and tools for engineering parallel software" SEPS Yukinori SatoTokyo Institute of Technology, Pablo de Oliveira CastroUniversity of Versailles, France, Philipp HallerKTH Royal Institute of Technology | ||
15:30 - 17:00 | WODAWODA at Cavendish Chair(s): Jeff HuangTexas A&M University, Ben LivshitsImperial College London, UK | ||
15:30 30mTalk | Model Checking with Maximal Causality Reduction WODA Jeff HuangTexas A&M University | ||
16:00 30mTalk | Better Program Analysis Through Heap Profiling WODA | ||
16:30 30mTalk | Can Analysis be Too Precise? WODA Sam GuyerTufts University | ||
15:30 - 17:00 | |||
15:30 30mTalk | Lightning Talks CoCoS | ||
16:00 30mOther | Break-out groups CoCoS | ||
16:30 30mTalk | Wrap-Up CoCoS | ||
15:30 - 17:00 | |||
15:30 60mTalk | AGERE! Keynote: Actors for Big Data: Applications and Open ProblemsKeynote AGERE | ||
16:30 30mTalk | Discussion/Panel AGERE | ||
15:30 - 17:00 | |||
15:30 25mTalk | Type Qualifiers as Composable Language Extensions GPCE DOI Authorizer link | ||
15:55 25mTalk | Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM GPCE Andrea RosàUniversity of Lugano, Switzerland, Eduardo RosalesUniversity of Lugano, Switzerland, Walter BinderUniversity of Lugano, Switzerland DOI Authorizer link | ||
16:20 25mTalk | Rewriting for Sound and Complete Union, Intersection and Negation Types GPCE David J. PearceVictoria University of Wellington, New Zealand DOI Authorizer link | ||
15:30 - 17:00 | DSLsSLE at Regency B Chair(s): Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven | ||
15:30 25mTalk | Debugging with Domain-Specific Events via Macros SLE DOI | ||
15:55 25mTalk | A Chrestomathy of DSL implementations SLE Simon SchaussUniversity of Koblenz-Landau, Ralf LaemmelUniversity of Koblenz-Landau, Germany, Johannes HärtelUniversity of Koblenz-Landau, Germany, Marcel HeinzUniversity of Koblenz-Landau, Germany, Kevin KleinUniversity of Koblenz-Landau, Lukas HärtelUniversity of Koblenz-Landau, Germany, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden DOI | ||
16:20 25mTalk | A Requirements Engineering Approach for Usability-Driven DSL Development SLE Ankica BarisicNOVA-LINCS - Universidade Nova de Lisboa, Dominique BlouinLTCI Lab, Telecom ParisTech, Université Paris-Saclay, Vasco AmaralNOVA-LINCS, FCT/UNL, Miguel GoulaoNOVA-LINCS, FCT/UNL DOI | ||
16:45 25mTalk | Better Call the Crowd. Using Crowdsourcing to Shape the Notation of Domain-Specific Languages SLE Marco BrambillaPolitecnico di Milano, Jordi CabotICREA - UOC, Javier Luis Cánovas IzquierdoIN3 - UOC, Andrea MauriPolitecnico di Milano, Italy DOI | ||
15:30 - 17:00 | UnconferenceScala at Regency C Chair(s): Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany | ||
15:30 90mTalk | Unconference Scala | ||
15:30 - 17:00 | |||
15:30 30mTalk | Ivo functions forward and backward NOOL | ||
16:00 30mTalk | Towards Typing Julia NOOL | ||
16:30 30mDay closing | Closing thoughts & plans for next year NOOL | ||
17:30 - 19:30 | |||
17:30 2hSocial Event | Monday Workshop and Poster Reception Social Program Gail MurphyUniversity of British Columbia | ||
Conference DayTue 24 OctDisplayed time zone: Tijuana, Baja California change
Conference Day
Tue 24 OctDisplayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:30 30mTalk | Welcome OCAP | ||
09:00 60mTalk | Keynote by Norm Hardy OCAP | ||
08:30 - 10:00 | |||
08:30 5mDay opening | Welcome Doctoral Symposium | ||
08:35 15mTalk | Lightning Talks Doctoral Symposium | ||
08:50 30mTalk | Invited Talk: From PHD to PROF: blind luck or careful planning? Doctoral Symposium Jan VitekNortheastern University, USA | ||
09:20 40mTalk | How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System Doctoral Symposium Germán CeballosUppsala University | ||
08:30 - 10:00 | |||
08:00 10mDay opening | Welcome and Greeting PL Mentoring Workshop (PLMW) File Attached | ||
08:10 40mTalk | Research is a social process / What Programming Languages Researchers Do and How PL Mentoring Workshop (PLMW) Kathryn S McKinleyGoogle File Attached | ||
08:50 40mTalk | Why do a Ph.D. and how to pick an area? PL Mentoring Workshop (PLMW) Yannis SmaragdakisUniversity of Athens File Attached | ||
09:30 40mTalk | The Influence of Programming Languages on Augmenting Human Understanding PL Mentoring Workshop (PLMW) Benjamin ZornMicrosoft Research Media Attached File Attached | ||
08:30 - 10:00 | |||
08:30 15mAwards | Awards GPCE | ||
08:45 75mTalk | Keynote: Engineering Meta-Languages for Specifying Software LanguagesKeynote GPCE Peter D. MossesSwansea University | ||
08:30 - 10:00 | |||
08:30 15mDay opening | Awards SLE Marjan MernikUniversity of Maribor, Bernhard RumpeRWTH Aachen University, Germany, Laurence TrattKing's College London, Tanja MayerhoferTU Wien File Attached | ||
08:45 75mTalk | SLE Keynote: Engineering meta-languages for specifying software languagesKeynote SLE Peter D. MossesSwansea University DOI File Attached | ||
08:30 - 09:30 | |||
08:30 60mTalk | Invited talk: The JavaScriptCore Virtual Machine (joint with DLS 2017) VMIL Filip PizloApple | ||
08:30 - 10:00 | |||
08:30 60mTalk | Invited talk: The JavaScriptCore Virtual Machine (joint with VMIL 2017) DLS Filip PizloApple | ||
09:30 30mTalk | A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools DLS Stefan MarrUniversity of Kent, Carmen Torres Lopez, Dominik Aumayr, Elisa Gonzalez BoixVrije Universiteit Brussel, Hanspeter MössenböckJKU Linz, Austria DOI Pre-print | ||
08:30 - 10:00 | |||
08:30 50mTalk | Keynote: User Interfaces for Live Programming LIVE Jun KatoNational Institute of Advanced Industrial Science and Technology, Japan | ||
09:20 20mTalk | Reifying Programming LIVE Pre-print Media Attached | ||
09:40 20mTalk | Live Programming as Gradual Abstraction LIVE Sean McDirmidIndependent Pre-print Media Attached | ||
08:30 - 10:00 | Keynote (Venture Labs, 12th Floor, 555 Hastings)SAVR at Venture Labs Chair(s): Yvonne CoadyUniversity of Victoria | ||
08:30 30mSocial Event | Welcome and Hello! SAVR | ||
09:00 60mTalk | The Immersive Internet, Karan Singh, University of Toronto SAVR | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
10:30 - 12:00 | |||
10:30 30mTalk | CapNet: Security and Least Authority in a Capability-Enabled Cloud OCAP Anton BurtsevUniversity of California, Irvine, David JohnsonUniversity of Utah, Josh KunzUniversity of Utah, Eric EideUniversity of Utah, Jacobus Van der MerweUniversity of Utah | ||
11:00 30mTalk | Monte: A Spiritual Successor to E OCAP Corbin SimpsonMatador Cloud LLC | ||
11:30 30mTalk | Using Object Capabilities and Effects to Build an Authority-Safe Module System OCAP Darya MelicherCarnegie Mellon University, Yangqingwei ShiPeking University, Valerie ZhaoWellesley College, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University | ||
10:30 - 12:00 | |||
10:30 40mTalk | Genetic Improvement in Code Interpreters and Compilers Doctoral Symposium Oliver KraussUniversity of Applied Sciences Upper Austria | ||
11:10 40mTalk | Simulation-based Code Duplication for Enhancing Compiler Optimizations Doctoral Symposium David LeopoldsederJohannes Kepler University Linz | ||
10:30 - 12:00 | |||
10:30 40mTalk | What to do and who to ask? PL Mentoring Workshop (PLMW) Y. Annie LiuStony Brook University File Attached | ||
11:10 60mOther | Panel of new Ph.D.s PL Mentoring Workshop (PLMW) Michael HiltonCarnegie Mellon University, USA, Kathryn StoleeNorth Carolina State University, David DaraisUniversity of Maryland, USA, Annie T.T. YingEquitySim | ||
10:30 - 12:00 | |||
10:30 25mTalk | A Formalisation of Parameterised Reference Attribute Grammars SLE DOI | ||
10:55 25mTalk | Concurrent Circular Reference Attribute Grammars SLE DOI | ||
11:20 25mTalk | Ensuring Non-interference of Composable Language Extensions SLE DOI | ||
11:45 15mTalk | A Domain-Specific Controlled English Language for Automated Regulatory ComplianceIndustrial Paper SLE Suman RoychoudhuryTata Consultancy Services Research, Sagar SunkleTata Consultancy Services Research, Deepali KholkarTata Consultancy Services Research, Vinay KulkarniTata Consultancy Services Research DOI | ||
10:30 - 12:00 | |||
10:30 30mTalk | Dynamic Atomicity: Optimizing Swift memory management DLS | ||
11:00 30mTalk | Object equivalence: Revisiting Object Equality Profiling (An Experience Report) DLS | ||
11:30 30mTalk | Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An Experience Report DLS DOI | ||
10:30 - 12:00 | |||
10:30 50mTalk | Keynote: Becoming Alive, Growing Up LIVE | ||
11:20 20mTalk | Toward a Live Stepper for Typed Expressions with Holes LIVE Cyrus OmarCarnegie Mellon University, Ian VoyseyCarnegie Mellon University, Matthew HammerUniversity of Colorado, Boulder Pre-print | ||
11:40 20mTalk | Whatever You Say, Happens: Live Creation of VR/AR Experiences LIVE Mike JohnstonMoatboat Pre-print Media Attached | ||
10:30 - 12:00 | Building and Breaking (Venture Labs, 12th Floor, 555 Hastings)SAVR at Venture Labs Chair(s): Derek JacobyQvirt.com | ||
10:30 20mTalk | Online Debugger Support for Reactive Programming Using Virtual Reality SAVR | ||
10:50 20mTalk | Prototyping with Unity for AR & VR SAVR | ||
11:10 20mTalk | Immersive Analytics Tool For Creating Graphs and Models SAVR | ||
11:30 30mTalk | Panel Discussion I SAVR | ||
10:30 - 12:00 | |||
10:30 10mDay opening | Welcome to VMIL VMIL Adam WelcHuawei America Research Center | ||
10:40 40mTalk | Cross-ISA debugging in meta-circular VMs VMIL Christos KotselidisThe University of Manchester, Andrew NisbetThe University of Manchester, Foivos S. Zakkak, Nikos Foutris | ||
11:20 40mTalk | Accelerate JavaScript Applications by Cross-Compiling to WebAssembly VMIL | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 30mTalk | Capabilities and Effects OCAP Aaron CraigECS, VUW, Alex PotaninVictoria University of Wellington, Lindsay GrovesVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University Pre-print | ||
14:00 30mTalk | Reference Capabilities for Concurrency & Scalability: an Experience Report OCAP | ||
14:30 30mTalk | Unforgeable Distributed Capabilities OCAP | ||
13:30 - 15:00 | |||
13:30 30mTalk | Invited Talk: From PhD to Fossil: of choice and context, technical and personal Doctoral Symposium David UngarApple, Inc, | ||
14:00 40mTalk | Advanced Debugging Techniques to Identify Concurrency Bugs in Actor-based Programs Doctoral Symposium | ||
13:30 - 15:00 | |||
13:30 40mTalk | My 25 years in OO PL Mentoring Workshop (PLMW) Jan VitekNortheastern University, USA File Attached | ||
14:10 40mTalk | Choosing your mentor and learning to present your ideas clearly PL Mentoring Workshop (PLMW) Ana MilanovaRensselaer Polytechnic Institute File Attached | ||
13:30 - 15:00 | |||
13:30 25mTalk | Four Languages and Lots of Macros: Analyzing Autotools Build Systems GPCE Jafar M. Al-KofahiIowa State University, USA, Suresh KothariIowa State University, USA, Christian KaestnerCarnegie Mellon University, USA DOI Authorizer link | ||
13:55 25mTalk | Avoiding Useless Mutants GPCE Leonardo FernandesFederal University of Pernambuco, Brazil, Márcio RibeiroFederal University of Alagoas, Brazil, Luiz CarvalhoFederal University of Alagoas, Brazil, Rohit GheyiFederal University of Campina Grande, Brazil, Melina MongioviFederal University of Campina Grande, Brazil, Andre Santos, Ana CavalcantiUniversity of York, UK, Fabiano FerrariFederal University of São Carlos, Brazil, José Carlos MaldonadoUniversity of São Paulo, Brazil DOI Authorizer link | ||
14:20 25mTalk | Silverchain: A Fluent API Generator GPCE Tomoki NakamaruUniversity of Tokyo, Japan, Kazuhiro IchikawaUniversity of Tokyo, Japan, Tetsuro YamazakiUniversity of Tokyo, Japan, Shigeru ChibaUniversity of Tokyo, Japan DOI Authorizer link | ||
14:45 15mTalk | Parser Generation by Example for Legacy Pattern LanguagesShort paper GPCE Vadim ZaytsevRaincode Labs, Belgium DOI Authorizer link | ||
13:30 - 15:00 | |||
13:30 23mTalk | Concrete Syntax: A Multi-paradigm Modelling Approach SLE Yentl Van TendelooUniversity of Antwerp, Simon Van MierloUniversity of Antwerp, Bart MeyersUniversity of Antwerp, Belgium, Hans VangheluweUniversity of Antwerp and McGill University DOI | ||
13:53 23mTalk | Structural Model Subtyping with OCL Constraints SLE Artur BoronatUniversity of Leicester DOI | ||
14:16 22mTalk | Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools SLE DOI | ||
14:38 22mTalk | Tool Demonstration: A development environment for the Alf language within the MagicDraw UML toolTool Demo SLE Ed SeidewitznMeta LLC DOI | ||
13:30 - 15:00 | |||
13:30 60mTalk | Invited talk: Challenges and Progress Toward Efficient Gradual Typing DLS Jeremy G. SiekIndiana University, USA File Attached | ||
14:30 30mTalk | Semantics of Asynchronous JavaScript DLS | ||
13:30 - 15:00 | |||
13:30 50mOther | Lightning Talks LIVE Sean McDirmidIndependent | ||
14:20 20mTalk | Shadama: A Particle Simulation Programming Environment for Everyone LIVE Yoshiki OhshimaHARC / Y Combinator Research, Bert Freudenberg, Dan AmelangViewpoints Research Institute Pre-print Media Attached | ||
14:40 20mTalk | Seymour: Live Programming for the Classroom LIVE Pre-print | ||
13:30 - 15:00 | Sensing and Sharing (Venture Labs, 12th Floor, 555 Hastings)SAVR at Venture Labs Chair(s): Craig AnslowVictoria University of Wellington | ||
13:30 20mTalk | Detecting Spatial Orientation Demands during Virtual Navigation using EEG Brain Sensing SAVR | ||
13:50 20mTalk | I Am Afraid: Voice Performance in Virtual Reality SAVR | ||
14:10 20mTalk | Rich collaboration systems: Improving online collaboration with multi-modal interactions SAVR | ||
14:30 30mTalk | Panel Discussion II SAVR | ||
13:30 - 15:00 | |||
13:30 60mTalk | Keynote: How Should We Train the Next Generation of VM Engineers? VMIL Mario WolczkoOracle Labs | ||
14:30 40mTalk | Fusing Method Handle Graphs for Efficient Dynamic JVM Language Implementations VMIL | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break Catering | ||
15:30 - 17:00 | |||
15:30 30mTalk | Specifying Attenuation OCAP | ||
16:00 60mTalk | Panel/Discussion OCAP | ||
15:30 - 17:00 | |||
15:30 40mTalk | What merge tool should I use? Doctoral Symposium Guilherme CavalcantiFederal University of Pernambuco, Brazil | ||
16:10 40mTalk | Combining Visual and Textual Languages for Dyslexia Doctoral Symposium Luis Fernando González AlvaránPolitécnico Colombiano Jaime Isaza Cadavid | ||
16:50 10mDay closing | Closing remarks Doctoral Symposium | ||
15:30 - 17:00 | |||
15:20 40mTalk | Navigating the process of doing a rewarding Ph.D. PL Mentoring Workshop (PLMW) Mayur NaikUniversity of Pennsylvania File Attached | ||
16:00 60mOther | Panel: Industry & Academia PL Mentoring Workshop (PLMW) Kathryn S McKinleyGoogle, Julia RubinUniversity of British Columbia, Benjamin ZornMicrosoft Research, Mayur NaikUniversity of Pennsylvania | ||
17:00 15mDay closing | Wrap Up PL Mentoring Workshop (PLMW) File Attached | ||
17:15 75mSocial Event | Post-Workshop Reception PL Mentoring Workshop (PLMW) | ||
15:30 - 17:00 | |||
15:30 25mTalk | A Haskell Compiler for Signal Transforms GPCE DOI Authorizer link | ||
15:55 25mTalk | Automatic Generation of Virtual Learning Spaces Driven by CaVa<sup>DSL</sup>: An Experience Report GPCE Ricardo Giuliani MartiniUniversity of Minho, Portugal, Pedro Rangel HenriquesUniversity of Minho, Portugal DOI Authorizer link | ||
16:20 25mTalk | Rewriting a Shallow DSL using a GHC Compiler Extension GPCE Mark GrebeUniversity of Kansas, USA, David YoungUniversity of Kansas, USA, Andy GillUniversity of Kansas, USA DOI Authorizer link | ||
15:30 - 17:00 | |||
15:30 25mTalk | FlowSpec: Declarative Dataflow Analysis Specification SLE DOI File Attached | ||
15:55 25mTalk | Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages SLE Francesco Di GiacomoUniversità Ca' Foscari, Mohamed AbbadiHogeschool Rotterdam, Agostino CortesiUniversità Ca' Foscari Venezia, Pieter SpronckTilburg University, Giuseppe MaggioreHogeschool Rotterdam DOI | ||
16:20 25mTalk | Robust Programs with Filtered Iterators SLE Jiasi ShenMassachusetts Institute of Technology, Martin C. RinardMassachusetts Institute of Technology DOI | ||
16:45 25mTalk | An Introduction to the Software Language Engineering Body of Knowledge SLE Vadim ZaytsevRaincode Labs, Belgium | ||
17:10 10mTalk | Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate? SLE Rui PereiraHASLab/INESC TEC & Universidade do Minho, Marco CoutoHASLab/INESC TEC & Universidade do Minho, Francisco RibeiroHASLab/INESC TEC & Universidade do Minho, Rui RuaHASLab/INESC TEC & Universidade do Minho, Jácome CunhaNOVA-LINCS - Universidade Nova de Lisboa, João Paulo FernandesRelease/LISP, CISUC, João SaraivaUniversity of Minho, Portugal DOI Media Attached | ||
15:30 - 17:00 | |||
15:30 30mTalk | Decoding Lua: Formal Semantics for the Developer and the Semanticist DLS Mallku Ernesto Soldevila RaffaFAMAF, UNC / CONICET, Beta ZilianiFAMAF, UNC and CONICET, Bruno Silvestre, Daniel Fridlender, Fabio MascarenhasUFRJ | ||
16:00 30mTalk | The Semantics of Name Resolution in Grace DLS DOI | ||
15:30 - 17:00 | |||
15:30 20mTalk | ZenSheet: a live programming environment for reactive computing LIVE Media Attached File Attached | ||
15:50 20mTalk | Anansi: a Tracing Interpreter LIVE Pre-print Media Attached | ||
16:10 50mOther | Closing Discussion LIVE Sean McDirmidIndependent | ||
15:30 - 17:00 | Bits versus Atoms! (Venture Labs, 12th Floor, 555 Hastings)SAVR at Venture Labs Chair(s): Florian MyterVrije Universiteit Brussel, Belgium | ||
15:30 20mTalk | Swivel-Chair: Evaluating Seated Full-Rotational Interfaces for Virtual Reality Navigation SAVR | ||
15:50 20mTalk | Monocle - Physical to Digital SAVR | ||
16:10 20mTalk | What we can Learn Observing the Observer Observing the User in Public VR Contexts SAVR | ||
16:30 28mTalk | Panel Discussion III SAVR | ||
16:58 1mTalk | Lightening Talk: A Virtual Reality Experience Demonstration: The Gold Rush in British Columbia SAVR | ||
16:59 1mTalk | Lightening Talk: Virtual reality for tsunami emergency training in Port Alberni SAVR | ||
15:30 - 17:00 | |||
15:30 90mOther | Panel - The future of language runtimes VMIL Tony HoskingAustralian National University / Data61, Mario WolczkoOracle Labs, David GroveIBM Research | ||
18:00 - 20:00 | |||
18:00 2hSocial Event | Dinner (registration add-on) GPCE | ||
18:00 - 20:00 | |||
18:00 2hDinner | Dinner (registration add-on) SLE | ||
Conference DayWed 25 OctDisplayed time zone: Tijuana, Baja California change
Conference Day
Wed 25 OctDisplayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:30 10mDay opening | Welcome to SPLASH 2017 Keynotes | ||
08:40 10mAwards | OOPSLA Overview & OOPSLA 10-Year Most Influential Paper Award Keynotes | ||
08:50 70mTalk | SPLASH 2017 Keynote: Eve: tackling a giant with a change in perspectiveKeynote Keynotes Chris GrangerKodowa | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
10:30 - 12:00 | |||
10:30 22mTalk | SAVI Objects: Sharing and Virtuality Incorporated OOPSLA Izzat El HajjUniversity of Illinois at Urbana-Champaign, USA, Thomas B. JablinUniversity of Illinois at Urbana-Champaign, USA / Multicoreware, USA, Dejan MilojicicHewlett Packard Labs, USA, Wen-mei HwuUniversity of Illinois at Urbana-Champaign, USA DOI | ||
10:52 22mTalk | A Simple Soundness Proof for Dependent Object Types OOPSLA Marianna RapoportUniversity of Waterloo, Canada, Ifaz KabirUniversity of Waterloo, Canada, Paul HeUniversity of Waterloo, Canada, Ondřej LhotákUniversity of Waterloo, Canada DOI | ||
11:15 22mTalk | Unifying Typing and Subtyping OOPSLA DOI | ||
11:37 22mTalk | Fast and Precise Type Checking for JavaScript OOPSLA Avik ChaudhuriFacebook, USA, Panagiotis VekrisUniversity of California at San Diego, USA, Sam GoldmanFacebook, USA, Marshall RochFacebook, USA, Gabriel LeviFacebook, USA DOI | ||
10:30 - 12:00 | Language DesignOnward! Papers at Regency B Chair(s): Zachary TatlockUniversity of Washington, Seattle | ||
10:30 30mTalk | Can We Crowdsource Language Design? Onward! Papers Preston Tunnell WilsonBrown University, Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA | ||
11:00 30mTalk | Assessing User Preferences in Programming Language Design Onward! Papers Roger ChamberlainWashington University in St. Louis | ||
11:30 30mTalk | Replacing Phrase Structure Grammar with Dependency Grammar in the Design and Implementation of Programming Languages Onward! Papers Friedrich SteimannFernuniversität | ||
10:30 - 12:00 | |||
10:30 22mTalk | A Volatile-by-Default JVM for Server Applications OOPSLA Lun LiuUniversity of California at Los Angeles, USA, Todd MillsteinUniversity of California, Los Angeles, Madan MusuvathiMicrosoft Research DOI | ||
10:52 22mTalk | Static Placement of Computation on Heterogeneous Devices OOPSLA Gabriel PoesiaFederal University of Minas Gerais, Brazil, Breno CamposFederal University of Minas Gerais, Brazil, Fabrício FerracioliLG Electronics, Brazil, Fernando Magno Quintão PereiraUFMG DOI | ||
11:15 22mTalk | Skip Blocks: Reusing Execution History to Accelerate Web Scripts OOPSLA DOI | ||
11:37 22mTalk | Virtual Machine Warmup Blows Hot and Cold OOPSLA Edd BarrettKing's College London, Carl Friedrich Bolz-Tereick, Rebecca KillickDepartment of Mathematics and Statistics, University of Lancaster, Sarah MountKing's College London, Laurence TrattKing's College London DOI | ||
10:30 - 12:00 | |||
10:30 30mTalk | Direct Manipulation Programming Systems SPLASH-I Ravi ChughUniversity of Chicago | ||
11:00 30mTalk | Toward Scalable Semantic Big Data SPLASH-I Julian DolbyIBM Thomas J. Watson Research Center | ||
11:30 30mTalk | Towards PPL: Extending Coroutines in Hack to Enable Probabilistic Programming SPLASH-I | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 22mTalk | Sound Gradual Typing: Only Mostly Dead OOPSLA Spenser Andrew BaumanIndiana University, USA, Sam Tobin-HochstadtIndiana University, Jeremy G. SiekIndiana University, USA, Carl Friedrich Bolz-Tereick DOI | ||
13:52 22mTalk | Sound Gradual Typing Is Nominally Alive and Well OOPSLA DOI | ||
14:15 22mTalk | The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing OOPSLA Gregor RichardsUniversity of Waterloo, Ellen ArtecaUniversity of Waterloo, Canada, Alexi TurcotteUniversity of Waterloo DOI | ||
14:37 22mTalk | Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models OOPSLA Tomoharu UgawaKochi University of Technology, Japan, Tatsuya AbeChiba Institute of Technology, Japan, Toshiyuki MaedaChiba Institute of Technology, Japan DOI | ||
13:30 - 15:00 | Program Generation and SynthesisOnward! Papers at Regency B Chair(s): Emina TorlakUniversity of Washington | ||
13:30 30mTalk | Generating Chat Bots from Web API Specifications Onward! Papers Mandana VaziriIBM Research, Louis MandelIBM Research, Avraham ShinnarIBM Research, Jerome SimeonIBM Research, Martin HirzelIBM Research | ||
14:00 30mTalk | ChimpCheck: Property-based Randomized Test Generation for Interactive Apps Onward! Papers Edmund LamUniversity of Colorado Boulder, Peilun Zhang, Bor-Yuh Evan ChangUniversity of Colorado Boulder | ||
14:30 30mTalk | Unbounded Superoptimization Onward! Papers | ||
13:30 - 15:00 | |||
13:30 22mTalk | Effective Interactive Resolution of Static Analysis Alarms OOPSLA Xin ZhangMassachusetts Institute of Technology, USA, Radu GrigoreUniversity of Kent, Xujie SiUniversity of Pennsylvania, Mayur NaikUniversity of Pennsylvania DOI | ||
13:52 22mTalk | Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis OOPSLA Eric SeidelUniversity of California at San Diego, USA, Huma SibghatUniversity of California at San Diego, USA, Kamalika ChaudhuriUniversity of California at San Diego, USA, Westley WeimerUniversity of Virginia, USA, Ranjit JhalaUniversity of California at San Diego, USA DOI | ||
14:15 22mTalk | Abridging Source Code OOPSLA Binhang YuanRice University, USA, Vijayaraghavan MuraliRice University, USA, Chris JermaineRice University DOI | ||
14:37 22mTalk | Evaluating and Improving Semistructured Merge OOPSLA Guilherme CavalcantiFederal University of Pernambuco, Brazil, Paulo BorbaFederal University of Pernambuco, Brazil, Paola AcciolyFederal University of Pernambuco, Brazil DOI | ||
13:30 - 15:00 | |||
13:30 30mTalk | Browser Performance Woes: Past, Present, and Future SPLASH-I Ben LivshitsImperial College London, UK | ||
14:00 30mTalk | It's Time for Secure Languages SPLASH-I Cristina CifuentesOracle Labs | ||
14:30 30mTalk | Preventing Information Leaks by Construction SPLASH-I Jean YangCarnegie Mellon University | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break Catering | ||
15:30 - 17:22 | |||
15:30 22mTalk | Model-Assisted Machine-Code Synthesis OOPSLA Venkatesh SrinivasanUniversity of Wisconsin - Madison, Ara VartanianUniversity of Wisconsin-Madison, USA, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc. DOI | ||
15:52 22mTalk | Synthesis of Data Completion Scripts using Finite Tree Automata OOPSLA DOI | ||
16:14 22mTalk | SQLizer: Query Synthesis from Natural Language OOPSLA Navid YaghmazadehUniversity of Texas, Austin, Yuepeng WangUniversity of Texas at Austin, Isil DilligUT Austin, Thomas Dillig DOI | ||
16:37 22mTalk | Synthesizing Configuration File Specifications with Association Rule Learning OOPSLA Mark SantolucitoYale University, Ennan ZhaiYale University, USA, Rahul DhodapkarMongoDB, USA, Aaron ShimMicrosoft, USA, Ruzica PiskacYale University DOI | ||
16:59 22mTalk | Natural Synthesis of Provably-Correct Data-Structure Manipulations OOPSLA DOI | ||
15:30 - 17:00 | |||
15:30 45mTalk | Some Were Meant For C: The endurance of an unmanageable language Onward! Essays Stephen KellUniversity of Cambridge | ||
16:15 45mTalk | Concept Analysis in Programming Language Research: Done Well It Is All Right Onward! Essays DOI Pre-print | ||
15:30 - 17:00 | |||
15:30 22mTalk | Practical Initialization Race Detection for JavaScript Web Applications OOPSLA Christoffer Quist AdamsenAarhus University, Anders MøllerAarhus University, Frank TipNortheastern University DOI | ||
15:52 22mTalk | Instrumentation Bias for Dynamic Data Race Detection OOPSLA Benjamin P. WoodWellesley College, Man CaoOhio State University, Michael D. BondOhio State University, Dan GrossmanUniversity of Washington DOI | ||
16:15 22mTalk | Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols OOPSLA DOI | ||
16:37 22mTalk | Heaps Don't Lie: Countering Unsoundness with Heap Snapshots OOPSLA Neville Grech, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens DOI | ||
15:30 - 17:00 | |||
15:30 90mTalk | Panel: 50 Years of Language Evolution: From Simula’67 to the FuturePanel SPLASH-I Steven D. Fraser, Lera BoroditskyUC San Diego, Robert Gentleman23andme, Chris GrangerKodowa, Sumit GulwaniMicrosoft Research, Crista LopesUniversity of California, Irvine | ||
17:30 - 19:30 | |||
17:30 2hSocial Event | Wednesday Poster Reception Social Program Gail MurphyUniversity of British Columbia | ||
Conference DayThu 26 OctDisplayed time zone: Tijuana, Baja California change
Conference Day
Thu 26 OctDisplayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:30 15mAwards | OOPSLA Awards Keynotes | ||
08:45 75mTalk | SPLASH 2017 Keynote: Objects in the Age of DataKeynote Keynotes Crista LopesUniversity of California, Irvine | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
10:30 - 12:00 | |||
10:30 22mTalk | Familia: Unifying Interfaces, Type Classes, and Family Polymorphism OOPSLA DOI | ||
10:52 22mTalk | Static Stages for Heterogeneous Programming OOPSLA DOI Pre-print | ||
11:15 22mTalk | Orca: GC and Type System Co-Design for Actor Languages OOPSLA Sylvan ClebschImperial College London, Juliana FrancoImperial College London, Sophia Drossopoulou, Albert Mingkun Yang, Tobias WrigstadUppsala University, Jan VitekNortheastern University, USA DOI | ||
11:37 22mTalk | Monadic Composition for Deterministic, Parallel Batch Processing OOPSLA Ryan ScottIndiana University, Omar Navarro-LeijaUniversity of Pennsylvania, USA, Ryan R. NewtonIndiana University, Joseph DeviettiUniversity of Pennsylvania DOI | ||
10:30 - 12:00 | |||
10:30 90mOther | Panel: How can our publication models best serve our research? Onward! Essays Mary ShawCarnegie Mellon University, P: Crista LopesUniversity of California, Irvine, Matthias HauswirthUniversità della Svizzera italiana (USI), P: Philippe KruchtenUniversity of British Columbia | ||
10:30 - 12:00 | Optimizing Compilation and VerificationOOPSLA at Regency C Chair(s): Gregor RichardsUniversity of Waterloo | ||
10:30 22mTalk | The Tensor Algebra Compiler OOPSLA Fredrik KjolstadMIT CSAIL, Shoaib KamilAdobe, Stephen ChouMIT CSAIL, David LugatoCEA, France, Saman AmarasingheMIT DOI | ||
10:52 22mTalk | TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals OOPSLA Laith SakkaPurdue University, Kirshanthan SundararajahPurdue University, Milind KulkarniPurdue University DOI | ||
11:15 22mTalk | Verifying Spatial Properties of Array Computations OOPSLA Dominic OrchardUniversity of Kent, UK, Mistral Contrastin, Matthew DanishUniversity of Cambridge, UK, Andrew RiceUniversity of Cambridge, UK DOI | ||
11:37 22mTalk | GLORE: Generalized Loop Redundancy Elimination upon LER-Notation OOPSLA DOI | ||
10:30 - 12:00 | |||
10:30 30mTalk | HHVM: Efficient and Scalable PHP/Hack Execution SPLASH-I Guilherme OttoniFacebook | ||
11:00 30mTalk | Performance Analysis and Optimization of C++ Standard Libraries SPLASH-I | ||
11:30 30mTalk | Verifying Network Data Planes SPLASH-I Nate FosterCornell University | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | Mining Software Repositories and ParsingOOPSLA at Regency A Chair(s): Wolfgang De MeuterVrije Universiteit Brussel | ||
13:30 22mTalk | Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining OOPSLA Samantha Syeda KhairunnesaIowa State University, Hoan Anh NguyenIowa State University, USA, Tien N. NguyenUniversity of Texas at Dallas, Hridesh RajanIowa State University DOI | ||
13:52 22mTalk | DéjàVu: A Map of Code Duplicates on GitHub OOPSLA Crista LopesUniversity of California, Irvine, Petr MajReactorLabs, Pedro MartinsUniversity of California at Irvine, USA, Vaibhav SainiUniversity of California at Irvine, USA, Di YangUniversity of California at Irvine, USA, Jakub ZitnyCzech Technical University, Czechia, Hitesh SajnaniMicrosoft , Jan VitekNortheastern University, USA DOI | ||
14:15 22mTalk | Understanding the Use of Lambda Expressions in Java OOPSLA Davood MazinanianConcordia University, Canada, Ameya KetkarOregon State University, USA, Nikolaos TsantalisConcordia University, Canada, Danny DigSchool of EECS at Oregon State University DOI | ||
14:37 22mTalk | Restricting Grammars with Tree Automata OOPSLA DOI | ||
13:30 - 15:00 | |||
13:30 30mTalk | The Serverless Trilemma: Function Composition for Serverless Computing Onward! Papers Ioana BaldiniIBM T.J. Watson Research, Perry ChengIBM Research, Stephen J FinkIBM, Nick Mitchell, Vinod MuthusamyIBM T.J. Watson Research, Rodric RabbahIBM Research, Philippe SuterTwo Sigma, Olivier TardieuIBM Research | ||
14:00 30mTalk | Encoding the building blocks of communication Onward! Papers Aleksandar ProkopecOracle Labs | ||
14:30 30mTalk | IoTa: A Calculus for Internet of Things Automation Onward! Papers Julie L. NewcombUniversity of California at Berkeley, Satish ChandraFacebook, Jean-Baptiste JeanninCarnegie Mellon University , Cole SchlesingerSamsung Research America, Manu SridharanUber | ||
13:30 - 15:00 | |||
13:30 22mTalk | Seam: Provably Safe Local Edits on Graphs OOPSLA Manolis PapadakisStanford University, USA, Gilbert Louis BernsteinStanford University, USA, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Pat HanrahanStanford University, USA DOI | ||
13:52 22mTalk | TiML: A Functional Language for Practical Complexity Analysis with Invariants OOPSLA Peng WangMassachusetts Institute of Technology, USA, Di WangPeking University, China, Adam ChlipalaMassachusetts Institute of Technology, USA DOI | ||
14:15 22mTalk | FairSquare: Probabilistic Verification of Program Fairness OOPSLA Aws AlbarghouthiUniversity of Wisconsin-Madison, Loris D'AntoniUniversity of Wisconsin–Madison, Samuel DrewsUniversity of Wisconsin-Madison, Aditya Nori DOI | ||
14:37 22mTalk | Reasoning on Divergent Computations with Coaxioms OOPSLA DOI | ||
13:30 - 15:00 | |||
13:30 30mTalk | One if by Lambda, Two if by C: How PL Can Attack Computing Education SPLASH-I Kathi FislerBrown University | ||
14:00 30mTalk | Reducing Interruptions at Work with the FlowLight SPLASH-I Thomas FritzUniversity of British Columbia, University of Zurich | ||
14:30 30mTalk | Smart Condo: IoT for Social Good SPLASH-I Eleni StrouliaUniversity of Alberta | ||
15:00 - 15:30 | |||
15:30 - 17:00 | SRC 2nd Round: PresentationsStudent Research Competition at Prince of Wales Chair(s): Jennifer B. SartorVrije Universiteit Brussel, Shan Shan HuangLogicBlox, Inc. | ||
15:30 15mTalk | Abstracting Resource Effects Student Research Competition Valerie ZhaoWellesley College | ||
15:45 15mTalk | |||