SPLASH 2018 (series) /
SPLASH 2018 Program
Conference Dates
Conference Dates are in time zone (GMT-05:00) Guadalajara, Mexico City, Monterrey, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Sun 4 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
Sun 4 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
| 08:30 - 09:00 Talk | Mental Models, Metaphors and Misconceptions BLOCKS+ | ||
09:00 - 10:00: Keynote: RamanathanREBLS at Cambridge Chair(s): Francisco Sant'AnnaRio de Janeiro State University | |||
| 09:00 - 09:15 Day opening | Welcome and Opening Remarks REBLS S: Guido SalvaneschiTU Darmstadt, S: Wolfgang De MeuterVrije Universiteit Brussel, P: Francisco Sant'AnnaRio de Janeiro State University File Attached | ||
| 09:15 - 10:00 Talk | Reacting to stream-based programming bugs REBLS | ||
| 09:00 - 09:15 Day opening | Welcome and introduction to SLEBoK and participants SLEBoK | ||
| 09:15 - 09:30 Other | Presentations from working group chairs SLEBoK | ||
| 09:30 - 09:45 Other | Short proposals for new related SLEBoK project SLEBoK | ||
| 09:45 - 10:00 Other | Planning and organization for the day SLEBoK | ||
| 09:00 - 10:00 Talk | On the Self in Selfie ⭐️Keynote VMIL DOI Media Attached | ||
| 10:30 - 11:00 Talk | Panel: Block Abstractions for Artificial Intelligence BLOCKS+ A: Evan W PattonMassachusetts Institute of Technology, A: Stefania DrugaMassachusetts Institute of Technology, A: Jessica Van BrummelenMassachusetts Institute of Technology, P: Joe MazzoneTeacher at Davies Career and Technical High School, P: Xavier Puig FernandezMIT-CSAIL Pre-print | ||
10:30 - 12:00: Embedded, IoT / Multitier, DistributedREBLS at Cambridge Chair(s): Tetsuo KaminaOita University | |||
| 10:30 - 10:52 Talk | Where Do Events Come From? Reactive and Energy-Efficient Programming From The Ground Up REBLS Francisco Sant'AnnaRio de Janeiro State University, Alexandre SztajnbergRio de Janeiro State University File Attached | ||
| 10:52 - 11:15 Talk | Synthesizing Manually Verifiable Code for Statecharts REBLS Steven SmythKiel University, Christian MotikaPhilotech Systementwicklung und Software GmbH, Reinhard von HanxledenKiel University File Attached | ||
| 11:15 - 11:37 Talk | RHEA: A Reactive, Heterogeneous, Extensible and Abstract Framework for Dataflow Programming REBLS File Attached | ||
| 11:37 - 12:00 Talk | Reactive Chatbot Programming REBLS Guillaume BaudartIBM Research, Martin HirzelIBM Research, Louis MandelIBM Research, Avraham ShinnarIBM Research, Jerome SimeonClause File Attached | ||
10:30 - 12:00: The State of GraceGRACE at Longfellow Chair(s): James NobleVictoria University of Wellington | |||
| 10:35 - 10:50 Demonstration | A Tour of Grace GRACE Andrew BlackPortland State University | ||
| 10:50 - 11:00 Talk | Early Experience with Grace at Pomona College GRACE Link to publication | ||
| 11:00 - 11:10 Talk | Teaching programming with Grace at Portland State GRACE Link to publication | ||
| 11:15 - 11:25 Talk | Multi-Device Grace GRACE P: Craig AnslowVictoria University of Wellington, Ben Selwyn-Smith, Michael HomerVictoria University of Wellington | ||
| 11:30 - 11:40 Talk | Newspeak and Truffle: A Platform for Grace? GRACE P: Stefan MarrUniversity of Kent, James NobleVictoria University of Wellington, Richard RobertsVictoria University of Wellington Pre-print | ||
| 11:45 - 11:50 Talk | SmallGrace: Grace in Pharo Smalltalk GRACE Andrew BlackPortland State University | ||
| 10:30 - 12:00 Meeting | Split into small groups, work on SLEBoK tasks, morning SLEBoK | ||
| 10:30 - 10:55 Research paper | Efficient VM-independent Runtime Checks for Parallel Programming VMIL DOI Pre-print | ||
| 10:55 - 11:20 Research paper | Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study VMIL DOI Pre-print | ||
| 11:20 - 11:40 Talk | Generating a Minimum JavaScript VM Specialised for Target Applications VMIL Tomoharu UgawaKochi University of Technology, Japan, Hideya IwasakiUniversity of Electro-Communications, Japan | ||
| 11:40 - 12:00 Talk | Profiling Android Applications with Nanoscope VMIL Lun LiuUniversity of California at Los Angeles, USA, Leland TakamineUber Technologies, Adam WelcUber Technologies Pre-print | ||
| 11:00 - 11:10 Talk | Broadening Participation in Computer Science through Block Programming BLOCKS+ Pre-print | ||
| 11:10 - 11:20 Talk | Reducing the Barriers for Computational Action: How Blocks-Based Programming Can Support Digital Empowerment BLOCKS+ Mike TissenbaumUniversity of Illinois, Urbana-Champain, Josh SheldonMIT App Inventor, Hal AbelsonMIT Pre-print | ||
| 11:20 - 11:28 Other | Themed Session 2: Whole-group discussions BLOCKS+ | ||
| 11:28 - 11:31 Talk | Educational Robotics with a Twist BLOCKS+ Pre-print | ||
| 11:31 - 11:34 Talk | A Blocks-Based Approach to Internet of Things in MIT App Inventor BLOCKS+ Pre-print | ||
| 11:34 - 11:37 Talk | DevTech Lab - KIBO and ScratchJr Demo BLOCKS+ Pre-print | ||
| 11:37 - 11:40 Talk | CloudDB in MIT App Inventor BLOCKS+ | ||
| 11:40 - 12:00 Other | Themed Session 2: Breakout discussions and demos/posters BLOCKS+ | ||
| 13:10 - 14:10 Talk | Thinking Outside the Blocks BLOCKS+ Ben ShapiroUniversity of Colorado, Boulder | ||
| 13:30 - 13:52 Talk | DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms REBLS Jesse ZamanVrije Universiteit Brussel, Kennedy KambonaVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel File Attached | ||
| 13:52 - 14:15 Talk | Multitier Reactive Programming with ScalaLoci REBLS File Attached | ||
| 14:15 - 14:37 Talk | Distributing Thread-Safety for Reactive Programming REBLS Pre-print File Attached | ||
| 14:37 - 15:00 Talk | Skitter: A DSL for Distributed Reactive Workflows REBLS Mathijs SaeyVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel Pre-print File Attached | ||
| 13:30 - 13:50 Talk | KafKa: Gradual Typing for Objects GRACE Benjamin W ChungNortheastern University Link to publication | ||
| 14:00 - 14:20 Talk | Three approaches to Gradual Typing GRACE Ben GreenmanNortheastern University, USA, A: Preston Tunnell WilsonBrown University, USA, A: Justin PombrioBrown University, USA, A: Shriram KrishnamurthiBrown University, USA | ||
| 14:30 - 14:50 Talk | Gradual Typing is Morally Incorrect: the Problem of Applying Gradual Typing GRACE Timothy JonesMontoux | ||
| 13:30 - 15:00 Meeting | Split into small groups, work on SLEBoK tasks, afternoon SLEBoK | ||
| 13:30 - 14:30 Talk | BEAM: A Virtual Machine for Handling Millions of Messages per Second ⭐️Keynote VMIL I: Erik Stenman DOI | ||
| 14:30 - 14:55 Research paper | A Cost Model for a Graph-Based Intermediate-Representation in a Dynamic Compiler VMIL David LeopoldsederJohannes Kepler University Linz, Lukas StadlerOracle Labs, Austria, Manuel RiggerJohannes Kepler University Linz, Thomas WuerthingerOracle Labs, Hanspeter MössenböckJKU Linz, Austria DOI | ||
| 14:10 - 14:20 Talk | Building an Accessible Block Environment BLOCKS+ Emmanuel SchanzerBrown University, Sina BahramPrime Access Consulting, Shriram KrishnamurthiBrown University, USA Pre-print | ||
| 14:20 - 14:25 Talk | Language Workbench Support for Block-Based DSLs BLOCKS+ Mauricio Verano MerinoTechnische Universiteit Eindhoven, Tijs van der StormCWI & University of Groningen Pre-print | ||
| 14:25 - 14:30 Talk | Rapid Prototyping for Blocks-based Languages and Environments BLOCKS+ Pre-print | ||
| 14:30 - 14:35 Talk | TypeScript: From JavaScript to Blockly and Back BLOCKS+ Thomas BallMicrosoft Research, Peli de HalleuxMicrosoft Research, Sam El-HusseiniMicrosoft, Richard KnollMicrosoft, Michal MoskalMicrosoft Research Pre-print | ||
| 14:35 - 15:00 Other | Themed Session 3: Break-out discussions and demos/posters BLOCKS+ | ||
| 15:30 - 15:35 Talk | Enhancing and Evaluating Collaborative Blocks Programming in App Inventor BLOCKS+ Pre-print | ||
| 15:35 - 15:40 Talk | Real-time Collaboration and Undo in StarLogo Nova: Technical Approach and Considerations for UX Design BLOCKS+ Denis LiMIT Scheller Teacher Education Program, Lisa StumpMIT Scheller Teacher Education Program, Daniel WendelMIT Scheller Teacher Education Program Pre-print | ||
| 15:40 - 15:45 Talk | Real-time Collaboration in NetsBlox BLOCKS+ Akos LedecziVanderbilt University | ||
| 15:45 - 15:50 Talk | Multi-Device Grace BLOCKS+ Ben Selwyn-Smith, Craig AnslowVictoria University of Wellington, Michael HomerVictoria University of Wellington | ||
| 15:50 - 16:15 Other | Themed Session 4: Break-out discussions and demos/posters BLOCKS+ | ||
15:30 - 17:00: Visualization, Debugging, ProgrammingREBLS at Cambridge Chair(s): Antony CourtneyFacebook | |||
| 15:30 - 15:52 Talk | Composable Higher-Order Reactors as the Basis for a Live Reactive Programming Environment REBLS Bjarno OeyenVrije Universiteit Brussel, Humberto Rodriguez AvilaVrije Universiteit Brussel, Sam Van den Vonder, Wolfgang De MeuterVrije Universiteit Brussel File Attached | ||
| 15:52 - 16:15 Talk | Explicitly Comprehensible Functional Reactive Programming REBLS Media Attached File Attached | ||
| 16:15 - 16:37 Talk | A Reactive Language for Analyzing Cloud Logs REBLS Guillaume BaudartIBM Research, Louis MandelIBM Research, Olivier TardieuIBM Research, Mandana VaziriIBM Research File Attached | ||
| 16:37 - 17:00 Talk | Visualizing Reactive Execution History using Propagation Traces REBLS Takumi HikosakaRitsumeikan University, Tetsuo KaminaOita University, Katsuhisa MaruyamaRitsumeikan University File Attached | ||
| 15:30 - 15:50 Talk | Static & Dynamic Typing in Grace GRACE P: Andrew BlackPortland State University, Kim BrucePomona College, James NobleVictoria University of Wellington Link to publication | ||
| 15:50 - 16:15 Other | Discussion on types in Grace GRACE | ||
| 15:30 - 16:15 Other | General discussion on SLEBoK: What is working, What should be improved? What next? SLEBoK | ||
| 16:15 - 17:00 Meeting | Updates from working groups, discussion of future plans SLEBoK | ||
| 15:30 - 15:55 Research paper | Building JIT Compilers For Dynamic Languages With Low Development Effort VMIL DOI | ||
| 15:55 - 16:15 Talk | Twopy: A Just-In-Time Compiler For Python Based On Code Specialization VMIL | ||
| 16:15 - 16:40 Research paper | Towards Compilation of an Imperative Language for FPGAs VMIL Baptiste PaugetÉcole Normale Supérieure, David J. PearceVictoria University of Wellington, Alex PotaninVictoria University of Wellington DOI Pre-print File Attached | ||
| 16:40 - 17:05 Research paper | Two Decades of Smalltalk VM Development VMIL Eliot MirandaCadence Design Systems, Clément BéraSofware Languages Lab, Vrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Dan Ingalls DOI | ||
| 16:15 - 16:20 Talk | Rethinking OOP in Snap! BLOCKS+ Pre-print | ||
| 16:20 - 16:25 Talk | Custom Blocks in StarLogo Nova: A Template-Based Approach to Abstraction for Improved Ease of Use and Expressive Power BLOCKS+ Hyeonsu KangMIT Scheller Teacher Education Program, David WuMIT, Daniel WendelMIT Scheller Teacher Education Program Pre-print | ||
| 16:25 - 16:30 Talk | Two New Block Features in GP BLOCKS+ | ||
| 16:30 - 16:35 Talk | JSON Interoperability in MIT App Inventor BLOCKS+ Pre-print | ||
| 16:35 - 16:40 Talk | Scratch 3.0 Design Notes BLOCKS+ | ||
| 16:40 - 17:00 Other | Implementers’ Campfire: Whole group discussions BLOCKS+ | ||
| 16:15 - 17:00 Meeting | The Future of Grace GRACE | ||
| 17:05 - 17:45 Other | Playground Demo/Poster Session BLOCKS+ | ||
Mon 5 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
08:30 - 10:00: Adoption & Programmer PerceptionPLATEAU at Beacon Hill Chair(s): Joshua SunshineCarnegie Mellon University | |||
| 08:30 - 08:50 Talk | Welcome PLATEAU | ||
| 08:50 - 09:15 Talk | Programming by example: efficient, but not "helpful" PLATEAU Mark SantolucitoYale University, USA, Drew GoldmanRoslyn High School, Allyson WeseleyRoslyn High School, Ruzica PiskacYale University, USA File Attached | ||
| 09:15 - 09:30 Talk | Observing the Uptake of a Language Change Making Strings Immutable PLATEAU Manuel MaarekHeriot-Watt University File Attached | ||
| 09:30 - 09:45 Talk | Identifying Barriers to Adoption for Rust through Online Discourse PLATEAU File Attached | ||
| 08:30 - 08:45 Talk | Welcome and Introduction AGERE | ||
| 08:45 - 10:00 Talk | Concurrency vs. Parallelism in Encore (...and Types)Keynote AGERE Tobias WrigstadUppsala University | ||
08:30 - 10:00: Meta for TypesMETA at Cambridge Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel | |||
| 08:30 - 09:00 Talk | Code Generation for Higher Inductive Types META Paventhan VivekanandanIndiana University Bloomington File Attached | ||
| 09:00 - 09:30 Talk | Recognizing heterogeneous sequences by rational type expression META DOI | ||
| 09:30 - 10:00 Talk | Multiple Dispatch using Compile-Time Metaprogramming META | ||
| 08:30 - 09:15 Day opening | Welcome to the HILT 2018 Workshop HILT Tucker TaftAdaCore | ||
| 09:15 - 10:00 Talk | CVE, CWE, CQE and all that -- enumerating the security and safety challenges for networked softwareKeynote HILT Robert A. MartinThe MITRE Corporation | ||
| 08:30 - 09:00 Talk | Eclipse OMR: Building Blocks for Polyglot TURBO Xiaoli LiangIBM Canada | ||
| 09:00 - 09:30 Talk | Taking Eclipse OMR JitBuilder to a Language Near You TURBO Leonardo BanderaliIBM Toronto Labs | ||
| 09:30 - 10:00 Talk | JIT as a Service: Compiling for Runtimes in the Cloud TURBO Mark StoodleyIBM Canada | ||
| 08:30 - 08:45 Talk | Opening GPCE Eric Van WykUniversity of Minnesota, USA, Tiark RompfPurdue University, David J. PearceVictoria University of Wellington, Tanja MayerhoferTU Wien, Friedrich SteimannFernuniversität | ||
| 08:45 - 10:00 Talk | How to Make Sparse FastKeynote GPCE | ||
| 08:45 - 10:00 Talk | Explicit Direct Instruction in Programming EducationKEYNOTE Keynotes | ||
| 10:30 - 11:00 Talk | A Configurable Transport Layer for CAF AGERE Link to publication DOI File Attached | ||
| 11:00 - 11:30 Talk | Distributed Functional Reactive Programming on Actor-Based Runtime AGERE Link to publication DOI | ||
| 11:30 - 12:00 Talk | Observable atomic consistency for CvRDTs AGERE | ||
| 10:30 - 11:30 Talk | SemanticDB: a common data model for Scala developer tools ⭐️Keynote META DOI | ||
| 11:30 - 12:00 Demonstration | Relit: Typed Literal Macros for Reason META Link to publication | ||
| 10:30 - 11:15 Talk | Programming Language Systems for Developing Cyber Resilient Software HILT | ||
| 11:15 - 12:00 Talk | Cyber-Resilience: What does it really mean, and how do we design it into our systems? HILT Deborah BodeauThe MITRE Corporation | ||
| 10:30 - 11:00 Talk | Take a Selfie in Class SPLASH-E Christoph KirschUniversity of Salzburg | ||
| 11:00 - 11:30 Talk | A Framework for Code-Level Tracing of Map-Based Algorithm Visualizations SPLASH-E File Attached | ||
| 11:30 - 12:00 Talk | Early Experience: Teaching the Basics of Functional Language Design with a Language Type Checker SPLASH-E Matteo CiminiUniversity of Massachusetts Lowell File Attached | ||
| 10:30 - 11:00 Talk | Eclipse OMR Om: A Relaxing Object Model for the Polyglot World TURBO Robert YoungIBM, Canada | ||
| 11:00 - 11:30 Talk | Building AArch64 Support for the Eclipse OMR Language Runtime Toolkit TURBO Jean-Philippe LegaultUniversity of New Brunswick, Aaron GrahamIBM/University of New Brunswick: Centre for Advanced Studies - Atlantic (CAS-Atlantic) | ||
| 11:30 - 12:00 Talk | Building an Ahead-of-Time Compiler for WebAssembly with Eclipse OMR TURBO | ||
| 10:30 - 11:00 Talk | Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages SLE Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Michael J. SteindorferDelft University of Technology, Sebastian ErdwegTU Delft, Eelco VisserDelft University of Technology Link to publication DOI | ||
| 11:00 - 11:30 Talk | GLL Parsing with Flexible Combinators SLE L. Thomas van BinsbergenRoyal Holloway University of London, Elizabeth ScottRoyal Holloway University of London, Adrian Johnstone File Attached | ||
| 11:30 - 12:00 Talk | Morbig: A Static Parser for POSIX Shell SLE Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2, Nicolas JeannerodIRIF, University Paris Diderot and CNRS, France, Ralf TreinenIRIF | ||
| 10:30 - 11:00 Talk | A Domain-Specific Language for Exploratory Data Visualization GPCE | ||
| 11:00 - 11:30 Talk | A Practical Unification of Multi-Stage Programming and Macros GPCE | ||
| 11:30 - 12:00 Talk | Rash: From Reckless Interactions to Reliable Programs GPCE | ||
13:30 - 15:00: Language UsabilityPLATEAU at Beacon Hill Chair(s): Sarah E. ChasinsUniversity of California, Berkeley | |||
| 13:30 - 13:55 Talk | A Randomized Controlled Trial on the Impact of Polyglot Programming in a Database Context PLATEAU File Attached | ||
| 13:55 - 14:10 Talk | Understanding Java Usability by Mining GitHub Repositories PLATEAU File Attached | ||
| 14:10 - 14:35 Talk | QDB: From Quantum Algorithms Towards Correct Quantum Programs PLATEAU Pre-print File Attached | ||
| 13:30 - 14:00 Talk | Chocola: Integrating Futures, Actors, and Transactions AGERE Janwillem SwalensVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel Pre-print | ||
| 14:00 - 14:30 Talk | Concurrent Garbage Collection in the Actor Model AGERE | ||
| 14:30 - 15:00 Talk | Attached and Detached Closures in Actors AGERE Elias CastegrenUppsala University, Dave ClarkeUppsala Univ. Sweden and KU Leuvern, Kiko Fernandez-ReyesUppsala University, Tobias WrigstadUppsala University, Albert Mingkun YangUppsala University | ||
13:30 - 15:00: Keynote: Bonetta & InfrastructureMETA at Cambridge Chair(s): Guido ChariCzech Technical University, Czechia | |||
| 13:30 - 14:30 Talk | GraalVM: Metaprogramming inside a Polyglot System ⭐️Keynote META Daniele BonettaOracle Labs DOI | ||
| 14:30 - 15:00 Talk | Does It Make Sense to have Application-specific Code Conventions as a Complementary Approach to Code Annotations? META Rodrigo TeixeiraINPE - National Institute for Space Research, Eduardo GuerraINPE - National Institute for Space Research, Phyllipe LimaINPE - National Institute for Space Research, Paulo MeirellesFederal University of São Paulo, Fabio KonUniversity of São Paulo DOI | ||
| 13:30 - 14:15 Talk | Tool support for Confidentiality by Construction HILT S: Tobias RungeTU Braunschweig, S: Ina SchaeferTechnische Universität Braunschweig, Alexander KnüppelTU Braunschweig, Germany, Loek CleophasEindhoven University of Technology (TU/e) and Stellenbosch University, Derrick KourieStellenbosch University, Bruce WatsonStellenbosch University; and Centre for AI Research, CSIR | ||
| 14:15 - 15:00 Other | Panel on Language-based Security HILT P: Stephen ChongHarvard University, Ina SchaeferTechnische Universität Braunschweig, Tobias RungeTU Braunschweig, Lucas WagnerRockwell Collins, Sam ProcterCarnegie Mellon Software Engineering Institute, Tucker TaftAdaCore | ||
| 13:30 - 14:00 Talk | Bridging the Gap for At-Risk Cohorts: Experimenting with English Language Learners SPLASH-E File Attached | ||
| 14:00 - 14:30 Talk | LambdaLab: An Interactive Lambda-Calculus Reducer for Learning SPLASH-E File Attached | ||
| 14:30 - 15:00 Meeting | Discussion SPLASH-E | ||
| 13:30 - 15:00 Other | Boost WABT Performance with JitBuilder (Part I) TURBO Leonardo BanderaliIBM Toronto Labs, Xiaoli LiangIBM Canada, Daryl MaierIBM Canada, Mark StoodleyIBM Canada, Robert YoungIBM, Canada | ||
13:30 - 15:00: Parsing / CompositionSLE at Studio 1 Chair(s): Eelco VisserDelft University of Technology | |||
| 13:30 - 13:50 Talk | Input-Driven Regular Expressions (Vision Paper)Vision / New Idea SLE Alexander SakharovSynstretch | ||
| 13:50 - 14:20 Talk | Modular Language Composition for the Masses SLE Manuel LeducUniv Rennes, Inria, CNRS, IRISA, Thomas DegueuleCentrum Wiskunde & Informatica, Benoit CombemaleUniversity of Rennes 1 DOI Pre-print | ||
| 14:20 - 14:40 Talk | Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)Tool Demo SLE Filip StrömbäckLinköping University DOI | ||
| 14:40 - 15:00 Talk | Languages as First-Class Citizens (Vision Paper)Vision / New Idea SLE Matteo CiminiUniversity of Massachusetts Lowell | ||
| 13:30 - 14:00 Talk | Exploring feature interactions without specifications: a controlled experiment GPCE Larissa SoaresUniversidade Federal da Bahia, Jens MeinickeMagdeburg University, Sarah NadiUniversity of Alberta, Christian KästnerCarnegie Mellon University, Eduardo AlmeidaUniversidade Federal da Bahia | ||
| 14:00 - 14:30 Talk | Inferring Ownership Domains From Refinements GPCE | ||
| 14:30 - 15:00 Talk | Implementing a semi-causal domain-specific language for context detection over binary sensors GPCE | ||
| 13:30 - 14:30 Talk | Mechanized Proofs of System Correctness in Production: Cryptography and Beyond SPLASH-I | ||
| 13:30 - 14:30 Talk | Time-Travel Debugging and Actionable Diagnostics Insights SPLASH-I Mark MarronMicrosoft Research | ||
15:30 - 17:00: Interactive Tools & BreakoutPLATEAU at Beacon Hill Chair(s): Sarah E. ChasinsUniversity of California, Berkeley | |||
| 15:30 - 15:55 Talk | Interactive Extraction of Examples from Existing Code PLATEAU Andrew HeadUC Berkeley | ||
| 15:55 - 16:00 Talk | Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments - Preview PLATEAU Junho LeeKorea University, Dowon SongKorea University, Sunbeom SoKorea University, Hakjoo OhKorea University | ||
| 16:00 - 16:05 Talk | One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax - Preview PLATEAU | ||
| 16:05 - 16:10 Talk | Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming - Preview PLATEAU Akio OkaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology | ||
| 16:10 - 17:00 Other | Breakout Discussion PLATEAU | ||
| 15:30 - 16:00 Talk | Implementing Linking in Multiparty Sessions AGERE | ||
| 16:00 - 16:30 Talk | Compositional Programming and Testing of Actor Programs AGERE Ankush DesaiUniversity of California, Berkeley, Shaz QadeerMicrosoft Research, Sanjit SeshiaUC Berkeley | ||
| 15:30 - 16:30 Talk | Through a Glass, Darkly ⭐️Keynote META DOI | ||
| 16:30 - 17:00 Day closing | Discussion and Closing META | ||
| 15:30 - 16:00 Short-paper | SPARK by Example: an introduction to formal verification through the standard C++ library HILT | ||
| 16:00 - 16:30 Short-paper | Soundness of a Dataflow Analysis for Memory Monitoring HILT P: Dara LyCEA LIST, Nikolai KosmatovCEA List, Frederic LoulergueNorthern Arizona University, Julien SignolesCEA LIST | ||
| 16:30 - 16:55 Short-paper | Minimal Specifications for Detecting Security Vulnerabilities HILT P: Andrew BernsUniversity of Northern Iowa, James CurbowUniversity of Northern Iowa, Joshua HilliardUniversity of Northern Iowa, Sheriff JorkehUniversity of Northern Iowa, Miho SandersUniversity of Northern Iowa | ||
| 16:55 - 17:00 Social Event | 6:30PM HILT Banquet at Legal Seafoods, Park Plaza, preceded by SIGAda EC meeting from 5:15 to 6:15PM HILT | ||
| 15:30 - 17:00 Other | Boost WABT Performance with JitBuilder (Part II) TURBO Leonardo BanderaliIBM Toronto Labs, Xiaoli LiangIBM Canada, Daryl MaierIBM Canada, Mark StoodleyIBM Canada, Robert YoungIBM, Canada | ||
| 15:30 - 16:00 Talk | Meta-programming for cross-domain tensor optimizations GPCE Adilla SusungiMINES ParisTech, France, Norman A. RinkTU Dresden, Germany, Albert CohenGoogle, Jeronimo CastrillonTU Dresden, Germany, Claude TadonkiMINES ParisTech, France | ||
| 16:00 - 16:30 Talk | Model-based Security Analysis of Feature-oriented Software Product Lines GPCE Sven PeldszusUniversity of Koblenz-Landau, Daniel StrüberUniversity of Koblenz-Landau, Germany, Jan JürjensUniversity of Koblenz-Landau DOI Pre-print | ||
| 16:30 - 17:00 Talk | Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs GPCE Laurent ChristopheVUB, Coen De RooverVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel | ||
| 15:30 - 16:30 Talk | Software is eating the world, but ML is going to eat software SPLASH-I John Myles WhiteFacebook | ||
| 15:30 - 16:30 Talk | Oh, the compilers you will build! SPLASH-I Mark StoodleyIBM Canada Link to publication | ||
| 16:30 - 17:30 Talk | Reliable Deployment at Uber Scale SPLASH-I | ||
| 16:30 - 17:30 Talk | Composable References and the Yoneda Lemma SPLASH-I Jeremy GibbonsUniversity of Oxford Link to publication Pre-print | ||
Tue 6 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
| 07:30 - 08:45 | Mentoring Breakfast PLMW | ||
08:00 - 10:00: AI SEPSAI-SEPS at Cabot Chair(s): Yukinori SatoToyohashi University of Technology, Ali JannesariIowa State University | |||
| 08:00 - 08:50 Talk | Deep Learning at ScaleKeynote AI-SEPS PrabhatNERSC, Berkeley Lab | ||
| 08:50 - 09:15 Talk | PIRA: Performance Instrumentation Refinement Automation AI-SEPS Jan-Patrick LehrGraduate School of Computational Engineering, TU Darmstadt, Alexander HückInstitute for Scientific Computing, TU Darmstadt, Christian BischofScientific Computing, TU Darmstadt | ||
| 09:15 - 09:30 Talk | PyGA: A Python to FPGA compiler prototype AI-SEPS | ||
| 09:30 - 10:00 Talk | Panel discussion AI-SEPS P: Yukinori SatoToyohashi University of Technology, P: Ali JannesariIowa State University, P: Shigeru ChibaThe University of Tokyo | ||
| 08:30 - 09:30 Talk | Against The Current: What We Learned From EveKeynote LIVE | ||
| 09:30 - 10:00 Talk | From Debugging Towards Live Tuning of Reactive Applications LIVE Ragnar MogkTechnische Universität Darmstadt, Pascal WeisenburgerTechnische Universität Darmstadt, Julian HaasTechnische Universität Darmstadt, David RichterTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt Pre-print | ||
| 08:30 - 08:33 Day opening | Welcome and Introduction DocSymposium Philipp HallerKTH, Sweden | ||
| 08:33 - 08:45 Talk | Lightning Talks DocSymposium Philipp HallerKTH, Sweden | ||
| 08:45 - 09:30 Talk | A DSL for Distributed, Reactive Workflows DocSymposium Mathijs SaeyVrije Universiteit Brussel | ||
| 09:30 - 10:00 Talk | Invited Talk 1 DocSymposium Heather MillerCarnegie Mellon University | ||
| 08:30 - 08:45 Awards | SIGAda Awards and Sponsor Intros HILT Tucker TaftAdaCore | ||
| 08:45 - 09:05 Talk | SAFECode.org and Secure Software Development Practices HILT Eric BaizeSAFECode / Dell | ||
| 09:05 - 10:00 Talk | DARPA CASE program, motivation and challengesKeynote HILT Raymond RichardsDARPA | ||
| 08:30 - 09:00 Talk | The DaCapo Benchmark Suite: A Methodological, Engineering, and Social Journey NJR Steve BlackburnAustralian National University | ||
| 09:00 - 09:30 Talk | NJR: 100,000 Executable, Scriptable, and Searchable Java Programs NJR Jens PalsbergUniversity of California, Los Angeles | ||
| 09:30 - 10:00 Talk | NJR discussion; Needs, Requirements, Wishes NJR Jens PalsbergUniversity of California, Los Angeles | ||
| 08:30 - 10:00 Other | Create an Object Model and Get a GC for Free (Part I) TURBO Robert YoungIBM, Canada, Leonardo BanderaliIBM Toronto Labs, Xiaoli LiangIBM Canada, Daryl MaierIBM Canada, Mark StoodleyIBM Canada | ||
| 08:30 - 08:45 Day opening | Awards SLE Friedrich SteimannFernuniversität, Tanja MayerhoferTU Wien, Matthew RobertsMacquarie University, Romina EramoUniversity of L'Aquila | ||
| 08:45 - 10:00 Talk | A New Approach for Software Correctness and ReliabilityKeynote SLE Martin RinardMassachusetts Institute of Technology | ||
| 08:45 - 09:00 | Welcome and Introduction PLMW Barbara RyderVirginia Tech File Attached | ||
| 09:00 - 10:00 Talk | 50 Years of Programming and Language DesignKEYNOTE Keynotes Guy L. Steele Jr.Oracle Labs File Attached | ||
| 10:30 - 11:00 Talk | Margin Notes: Automatic code documentation with recorded examples from runtime LIVE Pre-print | ||
| 11:00 - 11:30 Talk | PANE: Programming with visible data LIVE | ||
| 11:30 - 12:00 Talk | Realtime Annotations & Visualizations in Live Coding Environments LIVE Charles RobertsWorcester Polytechnic Institute Pre-print | ||
| 10:30 - 11:30 Talk | Lost Wisdom of the Ancients OCAP | ||
| 11:30 - 12:00 Talk | OCAP Patterns Panel OCAP | ||
| 10:30 - 11:00 Talk | The story of Arjun Guha, or: the arc of a research project PLMW Shriram KrishnamurthiBrown University, USA | ||
| 11:00 - 11:30 Talk | From academia to industry and back again PLMW Julia RubinUniversity of British Columbia File Attached | ||
| 11:30 - 12:00 Talk | Work/Life Balance PLMW Kathleen FisherTufts University, USA File Attached | ||
| 10:30 - 11:15 Talk | Building Correct and Safe Distributed Systems DocSymposium Maryam DabaghchianUniversity of Utah | ||
| 11:15 - 12:00 Talk | The Software Architecture of Economy Mechanics in Digital Games DocSymposium Wilson MizutaniUniversity of São Paulo | ||
| 10:30 - 11:15 Talk | SpeAR – Using a formal specification language for safety and security HILT Lucas WagnerRockwell Collins | ||
| 11:15 - 12:00 Talk | Architecture-level security in a safety-critical system HILT S: Sam ProcterCarnegie Mellon Software Engineering Institute, Peter FeilerCarnegie Mellon Software Engineering Institute | ||
| 10:30 - 11:00 Talk | Analyzing Code Repositories: A Case Study in Reproducibility NJR Jan VitekNortheastern University | ||
| 11:00 - 11:30 Talk | Declarative Program Analysis and Big Code: Challenges and Opportunities NJR Mayur NaikUniversity of Pennsylvania | ||
| 11:30 - 12:00 Talk | Towards Automating Precision Studies of Clone Detectors NJR Farima FarmahinifarahaniUniversity of California at Irvine, USA | ||
| 10:30 - 11:00 Talk | A Schematic Pushdown Reachability Language DSLDI | ||
| 11:00 - 11:30 Talk | CLP(SMT) DSLDI | ||
| 11:30 - 12:00 Talk | Domain-Specific Optimizations for Linear Pipelines DSLDI | ||
| 10:30 - 12:00 Other | Create an Object Model and Get a GC for Free (Part II) TURBO Robert YoungIBM, Canada, Leonardo BanderaliIBM Toronto Labs, Xiaoli LiangIBM Canada, Mark StoodleyIBM Canada, Daryl MaierIBM Canada | ||
| 10:30 - 11:00 Talk | Constraint-based Run-time State Migration for Live Modeling SLE Ulyana TikhonovaCWI, Jouke StoelCWI, Tijs van der StormCWI & University of Groningen, Thomas DegueuleCentrum Wiskunde & Informatica | ||
| 11:00 - 11:30 Talk | The Next 700 Unit Checkers SLE | ||
| 11:30 - 12:00 Talk | A Practical Type System for Safe Aliasing SLE Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier BuchsUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland | ||
| 10:30 - 11:00 Talk | Measuring Effectiveness of Sample-based Product-Line Testing GPCE Sebastian Ruland, Lars LuthmannTU Darmstadt, Real-time Systems Lab, Johannes BürdekTU Darmstadt, Real-time Systems Lab, Sascha LityTechnische Universität Braunschweig, Thomas ThümTU Braunschweig, Germany, Malte Lochau, Márcio RibeiroFederal University of Alagoas, Brazil | ||
| 11:00 - 11:30 Talk | Pattern Matching in an Open World GPCE | ||
| 11:30 - 12:00 Talk | Verification of High-Level Transformations with Inductive Refinement Types GPCE Ahmad Salim Al-SibahiDepartment of Computer Science, University of Copenhagen (DIKU) & BilagScan, Thomas P. JensenINRIA Rennes, Aleksandar S. DimovskiIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark | ||
| 10:30 - 11:00 Talk | The Behavior of Gradual Types: A User Study DLS Preston Tunnell WilsonBrown University, USA, Ben GreenmanNortheastern University, USA, Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA | ||
| 11:00 - 11:30 Talk | A Trustworthy Mechanized Formalization of R DLS Martin BodinImperial College London, Tomás DiazUniversity of Chile, Chile, Éric TanterUniversity of Chile & Inria Paris | ||
| 11:00 - 12:00 Talk | Valhalla: Enhancing the JVM with Value Types SPLASH-I Karen KinnearOracle | ||
13:00 - 14:00: Panel: Industry and AcademiaPLMW at Cambridge Chair(s): Sarah NadiUniversity of Alberta | |||
| 13:00 - 14:00 | Panel: Industrial and Academic Research PLMW Kathleen FisherTufts University, USA, Mayur NaikUniversity of Pennsylvania, Julia RubinUniversity of British Columbia, Frank TipNortheastern University | ||
| 13:30 - 14:00 Talk | Espalier: a structured spreadsheet tool for end-user development of organizational applications LIVE Media Attached | ||
| 14:00 - 14:30 Talk | Hazel: Live and Direct Functional Programming with Holes LIVE Cyrus OmarUniversity of Chicago, Ian VoyseyCarnegie Mellon University, Matthew HammerUniversity of Colorado, Boulder, Ravi ChughUniversity of Chicago Pre-print | ||
| 14:30 - 15:00 Talk | REPLugger: a pleasant and scalable live coding editor LIVE Glen ChiacchieriIndependent Researcher | ||
| 13:30 - 14:00 Talk | Designing with Static Capabilities and Effects OCAP Colin GordonDrexel University | ||
| 14:00 - 15:00 Talk | Formal Methods Panel OCAP James NobleVictoria University of Wellington, Philipp HallerKTH, Sweden, Colin GordonDrexel University | ||
| 13:30 - 14:15 Talk | Efficient Static Analyses to Identify Opportunities for Replacing Type Code with Subclass and State DocSymposium Jyothi VeduradaIIT Madras | ||
| 14:15 - 15:00 Talk | Safely Adding a Moving Garbage Collector to a Non Garbage Collected Language DocSymposium Jacob HughesKing's College London | ||
| 13:30 - 14:15 Talk | Who decides what is allowed? User Interactions and Permissions Use on Android HILT Jeffrey S. FosterTufts University | ||
| 14:15 - 15:00 Talk | A Language for Programmable Hardware Security HILT Chris CasinghinoDraper Laboratory | ||
| 13:30 - 14:00 Talk | Delphi: Connecting Researchers to Enable Comparable Large-Scale Experiments in Program Analysis NJR Ben HermannUniversity of Paderborn Media Attached File Attached | ||
| 14:00 - 14:30 Talk | Statically Checking the Inconsistencies of Security Assumptions/Measures in Android Apps and Systems NJR Zhiyun QianUC Riverside | ||
| 14:30 - 15:00 Talk | Qualitas Corpus Analysis NJR Craig AnslowVictoria University of Wellington | ||
| 13:30 - 14:00 Talk | Healthcare Data Management using Domain Specific Languages for Metadata Management DSLDI | ||
| 14:00 - 14:30 Talk | Modeling REST API Behaviour with Text, Graphics or Both? DSLDI Ana IvanchikjSoftware Institute, Faculty of Informatics, USI Lugano, Cesare PautassoSoftware Institute, Faculty of Informatics, USI Lugano | ||
| 14:30 - 15:00 Talk | The POSIX shell is an interactive DSL for concurrency DSLDI Michael GreenbergPomona College | ||
| 13:30 - 14:00 Talk | U Can't Inline This TURBO Karim AliUniversity of Alberta | ||
| 14:00 - 14:30 Talk | Feasibility of Internal Object Pools to Reduce Memory Management Activity TURBO | ||
| 14:30 - 15:00 Talk | Persistent Memory Storage of Cold Regions in the Eclipse OpenJ9 Java Virtual Machine TURBO Scott YoungUniversity of New Brunswick | ||
13:30 - 15:00: Grammars & MetamodellingSLE at Studio 1 Chair(s): Thomas DegueuleCentrum Wiskunde & Informatica | |||
| 13:30 - 14:00 Talk | Facet-Oriented Modelling: Open Objects for Model-Driven Engineering SLE Juan de LaraUniversidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Jörg KienzleMcGill University, Canada, Yanis HattabMcGill University | ||
| 14:00 - 14:30 Talk | Analysing Meta-Model Product Lines SLE Esther Guerra Universidad Autónoma de Madrid, Juan de LaraUniversidad Autónoma de Madrid, Marsha ChechikUniversity of Toronto, Rick SalayUniversity of Toronto | ||
| 14:30 - 15:00 Talk | Translating Grammars to Accurate Metamodels SLE Arvid ButtingSoftware Engineering RWTH Aachen University, Nico JansenSoftware Engineering, RWTH Aachen University, Bernhard RumpeRWTH Aachen University, Andreas WortmannRWTH Aachen University | ||
| 13:30 - 14:30 Talk | TensorFlow AutoGraph: Imperative-Style Coding with Graph-based PerformanceInvited Talk GPCE | ||
| 14:30 - 14:45 Talk | Funcons for HGMP - The Fundamental Constructs of Homogeneous Generative Meta-Programming (Short paper) GPCE L. Thomas van BinsbergenRoyal Holloway University of London | ||
| 14:45 - 15:00 Talk | Explaining Spreadsheets with Spreadsheets (Short Paper) GPCE Jácome CunhaUniversity of Minho, Mihai DanOregon State University, Martin ErwigOregon State University, Danila FedorinOregon State University, Alex GrejucOregon State University | ||
| 13:30 - 14:00 Talk | Log++ Logging for a Cloud-Native World DLS Mark MarronMicrosoft Research | ||
| 14:00 - 14:30 Talk | HorseIR: Bringing Array Programming Languages Together with Database Query Processing DLS Hanfeng ChenMcGill University, Canada, Joseph Vinish D'SilvaMcGill University, Canada, Hongji ChenMcGill University, Canada, Bettina KemmeMcGill University, Canada, Laurie HendrenMcGill University, Canada | ||
| 14:30 - 15:00 Talk | JavaScript AOT Compilation DLS Manuel SerranoInria, France | ||
| 13:30 - 14:30 Talk | Better living through incrementality: Immediate static analysis feedback without loss of precision SPLASH-I Link to publication | ||
| 13:30 - 14:30 Talk | Verifying dApp Computations on a Blockchain SPLASH-I François-René RideauLegiCash | ||
| 14:00 - 14:30 Talk | Navigating the process of doing a rewarding Ph.D. PLMW Mayur NaikUniversity of Pennsylvania | ||
| 14:30 - 15:00 Talk | Interaction: the Key to Joining a Research Community PLMW Kathi FislerBrown University File Attached | ||
| 15:00 - 15:30 Talk | Advice on your advisor PLMW Marsha ChechikUniversity of Toronto File Attached | ||
| 15:30 - 16:00 Talk | Scaling the REPL Experience LIVE | ||
| 16:00 - 16:30 Talk | SVG Programming by Direct Manipulation of Intermediates LIVE Media Attached | ||
| 16:30 - 17:00 Talk | Chalktalk : A Visualization and Communication Language -- As a Tool in the Domain of Computer Science Education LIVE | ||
| 15:30 - 16:15 Talk | Using a JavaScript Ocap Security Kernel at Scale OCAP JF ParadisSalesforce | ||
| 16:15 - 17:00 Talk | Ocaps & Crypto-commerce OCAP | ||
| 15:30 - 16:15 Talk | Automated Rule Inference for Cryptographic APIs through Source Code Repositories DocSymposium Anna-Katharina WickertTU Darmstadt | ||
| 16:15 - 16:45 Talk | Invited Talk 2 DocSymposium Ross TateCornell University | ||
| 16:45 - 16:50 Day closing | Closing Remarks DocSymposium Philipp HallerKTH, Sweden | ||
| 15:30 - 15:55 Industry talk | Security Showcae -- Modernizing Static Analysis Tools to Facilitate Integrations HILT Paul AndersonGrammaTech, Inc | ||
| 15:55 - 16:20 Industry talk | Security Showcase -- Ensuring Cyber Resilience through Entropy-Augmented Replication HILT Mario TroianiVirtual Software Systems | ||
| 16:20 - 16:45 Industry talk | Security Showcase -- SPARK Formal Verification for Security HILT Tucker TaftAdaCore | ||
| 16:45 - 17:00 Day closing | Workshop Wrapup HILT Tucker TaftAdaCore | ||