‹Programming› 2021 (series) /
‹Programming› 2021 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 22 MarDisplayed time zone: Belfast change
Mon 22 Mar
Displayed time zone: Belfast change
11:30 - 12:30 | The Death and Life of American Cities (Jacobs, 1961)Salon Littéraire at Virtual Space A Chair(s): Tomas Petricek University of Kent | ||
11:30 60mTalk | The Death and Life of American Cities (Jacobs, 1961) Salon Littéraire | ||
13:00 - 14:30 | Session The First: SpoofaxCoCoDo at Virtual Space A Chair(s): Vadim Zaytsev University of Twente, Netherlands | ||
13:00 90mTalk | A Tutorial on the Spoofax Language Workbench CoCoDo Eelco Visser Delft University of Technology | ||
13:00 - 14:30 | Session 1ProWeb21 at Virtual Space B Chair(s): Andrea Stocco Università della Svizzera italiana (USI) | ||
13:00 30mTalk | Rec.HTML: Typed Declarative HTMLProWeb21 ProWeb21 Pre-print | ||
13:30 30mTalk | Tamper-proof security mechanism against liar objects in JavaScript applicationsProWeb20 ProWeb21 Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Pre-print | ||
14:00 30mTalk | Wassail: a WebAssembly Static Analysis LibraryProWeb21 ProWeb21 Pre-print | ||
15:00 - 16:30 | |||
15:00 90mTalk | An Interactive Exploration of a Simple Compiler CoCoDo Marcus Denker INRIA Lille | ||
15:00 - 16:30 | |||
15:00 60mKeynote | Why Programming Languages for Distributed Systems are InevitableProWeb Keynote ProWeb21 | ||
16:00 30mTalk | Evolution of the WebDSL RuntimeProWeb20 ProWeb21 Danny Groenewegen Delft University of Technology, Elmer van Chastelet Delft University of Technology, Eelco Visser Delft University of Technology Pre-print | ||
16:30 30mTalk | Oron: Towards a Dynamic Analysis Instrumentation Platform for AssemblyScriptProWeb21 ProWeb21 Aäron Munsters Vrije Universiteit Brussel, Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Pre-print | ||
17:00 - 19:00 | Session The Third: LLVMCoCoDo at Virtual Space A Chair(s): Vadim Zaytsev University of Twente, Netherlands | ||
17:00 2hTalk | From Abstract Syntax Trees to Machine Code with LLVM CoCoDo Dimitri Racordon University of Geneva, Switzerland | ||
17:00 - 19:00 | |||
Tue 23 MarDisplayed time zone: Belfast change
Tue 23 Mar
Displayed time zone: Belfast change
11:30 - 12:30 | Seeing Like a State (Scott, 1998)Salon Littéraire at Virtual Space A Chair(s): Antranig Basman Raising the Floor - International, Luke Church University of Cambridge | Lund University | Lark Systems | ||
11:30 60mTalk | Seeing Like a State (Scott, 1998) Salon Littéraire F: Antranig Basman Raising the Floor - International, Luke Church University of Cambridge | Lund University | Lark Systems | ||
12:55 - 14:30 | Optimizing Dynamic LanguagesMoreVMs at Virtual Space A Chair(s): Fabio Niephaus Hasso Plattner Institute, University of Potsdam | ||
12:55 5mDay opening | Welcome MoreVMs | ||
13:00 60mTalk | YJIT: Building a New JIT Compiler Inside CRubyMoreVMs Invited Talk MoreVMs Maxime Chevalier-Boisvert Shopify Media Attached | ||
14:00 30mTalk | Caching Hidden Classes for Pre-transitioning Object Memory Layout in JavaScript MoreVMs Tomoharu Ugawa University of Tokyo, Stefan Marr University of Kent, Richard Jones University of Kent Media Attached | ||
15:00 - 16:30 | |||
15:00 30mTalk | The Strange and Wondrous Life of Functions in Ř MoreVMs Jan Ječmen FIT CTU Prague, Olivier Flückiger Northeastern University, Sebastián Krynski Czech Technical University, National University of Quilmes, Jan Vitek Northeastern University / Czech Technical University Media Attached | ||
15:30 30mTalk | Successes and Challenges in Bringing Performance to Java with Inline Types MoreVMs Sharon Wang IBM Media Attached File Attached | ||
16:00 30mTalk | Towards a Synthetic Benchmark to Assess VM Startup, Warmup, and Cold-Code Performance MoreVMs Stefan Marr University of Kent Media Attached | ||
15:00 - 16:30 | |||
15:00 30mTalk | Exploring Modal Locking in Window Manipulation PX/21 Marcel Taeumel Hasso Plattner Institute, Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany | ||
15:30 30mTalk | Improving on the experience of hand-assembling programs for application-specific architectures PX/21 Ian Piumarta Kyoto University of Advanced Science | ||
16:00 30mTalk | Javardeye: Gaze Input for Cursor Control in a Structured Editor PX/21 André L. Santos ISCTE-IUL | ||
16:00 - 16:30 | Intro talk: Open Applications InfrastructureOAF at Virtual Space B Chair(s): Evgeny Ponomarev , Alexey Pyshnenko | ||
16:00 30mTalk | Intro talk: Open Applications Infrastructure OAF Link to publication | ||
17:00 - 19:00 | |||
17:00 30mTalk | Garbage Collection Algorithms, Which One is the Best for Your Application? MoreVMs Igor Braga IBM Canada Media Attached | ||
17:30 60mTalk | Are Many Heaps Better Than One?MoreVMs Invited Talk MoreVMs Mario Wolczko Oracle Labs Media Attached | ||
18:30 30mDay closing | Discussions and Wrap-up MoreVMs | ||
17:00 - 19:00 | |||
17:00 2hTutorial | Aquamarine: a new programming language for coordination in π2π networks OAF | ||
17:00 - 19:00 | |||
17:00 30mTalk | Type Engineering: A design language for unified Software Engineering PX/21 Anton Dmukhovskiy Art Deco Code Ltd | ||
17:30 30mTalk | Studying Programmer Behaviour at Scale: A Case Study Using Amazon Mechanical Turk PX/21 | ||
18:00 30mTalk | Towards End-user Web Scraping For Customization PX/21 Kapaya Katongo Massachusetts Institute of Technology (MIT), Geoffrey Litt MIT, Daniel Jackson Massachusetts Institute of Technology (MIT) | ||
18:30 30mTalk | Towards exploratory understanding of software using test suites PX/21 Dominik Meier Hasso-Plattner-Institute, Toni Mattis Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany | ||
Wed 24 MarDisplayed time zone: Belfast change
Wed 24 Mar
Displayed time zone: Belfast change
12:45 - 13:00 | |||
12:45 15mOther | Conference Opening | ||
13:00 - 14:00 | Keynote IKeynotes at Virtual Space A Chair(s): Luke Church University of Cambridge | Lund University | Lark Systems | ||
13:00 60mKeynote | Opening Keynote: Sharath Srinivasan: Politics in Language and Language in Politics‹Programming› Keynote Keynotes | ||
14:00 - 14:30 | Session 1Research Papers at Virtual Space A Chair(s): Luke Church University of Cambridge | Lund University | Lark Systems | ||
14:00 30mLive Q&A | Transparent Synchronous Dataflow Research Papers Steven Cheung University of Birmingham, UK, Dan Ghica University of Birmingham, Koko Muroya RIMS, Kyoto University, JP DOI Media Attached | ||
14:00 - 14:30 | |||
15:00 - 16:30 | Session 3Research Papers at Virtual Space A Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford | ||
15:00 30mLive Q&A | Using Relational Problems to Teach Property-Based Testing Research Papers John Wrenn Brown University, Tim Nelson Brown University, Shriram Krishnamurthi Brown University, United States DOI Media Attached | ||
15:30 30mLive Q&A | Bacatá: Notebooks for DSLs, Almost for Free Research Papers Mauricio Verano Merino Technische Universiteit Eindhoven, Jurgen Vinju CWI, Netherlands, Tijs van der Storm CWI & University of Groningen, Netherlands DOI Media Attached | ||
16:00 30mLive Q&A | Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars Research Papers Johannes Mey Technische Universität Dresden, Thomas Kühn Karlsruhe Institute of Technology, René Schöne Technische Universität Dresden, Uwe Aßmann TU Dresden, Germany DOI Media Attached | ||
15:00 - 16:30 | |||
15:00 30mLive Q&A | Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions Research Papers Tim Soethout ING Bank and Centrum Wiskunde & Informatica (CWI), Tijs van der Storm CWI & University of Groningen, Netherlands, Jurgen Vinju CWI, Netherlands DOI Media Attached | ||
15:30 30mLive Q&A | Interactive Music and Synchronous Reactive Programming Research Papers DOI Media Attached | ||
16:00 30mLive Q&A | Programming Paradigms, Turing Completeness and Computational Thinking Research Papers Greg Michaelson Heriot-Watt University DOI Media Attached | ||
17:00 - 17:30 | Conversation Starters IConversation Starters at Virtual Space A Chair(s): Emma Söderberg Lund University | ||
17:00 30mLive Q&A | Programming "systems" deserve a theory too! Conversation Starters | ||
17:00 - 17:30 | Conversation Starters IIConversation Starters at Virtual Space B Chair(s): Patrick Rein Hasso Plattner Institute | ||
17:00 30mLive Q&A | Live IDEs in the WebBrowser: What's Holding Us Back? Conversation Starters Gilad Bracha Shape Security/F5 Networks | ||
17:30 - 19:00 | |||
17:30 30mLive Q&A | Did JHotDraw Respect the Law of Good Style?: A deep dive into the nature of false positives of bad code smells Research Papers Daniel Speicher Bonn-Aachen International Center for Information Technology, B-IT DOI Media Attached | ||
18:00 30mLive Q&A | Advanced Join Patterns for the Actor Model based on CEP Techniques Research Papers Humberto Rodriguez Avila Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel DOI Media Attached | ||
18:30 30mLive Q&A | Finding Bugs with Specification-Based Testing is Easy! Research Papers DOI Media Attached | ||
17:30 - 19:00 | |||
17:30 30mLive Q&A | Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System Research Papers Jeff Smits Delft University of Technology, Netherlands, Gabriël Konat Delft University of Technology, Eelco Visser Delft University of Technology DOI Media Attached | ||
18:00 30mLive Q&A | Functional Programming in Pattern-Match-Oriented Programming Style Research Papers Satoshi Egi Rakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Yuichi Nishiwaki The University of Tokyo DOI Media Attached | ||
18:30 30mLive Q&A | Sthread: In-Vivo Model Checking of Multithreaded Programs Research Papers DOI Media Attached | ||
19:30 - 20:30 | How Buildings Learn: What Happens After They are Built (Brand, 1995)Salon Littéraire at Virtual Space A Chair(s): Mariana Marasoiu University of Cambridge | ||
19:30 60mTalk | How Buildings Learn: What Happens After They are Built (Brand, 1995) Salon Littéraire | ||
Thu 25 MarDisplayed time zone: Belfast change
Thu 25 Mar
Displayed time zone: Belfast change
13:00 - 14:30 | |||
13:00 30mLive Q&A | Transparent Synchronous Dataflow Research Papers Steven Cheung University of Birmingham, UK, Dan Ghica University of Birmingham, Koko Muroya RIMS, Kyoto University, JP DOI Media Attached | ||
13:30 30mLive Q&A | Consistency types for replicated data in a higher-order distributed programming language Research Papers DOI Media Attached | ||
14:00 30mLive Q&A | Jupyter Notebooks on GitHub: Characteristics and Code Clones Research Papers DOI Media Attached | ||
13:00 - 14:30 | |||
13:00 30mLive Q&A | Sub-method, partial behavioral reflection with Reflectivity: Looking back on 10 years of use Research Papers Steven Costiou INRIA Lille, Vincent Aranega Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Marcus Denker INRIA Lille DOI Media Attached | ||
13:30 30mLive Q&A | Reference Capabilities for Safe Parallel Array Programming Research Papers Beatrice Åkerblom Stockholm University, Elias Castegren KTH, Tobias Wrigstad Uppsala University, Sweden DOI Media Attached | ||
14:00 30mLive Q&A | ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices Research Papers Artur Sterz Philipps-Universität Marburg, Matthias Eichholz , Ragnar Mogk Technische Universität Darmstadt, Lars Baumgärtner Technische Universität Darmstadt, Pablo Graubner , Matthias Hollick , Mira Mezini TU Darmstadt, Germany, Bernd Freisleben Philipps-Universität Marburg DOI Media Attached | ||
15:00 - 16:30 | |||
15:00 30mLive Q&A | Bacatá: Notebooks for DSLs, Almost for Free Research Papers Mauricio Verano Merino Technische Universiteit Eindhoven, Jurgen Vinju CWI, Netherlands, Tijs van der Storm CWI & University of Groningen, Netherlands DOI Media Attached | ||
15:30 30mLive Q&A | Prioritising Server Side Reachability via Inter-process Concolic Testing Research Papers Maarten Vandercammen Vrije Universiteit Brussel, Laurent Christophe VUB, Dario Di Nucci Tilburg University, Wolfgang De Meuter Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel Link to publication DOI Media Attached | ||
16:00 30mLive Q&A | Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions Research Papers Tim Soethout ING Bank and Centrum Wiskunde & Informatica (CWI), Tijs van der Storm CWI & University of Groningen, Netherlands, Jurgen Vinju CWI, Netherlands DOI Media Attached | ||
15:00 - 16:30 | |||
15:00 30mLive Q&A | Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System Research Papers Jeff Smits Delft University of Technology, Netherlands, Gabriël Konat Delft University of Technology, Eelco Visser Delft University of Technology DOI Media Attached | ||
15:30 30mLive Q&A | Sthread: In-Vivo Model Checking of Multithreaded Programs Research Papers DOI Media Attached | ||
15:00 - 16:30 | Session 11Research Papers at Virtual Space C Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford | ||
15:00 30mLive Q&A | Functional Programming in Pattern-Match-Oriented Programming Style Research Papers Satoshi Egi Rakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Yuichi Nishiwaki The University of Tokyo DOI Media Attached | ||
15:30 30mLive Q&A | Lake symbols for island parsing Research Papers Katsumi Okuda The University of Tokyo / Mitsubishi Electric Corporation, Shigeru Chiba The University of Tokyo DOI Media Attached | ||
16:00 30mLive Q&A | Programming Paradigms, Turing Completeness and Computational Thinking Research Papers Greg Michaelson Heriot-Watt University DOI Media Attached | ||
17:00 - 17:30 | Conversation Starters IIIConversation Starters at Virtual Space A Chair(s): Emma Söderberg Lund University | ||
17:00 30mLive Q&A | Hedy: A gradual programming language for children Conversation Starters Felienne Hermans Leiden University | ||
17:00 - 17:30 | Conversation Starters IVConversation Starters at Virtual Space B Chair(s): Patrick Rein Hasso Plattner Institute | ||
17:00 30mLive Q&A | Are many heaps better than one? Conversation Starters Mario Wolczko Oracle Labs | ||
17:30 - 19:00 | |||
17:30 30mLive Q&A | Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars Research Papers Johannes Mey Technische Universität Dresden, Thomas Kühn Karlsruhe Institute of Technology, René Schöne Technische Universität Dresden, Uwe Aßmann TU Dresden, Germany DOI Media Attached | ||
18:00 30mLive Q&A | Finding Bugs with Specification-Based Testing is Easy! Research Papers DOI Media Attached | ||
19:30 - 20:30 | Decentralisation: An Incomplete Ambition (Schneider, 2019)Salon Littéraire at Virtual Space A Chair(s): Clayton Lewis University of Colorado Boulder | ||
19:30 60mTalk | Decentralisation: An Incomplete Ambition (Schneider, 2019) Salon Littéraire | ||
Fri 26 MarDisplayed time zone: Belfast change
Fri 26 Mar
Displayed time zone: Belfast change
13:00 - 13:30 | Conversation Starters VConversation Starters at Virtual Space A Chair(s): Patrick Rein Hasso Plattner Institute | ||
13:00 30mDemonstration | A Multi-Language IDE with Blocks at its Core Conversation Starters Tom Beckmann Hasso Plattner Institute | ||
13:00 - 13:30 | Conversation Starters VIConversation Starters at Virtual Space B Chair(s): Emma Söderberg Lund University | ||
13:00 30mLive Q&A | Techniques for Mixed Consistency in Programming Languages Conversation Starters Mirko Köhler TU Darmstadt, Nafise Eskandani TU Darmstadt, Pascal Weisenburger TU Darmstadt, Guido Salvaneschi University of St. Gallen | ||
13:30 - 14:30 | Session 14Research Papers at Virtual Space A Chair(s): Hidehiko Masuhara Tokyo Institute of Technology | ||
13:30 30mLive Q&A | Advanced Join Patterns for the Actor Model based on CEP Techniques Research Papers Humberto Rodriguez Avila Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel DOI Media Attached | ||
14:00 30mLive Q&A | Consistency types for replicated data in a higher-order distributed programming language Research Papers DOI Media Attached | ||
13:30 - 14:30 | |||
13:30 30mLive Q&A | Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs Research Papers Michail Papadimitriou University of Manchester, UK, Juan Fumero University of Manchester, UK, Athanasios Stratikopoulos The University of Manchester, Foivos S. Zakkak Red Hat, Inc., Christos Kotselidis KTM Innovation / The University of Manchester DOI Media Attached | ||
14:00 30mLive Q&A | Sub-method, partial behavioral reflection with Reflectivity: Looking back on 10 years of use Research Papers Steven Costiou INRIA Lille, Vincent Aranega Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Marcus Denker INRIA Lille DOI Media Attached | ||
15:00 - 16:30 | |||
15:00 30mLive Q&A | Using Relational Problems to Teach Property-Based Testing Research Papers John Wrenn Brown University, Tim Nelson Brown University, Shriram Krishnamurthi Brown University, United States DOI Media Attached | ||
15:30 30mLive Q&A | Reference Capabilities for Safe Parallel Array Programming Research Papers Beatrice Åkerblom Stockholm University, Elias Castegren KTH, Tobias Wrigstad Uppsala University, Sweden DOI Media Attached | ||
16:00 30mLive Q&A | Lake symbols for island parsing Research Papers Katsumi Okuda The University of Tokyo / Mitsubishi Electric Corporation, Shigeru Chiba The University of Tokyo DOI Media Attached | ||
17:00 - 17:30 | Session 18Research Papers at Virtual Space A Chair(s): Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany | ||
17:00 30mLive Q&A | Jupyter Notebooks on GitHub: Characteristics and Code Clones Research Papers DOI Media Attached | ||
17:00 - 17:30 | |||
17:00 30mLive Q&A | Did JHotDraw Respect the Law of Good Style?: A deep dive into the nature of false positives of bad code smells Research Papers Daniel Speicher Bonn-Aachen International Center for Information Technology, B-IT DOI Media Attached | ||
17:30 - 18:30 | Keynote IIKeynotes at Virtual Space A Chair(s): Luke Church University of Cambridge | Lund University | Lark Systems | ||
17:30 60mKeynote | Closing Keynote: Guy Steele: Generality—or Not—in a Domain-Specific Language‹Programming› Keynote Keynotes Guy L. Steele Jr. Oracle Labs | ||
18:30 - 19:00 | Conference Closing at Virtual Space A Chair(s): Luke Church University of Cambridge | Lund University | Lark Systems | ||
18:30 30mOther | Conference Closing G: Luke Church University of Cambridge | Lund University | Lark Systems, Stefan Marr University of Kent, Jeremy Gibbons Department of Computer Science, University of Oxford, Ademar Aguiar FEUP, Universidade do Porto | ||