SPLASH 2018 (series) /
SPLASH 2018 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 4 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Sun 4 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
08:20 - 08:30 | |||
08:30 - 09:00 | |||
08:30 30mTalk | Mental Models, Metaphors and Misconceptions BLOCKS+ | ||
09:00 - 10:00 | |||
09:00 15mDay opening | Welcome and Opening Remarks REBLS S: Guido Salvaneschi TU Darmstadt, S: Wolfgang De Meuter Vrije Universiteit Brussel, P: Francisco Sant'Anna Rio de Janeiro State University File Attached | ||
09:15 45mTalk | Reacting to stream-based programming bugs REBLS | ||
09:00 - 10:00 | |||
09:00 15mDay opening | Welcome and introduction to SLEBoK and participants SLEBoK | ||
09:15 15mOther | Presentations from working group chairs SLEBoK | ||
09:30 15mOther | Short proposals for new related SLEBoK project SLEBoK | ||
09:45 15mOther | Planning and organization for the day SLEBoK | ||
09:00 - 10:00 | |||
09:00 60mTalk | On the Self in Selfie ⭐️Keynote VMIL DOI Media Attached | ||
10:30 - 11:00 | |||
10:30 30mTalk | Panel: Block Abstractions for Artificial Intelligence BLOCKS+ A: Evan W Patton Massachusetts Institute of Technology, A: Stefania Druga Massachusetts Institute of Technology, A: Jessica Van Brummelen Massachusetts Institute of Technology, P: Joe Mazzone Teacher at Davies Career and Technical High School, P: Xavier Puig Fernandez MIT-CSAIL Pre-print | ||
10:30 - 12:00 | |||
10:30 22mTalk | Where Do Events Come From? Reactive and Energy-Efficient Programming From The Ground Up REBLS Francisco Sant'Anna Rio de Janeiro State University, Alexandre Sztajnberg Rio de Janeiro State University File Attached | ||
10:52 22mTalk | Synthesizing Manually Verifiable Code for Statecharts REBLS Steven Smyth Kiel University, Christian Motika Philotech Systementwicklung und Software GmbH, Reinhard von Hanxleden Kiel University File Attached | ||
11:15 22mTalk | RHEA: A Reactive, Heterogeneous, Extensible and Abstract Framework for Dataflow Programming REBLS File Attached | ||
11:37 22mTalk | Reactive Chatbot Programming REBLS Guillaume Baudart IBM Research, Martin Hirzel IBM Research, Louis Mandel IBM Research, Avraham Shinnar IBM Research, Jerome Simeon Clause File Attached | ||
10:30 - 12:00 | |||
10:35 15mDemonstration | A Tour of Grace GRACE Andrew Black Portland State University | ||
10:50 10mTalk | Early Experience with Grace at Pomona College GRACE Link to publication | ||
11:00 10mTalk | Teaching programming with Grace at Portland State GRACE Link to publication | ||
11:15 10mTalk | Multi-Device Grace GRACE P: Craig Anslow Victoria University of Wellington, Ben Selwyn-Smith , Michael Homer Victoria University of Wellington | ||
11:30 10mTalk | Newspeak and Truffle: A Platform for Grace? GRACE P: Stefan Marr University of Kent, James Noble Victoria University of Wellington, Richard Roberts Victoria University of Wellington Pre-print | ||
11:45 5mTalk | SmallGrace: Grace in Pharo Smalltalk GRACE Andrew Black Portland State University | ||
10:30 - 12:00 | |||
10:30 90mMeeting | Split into small groups, work on SLEBoK tasks, morning SLEBoK | ||
10:30 - 12:00 | |||
10:30 25mResearch paper | Efficient VM-independent Runtime Checks for Parallel Programming VMIL DOI Pre-print | ||
10:55 25mResearch paper | Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study VMIL DOI Pre-print | ||
11:20 20mTalk | Generating a Minimum JavaScript VM Specialised for Target Applications VMIL Tomoharu Ugawa Kochi University of Technology, Japan, Hideya Iwasaki University of Electro-Communications, Japan | ||
11:40 20mTalk | Profiling Android Applications with Nanoscope VMIL Lun Liu University of California at Los Angeles, USA, Leland Takamine Uber Technologies, Adam Welc Uber Technologies Pre-print | ||
11:00 - 12:00 | |||
11:00 10mTalk | Broadening Participation in Computer Science through Block Programming BLOCKS+ Beryl Hoffman Elms College, Ralph Morelli Trinity College, Jennifer Rosato College of St. Scholastica Pre-print | ||
11:10 10mTalk | Reducing the Barriers for Computational Action: How Blocks-Based Programming Can Support Digital Empowerment BLOCKS+ Mike Tissenbaum University of Illinois, Urbana-Champain, Josh Sheldon MIT App Inventor, Hal Abelson MIT Pre-print | ||
11:20 8mOther | Themed Session 2: Whole-group discussions BLOCKS+ | ||
11:28 3mTalk | Educational Robotics with a Twist BLOCKS+ Pre-print | ||
11:31 3mTalk | A Blocks-Based Approach to Internet of Things in MIT App Inventor BLOCKS+ Pre-print | ||
11:34 3mTalk | DevTech Lab - KIBO and ScratchJr Demo BLOCKS+ Catherine Cowell Tufts University, Hannah Riehl Tufts University, Marina Umaschi Bers Tufts University Pre-print | ||
11:37 3mTalk | CloudDB in MIT App Inventor BLOCKS+ | ||
11:40 20mOther | Themed Session 2: Breakout discussions and demos/posters BLOCKS+ | ||
13:10 - 14:10 | |||
13:10 60mTalk | Thinking Outside the Blocks BLOCKS+ R. Benjamin Shapiro University of Colorado, Boulder | ||
13:30 - 15:00 | |||
13:30 22mTalk | DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms REBLS Jesse Zaman Vrije Universiteit Brussel, Kennedy Kambona Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel File Attached | ||
13:52 22mTalk | Multitier Reactive Programming with ScalaLoci REBLS File Attached | ||
14:15 22mTalk | Distributing Thread-Safety for Reactive Programming REBLS Pre-print File Attached | ||
14:37 22mTalk | Skitter: A DSL for Distributed Reactive Workflows REBLS Mathijs Saey Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel Pre-print File Attached | ||
13:30 - 15:00 | |||
13:30 20mTalk | KafKa: Gradual Typing for Objects GRACE Benjamin Chung Northeastern University Link to publication | ||
14:00 20mTalk | Three approaches to Gradual Typing GRACE Ben Greenman Northeastern University, USA, A: Preston Tunnell Wilson Brown University, USA, A: Justin Pombrio Brown University, USA, A: Shriram Krishnamurthi Brown University, USA | ||
14:30 20mTalk | Gradual Typing is Morally Incorrect: the Problem of Applying Gradual Typing GRACE Timothy Jones Montoux | ||
13:30 - 15:00 | |||
13:30 90mMeeting | Split into small groups, work on SLEBoK tasks, afternoon SLEBoK | ||
13:30 - 15:00 | |||
13:30 60mTalk | BEAM: A Virtual Machine for Handling Millions of Messages per Second ⭐️Keynote VMIL DOI | ||
14:30 25mResearch paper | A Cost Model for a Graph-Based Intermediate-Representation in a Dynamic Compiler VMIL David Leopoldseder Johannes Kepler University Linz, Lukas Stadler Oracle Labs, Austria, Manuel Rigger Johannes Kepler University Linz, Thomas Wuerthinger Oracle Labs, Hanspeter Mössenböck JKU Linz, Austria DOI | ||
14:10 - 15:00 | |||
14:10 10mTalk | Building an Accessible Block Environment BLOCKS+ Emmanuel Schanzer Brown University, Sina Bahram Prime Access Consulting, Shriram Krishnamurthi Brown University, USA Pre-print | ||
14:20 5mTalk | Language Workbench Support for Block-Based DSLs BLOCKS+ Mauricio Verano Merino Technische Universiteit Eindhoven, Tijs van der Storm CWI & University of Groningen Pre-print | ||
14:25 5mTalk | Rapid Prototyping for Blocks-based Languages and Environments BLOCKS+ Pre-print | ||
14:30 5mTalk | TypeScript: From JavaScript to Blockly and Back BLOCKS+ Thomas Ball Microsoft Research, Peli de Halleux Microsoft Research, Sam El-Husseini Microsoft, Richard Knoll Microsoft, Michał Moskal Microsoft Research Pre-print | ||
14:35 25mOther | Themed Session 3: Break-out discussions and demos/posters BLOCKS+ | ||
15:30 - 16:15 | |||
15:30 5mTalk | Enhancing and Evaluating Collaborative Blocks Programming in App Inventor BLOCKS+ Pre-print | ||
15:35 5mTalk | Real-time Collaboration and Undo in StarLogo Nova: Technical Approach and Considerations for UX Design BLOCKS+ Denis Li MIT Scheller Teacher Education Program, Lisa Stump MIT Scheller Teacher Education Program, Daniel Wendel MIT Scheller Teacher Education Program Pre-print | ||
15:40 5mTalk | Real-time Collaboration in NetsBlox BLOCKS+ Akos Ledeczi Vanderbilt University | ||
15:45 5mTalk | Multi-Device Grace BLOCKS+ Ben Selwyn-Smith , Craig Anslow Victoria University of Wellington, Michael Homer Victoria University of Wellington | ||
15:50 25mOther | Themed Session 4: Break-out discussions and demos/posters BLOCKS+ | ||
15:30 - 17:00 | |||
15:30 22mTalk | Composable Higher-Order Reactors as the Basis for a Live Reactive Programming Environment REBLS Bjarno Oeyen Vrije Universiteit Brussel, Humberto Rodriguez Avila Vrije Universiteit Brussel, Sam Van den Vonder , Wolfgang De Meuter Vrije Universiteit Brussel File Attached | ||
15:52 22mTalk | Explicitly Comprehensible Functional Reactive Programming REBLS Media Attached File Attached | ||
16:15 22mTalk | A Reactive Language for Analyzing Cloud Logs REBLS Guillaume Baudart IBM Research, Louis Mandel IBM Research, Olivier Tardieu IBM Research, Mandana Vaziri IBM Research File Attached | ||
16:37 22mTalk | Visualizing Reactive Execution History using Propagation Traces REBLS Takumi Hikosaka Ritsumeikan University, Tetsuo Kamina Oita University, Katsuhisa Maruyama Ritsumeikan University File Attached | ||
15:30 - 16:15 | |||
15:30 20mTalk | Static & Dynamic Typing in Grace GRACE P: Andrew Black Portland State University, Kim Bruce Pomona College, James Noble Victoria University of Wellington Link to publication | ||
15:50 25mOther | Discussion on types in Grace GRACE | ||
15:30 - 17:00 | |||
15:30 45mOther | General discussion on SLEBoK: What is working, What should be improved? What next? SLEBoK | ||
16:15 45mMeeting | Updates from working groups, discussion of future plans SLEBoK | ||
15:30 - 17:05 | |||
15:30 25mResearch paper | Building JIT Compilers For Dynamic Languages With Low Development Effort VMIL DOI | ||
15:55 20mTalk | Twopy: A Just-In-Time Compiler For Python Based On Code Specialization VMIL | ||
16:15 25mResearch paper | Towards Compilation of an Imperative Language for FPGAs VMIL Baptiste Pauget École Normale Supérieure, David J. Pearce Victoria University of Wellington, Alex Potanin Victoria University of Wellington DOI Pre-print File Attached | ||
16:40 25mResearch paper | Two Decades of Smalltalk VM Development VMIL Eliot Miranda Cadence Design Systems, Clément Béra Sofware Languages Lab, Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Dan Ingalls DOI | ||
16:15 - 17:00 | |||
16:15 5mTalk | Rethinking OOP in Snap! BLOCKS+ Pre-print | ||
16:20 5mTalk | Custom Blocks in StarLogo Nova: A Template-Based Approach to Abstraction for Improved Ease of Use and Expressive Power BLOCKS+ Hyeonsu Kang MIT Scheller Teacher Education Program, David Wu MIT, Daniel Wendel MIT Scheller Teacher Education Program Pre-print | ||
16:25 5mTalk | Two New Block Features in GP BLOCKS+ | ||
16:30 5mTalk | JSON Interoperability in MIT App Inventor BLOCKS+ Evan W Patton Massachusetts Institute of Technology, Danny Tang Massachusetts Institute of Technology Pre-print | ||
16:35 5mTalk | Scratch 3.0 Design Notes BLOCKS+ | ||
16:40 20mOther | Implementers’ Campfire: Whole group discussions BLOCKS+ | ||
16:15 - 17:00 | |||
16:15 45mMeeting | The Future of Grace GRACE | ||
17:00 - 17:05 | |||
17:05 - 17:45 | |||
17:05 40mOther | Playground Demo/Poster Session BLOCKS+ | ||
Mon 5 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
08:30 - 10:00 | Adoption & Programmer PerceptionPLATEAU at Beacon Hill Chair(s): Joshua Sunshine Carnegie Mellon University | ||
08:30 20mTalk | Welcome PLATEAU | ||
08:50 25mTalk | Programming by example: efficient, but not "helpful" PLATEAU Mark Santolucito Yale University, USA, Drew Goldman Roslyn High School, Allyson Weseley Roslyn High School, Ruzica Piskac Yale University, USA File Attached | ||
09:15 15mTalk | Observing the Uptake of a Language Change Making Strings Immutable PLATEAU Manuel Maarek Heriot-Watt University File Attached | ||
09:30 15mTalk | Identifying Barriers to Adoption for Rust through Online Discourse PLATEAU File Attached | ||
08:30 - 10:00 | |||
08:30 15mTalk | Welcome and Introduction AGERE | ||
08:45 75mTalk | Concurrency vs. Parallelism in Encore (...and Types)Keynote AGERE Tobias Wrigstad Uppsala University | ||
08:30 - 10:00 | |||
08:30 30mTalk | Code Generation for Higher Inductive Types META Paventhan Vivekanandan Indiana University Bloomington File Attached | ||
09:00 30mTalk | Recognizing heterogeneous sequences by rational type expression META DOI | ||
09:30 30mTalk | Multiple Dispatch using Compile-Time Metaprogramming META | ||
08:30 - 10:00 | |||
08:30 45mDay opening | Welcome to the HILT 2018 Workshop HILT Tucker Taft AdaCore | ||
09:15 45mTalk | CVE, CWE, CQE and all that -- enumerating the security and safety challenges for networked softwareKeynote HILT Robert A. Martin The MITRE Corporation | ||
08:30 - 10:00 | |||
08:30 30mTalk | Eclipse OMR: Building Blocks for Polyglot TURBO Xiaoli Liang IBM Canada | ||
09:00 30mTalk | Taking Eclipse OMR JitBuilder to a Language Near You TURBO Leonardo Banderali IBM Toronto Labs | ||
09:30 30mTalk | JIT as a Service: Compiling for Runtimes in the Cloud TURBO Mark Stoodley IBM Canada | ||
08:30 - 10:00 | |||
08:30 15mTalk | Opening GPCE Eric Van Wyk University of Minnesota, USA, Tiark Rompf Purdue University, David J. Pearce Victoria University of Wellington, Tanja Mayerhofer TU Wien, Friedrich Steimann Fernuniversität | ||
08:45 75mTalk | How to Make Sparse FastKeynote GPCE | ||
08:45 - 10:00 | |||
08:45 75mTalk | Explicit Direct Instruction in Programming EducationKEYNOTE Keynotes | ||
10:30 - 12:00 | |||
10:30 30mTalk | A Configurable Transport Layer for CAF AGERE Link to publication DOI File Attached | ||
11:00 30mTalk | Distributed Functional Reactive Programming on Actor-Based Runtime AGERE Link to publication DOI | ||
11:30 30mTalk | Observable atomic consistency for CvRDTs AGERE | ||
10:30 - 12:00 | |||
10:30 60mTalk | SemanticDB: a common data model for Scala developer tools ⭐️Keynote META DOI | ||
11:30 30mDemonstration | Relit: Typed Literal Macros for Reason META Link to publication | ||
10:30 - 12:00 | |||
10:30 45mTalk | Programming Language Systems for Developing Cyber Resilient Software HILT David A. Wheeler IDA | ||
11:15 45mTalk | Cyber-Resilience: What does it really mean, and how do we design it into our systems? HILT Deborah Bodeau The MITRE Corporation | ||
10:30 - 12:00 | |||
10:30 30mTalk | Take a Selfie in Class SPLASH-E Christoph Kirsch University of Salzburg | ||
11:00 30mTalk | A Framework for Code-Level Tracing of Map-Based Algorithm Visualizations SPLASH-E File Attached | ||
11:30 30mTalk | Early Experience: Teaching the Basics of Functional Language Design with a Language Type Checker SPLASH-E Matteo Cimini University of Massachusetts Lowell File Attached | ||
10:30 - 12:00 | |||
10:30 30mTalk | Eclipse OMR Om: A Relaxing Object Model for the Polyglot World TURBO Robert Young IBM, Canada | ||
11:00 30mTalk | Building AArch64 Support for the Eclipse OMR Language Runtime Toolkit TURBO Jean-Philippe Legault University of New Brunswick, Aaron Graham IBM/University of New Brunswick: Centre for Advanced Studies - Atlantic (CAS-Atlantic) | ||
11:30 30mTalk | Building an Ahead-of-Time Compiler for WebAssembly with Eclipse OMR TURBO | ||
10:30 - 12:00 | |||
10:30 30mTalk | Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages SLE Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Michael J. Steindorfer Delft University of Technology, Sebastian Erdweg TU Delft, Eelco Visser Delft University of Technology Link to publication DOI | ||
11:00 30mTalk | GLL Parsing with Flexible Combinators SLE L. Thomas van Binsbergen Royal Holloway University of London, Elizabeth Scott Royal Holloway University of London, Adrian Johnstone File Attached | ||
11:30 30mTalk | Morbig: A Static Parser for POSIX Shell SLE Yann Régis-Gianas IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2, Nicolas Jeannerod IRIF, Université de Paris, Ralf Treinen IRIF | ||
10:30 - 12:00 | |||
10:30 30mTalk | A Domain-Specific Language for Exploratory Data Visualization GPCE | ||
11:00 30mTalk | A Practical Unification of Multi-Stage Programming and Macros GPCE Nicolas Stucki EPFL, Switzerland, Aggelos Biboudis EPFL, Switzerland, Martin Odersky EPFL, Switzerland | ||
11:30 30mTalk | Rash: From Reckless Interactions to Reliable Programs GPCE | ||
13:30 - 15:00 | Language UsabilityPLATEAU at Beacon Hill Chair(s): Sarah E. Chasins University of California, Berkeley | ||
13:30 25mTalk | A Randomized Controlled Trial on the Impact of Polyglot Programming in a Database Context PLATEAU File Attached | ||
13:55 15mTalk | Understanding Java Usability by Mining GitHub Repositories PLATEAU File Attached | ||
14:10 25mTalk | QDB: From Quantum Algorithms Towards Correct Quantum Programs PLATEAU Pre-print File Attached | ||
13:30 - 15:00 | |||
13:30 30mTalk | Chocola: Integrating Futures, Actors, and Transactions AGERE Janwillem Swalens Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel Pre-print | ||
14:00 30mTalk | Concurrent Garbage Collection in the Actor Model AGERE | ||
14:30 30mTalk | Attached and Detached Closures in Actors AGERE Elias Castegren Uppsala University, Dave Clarke Uppsala Univ. Sweden and KU Leuvern, Kiko Fernandez-Reyes Uppsala University, Tobias Wrigstad Uppsala University, Albert Mingkun Yang Uppsala University | ||
13:30 - 15:00 | Keynote: Bonetta & InfrastructureMETA at Cambridge Chair(s): Guido Chari Czech Technical University, Czechia | ||
13:30 60mTalk | GraalVM: Metaprogramming inside a Polyglot System ⭐️Keynote META Daniele Bonetta Oracle Labs DOI | ||
14:30 30mTalk | Does It Make Sense to have Application-specific Code Conventions as a Complementary Approach to Code Annotations? META Rodrigo Teixeira INPE - National Institute for Space Research, Eduardo Guerra INPE - National Institute for Space Research, Phyllipe Lima INPE - National Institute for Space Research, Paulo Meirelles Federal University of São Paulo, Fabio Kon University of São Paulo DOI | ||
13:30 - 15:00 | |||
13:30 45mTalk | Tool support for Confidentiality by Construction HILT S: Tobias Runge TU Braunschweig, S: Ina Schaefer Technische Universität Braunschweig, Alexander Knüppel TU Braunschweig, Germany, Loek Cleophas Eindhoven University of Technology (TU/e) and Stellenbosch University, Derrick Kourie Stellenbosch University, Bruce Watson Stellenbosch University; and Centre for AI Research, CSIR | ||
14:15 45mOther | Panel on Language-based Security HILT P: Stephen Chong Harvard University, Ina Schaefer Technische Universität Braunschweig, Tobias Runge TU Braunschweig, Lucas Wagner Rockwell Collins, Sam Procter Carnegie Mellon Software Engineering Institute, Tucker Taft AdaCore | ||
13:30 - 15:00 | |||
13:30 30mTalk | Bridging the Gap for At-Risk Cohorts: Experimenting with English Language Learners SPLASH-E File Attached | ||
14:00 30mTalk | LambdaLab: An Interactive Lambda-Calculus Reducer for Learning SPLASH-E File Attached | ||
14:30 30mMeeting | Discussion SPLASH-E | ||
13:30 - 15:00 | |||
13:30 90mOther | Boost WABT Performance with JitBuilder (Part I) TURBO Leonardo Banderali IBM Toronto Labs, Xiaoli Liang IBM Canada, Daryl Maier IBM Canada, Mark Stoodley IBM Canada, Robert Young IBM, Canada | ||
13:30 - 15:00 | |||
13:30 20mTalk | Input-Driven Regular Expressions (Vision Paper)Vision / New Idea SLE Alexander Sakharov Synstretch | ||
13:50 30mTalk | Modular Language Composition for the Masses SLE Manuel Leduc Univ Rennes, Inria, CNRS, IRISA, Thomas Degueule Centrum Wiskunde & Informatica, Benoit Combemale University of Rennes 1 DOI Pre-print | ||
14:20 20mTalk | Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)Tool Demo SLE Filip Strömbäck Linköping University DOI | ||
14:40 20mTalk | Languages as First-Class Citizens (Vision Paper)Vision / New Idea SLE Matteo Cimini University of Massachusetts Lowell | ||
13:30 - 15:00 | |||
13:30 30mTalk | Exploring feature interactions without specifications: a controlled experiment GPCE Larissa Rocha Universidade Federal da Bahia, Jens Meinicke Magdeburg University, Sarah Nadi University of Alberta, Christian Kästner Carnegie Mellon University, Eduardo Santana de Almeida Universidade Federal da Bahia | ||
14:00 30mTalk | Inferring Ownership Domains From Refinements GPCE | ||
14:30 30mTalk | Implementing a semi-causal domain-specific language for context detection over binary sensors GPCE | ||
13:30 - 14:30 | |||
13:30 60mTalk | Mechanized Proofs of System Correctness in Production: Cryptography and Beyond SPLASH-I Adam Chlipala MIT | ||
13:30 - 14:30 | |||
13:30 60mTalk | Time-Travel Debugging and Actionable Diagnostics Insights SPLASH-I Mark Marron Microsoft Research | ||
15:30 - 17:00 | Interactive Tools & BreakoutPLATEAU at Beacon Hill Chair(s): Sarah E. Chasins University of California, Berkeley | ||
15:30 25mTalk | Interactive Extraction of Examples from Existing Code PLATEAU Andrew Head UC Berkeley | ||
15:55 5mTalk | Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments - Preview PLATEAU Junho Lee Korea University, Dowon Song Korea University, Sunbeom So Korea University, Hakjoo Oh Korea University | ||
16:00 5mTalk | One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax - Preview PLATEAU | ||
16:05 5mTalk | Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming - Preview PLATEAU Akio Oka Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, Tomoyuki Aotani Tokyo Institute of Technology | ||
16:10 50mOther | Breakout Discussion PLATEAU | ||
15:30 - 17:00 | |||
15:30 30mTalk | Implementing Linking in Multiparty Sessions AGERE | ||
16:00 30mTalk | Compositional Programming and Testing of Actor Programs AGERE Ankush Desai University of California, Berkeley, Shaz Qadeer Microsoft Research, Sanjit Seshia UC Berkeley | ||
15:30 - 17:00 | |||
15:30 60mTalk | Through a Glass, Darkly ⭐️Keynote META DOI | ||
16:30 30mDay closing | Discussion and Closing META | ||
15:30 - 17:00 | |||
15:30 30mShort-paper | SPARK by Example: an introduction to formal verification through the standard C++ library HILT | ||
16:00 30mShort-paper | Soundness of a Dataflow Analysis for Memory Monitoring HILT P: Dara Ly CEA LIST, Nikolai Kosmatov CEA List, Frederic Loulergue Northern Arizona University, Julien Signoles CEA LIST | ||
16:30 25mShort-paper | Minimal Specifications for Detecting Security Vulnerabilities HILT P: Andrew Berns University of Northern Iowa, James Curbow University of Northern Iowa, Joshua Hilliard University of Northern Iowa, Sheriff Jorkeh University of Northern Iowa, Miho Sanders University of Northern Iowa | ||
16:55 5mSocial Event | 6:30PM HILT Banquet at Legal Seafoods, Park Plaza, preceded by SIGAda EC meeting from 5:15 to 6:15PM HILT | ||
15:30 - 17:00 | |||
15:30 90mOther | Boost WABT Performance with JitBuilder (Part II) TURBO Leonardo Banderali IBM Toronto Labs, Xiaoli Liang IBM Canada, Daryl Maier IBM Canada, Mark Stoodley IBM Canada, Robert Young IBM, Canada | ||
15:30 - 17:00 | |||
15:30 30mTalk | Meta-programming for cross-domain tensor optimizations GPCE Adilla Susungi MINES ParisTech, France, Norman A. Rink TU Dresden, Germany, Albert Cohen Google, Jeronimo Castrillon TU Dresden, Germany, Claude Tadonki MINES ParisTech, France | ||
16:00 30mTalk | Model-based Security Analysis of Feature-oriented Software Product Lines GPCE Sven Peldszus University of Koblenz-Landau, Daniel Strüber University of Koblenz-Landau, Germany, Jan Jürjens University of Koblenz-Landau DOI Pre-print | ||
16:30 30mTalk | Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs GPCE Laurent Christophe VUB, Coen De Roover Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel | ||
15:30 - 16:30 | |||
15:30 60mTalk | Software is eating the world, but ML is going to eat software SPLASH-I John Myles White Facebook | ||
15:30 - 16:30 | |||
15:30 60mTalk | Oh, the compilers you will build! SPLASH-I Mark Stoodley IBM Canada Link to publication | ||
16:30 - 17:30 | |||
16:30 60mTalk | Reliable Deployment at Uber Scale SPLASH-I | ||
16:30 - 17:30 | |||
16:30 60mTalk | Composable References and the Yoneda Lemma SPLASH-I Jeremy Gibbons University of Oxford Link to publication Pre-print | ||
Tue 6 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Tue 6 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
07:30 - 08:45 | |||
07:30 75m | Mentoring Breakfast PLMW | ||
08:00 - 10:00 | AI SEPSAI-SEPS at Cabot Chair(s): Ali Jannesari Iowa State University, Yukinori Sato Toyohashi University of Technology | ||
08:00 50mTalk | Deep Learning at ScaleKeynote AI-SEPS Prabhat NERSC, Berkeley Lab | ||
08:50 25mTalk | PIRA: Performance Instrumentation Refinement Automation AI-SEPS Jan-Patrick Lehr Graduate School of Computational Engineering, TU Darmstadt, Alexander Hück Institute for Scientific Computing, TU Darmstadt, Christian Bischof Scientific Computing, TU Darmstadt | ||
09:15 15mTalk | PyGA: A Python to FPGA compiler prototype AI-SEPS | ||
09:30 30mTalk | Panel discussion AI-SEPS P: Yukinori Sato Toyohashi University of Technology, P: Ali Jannesari Iowa State University, P: Shigeru Chiba The University of Tokyo | ||
08:30 - 10:00 | |||
08:30 60mTalk | Against The Current: What We Learned From EveKeynote LIVE | ||
09:30 30mTalk | From Debugging Towards Live Tuning of Reactive Applications LIVE Ragnar Mogk Technische Universität Darmstadt, Pascal Weisenburger Technische Universität Darmstadt, Julian Haas Technische Universität Darmstadt, David Richter Technical University of Darmstadt, Guido Salvaneschi TU Darmstadt, Mira Mezini TU Darmstadt Pre-print | ||
08:30 - 10:00 | |||
08:30 3mDay opening | Welcome and Introduction DocSymposium Philipp Haller KTH, Sweden | ||
08:33 12mTalk | Lightning Talks DocSymposium Philipp Haller KTH, Sweden | ||
08:45 45mTalk | A DSL for Distributed, Reactive Workflows DocSymposium Mathijs Saey Vrije Universiteit Brussel | ||
09:30 30mTalk | Invited Talk 1 DocSymposium Heather Miller Carnegie Mellon University | ||
08:30 - 10:00 | |||
08:30 15mAwards | SIGAda Awards and Sponsor Intros HILT Tucker Taft AdaCore | ||
08:45 20mTalk | SAFECode.org and Secure Software Development Practices HILT Eric Baize SAFECode / Dell | ||
09:05 55mTalk | DARPA CASE program, motivation and challengesKeynote HILT Raymond Richards DARPA | ||
08:30 - 10:00 | |||
08:30 30mTalk | The DaCapo Benchmark Suite: A Methodological, Engineering, and Social Journey NJR Steve Blackburn Australian National University | ||
09:00 30mTalk | NJR: 100,000 Executable, Scriptable, and Searchable Java Programs NJR Jens Palsberg University of California, Los Angeles | ||
09:30 30mTalk | NJR discussion; Needs, Requirements, Wishes NJR Jens Palsberg University of California, Los Angeles | ||
08:30 - 10:00 | |||
08:30 90mOther | Create an Object Model and Get a GC for Free (Part I) TURBO Robert Young IBM, Canada, Leonardo Banderali IBM Toronto Labs, Xiaoli Liang IBM Canada, Daryl Maier IBM Canada, Mark Stoodley IBM Canada | ||
08:30 - 10:00 | |||
08:30 15mDay opening | Awards SLE Friedrich Steimann Fernuniversität, Tanja Mayerhofer TU Wien, Matthew Roberts Macquarie University, Romina Eramo University of L'Aquila | ||
08:45 75mTalk | A New Approach for Software Correctness and ReliabilityKeynote SLE Martin C. Rinard Massachusetts Institute of Technology | ||
08:45 - 10:00 | |||
08:45 15m | Welcome and Introduction PLMW Barbara Ryder Virginia Tech File Attached | ||
09:00 60mTalk | 50 Years of Programming and Language DesignKEYNOTE Keynotes Guy L. Steele Jr. Oracle Labs File Attached | ||
10:30 - 12:00 | |||
10:30 30mTalk | Margin Notes: Automatic code documentation with recorded examples from runtime LIVE Pre-print | ||
11:00 30mTalk | PANE: Programming with visible data LIVE | ||
11:30 30mTalk | Realtime Annotations & Visualizations in Live Coding Environments LIVE Charles Roberts Worcester Polytechnic Institute Pre-print | ||
10:30 - 12:00 | |||
10:30 60mTalk | Lost Wisdom of the Ancients OCAP | ||
11:30 30mTalk | OCAP Patterns Panel OCAP | ||
10:30 - 12:00 | |||
10:30 30mTalk | The story of Arjun Guha, or: the arc of a research project PLMW Shriram Krishnamurthi Brown University, USA | ||
11:00 30mTalk | From academia to industry and back again PLMW Julia Rubin University of British Columbia File Attached | ||
11:30 30mTalk | Work/Life Balance PLMW Kathleen Fisher Tufts University, USA File Attached | ||
10:30 - 12:00 | |||
10:30 45mTalk | Building Correct and Safe Distributed Systems DocSymposium Maryam Dabaghchian University of Utah | ||
11:15 45mTalk | The Software Architecture of Economy Mechanics in Digital Games DocSymposium Wilson Mizutani University of São Paulo | ||
10:30 - 12:00 | |||
10:30 45mTalk | SpeAR – Using a formal specification language for safety and security HILT Lucas Wagner Rockwell Collins | ||
11:15 45mTalk | Architecture-level security in a safety-critical system HILT S: Sam Procter Carnegie Mellon Software Engineering Institute, Peter Feiler Carnegie Mellon Software Engineering Institute | ||
10:30 - 12:00 | |||
10:30 30mTalk | Analyzing Code Repositories: A Case Study in Reproducibility NJR Jan Vitek Northeastern University | ||
11:00 30mTalk | Declarative Program Analysis and Big Code: Challenges and Opportunities NJR Mayur Naik University of Pennsylvania | ||
11:30 30mTalk | Towards Automating Precision Studies of Clone Detectors NJR Farima Farmahinifarahani University of California at Irvine, USA | ||
10:30 - 12:00 | |||
10:30 30mTalk | A Schematic Pushdown Reachability Language DSLDI | ||
11:00 30mTalk | CLP(SMT) DSLDI | ||
11:30 30mTalk | Domain-Specific Optimizations for Linear Pipelines DSLDI | ||
10:30 - 12:00 | |||
10:30 90mOther | Create an Object Model and Get a GC for Free (Part II) TURBO Robert Young IBM, Canada, Leonardo Banderali IBM Toronto Labs, Xiaoli Liang IBM Canada, Mark Stoodley IBM Canada, Daryl Maier IBM Canada | ||
10:30 - 12:00 | |||
10:30 30mTalk | Constraint-based Run-time State Migration for Live Modeling SLE Ulyana Tikhonova CWI, Jouke Stoel CWI, Tijs van der Storm CWI & University of Groningen, Thomas Degueule Centrum Wiskunde & Informatica | ||
11:00 30mTalk | The Next 700 Unit Checkers SLE | ||
11:30 30mTalk | A Practical Type System for Safe Aliasing SLE Dimi Racordon University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier Buchs University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland | ||
10:30 - 12:00 | |||
10:30 30mTalk | Measuring Effectiveness of Sample-based Product-Line Testing GPCE Sebastian Ruland , Lars Luthmann TU Darmstadt, Real-time Systems Lab, Johannes Bürdek TU Darmstadt, Real-time Systems Lab, Sascha Lity Technische Universität Braunschweig, Thomas Thüm University of Ulm, Malte Lochau , Márcio Ribeiro Federal University of Alagoas, Brazil | ||
11:00 30mTalk | Pattern Matching in an Open World GPCE | ||
11:30 30mTalk | Verification of High-Level Transformations with Inductive Refinement Types GPCE Ahmad Salim Al-Sibahi Department of Computer Science, University of Copenhagen (DIKU) & BilagScan, Thomas P. Jensen INRIA Rennes, Aleksandar S. Dimovski IT University of Copenhagen, Denmark, Andrzej Wąsowski IT University of Copenhagen, Denmark | ||
10:30 - 12:00 | |||
10:30 30mTalk | The Behavior of Gradual Types: A User Study DLS Preston Tunnell Wilson Brown University, USA, Ben Greenman Northeastern University, USA, Justin Pombrio Brown University, USA, Shriram Krishnamurthi Brown University, USA | ||
11:00 30mTalk | A Trustworthy Mechanized Formalization of R DLS Martin Bodin Imperial College London, Tomás Diaz University of Chile, Chile, Éric Tanter University of Chile & Inria Paris | ||
11:00 - 12:00 | |||
11:00 60mTalk | Valhalla: Enhancing the JVM with Value Types SPLASH-I Karen Kinnear Oracle | ||
13:00 - 14:00 | |||
13:00 60m | Panel: Industrial and Academic Research PLMW Kathleen Fisher Tufts University, USA, Mayur Naik University of Pennsylvania, Julia Rubin University of British Columbia, Frank Tip Northeastern University | ||
13:30 - 15:00 | |||
13:30 30mTalk | Espalier: a structured spreadsheet tool for end-user development of organizational applications LIVE Media Attached | ||
14:00 30mTalk | Hazel: Live and Direct Functional Programming with Holes LIVE Cyrus Omar University of Chicago, Ian Voysey Carnegie Mellon University, Matthew Hammer University of Colorado, Boulder, Ravi Chugh University of Chicago Pre-print | ||
14:30 30mTalk | REPLugger: a pleasant and scalable live coding editor LIVE Glen Chiacchieri Independent Researcher | ||
13:30 - 15:00 | |||
13:30 30mTalk | Designing with Static Capabilities and Effects OCAP Colin Gordon Drexel University | ||
14:00 60mTalk | Formal Methods Panel OCAP James Noble Victoria University of Wellington, Philipp Haller KTH, Sweden, Colin Gordon Drexel University | ||
13:30 - 15:00 | |||
13:30 45mTalk | Efficient Static Analyses to Identify Opportunities for Replacing Type Code with Subclass and State DocSymposium Jyothi Vedurada IIT Madras | ||
14:15 45mTalk | Safely Adding a Moving Garbage Collector to a Non Garbage Collected Language DocSymposium Jacob Hughes King's College London | ||
13:30 - 15:00 | |||
13:30 45mTalk | Who decides what is allowed? User Interactions and Permissions Use on Android HILT Jeffrey S. Foster Tufts University | ||
14:15 45mTalk | A Language for Programmable Hardware Security HILT Chris Casinghino Draper Laboratory | ||
13:30 - 15:00 | |||
13:30 30mTalk | Delphi: Connecting Researchers to Enable Comparable Large-Scale Experiments in Program Analysis NJR Ben Hermann University of Paderborn Media Attached File Attached | ||
14:00 30mTalk | Statically Checking the Inconsistencies of Security Assumptions/Measures in Android Apps and Systems NJR Zhiyun Qian UC Riverside | ||
14:30 30mTalk | Qualitas Corpus Analysis NJR Craig Anslow Victoria University of Wellington | ||
13:30 - 15:00 | |||
13:30 30mTalk | Healthcare Data Management using Domain Specific Languages for Metadata Management DSLDI | ||
14:00 30mTalk | Modeling REST API Behaviour with Text, Graphics or Both? DSLDI Ana Ivanchikj Software Institute, Faculty of Informatics, USI Lugano, Cesare Pautasso Software Institute, Faculty of Informatics, USI Lugano | ||
14:30 30mTalk | The POSIX shell is an interactive DSL for concurrency DSLDI Michael Greenberg Pomona College | ||
13:30 - 15:00 | |||
13:30 30mTalk | U Can't Inline This TURBO Karim Ali University of Alberta | ||
14:00 30mTalk | Feasibility of Internal Object Pools to Reduce Memory Management Activity TURBO | ||
14:30 30mTalk | Persistent Memory Storage of Cold Regions in the Eclipse OpenJ9 Java Virtual Machine TURBO Scott Young University of New Brunswick | ||
13:30 - 15:00 | |||
13:30 30mTalk | Facet-Oriented Modelling: Open Objects for Model-Driven Engineering SLE Juan de Lara Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Jörg Kienzle McGill University, Canada, Yanis Hattab McGill University | ||
14:00 30mTalk | Analysing Meta-Model Product Lines SLE Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Universidad Autónoma de Madrid, Marsha Chechik University of Toronto, Rick Salay University of Toronto | ||
14:30 30mTalk | Translating Grammars to Accurate Metamodels SLE Arvid Butting Software Engineering RWTH Aachen University, Nico Jansen Software Engineering, RWTH Aachen University, Bernhard Rumpe RWTH Aachen University, Andreas Wortmann RWTH Aachen University | ||
13:30 - 15:00 | |||
13:30 60mTalk | TensorFlow AutoGraph: Imperative-Style Coding with Graph-based PerformanceInvited Talk GPCE | ||
14:30 15mTalk | Funcons for HGMP - The Fundamental Constructs of Homogeneous Generative Meta-Programming (Short paper) GPCE L. Thomas van Binsbergen Royal Holloway University of London | ||
14:45 15mTalk | Explaining Spreadsheets with Spreadsheets (Short Paper) GPCE Jácome Cunha University of Minho, Mihai Dan Oregon State University, Martin Erwig Oregon State University, Danila Fedorin Oregon State University, Alex Grejuc Oregon State University | ||
13:30 - 15:00 | |||
13:30 30mTalk | Log++ Logging for a Cloud-Native World DLS Mark Marron Microsoft Research | ||
14:00 30mTalk | HorseIR: Bringing Array Programming Languages Together with Database Query Processing DLS Hanfeng Chen McGill University, Canada, Joseph Vinish D'Silva McGill University, Canada, Hongji Chen McGill University, Canada, Bettina Kemme McGill University, Canada, Laurie Hendren McGill University, Canada | ||
14:30 30mTalk | JavaScript AOT Compilation DLS Manuel Serrano Inria, France | ||
13:30 - 14:30 | |||
13:30 60mTalk | Better living through incrementality: Immediate static analysis feedback without loss of precision SPLASH-I Link to publication | ||
13:30 - 14:30 | |||
13:30 60mTalk | Verifying dApp Computations on a Blockchain SPLASH-I François-René Rideau LegiCash | ||
14:00 - 15:30 | |||
14:00 30mTalk | Navigating the process of doing a rewarding Ph.D. PLMW Mayur Naik University of Pennsylvania | ||
14:30 30mTalk | Interaction: the Key to Joining a Research Community PLMW Kathi Fisler Brown University File Attached | ||
15:00 30mTalk | Advice on your advisor PLMW Marsha Chechik University of Toronto File Attached | ||
15:30 - 17:00 | |||
15:30 30mTalk | Scaling the REPL Experience LIVE | ||
16:00 30mTalk | SVG Programming by Direct Manipulation of Intermediates LIVE Media Attached | ||
16:30 30mTalk | Chalktalk : A Visualization and Communication Language -- As a Tool in the Domain of Computer Science Education LIVE | ||
15:30 - 17:00 | |||
15:30 45mTalk | Using a JavaScript Ocap Security Kernel at Scale OCAP JF Paradis Salesforce | ||
16:15 45mTalk | Ocaps & Crypto-commerce OCAP | ||
15:30 - 17:00 | |||
15:30 45mTalk | Automated Rule Inference for Cryptographic APIs through Source Code Repositories DocSymposium Anna-Katharina Wickert TU Darmstadt | ||
16:15 30mTalk | Invited Talk 2 DocSymposium Ross Tate Cornell University | ||
16:45 5mDay closing | Closing Remarks DocSymposium Philipp Haller KTH, Sweden | ||
15:30 - 17:00 | |||
15:30 25mIndustry talk | Security Showcae -- Modernizing Static Analysis Tools to Facilitate Integrations HILT Paul Anderson GrammaTech, Inc | ||
15:55 25mIndustry talk | Security Showcase -- Ensuring Cyber Resilience through Entropy-Augmented Replication HILT Mario Troiani Virtual Software Systems | ||
16:20 25mIndustry talk | Security Showcase -- SPARK Formal Verification for Security HILT Tucker Taft AdaCore | ||
16:45 15mDay closing | Workshop Wrapup HILT Tucker Taft AdaCore | ||
15:30 - 17:00 | |||
15:30 30mTalk | Decompiling Ethereum Bytecode and Detecting Gas-Focused Vulnerabilities NJR Yannis Smaragdakis University of Athens | ||
16:00 30mTalk | SWAN: A Program Analysis Framework for Swift NJR Karim Ali University of Alberta | ||
16:30 30mTalk | Clone Detection and Benchmarking in Big Code NJR Chanchal K. Roy University of Saskatchewan | ||
15:30 - 17:00 | |||
15:30 90mOther | BoF: Eclipse OMR Community Directions TURBO Mark Stoodley IBM Canada | ||
15:30 - 17:30 | Grammars & Metamodelling / WorkbenchesSLE at Studio 1 Chair(s): Juan de Lara Universidad Autónoma de Madrid | ||
15:30 30mTalk | Deriving Fluent Internal Domain-Specific Languages from Grammars SLE Arvid Butting Software Engineering RWTH Aachen University, Manuela Dalibor Software Engineering, RWTH Aachen University, Gerrit Leonhardt Software Engineering, RWTH Aachen University, Bernhard Rumpe RWTH Aachen University, Andreas Wortmann RWTH Aachen University | ||
16:00 20mTalk | Fostering Metamodels and Grammars Within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo)Tool Demo SLE Benoît Lelandais CEA/DAM/DIF, France, Marie-Pierre Oudot CEA/DAM/DIF, France, Benoit Combemale University of Rennes 1 | ||
16:20 20mTalk | Migrating Custom DSL Implementations to a Language Workbench (Tool Demo) Tool Demo SLE Jasper Denkers TU Delft, Louis van Gool Océ Technologies B.V., Eelco Visser Delft University of Technology Link to publication DOI | ||
16:40 20mTalk | Bacatá: A Language Parametric Notebook Generator (Tool Demo)Tool Demo SLE Mauricio Verano Merino Technische Universiteit Eindhoven, Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV, Tijs van der Storm CWI & University of Groningen | ||
17:00 20mTalk | Shape-Diverse DSLs: Languages without Borders (Vision Paper)Vision / New Idea SLE Fabien Coulon University of Toulouse / Obeo, Thomas Degueule Centrum Wiskunde & Informatica, Tijs van der Storm CWI & University of Groningen, Benoit Combemale University of Rennes 1 Pre-print | ||
15:30 - 17:00 | |||
15:30 30mTalk | Anomaly Analyses for Feature-Model Evolution GPCE Michael Nieke TU Braunschweig, Germany, Jacopo Mauro University of Southern Denmark, Christoph Seidl Technische Universität Braunschweig, Thomas Thüm University of Ulm, Ingrid Chieh Yu University of Oslo, Felix Franzke TU Braunschweig | ||
16:00 30mTalk | Regenerate: A Language Generator for Extended Regular Expressions GPCE DOI Pre-print | ||
16:30 30mTalk | RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints GPCE | ||
15:30 - 17:00 | |||
15:30 30mTalk | Query-Based Object-Oriented Programming: A Declarative Web of Objects DLS Yoav Seginer cdl-lang.org, Netherlands, Theo Vosse cdl-lang.org, Netherlands, Gil Harari cdl-lang.org, Israel, Uri Kolodny cdl-lang.org, Israel | ||
16:00 30mTalk | Self-Contained Development Environments DLS Guido Chari Czech Technical University, Czechia, Javier Pimás Palantir Solutions, Argentina, Jan Vitek Northeastern University, Olivier Flückiger Northeastern University, USA | ||
16:30 30mTalk | Numerical Computing on the Web: Benchmarking for the Future DLS David Herrera McGill University, Canada, Hanfeng Chen McGill University, Canada, Erick Lavoie McGill University, Canada, Laurie Hendren McGill University, Canada | ||
15:30 - 16:30 | |||
15:30 60mTalk | The Future of AI: Machine Programmers and Their Necessary Self-Awareness SPLASH-I Justin Gottschlich Intel Labs | ||
15:30 - 16:30 | |||
15:30 60mTalk | What happened to distributed programming languages? SPLASH-I Heather Miller Carnegie Mellon University | ||
16:00 - 21:00 | |||
16:00 30mTalk | How to Select Good Research Topics? PLMW Frank Tip Northeastern University File Attached | ||
16:30 60m | Panel of Recent Ph.Ds PLMW Michael Carbin Massachusetts Institute of Technology, Benjamin Lerner Northeastern University, Sarah Nadi University of Alberta, Shiyi Wei The University of Texas at Dallas | ||
17:30 15m | Discussion and Concluding Remarks PLMW File Attached | ||
18:00 3h | End-of-Workshop Dinner at The Brahmin American (All PLMW attendees, speakers, panelists and mentors are invited) PLMW | ||
16:30 - 17:30 | |||
16:30 60mTalk | Automatic Visualization SPLASH-I Leland Wilkinson H2O.ai | ||
16:30 - 17:30 | |||
16:30 60mTalk | Probabilistic Programming Paradigms SPLASH-I | ||
17:30 - 18:30 | |||
17:30 60mTalk | Provably Eliminating Exploitable Bugs SPLASH-I Kathleen Fisher Tufts University, USA | ||
17:30 - 18:30 | |||
17:30 60mTalk | All the languages together SPLASH-I Amal Ahmed Northeastern University | ||
Wed 7 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Wed 7 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
08:30 - 10:00 | |||
08:30 90mTalk | A new modularity for softwareKEYNOTE Keynotes Daniel Jackson MIT | ||
10:30 - 12:00 | |||
10:30 22mTalk | Effect Handlers for the Masses OOPSLA Jonathan Immanuel Brachthäuser University of Tübingen, Germany, Philipp Schuster University of Tübingen, Germany, Klaus Ostermann University of Tübingen, Germany | ||
10:52 22mTalk | Empowering Union and Intersection Types with Integrated Subtyping OOPSLA Link to publication DOI Pre-print | ||
11:15 22mTalk | Julia Subtyping: a Rational Reconstruction OOPSLA Francesco Zappa Nardelli Inria, Julia Belyakova Northeastern University, USA, Artem Pelenitsyn Northeastern University, Benjamin Chung Northeastern University, Jeff Bezanson Julia Computing, Jan Vitek Northeastern University DOI Media Attached | ||
11:37 22mTalk | Scopes as Types OOPSLA Hendrik van Antwerpen TU Delft, Casper Bach Delft University of Technology, Arjen Rouvoet Delft University of Technology, Eelco Visser Delft University of Technology Link to publication DOI File Attached | ||
10:30 - 12:00 | Parallelism and PerformanceOOPSLA at Studio 2 Chair(s): Arjun Guha University of Massachusetts Amherst | ||
10:30 22mTalk | Every Data Structure Deserves Lock-Free Memory Reclamation OOPSLA Nachshon Cohen EPFL, Switzerland | ||
10:52 22mTalk | Parallelization of Dynamic Languages: Synchronizing Built-in Collections OOPSLA Benoit Daloze JKU Linz, Austria, Arie Tal Technion, Stefan Marr University of Kent, Hanspeter Mössenböck JKU Linz, Austria, Erez Petrank Technion Pre-print | ||
11:15 22mTalk | Virtual Machine Design for Parallel Dynamic Programming Languages OOPSLA | ||
11:37 22mTalk | goSLP: Globally Optimized Superword Level Parallelism Framework OOPSLA | ||
10:30 - 12:00 | Usability and ReusabilityOnward! Papers at The Loft Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel | ||
10:30 30mTalk | On the Usage of “Pythonic” Idioms in Python Programs Onward! Papers Carol V. Alexandru University of Zurich, José J. Merchante Universidad Rey Juan Carlos, Sebastiano Panichella Zurich University of Applied Science/University of Zurich, Sebastian Proksch University of Zurich, Harald Gall University of Zurich, Gregorio Robles Universidad Rey Juan Carlos | ||
11:00 30mTalk | Inference and Regeneration of Programs that Store and Retrieve Data Onward! Papers Martin C. Rinard Massachusetts Institute of Technology, Jiasi Shen Massachusetts Institute of Technology, Varun Mangalick MIT | ||
11:00 - 12:00 | |||
11:00 60mTalk | Programming NVM SPLASH-I James Larus EPFL | ||
11:00 - 12:00 | |||
11:00 60mTalk | How a Computer Can Write a Poem and Make it Sound like an Angry Type Theorist or Proving Theorems and Seeing Cats SPLASH-I Richard P. Gabriel Dream Songs, Inc. & HPI | ||
13:30 - 15:00 | |||
13:30 22mTalk | A Derivation Framework for Dependent Security Label Inference OOPSLA | ||
13:52 22mTalk | MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts OOPSLA Neville Grech University of Athens, Michael Kong University of Sydney, Anton Jurisevic University of Sydney, Lexi Brent University of Sydney, Bernhard Scholz The University of Sydney, Yannis Smaragdakis University of Athens Link to publication Pre-print File Attached | ||
14:15 22mTalk | Faster Variational Execution with Transparent Bytecode Transformation OOPSLA Chu-Pan Wong Carnegie Mellon University, Jens Meinicke Magdeburg University, Lukas Lazarek , Christian Kästner Carnegie Mellon University | ||
14:37 22mTalk | Secure Serverless Computing Using Dynamic Information Flow Control OOPSLA Kalev Alpernas Tel Aviv University, Cormac Flanagan University of California, Santa Cruz, Sadjad Fouladi Stanford University, Leonid Ryzhyk VMware Research, Mooly Sagiv Tel Aviv University, Thomas Schmitz , Keith Winstein Stanford University | ||
13:30 - 15:00 | DSLs and Language Design Principles Onward! Papers at The Loft Chair(s): Stefan Marr University of Kent | ||
13:30 30mTalk | The Open Authorial Principle - Supporting Networks of Authors in Creating Externalisable Designs Onward! Papers | ||
14:00 30mTalk | Tool: Accessible Automated Reasoning for Human Robot Collaboration Onward! Papers Ortwin Mailahn ZeMA, Rainer Müller ZeMA, Richard Peifer ZeMA, Damien Zufferey MPI-SWS, Ivan Gavran MPI-SWS | ||
13:30 - 14:30 | |||
13:30 60mTalk | Developing Opal, an App for Cancer Patients, as a Computer Scientist and Cancer Patient SPLASH-I Laurie Hendren McGill University, Canada | ||
13:30 - 14:30 | |||
13:30 60mTalk | Design by Introspection in D SPLASH-I Andrei Alexandrescu D Language Foundation | ||
15:30 - 17:00 | |||
15:30 22mTalk | Bidirectional Evaluation with Direct Manipulation OOPSLA | ||
15:52 22mTalk | BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip OOPSLA Jason Ott University of California, Riverside, Tyson Loveless University of California, Riverside, Chris Curtis University of California, Riverside, Mohsen Lesani University of California, Riverside, Philip Brisk University of California, Riverside | ||
16:15 22mTalk | Distributed System Development with ScalaLoci OOPSLA | ||
16:37 22mTalk | Concurrency-aware Object-oriented Programming with Roles OOPSLA Link to publication DOI | ||
15:30 - 17:00 | |||
15:30 22mTalk | Format Abstraction for Sparse Tensor Algebra Compilers OOPSLA | ||
15:52 22mTalk | ShareJIT: JIT Code Cache Sharing across Processes and its Practical Implementation OOPSLA Xiaoran Xu Rice University, Keith Cooper Rice University, Jacob Brock University of Rochester, Yan Zhang , Handong Ye Futurewei Technologies | ||
16:15 22mTalk | Reconciling High-level Optimizations and Low-level Code in LLVM OOPSLA Juneyoung Lee Seoul National University, Chung-Kil Hur Seoul National University, Ralf Jung MPI-SWS, Zhengyang Liu University of Utah, John Regehr University of Utah, Nuno P. Lopes Microsoft Research Pre-print | ||
16:37 22mTalk | An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability OOPSLA Zhangxiaowen Gong University of Illinois at Urbana-Champaign, Zhi Chen University of California, Irvine, Justin Szaday University of Illinois at Urbana-Champaign, David Wong Intel, Zehra Sura IBM Research, Neftali Watkinson , Saeed Maleki Microsoft Research, David Padua University of Illinois at Urbana-Champaign, Alexander Veidenbaum University of California, Irvine, Alexandru Nicolau University of California, Irvine, Josep Torrellas University of Illinois at Urbana-Champaign Media Attached | ||
15:30 - 17:00 | |||
15:30 45mFull-paper | Fatal Abstraction Onward! Essays Friedrich Steimann Fernuniversität Link to publication DOI | ||
15:30 - 16:30 | |||
15:30 60mTalk | Robustly benchmarking Julia in noisy environments SPLASH-I Jiahao Chen Capital One Pre-print | ||
15:30 - 16:30 | |||
15:30 60mTalk | Low level systems programming in a high level language SPLASH-I Molham Aref Relational.ai | ||
16:30 - 17:30 | |||
16:30 60mTalk | The Rise of Compilerization SPLASH-I Jeff Bezanson Julia Computing | ||
16:30 - 17:30 | |||
16:30 60mTalk | Expanding R Syntax in package space SPLASH-I Jim Hester RStudio | ||
17:05 - 18:00 | Awards / SIGPLAN Town Hall MeetingOOPSLA at Studio 1 Chair(s): Jens Palsberg University of California, Los Angeles, Manu Sridharan Uber | ||
17:30 - 18:30 | |||
17:30 60mTalk | Two Decades of Ownership Types SPLASH-I James Noble Victoria University of Wellington | ||
17:30 - 18:30 | |||
17:30 60mTalk | Ten Cool Things you might not know about the OpenJDK Java Virtual Machine SPLASH-I Christine H. Flood Red Hat | ||
Thu 8 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Thu 8 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
08:30 - 10:00 | |||
08:30 90mTalk | Beauty is the Promise of HappinessKEYNOTE Keynotes Jenny Quillien Embodied Making Institute | ||
10:30 - 12:00 | |||
10:30 22mTalk | Optimal Stateless Model Checking under the Release-Acquire Semantics OOPSLA Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Bengt Jonsson Uppsala University, Tuan Phong Ngo Uppsala University | ||
10:52 22mTalk | Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results OOPSLA | ||
11:15 22mTalk | Persistence Semantics for Weak Memory OOPSLA | ||
11:37 22mTalk | Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State OOPSLA | ||
10:30 - 12:00 | |||
10:30 22mTalk | Horn-ICE Learning for Synthesizing Invariants and Contracts OOPSLA Deepak D'Souza , Ezudheen P , Pranav Garg University of Illinois at Urbana-Champaign, Daniel Neider Max Planck Institute for Software Systems, P. Madhusudan University of Illinois at Urbana-Champaign | ||
10:52 22mTalk | Gradual Liquid Type Inference OOPSLA Niki Vazou IMDEA Software Institute, Éric Tanter University of Chile & Inria Paris, David Van Horn University of Maryland, USA | ||
11:15 22mTalk | Collapsible Contracts: Fixing a Pathology of Gradual Typing OOPSLA Daniel Feltey Northwestern University, USA, Ben Greenman Northeastern University, USA, Christophe Scholliers Universiteit Gent, Belgium, Robert Bruce Findler Northwestern University, USA, Vincent St-Amour Northwestern University | ||
11:37 22mTalk | The Root Cause of Blame: Contracts for Intersection and Union Types OOPSLA Jack Williams University of Edinburgh, UK, J. Garrett Morris University of Kansas, USA, Philip Wadler University of Edinburgh, UK | ||
10:30 - 12:00 | |||
10:30 30mTalk | Cflat: A New Modular Approach to Implementing Efficient and Tunable Collections Onward! Papers Stephan Brandauer Uppsala University, Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University Pre-print | ||
11:00 30mTalk | Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming Onward! Papers Akio Oka Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, Tomoyuki Aotani Tokyo Institute of Technology | ||
11:00 - 12:00 | |||
11:00 60mTalk | Establishing a culture of code review SPLASH-I Peter Burka Two Sigma | ||
13:30 - 15:00 | |||
13:30 22mTalk | Thread-Safe Reactive Programming OOPSLA Joscha Drechsler Technische Universität Darmstadt, Ragnar Mogk Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt, Mira Mezini TU Darmstadt DOI Pre-print File Attached | ||
13:52 22mTalk | RacerD: Compositional Static Race Detection OOPSLA Sam Blackshear Facebook, Nikos Gorogiannis , Peter W. O'Hearn Facebook and University College London, Ilya Sergey Yale-NUS College Pre-print | ||
14:15 22mTalk | What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection OOPSLA Umang Mathur University of Illinois at Urbana-Champaign, Dileep Kini University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign DOI Authorizer link Pre-print | ||
14:37 22mTalk | Sound Deadlock Prediction OOPSLA Christian Gram Kalhauge University of California, Los Angeles, Jens Palsberg University of California, Los Angeles | ||
13:30 - 15:00 | |||
13:30 22mTalk | Incrementalizing Lattice-Based Program Analyses in Datalog OOPSLA Tamás Szabó itemis / TU Delft, Gábor Bergmann Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary, Sebastian Erdweg TU Delft, Markus Völter independent / itemis, Germany | ||
13:52 22mTalk | Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling OOPSLA Minseok Jeon Korea University, South Korea, Sehun Jeong Korea University, Hakjoo Oh Korea University | ||
14:15 22mTalk | Precision-Guided Context Sensitivity for Pointer Analysis OOPSLA Yue Li Aarhus University, Denmark, Tian Tan Aarhus University, Denmark, Anders Møller Aarhus University, Yannis Smaragdakis University of Athens | ||
14:37 22mTalk | Refinement in object-sensitivity points-to analysis via slicing OOPSLA Girish Maskeri Rama Infosys Limited, Raghavan Komondoor Indian Institute of Science, Bangalore, Himanshu Sharma Indian Institute of Science, Bangalore | ||
13:30 - 15:00 | |||
13:30 30mTalk | A CAPable distributed programming model Onward! Papers Florian Myter Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel | ||
14:00 30mTalk | Protecting Chatbots from Toxic Content Onward! Papers Guillaume Baudart IBM Research, Julian Dolby IBM Research, Evelyn Duesterwald IBM Research, Martin Hirzel IBM Research, Avraham Shinnar IBM Research | ||
14:30 30mTalk | JEff: Objects for Effect Onward! Papers | ||
13:30 - 14:30 | |||
13:30 60mTalk | Rust: Reach Further SPLASH-I Nicholas Matsakis Mozilla Corporation | ||
13:30 - 14:30 | |||
13:30 60mTalk | Tangible Abstraction SPLASH-I | ||
15:30 - 17:00 | |||
15:30 22mTalk | Cross-Component Garbage Collection OOPSLA Ulan Degenbaev Google, Jochen Eisinger Google, Kentaro Hara Google, Marcel Hlopko Google, Michael Lippautz Google, Hannes Payer Google DOI Media Attached | ||
15:52 22mTalk | Reactive Caching for Composed Services OOPSLA | ||
16:15 22mTalk | Object-Oriented Recovery for Non-Volatile Memory OOPSLA | ||
16:37 22mTalk | Software Multiplexing: Share Your Libraries and Statically Link Them Too OOPSLA Will Dietz University of Illinois at Urbana-Champaign, Vikram S. Adve University of Illinois at Urbana-Champaign Link to publication DOI Pre-print | ||
15:30 - 17:00 | |||
15:30 22mTalk | DeepBugs: A Learning Approach to Name-based Bug Detection OOPSLA | ||
15:52 22mTalk | ExceLint: Automatically Finding Spreadsheet Formula Errors OOPSLA | ||
16:15 22mTalk | Finding Code That Explodes Under Symbolic Evaluation OOPSLA | ||
16:37 22mTalk | FlashProfile: A Framework for Synthesizing Data Profiles OOPSLA Saswat Padhi University of California, Los Angeles, Prateek Jain Microsoft Research Lab, India, Daniel Perelman University of Washington, USA, Alex Polozov Microsoft Research, Sumit Gulwani Microsoft Research, Todd Millstein University of California, Los Angeles | ||
15:30 - 17:00 | |||
15:30 45mFull-paper | We Should Stop Claiming Generality in our Domain-Specific Language Papers Onward! Essays Daco Harkes Delft University of Technology Link to publication | ||
16:15 45mFull-paper | Interdisciplinary Programming Language Design Onward! Essays Michael Coblenz Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University | ||
15:30 - 16:30 | |||
15:30 60mTalk | Provably Safe Pointers for a Parallel World SPLASH-I Tucker Taft AdaCore | ||
15:30 - 16:30 | |||
15:30 60mTalk | Peering behind the Turing Mirror SPLASH-I Ben L. Titzer Google | ||
16:30 - 17:30 | |||
16:30 60mTalk | All about JavaScriptCore's many compilers SPLASH-I Filip Pizlo Apple | ||
16:30 - 17:30 | |||
16:30 60mTalk | Measuring Microservice Performance: A Shape Not a Number SPLASH-I Daniel Spoonhower Lightstep | ||
17:30 - 18:30 | |||
17:30 60mTalk | In Defense of "Little Code"KEYNOTE Keynotes Kathi Fisler Brown University | ||
Fri 9 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Fri 9 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
08:30 - 10:00 | |||
08:30 90mTalk | Distributed AbstractionsKEYNOTE Keynotes Barbara Liskov MIT | ||
10:30 - 12:00 | |||
10:30 22mTalk | Compositional Programming and Testing of Dynamic Distributed Systems OOPSLA Ankush Desai University of California, Berkeley, Amar Phanishayee Microsoft Research, Shaz Qadeer Microsoft Research, Sanjit Seshia UC Berkeley | ||
10:52 22mTalk | Randomized Testing of Distributed Systems with Probabilistic Guarantees OOPSLA Burcu Kulahcioglu Ozkan MPI-SWS, Germany, Rupak Majumdar MPI-SWS, Germany, Filip Niksic MPI-SWS, Mitra Tabaei Befrouei Vienna University of Technology, Georg Weissenbacher Technische Universität Wien | ||
11:15 22mTalk | Test Generation for Higher-Order Functions in Dynamic Languages OOPSLA Marija Selakovic TU Darmstadt, Germany, Michael Pradel TU Darmstadt, Rezwana Karim Nawrin Samsung Research America, Frank Tip Northeastern University | ||
11:37 22mTalk | Finding Broken Promises in Asynchronous JavaScript Programs OOPSLA Saba Alimadadi Northeastern University, Di Zhong Northeastern University, USA, Magnus Madsen Aarhus University, Frank Tip Northeastern University | ||
10:30 - 12:00 | |||
10:30 22mTalk | Relational Program Synthesis OOPSLA | ||
10:52 22mTalk | Robust Relational Layout Synthesis from Examples for Android OOPSLA | ||
11:15 22mTalk | Speeding up Symbolic Reasoning for Relational Queries OOPSLA Chenglong Wang University of Washington, USA, Alvin Cheung University of Washington, Rastislav Bodík University of Washington | ||
11:37 22mTalk | Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments OOPSLA Junho Lee Korea University, Dowon Song Korea University, Sunbeom So Korea University, Hakjoo Oh Korea University | ||
13:30 - 14:15 | |||
13:30 22mTalk | Leto: Verifying Application-Specific Fault Tolerance through Parameterized Execution Models OOPSLA Brett Boston Massachusetts Institute of Technology, Zoe Gong Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology | ||
13:52 22mTalk | Safe Replication through Bounded Concurrency Verification OOPSLA Gowtham Kaki Purdue University, Kapil Earanky Purdue University, KC Sivaramakrishnan University of Cambridge, Suresh Jagannathan Purdue University | ||
13:30 - 14:15 | |||
13:30 22mTalk | Verified Three-Way Program Merge OOPSLA | ||
13:52 22mTalk | Conflict Resolution for Structured Merge via Version Space Algebra OOPSLA | ||
14:45 - 15:45 | |||
14:45 60mTalk | Reasoning about Security of Amazon Web ServicesKEYNOTE Keynotes Byron Cook Amazon | ||