‹Programming› 2020 (series) /
‹Programming› 2020 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 23 MarDisplayed time zone: Belfast change
Mon 23 Mar
Displayed time zone: Belfast change
08:00 - 17:00 | |||
08:00 9hRegistration | Registration | ||
09:00 - 10:30 | |||
09:00 5mDay opening | Welcome ProWeb20 | ||
09:05 55mTalk | Keynote SabaKeynote ProWeb20 Saba Alimadadi Simon Fraser University | ||
10:00 30mTalk | Synthesizing User Interfaces using Functional Reactive Web AbstractionsFull paper ProWeb20 | ||
09:00 - 10:30 | |||
09:00 90mDemonstration | A Journey towards the Neverlang Island CoCoDo Walter Cazzola Università degli Studi di Milano | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 30mTalk | Evolution of the WebDSL RuntimeFull paper ProWeb20 Danny Groenewegen Delft University of Technology, Elmer van Chastelet Delft University of Technology, Eelco Visser Delft University of Technology | ||
11:30 30mTalk | Tamper-proof security mechanism against liar objects in JavaScript applicationsPresentation abstract ProWeb20 Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium | ||
12:00 30mTalk | Broken LinksPresentation abstract ProWeb20 | ||
11:00 - 12:30 | |||
11:00 90mDemonstration | The Spoofax Language Workbench CoCoDo Jeff Smits Delft University of Technology | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 90mTutorial | Meta-Programming for the masses Tutorials Sudipta Mukherjee Raincode Labs | ||
14:00 - 15:30 | |||
14:00 5mDay opening | Welcome ICW | ||
14:05 20mTalk | Introductory Talk: Mobility-Oriented Programming with Containers ICW | ||
14:30 30mShort-paper | User-defined Interface Mappings for the GraalVM ICW Alexander Riese Hasso Plattner Institute, University of Potsdam, Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Tim Felgentreff Oracle Labs, Potsdam, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany | ||
15:00 30mShort-paper | Supporting the Composition of Domain-Specific Software via Task-Specific Roles ICW Andreas Schreiber German Aerospace Center | ||
14:00 - 15:30 | |||
14:00 55mTalk | Why languages for distributed systems are inevitableKeynote ProWeb20 Guido Salvaneschi Technische Universität Darmstadt | ||
14:55 30mTalk | Piecewise Relative Observational PurityPresentation abstract ProWeb20 Seyed Hossein Haeri Université Catholique de Louvain, Peter Van Roy Université catholique de Louvain | ||
15:25 5mDay closing | Closing ProWeb20 | ||
14:00 - 15:30 | |||
14:00 90mDemonstration | From Abstract Syntax Trees to Machine Code with LLVM CoCoDo Dimi Racordon University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 90mTutorial | Meta-Programming for the masses Tutorials Sudipta Mukherjee Raincode Labs | ||
16:00 - 17:30 | |||
16:00 30mShort-paper | LogicKit: Bringing logic programming to Swift ICW Dimi Racordon University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier Buchs University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland | ||
16:30 30mOther | Discussion ICW | ||
17:00 30mDay closing | Wrap-up ICW | ||
16:00 - 17:30 | |||
16:00 90mDemonstration | An Interactive Exploration of a Simple Compiler CoCoDo Marcus Denker INRIA Lille | ||
Tue 24 MarDisplayed time zone: Belfast change
Tue 24 Mar
Displayed time zone: Belfast change
08:30 - 17:00 | |||
08:50 - 10:30 | Java HotSpot VMMoreVMs at W1 Chair(s): Fabio Niephaus Hasso Plattner Institute, University of Potsdam | ||
08:50 10mDay opening | Welcome MoreVMs | ||
09:00 60mTalk | Shenandoah GC 2.0Invited Talk MoreVMs Roman Kennke Red Hat, Inc. | ||
10:00 30mTalk | Enhancement of OpenJDK Biased Locking for Infrequent Lock Contention MoreVMs Ting Wang IBM, Michihiro Horie IBM Research - Tokyo, Kazunori Ogata IBM Research, Japan, Hao Chen Gui IBM, Xiao Ping Guo IBM, Yang Liu IBM | ||
09:00 - 10:30 | |||
09:00 10mTalk | Welcome to ENIAC ENIAC20 | ||
09:10 60mTalk | Keynote ENIAC20 | ||
10:10 20mTalk | Group discussion on common workshop goals ENIAC20 | ||
09:00 - 10:30 | |||
09:00 5mDay opening | Welcome NIP | ||
09:05 55mTalk | VR/AR Software Visualization is for Collaboration NIP Rainer Koschke University of Bremen | ||
10:00 30mFull-paper | Assessing Textual Source Code Comparison: Split Or Unified? NIP Alejandra Cossio Chavalier Universidad Católica Boliviana - "San Pablo", Cochabamba, Juan Pablo Sandoval Alcocer Universidad Catolica Boliviana San Pablo, Alexandre Bergel University of Chile | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 20mTalk | Renaissance: Benchmarking Suite for Parallel Applications on the JVM (Talk) MoreVMs Aleksandar Prokopec Oracle Labs, Andrea Rosà University of Lugano, Switzerland, David Leopoldseder Oracle Labs, Gilles Duboscq Oracle Labs, Petr Tuma Charles University, Martin Studener JKU Linz, Austria, Lubomír Bulej Charles University, Yudi Zheng Oracle Labs, Alex Villazón Universidad Privada Boliviana, Bolivia, Doug Simon Oracle Labs, Thomas Wuerthinger Oracle Labs, Walter Binder University of Lugano, Switzerland | ||
11:20 30mTalk | Profiling Streams on the Java Virtual Machine MoreVMs Eduardo Rosales University of Lugano, Switzerland, Andrea Rosà University of Lugano, Switzerland, Walter Binder University of Lugano, Switzerland | ||
11:50 20mTalk | Continuous Performance Tracking for Better "Everything"! (Talk) MoreVMs Stefan Marr University of Kent | ||
12:10 20mTalk | Towards Modern Runtime Support for an Object-Based Distributed Programming Language (Talk) MoreVMs Oleks Shturmov University of Oslo | ||
11:00 - 12:30 | |||
11:00 30mTalk | Achieving Guidance in Applied Machine Learning Through Software Engineering Techniques ENIAC20 | ||
11:30 30mTalk | Three Trillion Lines: Infrastructure for Mining GitHub in the Classroom ENIAC20 Toni Mattis Hasso Plattner Institute, University of Potsdam, Patrick Rein Hasso Plattner Institute, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany | ||
12:00 30mTalk | Engineering Machine Learning Applications ENIAC20 | ||
11:00 - 12:30 | |||
11:00 30mFull-paper | Program-Model Interaction for Live Algorithmic Design in Virtual Reality NIP Renata Castelo-Branco , António Menezes Leitão Technical University of Lisbon, Portugal, Catarina Brás INESC-ID / Instituto Superior Técnico, Universidade de Lisboa | ||
11:30 20mShort-paper | Towards Visualization of Evolution of Component-based Software Architectures in VR NIP Elke Franziska Heidmann DLR, Annika Meinecke DLR, Lynn von Kurnatowski German Aerospace Center, Andreas Schreiber German Aerospace Center | ||
11:50 30mTalk | Discourse on Livecoding: Methods and Classifications NIP Ashlae Blume Recurse Center & Brooklyn College | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 90mTutorial | PharoIoT Tutorials | ||
14:00 - 15:30 | |||
14:00 60mTalk | Compiling JavaScript in zero* timeInvited Talk MoreVMs | ||
15:00 30mTalk | Superoptimization of WebAssembly Bytecode MoreVMs Javier Cabrera Arteaga KTH Royal Institute of Technology, Shrinish Donde KTH Royal Institute of Technology, Jian Gu KTH Royal Institute of Technology, Orestis Floros KTH Royal Institute of Technology, Lucas Satabin Mobimeo GmbH, Benoit Baudry KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology Pre-print | ||
14:00 - 15:30 | |||
14:00 30mFull-paper | Towards Requirements Engineering with Immersive Augmented Reality NIP Nitish Patkar University of Bern, Leonel Merino University of Stuttgart, Oscar Nierstrasz University of Bern, Switzerland | ||
14:30 20mShort-paper | Towards Efficient Interdisciplinary Authoring of Industrial Augmented Reality Applications NIP | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 90mTutorial | PharoIoT Tutorials | ||
16:00 - 17:30 | |||
16:00 30mTalk | Running Parallel Bytecode Interpreters on Heterogeneous Hardware MoreVMs Juan Fumero University of Manchester, UK, Athanasios Stratikopoulos The University of Manchester, Christos Kotselidis KTM Innovation / The University of Manchester Pre-print | ||
16:30 30mTalk | Toward Presizing and Pretransitioning Strategies for GraalPython MoreVMs Johannes Henning Hasso Plattner Institute, Tim Felgentreff Oracle Labs, Potsdam, Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany | ||
17:00 30mTalk | Towards Dynamic SQL Compilation in Apache Spark MoreVMs Filippo Schiavio Università della Svizzera italiana, Daniele Bonetta Oracle Labs, Walter Binder University of Lugano, Switzerland | ||
19:00 - 20:00 | Dinner (to be planned during the workshop)MoreVMs | ||
19:00 60mDinner | MoreVMs Community Dinner MoreVMs Fabio Niephaus Hasso Plattner Institute, University of Potsdam | ||
Wed 25 MarDisplayed time zone: Belfast change
Wed 25 Mar
Displayed time zone: Belfast change
08:30 - 17:00 | |||
09:30 - 10:30 | |||
09:30 60mTalk | Generality—or Not—in a DSLOpening Keynote Keynotes | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 30mResearch paper | 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 Link to publication DOI Pre-print | ||
11:30 30mResearch paper | Programming Paradigms, Turing Completeness and Computational Thinking Research Papers Greg Michaelson Heriot-Watt University Link to publication DOI Pre-print | ||
12:00 30mResearch paper | 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 Link to publication DOI Pre-print | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Learning Haskell: a project-based approach Tutorials Christophe Scholliers Universiteit Gent, Belgium | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 30mResearch paper | Lightweight Lexical Test Prioritization for Immediate Feedback Research Papers Toni Mattis Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany Link to publication DOI Pre-print | ||
14:30 30mResearch paper | Robust Contract Evolution in a TypeSafe MicroServices Architecture Research Papers João Costa Seco NOVA LINCS -- Universidade Nova de Lisboa, Paulo Ferreira OutSystems SA, Hugo Lourenço OutSystems SA, Carla Ferreira Universidade Nova Lisboa, Lucio Ferrao OutSystems Link to publication DOI Pre-print | ||
15:00 30mResearch paper | Sthread: In-Vivo Model-Checking of Multithreaded Programs Research Papers Link to publication DOI Pre-print | ||
14:00 - 15:30 | |||
14:00 90mTutorial | Learning Haskell: a project-based approach Tutorials Christophe Scholliers Universiteit Gent, Belgium | ||
14:00 - 15:30 | |||
14:00 90mTutorial | Bela Workshop Tutorials | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 30mResearch paper | 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 Link to publication DOI Pre-print | ||
16:30 30mResearch paper | Fine-Grained, Language-Based Access Control for Database-Backed Applications Research Papers Ezra Zigmond Harvard University, Stephen Chong Harvard University, Christos Dimoulas PLT @ Northwestern University, Scott Moore Galois, Inc Link to publication DOI Pre-print | ||
17:00 30mResearch paper | Foundations of a live data exploration environment Research Papers Tomas Petricek University of Kent Link to publication DOI Pre-print | ||
16:00 - 17:30 | |||
16:00 90mTutorial | Learning Haskell: a project-based approach Tutorials Christophe Scholliers Universiteit Gent, Belgium | ||
16:00 - 17:30 | |||
16:00 90mTutorial | Bela Workshop Tutorials | ||
Thu 26 MarDisplayed time zone: Belfast change
Thu 26 Mar
Displayed time zone: Belfast change
08:30 - 17:00 | |||
09:00 - 10:30 | |||
09:00 90mTutorial | Music Generation with Sonic Pi Tutorials Miguel Carvalhais Faculdade de Belas Artes e Universidade do Porto - INESC-TEC, none none Faculdade de Engenharia e Universidade do Porto, Francisca Rocha Gonçalves Faculdade de Engenharia e Universidade do Porto - INESC-TEC | ||
09:00 - 10:30 | |||
09:00 90mTutorial | AntidoteDB Tutorials Link to publication Pre-print | ||
09:30 - 10:30 | |||
09:30 60mTalk | The Bosks Are Thorny, Grim, and IckyClosing Keynote Keynotes | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Music Generation with Sonic Pi Tutorials Miguel Carvalhais Faculdade de Belas Artes e Universidade do Porto - INESC-TEC, none none Faculdade de Engenharia e Universidade do Porto, Francisca Rocha Gonçalves Faculdade de Engenharia e Universidade do Porto - INESC-TEC | ||
11:00 - 12:30 | |||
11:00 90mTutorial | AntidoteDB Tutorials Link to publication Pre-print | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 30mResearch paper | Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala Research Papers Pascal Weisenburger Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt Link to publication DOI Pre-print | ||
14:30 30mResearch paper | Reference Capabilities for Safe Parallel Array Programming Research Papers Beatrice Åkerblom Stockholm University, Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University Link to publication DOI Pre-print | ||
15:00 30mResearch paper | Gavial: Programming the web with multi-tier FRP Research Papers Bob Reynders Chonnam National University, Frank Piessens KU Leuven, Dominique Devriese Vrije Universiteit Brussel Link to publication DOI Pre-print | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 30mResearch paper | Generating a Generic Fluent API in Java Research Papers Tomoki Nakamaru Graduate School of Information Science and Technology, The University of Tokyo, Shigeru Chiba The University of Tokyo Link to publication DOI Pre-print | ||
16:30 30mResearch paper | 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 Link to publication DOI Pre-print | ||
Mon 4 MayDisplayed time zone: Belfast change
Mon 4 May
Displayed time zone: Belfast change
17:00 - 18:00 | Salon Mon May 4, 5-6 pm LondonConvivial Computing Salon | ||
17:00 60mTalk | What does it take to create with domain-appropriate tools? A case study on the "OROM" system. Convivial Computing Salon Joel Jakubovic University of Kent | ||
Tue 5 MayDisplayed time zone: Belfast change
Tue 5 May
Displayed time zone: Belfast change
16:00 - 18:00 | Salon Tue May 5, 4-6 pm LondonConvivial Computing Salon | ||
16:00 60mTalk | Rethinking Programming ”Environment” -- Technical and Social Environment Design toward Convivial Computing Convivial Computing Salon Jun Kato National Institute of Advanced Industrial Science and Technology, Japan, Keisuke Shimakage OTON GLASS, Inc. | ||
17:00 60mTalk | Wildcard: Spreadsheet-Driven Customization of Web Applications Convivial Computing Salon Pre-print | ||
Wed 6 MayDisplayed time zone: Belfast change
Wed 6 May
Displayed time zone: Belfast change
17:00 - 18:00 | Salon Wed May 6, 5-6 pm LondonConvivial Computing Salon | ||
17:00 60mTalk | Can Programmers Escape the Gentle Tyranny of call/return? Convivial Computing Salon Marcel Weiher Hasso-Plattner-Institut (HPI), Germany Link to publication Pre-print | ||
Thu 7 MayDisplayed time zone: Belfast change
Thu 7 May
Displayed time zone: Belfast change
16:00 - 21:00 | Thu May 7, 4-9 pm LondonConvivial Computing Salon | ||
16:00 60mTalk | Escaping the Prison of Style Convivial Computing Salon Antranig Basman Raising the Floor - International, Philip Tchernavskij Inclusive Design Research Centre / OCAD University | ||
17:00 60mTalk | Convivial design heuristics for software systems Convivial Computing Salon Stephen Kell University of Kent | ||
18:00 60mBreak | Session Break Convivial Computing Salon | ||
19:00 60mBreak | Session Break Convivial Computing Salon | ||
20:00 60mTalk | Bicycles for the mind have to be see-through Convivial Computing Salon Kartik Agaram akkartik.name Pre-print | ||
Fri 8 MayDisplayed time zone: Belfast change
Fri 8 May
Displayed time zone: Belfast change
17:00 - 18:00 | Fri May 8, 5-6 pm LondonConvivial Computing Salon | ||
17:00 60mTalk | Towards a Dynamic Multiscale Personalized Information Space Convivial Computing Salon Jim Hollan UCSD, Amy Fox UCSD, Philip Guo UCSD, Clemens Nylandsted Klokmose Aarhus University, Arvind Satyanarayan MIT, Haijun Xia UCSD | ||
Sat 9 MayDisplayed time zone: Belfast change
Sat 9 May
Displayed time zone: Belfast change
16:00 - 17:30 | Sat May 9, 4-5:30 pm LondonConvivial Computing Salon | ||
16:00 45mTalk | Chatting with Glue: Cognitive Tools for Augmented Conversation Convivial Computing Salon | ||
16:45 45mTalk | Spreadsheets as Notational Environment for Paper Weaving Convivial Computing Salon Jonathan Skjøtt Takram | ||