SPLASH 2018 (series) /
SPLASH 2018 Program
Filter 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
Conference DaySun 4 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Conference Day
Sun 4 NovDisplayed 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 SalvaneschiTU Darmstadt, S: Wolfgang De MeuterVrije Universiteit Brussel, P: Francisco Sant'AnnaRio 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 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 | |||
10:30 22mTalk | 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 22mTalk | Synthesizing Manually Verifiable Code for Statecharts REBLS Steven SmythKiel University, Christian MotikaPhilotech Systementwicklung und Software GmbH, Reinhard von HanxledenKiel 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 BaudartIBM Research, Martin HirzelIBM Research, Louis MandelIBM Research, Avraham ShinnarIBM Research, Jerome SimeonClause File Attached | ||
10:30 - 12:00 | |||
10:35 15mDemonstration | A Tour of Grace GRACE Andrew BlackPortland 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 AnslowVictoria University of Wellington, Ben Selwyn-Smith, Michael HomerVictoria University of Wellington | ||
11:30 10mTalk | 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 5mTalk | SmallGrace: Grace in Pharo Smalltalk GRACE Andrew BlackPortland 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 UgawaKochi University of Technology, Japan, Hideya IwasakiUniversity of Electro-Communications, Japan | ||
11:40 20mTalk | Profiling Android Applications with Nanoscope VMIL Lun LiuUniversity of California at Los Angeles, USA, Leland TakamineUber Technologies, Adam WelcUber Technologies Pre-print | ||
11:00 - 12:00 | |||
11:00 10mTalk | Broadening Participation in Computer Science through Block Programming BLOCKS+ Pre-print | ||
11:10 10mTalk | 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 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+ 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+ Ben ShapiroUniversity 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 ZamanVrije Universiteit Brussel, Kennedy KambonaVrije Universiteit Brussel, Wolfgang De MeuterVrije 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 SaeyVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel Pre-print File Attached | ||
13:30 - 15:00 | |||
13:30 20mTalk | KafKa: Gradual Typing for Objects GRACE Benjamin W ChungNortheastern University Link to publication | ||
14:00 20mTalk | 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 20mTalk | Gradual Typing is Morally Incorrect: the Problem of Applying Gradual Typing GRACE Timothy JonesMontoux | ||
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 I: Erik Stenman DOI | ||
14:30 25mResearch 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 - 15:00 | |||
14:10 10mTalk | Building an Accessible Block Environment BLOCKS+ Emmanuel SchanzerBrown University, Sina BahramPrime Access Consulting, Shriram KrishnamurthiBrown University, USA Pre-print | ||
14:20 5mTalk | Language Workbench Support for Block-Based DSLs BLOCKS+ Mauricio Verano MerinoTechnische Universiteit Eindhoven, Tijs van der StormCWI & 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 BallMicrosoft Research, Peli de HalleuxMicrosoft Research, Sam El-HusseiniMicrosoft, Richard KnollMicrosoft, Michal MoskalMicrosoft 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 LiMIT Scheller Teacher Education Program, Lisa StumpMIT Scheller Teacher Education Program, Daniel WendelMIT Scheller Teacher Education Program Pre-print | ||
15:40 5mTalk | Real-time Collaboration in NetsBlox BLOCKS+ Akos LedecziVanderbilt University | ||
15:45 5mTalk | Multi-Device Grace BLOCKS+ Ben Selwyn-Smith, Craig AnslowVictoria University of Wellington, Michael HomerVictoria 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 OeyenVrije Universiteit Brussel, Humberto Rodriguez AvilaVrije Universiteit Brussel, Sam Van den Vonder, Wolfgang De MeuterVrije 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 BaudartIBM Research, Louis MandelIBM Research, Olivier TardieuIBM Research, Mandana VaziriIBM Research File Attached | ||
16:37 22mTalk | Visualizing Reactive Execution History using Propagation Traces REBLS Takumi HikosakaRitsumeikan University, Tetsuo KaminaOita University, Katsuhisa MaruyamaRitsumeikan University File Attached | ||
15:30 - 16:15 | |||
15:30 20mTalk | Static & Dynamic Typing in Grace GRACE P: Andrew BlackPortland State University, Kim BrucePomona College, James NobleVictoria 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. PearceVictoria University of Wellington, Alex PotaninVictoria University of Wellington DOI Pre-print File Attached | ||
16:40 25mResearch 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 - 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 KangMIT Scheller Teacher Education Program, David WuMIT, Daniel WendelMIT 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+ 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+ | ||
Conference DayMon 5 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Conference Day
Mon 5 NovDisplayed 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 20mTalk | Welcome PLATEAU | ||
08:50 25mTalk | 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 15mTalk | Observing the Uptake of a Language Change Making Strings Immutable PLATEAU Manuel MaarekHeriot-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 WrigstadUppsala University | ||
08:30 - 10:00 | |||
08:30 30mTalk | Code Generation for Higher Inductive Types META Paventhan VivekanandanIndiana 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 TaftAdaCore | ||
09:15 45mTalk | CVE, CWE, CQE and all that -- enumerating the security and safety challenges for networked softwareKeynote HILT Robert A. MartinThe MITRE Corporation | ||
08:30 - 10:00 | |||
08:30 30mTalk | Eclipse OMR: Building Blocks for Polyglot TURBO Xiaoli LiangIBM Canada | ||
09:00 30mTalk | Taking Eclipse OMR JitBuilder to a Language Near You TURBO Leonardo BanderaliIBM Toronto Labs | ||
09:30 30mTalk | JIT as a Service: Compiling for Runtimes in the Cloud TURBO Mark StoodleyIBM Canada | ||
08:30 - 10:00 | |||
08:30 15mTalk | 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 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 | ||
11:15 45mTalk | Cyber-Resilience: What does it really mean, and how do we design it into our systems? HILT Deborah BodeauThe MITRE Corporation | ||
10:30 - 12:00 | |||
10:30 30mTalk | Take a Selfie in Class SPLASH-E Christoph KirschUniversity 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 CiminiUniversity 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 YoungIBM, Canada | ||
11:00 30mTalk | 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 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 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 30mTalk | 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 30mTalk | Morbig: A Static Parser for POSIX Shell SLE Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2, Nicolas JeannerodIRIF, Université de Paris, Ralf TreinenIRIF | ||
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 | ||
11:30 30mTalk | 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 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 SwalensVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije 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 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 60mTalk | GraalVM: Metaprogramming inside a Polyglot System ⭐️Keynote META Daniele BonettaOracle Labs DOI | ||
14:30 30mTalk | 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 - 15:00 | |||
13:30 45mTalk | 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 45mOther | 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 - 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 BanderaliIBM Toronto Labs, Xiaoli LiangIBM Canada, Daryl MaierIBM Canada, Mark StoodleyIBM Canada, Robert YoungIBM, Canada | ||
13:30 - 15:00 | |||
13:30 20mTalk | Input-Driven Regular Expressions (Vision Paper)Vision / New Idea SLE Alexander SakharovSynstretch | ||
13:50 30mTalk | 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 20mTalk | Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)Tool Demo SLE Filip StrömbäckLinköping University DOI | ||
14:40 20mTalk | Languages as First-Class Citizens (Vision Paper)Vision / New Idea SLE Matteo CiminiUniversity of Massachusetts Lowell | ||
13:30 - 15:00 | |||
13:30 30mTalk | Exploring feature interactions without specifications: a controlled experiment GPCE Larissa SoaresUniversidade Federal da Bahia, Jens MeinickeMagdeburg University, Sarah NadiUniversity of Alberta, Christian KaestnerCarnegie Mellon University, Eduardo Santana de AlmeidaUniversidade 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 | ||
13:30 - 14:30 | |||
13:30 60mTalk | 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 25mTalk | Interactive Extraction of Examples from Existing Code PLATEAU Andrew HeadUC Berkeley | ||
15:55 5mTalk | 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 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 OkaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology, Tomoyuki AotaniTokyo 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 DesaiUniversity of California, Berkeley, Shaz QadeerMicrosoft Research, Sanjit SeshiaUC 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 LyCEA LIST, Nikolai KosmatovCEA List, Frederic LoulergueNorthern Arizona University, Julien SignolesCEA LIST | ||
16:30 25mShort-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 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 BanderaliIBM Toronto Labs, Xiaoli LiangIBM Canada, Daryl MaierIBM Canada, Mark StoodleyIBM Canada, Robert YoungIBM, Canada | ||
15:30 - 17:30 | |||
15:30 30mTalk | Continuous Model Validation using Reference Attribute Grammars SLE Johannes MeyTechnische Universität Dresden, René SchöneTechnische Universität Dresden, Görel Hedin, Emma SöderbergLund University, Thomas KühnTechnische Universität Dresden, Niklas ForsLund University, Jesper OqvistLund University, Uwe AßmannTU Dresden, Germany Link to publication DOI Pre-print Media Attached | ||
16:00 30mTalk | Migrating Business Logic to an Incremental Computing DSL: A Case Study SLE Daco HarkesDelft University of Technology, Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of Technology Link to publication DOI Pre-print | ||
16:30 20mTalk | An Industrial Case Study in Compiler Testing (Tool Demo)Tool Demo SLE Vadim ZaytsevRaincode Labs | ||
16:50 20mTalk | Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)Tool Demo SLE Benoît RiesUniversity of Luxembourg, Alfredo CapozuccaUniversity of Luxembourg, Nicolas GuelfiUniversity of Luxembourg DOI | ||
15:30 - 17:00 | |||
15:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 | |||
15:30 60mTalk | Software is eating the world, but ML is going to eat software SPLASH-I John Myles WhiteFacebook | ||
15:30 - 16:30 | |||
15:30 60mTalk | Oh, the compilers you will build! SPLASH-I Mark StoodleyIBM 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 GibbonsUniversity of Oxford Link to publication Pre-print | ||
Conference DayTue 6 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Conference Day
Tue 6 NovDisplayed 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): Yukinori SatoToyohashi University of Technology, Ali JannesariIowa State University | ||
08:00 50mTalk | Deep Learning at ScaleKeynote AI-SEPS PrabhatNERSC, Berkeley Lab | ||
08:50 25mTalk | 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 15mTalk | PyGA: A Python to FPGA compiler prototype AI-SEPS | ||
09:30 30mTalk | Panel discussion AI-SEPS P: Yukinori SatoToyohashi University of Technology, P: Ali JannesariIowa State University, P: Shigeru ChibaThe 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 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 - 10:00 | |||
08:30 3mDay opening | Welcome and Introduction DocSymposium Philipp HallerKTH, Sweden | ||
08:33 12mTalk | Lightning Talks DocSymposium Philipp HallerKTH, Sweden | ||
08:45 45mTalk | A DSL for Distributed, Reactive Workflows DocSymposium Mathijs SaeyVrije Universiteit Brussel | ||
09:30 30mTalk | Invited Talk 1 DocSymposium Heather MillerCarnegie Mellon University | ||
08:30 - 10:00 | |||
08:30 15mAwards | SIGAda Awards and Sponsor Intros HILT Tucker TaftAdaCore | ||
08:45 20mTalk | SAFECode.org and Secure Software Development Practices HILT Eric BaizeSAFECode / Dell | ||
09:05 55mTalk | DARPA CASE program, motivation and challengesKeynote HILT Raymond RichardsDARPA | ||
08:30 - 10:00 | |||
08:30 30mTalk | The DaCapo Benchmark Suite: A Methodological, Engineering, and Social Journey NJR Steve BlackburnAustralian National University | ||
09:00 30mTalk | NJR: 100,000 Executable, Scriptable, and Searchable Java Programs NJR Jens PalsbergUniversity of California, Los Angeles | ||
09:30 30mTalk | NJR discussion; Needs, Requirements, Wishes NJR Jens PalsbergUniversity 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 YoungIBM, Canada, Leonardo BanderaliIBM Toronto Labs, Xiaoli LiangIBM Canada, Daryl MaierIBM Canada, Mark StoodleyIBM Canada | ||
08:30 - 10:00 | |||
08:30 15mDay opening | Awards SLE Friedrich SteimannFernuniversität, Tanja MayerhoferTU Wien, Matthew RobertsMacquarie University, Romina EramoUniversity of L'Aquila | ||
08:45 75mTalk | A New Approach for Software Correctness and ReliabilityKeynote SLE Martin C. RinardMassachusetts Institute of Technology | ||
08:45 - 10:00 | |||
08:45 15m | Welcome and Introduction PLMW Barbara RyderVirginia 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 RobertsWorcester 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 KrishnamurthiBrown University, USA | ||
11:00 30mTalk | From academia to industry and back again PLMW Julia RubinUniversity of British Columbia File Attached | ||
11:30 30mTalk | Work/Life Balance PLMW Kathleen FisherTufts University, USA File Attached | ||
10:30 - 12:00 | |||
10:30 45mTalk | Building Correct and Safe Distributed Systems DocSymposium Maryam DabaghchianUniversity of Utah | ||
11:15 45mTalk | The Software Architecture of Economy Mechanics in Digital Games DocSymposium Wilson MizutaniUniversity of São Paulo | ||
10:30 - 12:00 | |||
10:30 45mTalk | SpeAR – Using a formal specification language for safety and security HILT Lucas WagnerRockwell Collins | ||
11:15 45mTalk | Architecture-level security in a safety-critical system HILT S: Sam ProcterCarnegie Mellon Software Engineering Institute, Peter FeilerCarnegie Mellon Software Engineering Institute | ||
10:30 - 12:00 | |||
10:30 30mTalk | Analyzing Code Repositories: A Case Study in Reproducibility NJR Jan VitekNortheastern University | ||
11:00 30mTalk | Declarative Program Analysis and Big Code: Challenges and Opportunities NJR Mayur NaikUniversity of Pennsylvania | ||
11:30 30mTalk | Towards Automating Precision Studies of Clone Detectors NJR Farima FarmahinifarahaniUniversity 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 YoungIBM, Canada, Leonardo BanderaliIBM Toronto Labs, Xiaoli LiangIBM Canada, Mark StoodleyIBM Canada, Daryl MaierIBM Canada | ||
10:30 - 12:00 | |||
10:30 30mTalk | 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 30mTalk | The Next 700 Unit Checkers SLE | ||
11:30 30mTalk | 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 - 12:00 | |||
10:30 30mTalk | 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 30mTalk | Pattern Matching in an Open World GPCE | ||
11:30 30mTalk | 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 - 12:00 | |||
10:30 30mTalk | 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 30mTalk | 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 | |||
11:00 60mTalk | Valhalla: Enhancing the JVM with Value Types SPLASH-I Karen KinnearOracle | ||
13:00 - 14:00 | |||
13:00 60m | Panel: Industrial and Academic Research PLMW Kathleen FisherTufts University, USA, Mayur NaikUniversity of Pennsylvania, Julia RubinUniversity of British Columbia, Frank TipNortheastern 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 OmarUniversity of Chicago, Ian VoyseyCarnegie Mellon University, Matthew HammerUniversity of Colorado, Boulder, Ravi ChughUniversity of Chicago Pre-print | ||
14:30 30mTalk | REPLugger: a pleasant and scalable live coding editor LIVE Glen ChiacchieriIndependent Researcher | ||
13:30 - 15:00 | |||
13:30 30mTalk | Designing with Static Capabilities and Effects OCAP Colin GordonDrexel University | ||
14:00 60mTalk | Formal Methods Panel OCAP James NobleVictoria University of Wellington, Philipp HallerKTH, Sweden, Colin GordonDrexel University | ||
13:30 - 15:00 | |||
13:30 45mTalk | Efficient Static Analyses to Identify Opportunities for Replacing Type Code with Subclass and State DocSymposium Jyothi VeduradaIIT Madras | ||
14:15 45mTalk | Safely Adding a Moving Garbage Collector to a Non Garbage Collected Language DocSymposium Jacob HughesKing'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. FosterTufts University | ||
14:15 45mTalk | A Language for Programmable Hardware Security HILT Chris CasinghinoDraper Laboratory | ||
13:30 - 15:00 | |||
13:30 30mTalk | Delphi: Connecting Researchers to Enable Comparable Large-Scale Experiments in Program Analysis NJR Ben HermannUniversity of Paderborn Media Attached File Attached | ||
14:00 30mTalk | Statically Checking the Inconsistencies of Security Assumptions/Measures in Android Apps and Systems NJR Zhiyun QianUC Riverside | ||
14:30 30mTalk | Qualitas Corpus Analysis NJR Craig AnslowVictoria 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 IvanchikjSoftware Institute, Faculty of Informatics, USI Lugano, Cesare PautassoSoftware Institute, Faculty of Informatics, USI Lugano | ||
14:30 30mTalk | The POSIX shell is an interactive DSL for concurrency DSLDI Michael GreenbergPomona College | ||
13:30 - 15:00 | |||
13:30 30mTalk | U Can't Inline This TURBO Karim AliUniversity 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 YoungUniversity of New Brunswick | ||
13:30 - 15:00 | |||
13:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 - 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 BinsbergenRoyal Holloway University of London | ||
14:45 15mTalk | 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 - 15:00 | |||
13:30 30mTalk | Log++ Logging for a Cloud-Native World DLS Mark MarronMicrosoft Research | ||
14:00 30mTalk | 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 30mTalk | JavaScript AOT Compilation DLS Manuel SerranoInria, 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é RideauLegiCash | ||
14:00 - 15:30 | |||
14:00 30mTalk | Navigating the process of doing a rewarding Ph.D. PLMW Mayur NaikUniversity of Pennsylvania | ||
14:30 30mTalk | Interaction: the Key to Joining a Research Community PLMW Kathi FislerBrown University File Attached | ||
15:00 30mTalk | Advice on your advisor PLMW Marsha ChechikUniversity 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 ParadisSalesforce | ||
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 WickertTU Darmstadt | ||
16:15 30mTalk | Invited Talk 2 DocSymposium Ross TateCornell University | ||
16:45 5mDay closing | Closing Remarks DocSymposium Philipp HallerKTH, Sweden | ||
15:30 - 17:00 | |||
15:30 25mIndustry talk | Security Showcae -- Modernizing Static Analysis Tools to Facilitate Integrations HILT Paul AndersonGrammaTech, Inc | ||
15:55 25mIndustry talk | Security Showcase -- Ensuring Cyber Resilience through Entropy-Augmented Replication HILT Mario TroianiVirtual Software Systems | ||
16:20 25mIndustry talk | Security Showcase -- SPARK Formal Verification for Security HILT Tucker TaftAdaCore | ||
16:45 15mDay closing | Workshop Wrapup HILT Tucker TaftAdaCore | ||
15:30 - 17:00 | |||
15:30 30mTalk | Decompiling Ethereum Bytecode and Detecting Gas-Focused Vulnerabilities NJR Yannis SmaragdakisUniversity of Athens | ||
16:00 30mTalk | SWAN: A Program Analysis Framework for Swift NJR Karim AliUniversity of Alberta | ||
16:30 30mTalk | Clone Detection and Benchmarking in Big Code NJR Chanchal K. RoyUniversity of Saskatchewan | ||
15:30 - 17:00 | |||
15:30 90mOther | BoF: Eclipse OMR Community Directions TURBO Mark StoodleyIBM Canada | ||
15:30 - 17:30 | Grammars & Metamodelling / WorkbenchesSLE at Studio 1 Chair(s): Juan de LaraUniversidad Autónoma de Madrid | ||
15:30 30mTalk | Deriving Fluent Internal Domain-Specific Languages from Grammars SLE Arvid ButtingSoftware Engineering RWTH Aachen University, Manuela DaliborSoftware Engineering, RWTH Aachen University, Gerrit LeonhardtSoftware Engineering, RWTH Aachen University, Bernhard RumpeRWTH Aachen University, Andreas WortmannRWTH Aachen University | ||
16:00 20mTalk | Fostering Metamodels and Grammars Within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo)Tool Demo SLE Benoît LelandaisCEA/DAM/DIF, France, Marie-Pierre OudotCEA/DAM/DIF, France, Benoit CombemaleUniversity of Rennes 1 | ||
16:20 20mTalk | Migrating Custom DSL Implementations to a Language Workbench (Tool Demo) Tool Demo SLE Jasper DenkersTU Delft, Louis van GoolOcé Technologies B.V., Eelco VisserDelft University of Technology Link to publication DOI | ||
16:40 20mTalk | Bacatá: A Language Parametric Notebook Generator (Tool Demo)Tool Demo SLE Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV, Tijs van der StormCWI & University of Groningen | ||
17:00 20mTalk | Shape-Diverse DSLs: Languages without Borders (Vision Paper)Vision / New Idea SLE Fabien CoulonUniversity of Toulouse / Obeo, Thomas DegueuleCentrum Wiskunde & Informatica, Tijs van der StormCWI & University of Groningen, Benoit CombemaleUniversity of Rennes 1 Pre-print | ||
15:30 - 17:00 | |||
15:30 30mTalk | Anomaly Analyses for Feature-Model Evolution GPCE Michael NiekeTU Braunschweig, Germany, Jacopo MauroUniversity of Southern Denmark, Christoph SeidlTechnische Universität Braunschweig, Thomas ThümTU Braunschweig, Germany, Ingrid Chieh YuUniversity of Oslo, Felix FranzkeTU Braunschweig | ||
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 Seginercdl-lang.org, Netherlands, Theo Vossecdl-lang.org, Netherlands, Gil Hararicdl-lang.org, Israel, Uri Kolodnycdl-lang.org, Israel | ||
16:00 30mTalk | Self-Contained Development Environments DLS Guido ChariCzech Technical University, Czechia, Javier PimásPalantir Solutions, Argentina, Jan VitekNortheastern University, Olivier FlückigerNortheastern University, USA | ||
16:30 30mTalk | Numerical Computing on the Web: Benchmarking for the Future DLS David HerreraMcGill University, Canada, Hanfeng ChenMcGill University, Canada, Erick LavoieMcGill University, Canada, Laurie HendrenMcGill University, Canada | ||
15:30 - 16:30 | |||
15:30 60mTalk | The Future of AI: Machine Programmers and Their Necessary Self-Awareness SPLASH-I Justin GottschlichIntel Labs | ||
15:30 - 16:30 | |||
15:30 60mTalk | What happened to distributed programming languages? SPLASH-I Heather MillerCarnegie Mellon University | ||
16:00 - 21:00 | |||
16:00 30mTalk | How to Select Good Research Topics? PLMW Frank TipNortheastern University File Attached | ||
16:30 60m | Panel of Recent Ph.Ds PLMW Michael CarbinMassachusetts Institute of Technology, Benjamin LernerNortheastern University, Sarah NadiUniversity of Alberta, Shiyi WeiThe 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 WilkinsonH2O.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 FisherTufts University, USA | ||
17:30 - 18:30 | |||
17:30 60mTalk | All the languages together SPLASH-I Amal AhmedNortheastern University | ||
Conference DayWed 7 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Conference Day
Wed 7 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
08:30 - 10:00 | |||
08:30 90mTalk | A new modularity for softwareKEYNOTE Keynotes | ||
10:30 - 12:00 | |||
10:30 22mTalk | Effect Handlers for the Masses OOPSLA Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Philipp SchusterUniversity of Tübingen, Germany, Klaus OstermannUniversity 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 NardelliInria, Julia BelyakovaNortheastern University, USA, Artem PelenitsynNortheastern University, Benjamin ChungNortheastern University, Jeff BezansonJulia Computing, Jan VitekNortheastern University DOI Media Attached | ||
11:37 22mTalk | Scopes as Types OOPSLA Hendrik van AntwerpenTU Delft, Casper Bach PoulsenDelft University of Technology, Arjen RouvoetDelft University of Technology, Eelco VisserDelft University of Technology Link to publication DOI File Attached | ||
10:30 - 12:00 | Parallelism and PerformanceOOPSLA at Studio 2 Chair(s): Arjun GuhaUniversity of Massachusetts Amherst | ||
10:30 22mTalk | Every Data Structure Deserves Lock-Free Memory Reclamation OOPSLA Nachshon CohenEPFL, Switzerland | ||
10:52 22mTalk | Parallelization of Dynamic Languages: Synchronizing Built-in Collections OOPSLA Benoit DalozeJKU Linz, Austria, Arie TalTechnion, Stefan MarrUniversity of Kent, Hanspeter MössenböckJKU Linz, Austria, Erez PetrankTechnion 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 BoixVrije Universiteit Brussel | ||
10:30 30mTalk | On the Usage of “Pythonic” Idioms in Python Programs Onward! Papers Carol V. AlexandruUniversity of Zurich, José J. MerchanteUniversidad Rey Juan Carlos, Sebastiano PanichellaZurich University of Applied Science/University of Zurich, Sebastian ProkschUniversity of Zurich, Harald GallUniversity of Zurich, Gregorio RoblesUniversidad Rey Juan Carlos | ||
11:00 30mTalk | Inference and Regeneration of Programs that Store and Retrieve Data Onward! Papers Martin C. RinardMassachusetts Institute of Technology, Jiasi ShenMassachusetts Institute of Technology, Varun MangalickMIT | ||
11:00 - 12:00 | |||
11:00 60mTalk | Programming NVM SPLASH-I James LarusEPFL | ||
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. GabrielDream 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 GrechUniversity of Athens, Michael KongUniversity of Sydney, Anton JurisevicUniversity of Sydney, Lexi BrentUniversity of Sydney, Bernhard ScholzThe University of Sydney, Yannis SmaragdakisUniversity of Athens Link to publication Pre-print File Attached | ||
14:15 22mTalk | Faster Variational Execution with Transparent Bytecode Transformation OOPSLA Chu-Pan WongCarnegie Mellon University, Jens MeinickeMagdeburg University, Lukas Lazarek, Christian KaestnerCarnegie Mellon University | ||
14:37 22mTalk | Secure Serverless Computing Using Dynamic Information Flow Control OOPSLA Kalev AlpernasTel Aviv University, Cormac FlanaganUniversity of California, Santa Cruz, Sadjad FouladiStanford University, Leonid RyzhykVMware Research, Mooly SagivTel Aviv University, Thomas Schmitz, Keith WinsteinStanford University | ||
13:30 - 15:00 | |||
13:30 22mTalk | AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries OOPSLA Roland LeißaSaarland University, Germany, Klaas BoescheSaarland University, Sebastian HackSaarland University, Germany, Arsène Pérard-GayotSaarland University, Germany, Richard MembarthDFKI, Germany, Philipp SlusallekDFKI, Germany, André MüllerJohannes Gutenberg University, Bertil SchmidtJohannes Gutenberg University | ||
13:52 22mTalk | Julia: Dynamism and Performance Reconciled by Design OOPSLA Jeff BezansonJulia Computing, Benjamin ChungNortheastern University, Jiahao ChenCapital One, Stefan Karpinski, Viral B ShahJulia Computing, Jan VitekNortheastern University, Lionel ZoubritzkyÉcole Normale Supérieure | ||
14:15 22mTalk | GraphIt - A High-Performance Graph DSL OOPSLA Yunming Zhang, Mengjiao YangMIT CSAIL, Riyadh BaghdadiMIT, Shoaib KamilAdobe, Julian ShunMIT, Saman AmarasingheMIT | ||
14:37 22mTalk | One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax OOPSLA | ||
13:30 - 15:00 | DSLs and Language Design Principles Onward! Papers at The Loft Chair(s): Stefan MarrUniversity 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 MailahnZeMA, Rainer MüllerZeMA, Richard PeiferZeMA, Damien ZuffereyMPI-SWS, Ivan GavranMPI-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 HendrenMcGill University, Canada | ||
13:30 - 14:30 | |||
13:30 60mTalk | Design by Introspection in D SPLASH-I Andrei AlexandrescuD 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 OttUniversity of California, Riverside, Tyson LovelessUniversity of California, Riverside, Chris CurtisUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside, Philip BriskUniversity of California, Riverside | ||
16:15 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 XuRice University, Keith CooperRice University, Jacob BrockUniversity of Rochester, Yan Zhang, Handong YeFuturewei Technologies | ||
16:15 22mTalk | Reconciling High-level Optimizations and Low-level Code in LLVM OOPSLA Juneyoung LeeSeoul National University, Chung-Kil HurSeoul National University, Ralf JungMPI-SWS, Zhengyang LiuUniversity of Utah, John RegehrUniversity of Utah, Nuno P. LopesMicrosoft Research Pre-print | ||
16:37 22mTalk | An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability OOPSLA Zhangxiaowen GongUniversity of Illinois at Urbana-Champaign, Zhi ChenUniversity of California, Irvine, Justin SzadayUniversity of Illinois at Urbana-Champaign, David WongIntel, Zehra SuraIBM Research, Neftali Watkinson, Saeed MalekiMicrosoft Research, David PaduaUniversity of Illinois at Urbana-Champaign, Alexander VeidenbaumUniversity of California, Irvine, Alexandru NicolauUniversity of California, Irvine, Josep TorrellasUniversity of Illinois at Urbana-Champaign Media Attached | ||
15:30 - 17:00 | |||
15:30 45mFull-paper | Fatal Abstraction Onward! Essays Friedrich SteimannFernuniversität Link to publication DOI | ||
15:30 - 16:30 | |||
15:30 60mTalk | Robustly benchmarking Julia in noisy environments SPLASH-I Jiahao ChenCapital One Pre-print | ||
15:30 - 16:30 | |||
15:30 60mTalk | Low level systems programming in a high level language SPLASH-I Molham ArefRelational.ai | ||
16:30 - 17:30 | |||
16:30 60mTalk | The Rise of Compilerization SPLASH-I Jeff BezansonJulia Computing | ||
16:30 - 17:30 | |||
16:30 60mTalk | Expanding R Syntax in package space SPLASH-I Jim HesterRStudio | ||
17:05 - 18:00 | Awards / SIGPLAN Town Hall MeetingOOPSLA at Studio 1 Chair(s): Manu SridharanUber, Jens PalsbergUniversity of California, Los Angeles | ||
17:30 - 18:30 | |||
17:30 60mTalk | Two Decades of Ownership Types SPLASH-I James NobleVictoria 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. FloodRed Hat | ||
Conference DayThu 8 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Conference Day
Thu 8 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
08:30 - 10:00 | |||
08:30 90mTalk | Beauty is the Promise of HappinessKEYNOTE Keynotes Jenny QuillienEmbodied Making Institute | ||
10:30 - 12:00 | |||
10:30 22mTalk | Optimal Stateless Model Checking under the Release-Acquire Semantics OOPSLA Parosh Aziz AbdullaUppsala University, Sweden, Mohamed Faouzi AtigUppsala University, Bengt JonssonUppsala University, Tuan Phong NgoUppsala 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 GargUniversity of Illinois at Urbana-Champaign, Daniel NeiderMax Planck Institute for Software Systems, P. MadhusudanUniversity of Illinois at Urbana-Champaign | ||
10:52 22mTalk | Gradual Liquid Type Inference OOPSLA Niki VazouIMDEA Software Institute, Éric TanterUniversity of Chile & Inria Paris, David Van HornUniversity of Maryland, USA | ||
11:15 22mTalk | Collapsible Contracts: Fixing a Pathology of Gradual Typing OOPSLA Daniel FelteyNorthwestern University, USA, Ben GreenmanNortheastern University, USA, Christophe ScholliersUniversiteit Gent, Belgium, Robby FindlerNorthwestern University, USA, Vincent St-AmourNorthwestern University | ||
11:37 22mTalk | The Root Cause of Blame: Contracts for Intersection and Union Types OOPSLA Jack WilliamsUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Kansas, USA, Philip WadlerUniversity of Edinburgh, UK | ||
10:30 - 12:00 | |||
10:30 30mTalk | Cflat: A New Modular Approach to Implementing Efficient and Tunable Collections Onward! Papers Stephan BrandauerUppsala University, Elias CastegrenUppsala University, Tobias WrigstadUppsala University Pre-print | ||
11:00 30mTalk | Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming Onward! Papers Akio OkaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology | ||
11:00 - 12:00 | |||
11:00 60mTalk | Establishing a culture of code review SPLASH-I Peter BurkaTwo Sigma | ||
13:30 - 15:00 | |||
13:30 22mTalk | Thread-Safe Reactive Programming OOPSLA Joscha DrechslerTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt DOI Pre-print File Attached | ||
13:52 22mTalk | RacerD: Compositional Static Race Detection OOPSLA Sam BlackshearFacebook, Nikos Gorogiannis, Peter W. O'HearnFacebook and University College London, Ilya SergeyYale-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 MathurUniversity of Illinois at Urbana-Champaign, Dileep KiniUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign DOI Authorizer link Pre-print | ||
14:37 22mTalk | Sound Deadlock Prediction OOPSLA Christian Gram KalhaugeUniversity of California, Los Angeles, Jens PalsbergUniversity 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 BergmannBudapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary, Sebastian ErdwegTU Delft, Markus Völterindependent / itemis, Germany | ||
13:52 22mTalk | Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling OOPSLA | ||
14:15 22mTalk | Precision-Guided Context Sensitivity for Pointer Analysis OOPSLA Yue LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens | ||
14:37 22mTalk | Refinement in object-sensitivity points-to analysis via slicing OOPSLA Girish Maskeri RamaInfosys Limited, Raghavan KomondoorIndian Institute of Science, Bangalore, Himanshu SharmaIndian Institute of Science, Bangalore | ||
13:30 - 15:00 | |||
13:30 30mTalk | A CAPable distributed programming model Onward! Papers Florian MyterVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium, Wolfgang De MeuterVrije Universiteit Brussel | ||
14:00 30mTalk | Protecting Chatbots from Toxic Content Onward! Papers Guillaume BaudartIBM Research, Julian DolbyIBM Research, Evelyn DuesterwaldIBM Research, Martin HirzelIBM Research, Avraham ShinnarIBM Research | ||
14:30 30mTalk | JEff: Objects for Effect Onward! Papers | ||
13:30 - 14:30 | |||
13:30 60mTalk | Rust: Reach Further SPLASH-I Nicholas MatsakisMozilla 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 DegenbaevGoogle, Jochen EisingerGoogle, Kentaro HaraGoogle, Marcel HlopkoGoogle, Michael LippautzGoogle, Hannes PayerGoogle 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 DietzUniversity of Illinois at Urbana-Champaign, Vikram S. AdveUniversity 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 PadhiUniversity of California, Los Angeles, Prateek JainMicrosoft Research Lab, India, Daniel PerelmanUniversity of Washington, USA, Alex PolozovMicrosoft Research, Sumit GulwaniMicrosoft Research, Todd MillsteinUniversity of California, Los Angeles | ||
15:30 - 17:00 | |||
15:30 45mFull-paper | We Should Stop Claiming Generality in our Domain-Specific Language Papers Onward! Essays Daco HarkesDelft University of Technology Link to publication | ||
16:15 45mFull-paper | Interdisciplinary Programming Language Design Onward! Essays Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University | ||
15:30 - 16:30 | |||
15:30 60mTalk | Provably Safe Pointers for a Parallel World SPLASH-I Tucker TaftAdaCore | ||
15:30 - 16:30 | |||
15:30 60mTalk | Peering behind the Turing Mirror SPLASH-I Ben L. TitzerGoogle | ||
16:30 - 17:30 | |||
16:30 60mTalk | All about JavaScriptCore's many compilers SPLASH-I Filip PizloApple | ||
16:30 - 17:30 | |||
16:30 60mTalk | Measuring Microservice Performance: A Shape Not a Number SPLASH-I Daniel SpoonhowerLightstep | ||
17:30 - 18:30 | |||
17:30 60mTalk | In Defense of "Little Code"KEYNOTE Keynotes Kathi FislerBrown University | ||
Conference DayFri 9 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Conference Day
Fri 9 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
08:30 - 10:00 | |||
08:30 90mTalk | Distributed AbstractionsKEYNOTE Keynotes | ||
10:30 - 12:00 | |||
10:30 22mTalk | Compositional Programming and Testing of Dynamic Distributed Systems OOPSLA Ankush DesaiUniversity of California, Berkeley, Amar PhanishayeeMicrosoft Research, Shaz QadeerMicrosoft Research, Sanjit SeshiaUC Berkeley | ||
10:52 22mTalk | Randomized Testing of Distributed Systems with Probabilistic Guarantees OOPSLA Burcu Kulahcioglu OzkanMPI-SWS, Germany, Rupak MajumdarMPI-SWS, Germany, Filip NiksicMPI-SWS, Mitra Tabaei BefroueiVienna University of Technology, Georg WeissenbacherTechnische Universität Wien | ||
11:15 22mTalk | Test Generation for Higher-Order Functions in Dynamic Languages OOPSLA Marija SelakovicTU Darmstadt, Germany, Michael PradelTU Darmstadt, Rezwana Karim NawrinSamsung Research America, Frank TipNortheastern University | ||
11:37 22mTalk | Finding Broken Promises in Asynchronous JavaScript Programs OOPSLA Saba AlimadadiNortheastern University, Di ZhongNortheastern University, USA, Magnus MadsenAarhus University, Frank TipNortheastern 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 WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington | ||
11:37 22mTalk | Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments OOPSLA Junho LeeKorea University, Dowon SongKorea University, Sunbeom SoKorea University, Hakjoo OhKorea University | ||
13:30 - 14:15 | |||
13:30 22mTalk | Leto: Verifying Application-Specific Fault Tolerance through Parameterized Execution Models OOPSLA Brett BostonMassachusetts Institute of Technology, Zoe GongMassachusetts Institute of Technology, Michael CarbinMassachusetts Institute of Technology | ||
13:52 22mTalk | Safe Replication through Bounded Concurrency Verification OOPSLA Gowtham KakiPurdue University, Kapil EarankyPurdue University, KC SivaramakrishnanUniversity of Cambridge, Suresh JagannathanPurdue 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 CookAmazon | ||