‹Programming› 2021 (series) /
‹Programming› 2021 Program
Filter Program
Conference Dates
Conference Dates are in time zone (GMT) Belfast, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Conference DayMon 22 MarDisplayed time zone: Belfast change
Conference Day
Mon 22 MarDisplayed 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 PetricekUniversity 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 ZaytsevUniversity of Twente, Netherlands | ||
13:00 90mTalk | A Tutorial on the Spoofax Language Workbench CoCoDo Eelco VisserDelft University of Technology | ||
13:00 - 14:30 | Session 1ProWeb21 at Virtual Space B Chair(s): Andrea StoccoUniversità 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 PupoSofware Languages Lab, Vrije Universiteit Brussel, Jens NicolayVrije Universiteit Brussel, Belgium, Elisa Gonzalez BoixVrije 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 GroenewegenDelft University of Technology, Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of Technology Pre-print | ||
16:30 30mTalk | Oron: Towards a Dynamic Analysis Instrumentation Platform for AssemblyScriptProWeb21 ProWeb21 Aäron MunstersVrije Universiteit Brussel, Angel Luis Scull PupoSofware Languages Lab, Vrije Universiteit Brussel, Jim BauwensVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium Pre-print | ||
17:00 - 19:00 | Session The Third: LLVMCoCoDo at Virtual Space A Chair(s): Vadim ZaytsevUniversity of Twente, Netherlands | ||
17:00 2hTalk | From Abstract Syntax Trees to Machine Code with LLVM CoCoDo Dimitri RacordonUniversity of Geneva, Switzerland | ||
17:00 - 19:00 | |||
Conference DayTue 23 MarDisplayed time zone: Belfast change
Conference Day
Tue 23 MarDisplayed time zone: Belfast change
11:30 - 12:30 | Seeing Like a State (Scott, 1998)Salon Littéraire at Virtual Space A Chair(s): Antranig BasmanRaising the Floor - International, Luke ChurchUniversity of Cambridge | Lund University | Lark Systems | ||
11:30 60mTalk | Seeing Like a State (Scott, 1998) Salon Littéraire F: Antranig BasmanRaising the Floor - International, Luke ChurchUniversity of Cambridge | Lund University | Lark Systems | ||
12:55 - 14:30 | Optimizing Dynamic LanguagesMoreVMs at Virtual Space A Chair(s): Fabio NiephausHasso 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-BoisvertShopify Media Attached | ||
14:00 30mTalk | Caching Hidden Classes for Pre-transitioning Object Memory Layout in JavaScript MoreVMs Media Attached | ||
15:00 - 16:30 | |||
15:00 30mTalk | The Strange and Wondrous Life of Functions in Ř MoreVMs Jan JečmenFIT CTU Prague, Olivier FlückigerNortheastern University, Sebastián KrynskiCzech Technical University, National University of Quilmes, Jan VitekNortheastern University / Czech Technical University Media Attached | ||
15:30 30mTalk | Successes and Challenges in Bringing Performance to Java with Inline Types MoreVMs Sharon WangIBM Media Attached File Attached | ||
16:00 30mTalk | Towards a Synthetic Benchmark to Assess VM Startup, Warmup, and Cold-Code Performance MoreVMs Stefan MarrUniversity of Kent Media Attached | ||
15:00 - 16:30 | |||
15:00 30mTalk | Exploring Modal Locking in Window Manipulation PX/21 Marcel TaeumelHasso Plattner Institute, Robert HirschfeldHasso 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 PiumartaKyoto University of Advanced Science | ||
16:00 30mTalk | Javardeye: Gaze Input for Cursor Control in a Structured Editor PX/21 André L. SantosISCTE-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 BragaIBM Canada Media Attached | ||
17:30 60mTalk | Are Many Heaps Better Than One?MoreVMs Invited Talk MoreVMs Mario WolczkoOracle 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 DmukhovskiyArt 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 KatongoMassachusetts Institute of Technology (MIT), Geoffrey LittMIT, Daniel JacksonMassachusetts Institute of Technology (MIT) | ||
18:30 30mTalk | Towards exploratory understanding of software using test suites PX/21 Dominik MeierHasso-Plattner-Institute, Toni MattisHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso Plattner Institute (HPI), University of Potsdam, Germany | ||
Conference DayWed 24 MarDisplayed time zone: Belfast change
Conference Day
Wed 24 MarDisplayed 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 ChurchUniversity 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 ChurchUniversity of Cambridge | Lund University | Lark Systems | ||
14:00 30mLive Q&A | Transparent Synchronous Dataflow Research Papers Steven CheungUniversity of Birmingham, UK, Dan GhicaUniversity of Birmingham, Koko MuroyaRIMS, Kyoto University, JP DOI Media Attached | ||
14:00 - 14:30 | |||
15:00 - 16:30 | Session 3Research Papers at Virtual Space A Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford | ||
15:00 30mLive Q&A | Using Relational Problems to Teach Property-Based Testing Research Papers John WrennBrown University, Tim NelsonBrown University, Shriram KrishnamurthiBrown University, United States DOI Media Attached | ||
15:30 30mLive Q&A | Bacatá: Notebooks for DSLs, Almost for Free Research Papers Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCWI, Netherlands, Tijs van der StormCWI & 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 MeyTechnische Universität Dresden, Thomas KühnKarlsruhe Institute of Technology, René SchöneTechnische Universität Dresden, Uwe AßmannTU 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 SoethoutING Bank and Centrum Wiskunde & Informatica (CWI), Tijs van der StormCWI & University of Groningen, Netherlands, Jurgen VinjuCWI, 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 MichaelsonHeriot-Watt University DOI Media Attached | ||
17:00 - 17:30 | Conversation Starters IConversation Starters at Virtual Space A Chair(s): Emma SöderbergLund 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 ReinHasso Plattner Institute | ||
17:00 30mLive Q&A | Live IDEs in the WebBrowser: What's Holding Us Back? Conversation Starters Gilad BrachaShape 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 SpeicherBonn-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 AvilaVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije 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 SmitsDelft University of Technology, Netherlands, Gabriël KonatDelft University of Technology, Eelco VisserDelft University of Technology DOI Media Attached | ||
18:00 30mLive Q&A | Functional Programming in Pattern-Match-Oriented Programming Style Research Papers Satoshi EgiRakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Yuichi NishiwakiThe 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 MarasoiuUniversity of Cambridge | ||
19:30 60mTalk | How Buildings Learn: What Happens After They are Built (Brand, 1995) Salon Littéraire | ||
Conference DayThu 25 MarDisplayed time zone: Belfast change
Conference Day
Thu 25 MarDisplayed time zone: Belfast change
13:00 - 14:30 | |||
13:00 30mLive Q&A | Transparent Synchronous Dataflow Research Papers Steven CheungUniversity of Birmingham, UK, Dan GhicaUniversity of Birmingham, Koko MuroyaRIMS, 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 AranegaUniversité 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 ÅkerblomStockholm University, Elias CastegrenKTH, Tobias WrigstadUppsala University, Sweden DOI Media Attached | ||
14:00 30mLive Q&A | ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices Research Papers Artur SterzPhilipps-Universität Marburg, Matthias Eichholz, Ragnar MogkTechnische Universität Darmstadt, Lars BaumgärtnerTechnische Universität Darmstadt, Pablo Graubner, Matthias Hollick, Mira MeziniTU Darmstadt, Germany, Bernd FreislebenPhilipps-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 MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCWI, Netherlands, Tijs van der StormCWI & University of Groningen, Netherlands DOI Media Attached | ||
15:30 30mLive Q&A | Prioritising Server Side Reachability via Inter-process Concolic Testing Research Papers Maarten VandercammenVrije Universiteit Brussel, Laurent ChristopheVUB, Dario Di NucciTilburg University, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije 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 SoethoutING Bank and Centrum Wiskunde & Informatica (CWI), Tijs van der StormCWI & University of Groningen, Netherlands, Jurgen VinjuCWI, 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 SmitsDelft University of Technology, Netherlands, Gabriël KonatDelft University of Technology, Eelco VisserDelft 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 GibbonsDepartment of Computer Science, University of Oxford | ||
15:00 30mLive Q&A | Functional Programming in Pattern-Match-Oriented Programming Style Research Papers Satoshi EgiRakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Yuichi NishiwakiThe University of Tokyo DOI Media Attached | ||
15:30 30mLive Q&A | Lake symbols for island parsing Research Papers Katsumi OkudaThe University of Tokyo / Mitsubishi Electric Corporation, Shigeru ChibaThe University of Tokyo DOI Media Attached | ||
16:00 30mLive Q&A | Programming Paradigms, Turing Completeness and Computational Thinking Research Papers Greg MichaelsonHeriot-Watt University DOI Media Attached | ||
17:00 - 17:30 | Conversation Starters IIIConversation Starters at Virtual Space A Chair(s): Emma SöderbergLund University | ||
17:00 30mLive Q&A | Hedy: A gradual programming language for children Conversation Starters Felienne HermansLeiden University | ||
17:00 - 17:30 | Conversation Starters IVConversation Starters at Virtual Space B Chair(s): Patrick ReinHasso Plattner Institute | ||
17:00 30mLive Q&A | Are many heaps better than one? Conversation Starters Mario WolczkoOracle 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 MeyTechnische Universität Dresden, Thomas KühnKarlsruhe Institute of Technology, René SchöneTechnische Universität Dresden, Uwe AßmannTU 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 LewisUniversity of Colorado Boulder | ||
19:30 60mTalk | Decentralisation: An Incomplete Ambition (Schneider, 2019) Salon Littéraire | ||
Conference DayFri 26 MarDisplayed time zone: Belfast change
Conference Day
Fri 26 MarDisplayed time zone: Belfast change
13:00 - 13:30 | Conversation Starters VConversation Starters at Virtual Space A Chair(s): Patrick ReinHasso Plattner Institute | ||
13:00 30mDemonstration | A Multi-Language IDE with Blocks at its Core Conversation Starters Tom BeckmannHasso Plattner Institute | ||
13:00 - 13:30 | Conversation Starters VIConversation Starters at Virtual Space B Chair(s): Emma SöderbergLund University | ||
13:00 30mLive Q&A | Techniques for Mixed Consistency in Programming Languages Conversation Starters Mirko KöhlerTU Darmstadt, Nafise EskandaniTU Darmstadt, Pascal WeisenburgerTU Darmstadt, Guido SalvaneschiUniversity of St. Gallen | ||
13:30 - 14:30 | Session 14Research Papers at Virtual Space A Chair(s): Hidehiko MasuharaTokyo Institute of Technology | ||
13:30 30mLive Q&A | Advanced Join Patterns for the Actor Model based on CEP Techniques Research Papers Humberto Rodriguez AvilaVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije 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 PapadimitriouUniversity of Manchester, UK, Juan FumeroUniversity of Manchester, UK, Athanasios StratikopoulosThe University of Manchester, Foivos S. ZakkakRed Hat, Inc., Christos KotselidisKTM 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 AranegaUniversité 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 WrennBrown University, Tim NelsonBrown University, Shriram KrishnamurthiBrown University, United States DOI Media Attached | ||
15:30 30mLive Q&A | Reference Capabilities for Safe Parallel Array Programming Research Papers Beatrice ÅkerblomStockholm University, Elias CastegrenKTH, Tobias WrigstadUppsala University, Sweden DOI Media Attached | ||
16:00 30mLive Q&A | Lake symbols for island parsing Research Papers Katsumi OkudaThe University of Tokyo / Mitsubishi Electric Corporation, Shigeru ChibaThe University of Tokyo DOI Media Attached | ||
17:00 - 17:30 | Session 18Research Papers at Virtual Space A Chair(s): Jens LinckeHasso 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 SpeicherBonn-Aachen International Center for Information Technology, B-IT DOI Media Attached | ||
17:30 - 18:30 | Keynote IIKeynotes at Virtual Space A Chair(s): Luke ChurchUniversity 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 ChurchUniversity of Cambridge | Lund University | Lark Systems | ||
18:30 30mOther | Conference Closing G: Luke ChurchUniversity of Cambridge | Lund University | Lark Systems, Stefan MarrUniversity of Kent, Jeremy GibbonsDepartment of Computer Science, University of Oxford, Ademar AguiarFEUP, Universidade do Porto | ||