‹Programming› 2020
Mon 23 - Thu 26 March 2020 Porto, Portugal
‹Programming› 2020 (series) /

‹Programming› 2020 Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 23 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

08:00 - 17:00: Registration at ​Registration (Lobby)
08:00 - 17:00
Registration		Registration
09:00 - 10:30: PX/20 #1PX/20 at W1
09:00 - 10:30: No session (workshop starts after lunch)ICW at W2
09:00 - 10:30: ProWeb 2020 #1ProWeb20 at W3
09:00 - 09:05
Day opening		Welcome
ProWeb20
09:05 - 10:00
Talk		Keynote SabaKeynote
ProWeb20
Saba AlimadadiSimon Fraser University
10:00 - 10:30
Talk		Synthesizing User Interfaces using Functional Reactive Web AbstractionsFull paper
ProWeb20
Adam Granicz, Jozsef Uri, Andras Janko
09:00 - 10:30: Session the FirstCoCoDo at W4
Chair(s): Johan FabryRaincode Labs, Belgium
09:00 - 10:30
Demonstration		A Journey towards the Neverlang Island
CoCoDo
Walter Cazzola Università degli Studi di Milano
10:30 - 11:00: BreakCatering at ​Break-Space
10:30 - 11:00
Coffee break		Break
Catering
11:00 - 12:30: PX/20 #2PX/20 at W1
11:00 - 12:30: No session (workshop starts after lunch)ICW at W2
11:00 - 12:30: ProWeb 2020 #2ProWeb20 at W3
11:00 - 11:30
Talk		Evolution of the WebDSL RuntimeFull paper
ProWeb20
Danny GroenewegenDelft University of Technology, Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of Technology
11:30 - 12:00
Talk		Tamper-proof security mechanism against liar objects in JavaScript applicationsPresentation abstract
ProWeb20
Angel Luis Scull PupoSofware Languages Lab, Vrije Universiteit Brussel, Jens NicolayVrije Universiteit Brussel, Belgium, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
12:00 - 12:30
Talk		Broken LinksPresentation abstract
ProWeb20
Frank EmrichThe University of Edinburgh, Daniel HillerströmThe University of Edinburgh
11:00 - 12:30: Session the SecondCoCoDo at W4
Chair(s): Johan FabryRaincode Labs, Belgium
11:00 - 12:30
Demonstration		The Spoofax Language Workbench
CoCoDo
Jeff SmitsDelft University of Technology
12:30 - 14:00: LunchCatering at ​Break-Space
12:30 - 14:00
Lunch		Lunch
Catering
14:00 - 15:30: Meta-Programming ITutorials at T1
14:00 - 15:30
Tutorial		Meta-Programming for the masses
Tutorials
Sudipta MukherjeeRaincode Labs
14:00 - 15:30: PX/20 #3PX/20 at W1
14:00 - 15:30: ICW 2020 #1ICW at W2
Chair(s): Oleks ShturmovUniversity of Oslo, Eric JulUniversity of Oslo
14:00 - 14:05
Day opening		Welcome
ICW
Oleks ShturmovUniversity of Oslo, Eric JulUniversity of Oslo
14:05 - 14:25
Talk		Introductory Talk: Mobility-Oriented Programming with Containers
ICW
Oleks ShturmovUniversity of Oslo, Eric JulUniversity of Oslo
14:30 - 15:00
Short-paper		User-defined Interface Mappings for the GraalVM
ICW
Alexander RieseHasso Plattner Institute, University of Potsdam, Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
15:00 - 15:30
Short-paper		Supporting the Composition of Domain-Specific Software via Task-Specific Roles
ICW
Andreas SchreiberGerman Aerospace Center
14:00 - 15:30: ProWeb 2020 #3ProWeb20 at W3
14:00 - 14:55
Talk		Why languages for distributed systems are inevitableKeynote
ProWeb20
Guido SalvaneschiTechnische Universität Darmstadt
14:55 - 15:25
Talk		Piecewise Relative Observational PurityPresentation abstract
ProWeb20
Seyed Hossein HaeriUniversité Catholique de Louvain, Peter Van RoyUniversité catholique de Louvain
15:25 - 15:30
Day closing		Closing
ProWeb20
14:00 - 15:30: Session the ThirdCoCoDo at W4
Chair(s): Johan FabryRaincode Labs, Belgium
14:00 - 15:30
Demonstration		From Abstract Syntax Trees to Machine Code with LLVM
CoCoDo
Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland
15:30 - 16:00: BreakCatering at ​Break-Space
15:30 - 16:00
Coffee break		Break
Catering
16:00 - 17:30: Meta-Programming IITutorials at T1
16:00 - 17:30
Tutorial		Meta-Programming for the masses
Tutorials
Sudipta MukherjeeRaincode Labs
16:00 - 17:30: PX/20 #4PX/20 at W1
16:00 - 17:30: ICW 2020 #2ICW at W2
Chair(s): Eric JulUniversity of Oslo, Oleks ShturmovUniversity of Oslo
16:00 - 16:30
Short-paper		LogicKit: Bringing logic programming to Swift
ICW
Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier BuchsUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland
16:30 - 17:00
Other		Discussion
ICW
Oleks ShturmovUniversity of Oslo, Eric JulUniversity of Oslo
17:00 - 17:30
Day closing		Wrap-up
ICW
Oleks ShturmovUniversity of Oslo, Eric JulUniversity of Oslo
16:00 - 17:30: ProWeb 2020 #4ProWeb20 at W3
16:00 - 17:30: Session the FourthCoCoDo at W4
Chair(s): Johan FabryRaincode Labs, Belgium
16:00 - 17:30
Demonstration		An Interactive Exploration of a Simple Compiler
CoCoDo
Marcus Denker INRIA Lille

Tue 24 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

08:30 - 17:00: Registration at ​Registration (Lobby)
08:50 - 10:30: Java HotSpot VMMoreVMs at W1
Chair(s): Fabio NiephausHasso Plattner Institute, University of Potsdam
08:50 - 09:00
Day opening		Welcome
MoreVMs
Edd BarrettKing's College London, Fabio NiephausHasso Plattner Institute, University of Potsdam
09:00 - 10:00
Talk		Shenandoah GC 2.0Invited Talk
MoreVMs
Roman KennkeRed Hat, Inc.
10:00 - 10:30
Talk		Enhancement of OpenJDK Biased Locking for Infrequent Lock Contention
MoreVMs
Ting WangIBM, Michihiro HorieIBM Research - Tokyo, Kazunori OgataIBM Research, Japan, Hao Chen GuiIBM, Xiao Ping GuoIBM, Yang LiuIBM
09:00 - 10:30: Opening and KeynoteENIAC20 at W3
09:00 - 09:10
Talk		Welcome to ENIAC
ENIAC20
Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
09:10 - 10:10
Talk		Keynote
ENIAC20
10:10 - 10:30
Talk		Group discussion on common workshop goals
ENIAC20
09:00 - 10:30: Collaboration and User StudiesNIP at W4
09:00 - 09:05
Day opening		Welcome
NIP
Alexandre BergelUniversity of Chile, Leonel MerinoUniversity of Stuttgart
09:05 - 10:00
Talk		VR/AR Software Visualization is for Collaboration
NIP
Rainer KoschkeUniversity of Bremen
10:00 - 10:30
Full-paper		Assessing Textual Source Code Comparison: Split Or Unified?
NIP
Alejandra Cossio ChavalierUniversidad Católica Boliviana - "San Pablo", Cochabamba, Juan Pablo Sandoval AlcocerUniversidad Catolica Boliviana San Pablo, Alexandre BergelUniversity of Chile
09:00 - 10:30: MiniPLoP #1MiniPLoP at W5
10:30 - 11:00: BreakCatering at ​Break-Space
10:30 - 11:00
Coffee break		Break
Catering
11:00 - 12:30: Runtime Systems and Performance AnalysisMoreVMs at W1
11:00 - 11:20
Talk		Renaissance: Benchmarking Suite for Parallel Applications on the JVM (Talk)
MoreVMs
Aleksandar ProkopecOracle Labs, Andrea RosàUniversity of Lugano, Switzerland, David LeopoldsederOracle Labs, Gilles DuboscqOracle Labs, Petr TumaCharles University, Martin StudenerJKU Linz, Austria, Lubomír BulejCharles University, Yudi ZhengOracle Labs, Alex VillazónUniversidad Privada Boliviana, Bolivia, Doug SimonOracle Labs, Thomas WuerthingerOracle Labs, Walter BinderUniversity of Lugano, Switzerland
11:20 - 11:50
Talk		Profiling Streams on the Java Virtual Machine
MoreVMs
Eduardo RosalesUniversity of Lugano, Switzerland, Andrea RosàUniversity of Lugano, Switzerland, Walter BinderUniversity of Lugano, Switzerland
11:50 - 12:10
Talk		Continuous Performance Tracking for Better "Everything"! (Talk)
MoreVMs
Stefan MarrUniversity of Kent
12:10 - 12:30
Talk		Towards Modern Runtime Support for an Object-Based Distributed Programming Language (Talk)
MoreVMs
Oleks ShturmovUniversity of Oslo
11:00 - 12:30: ENIAC SessionENIAC20 at W3
Chair(s): Coen De RooverVrije Universiteit Brussel
11:00 - 11:30
Talk		Achieving Guidance in Applied Machine Learning Through Software Engineering Techniques
ENIAC20
Lars ReimannUniversity of Bonn, Günter Kniesel-WünscheUniversity of Bonn
11:30 - 12:00
Talk		Three Trillion Lines: Infrastructure for Mining GitHub in the Classroom
ENIAC20
Toni MattisHasso Plattner Institute, University of Potsdam, Patrick ReinHasso Plattner Institute, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
12:00 - 12:30
Talk		Engineering Machine Learning Applications
ENIAC20
Luis CruzDeflt University of Technology, Petra HeckFontys ICT
11:00 - 12:30: Virtual Reality and LivecodingNIP at W4
11:00 - 11:30
Full-paper		Program-Model Interaction for Live Algorithmic Design in Virtual Reality
NIP
Renata Castelo-Branco, António Menezes LeitãoTechnical University of Lisbon, Portugal, Catarina BrásINESC-ID / Instituto Superior Técnico, Universidade de Lisboa
11:30 - 11:50
Short-paper		Towards Visualization of Evolution of Component-based Software Architectures in VR
NIP
Elke Franziska HeidmannDLR, Annika MeineckeDLR, Lynn von KurnatowskiGerman Aerospace Center, Andreas SchreiberGerman Aerospace Center
11:50 - 12:20
Talk		Discourse on Livecoding: Methods and Classifications
NIP
Ashlae BlumeRecurse Center & Brooklyn College
11:00 - 12:30: MiniPLoP #2MiniPLoP at W5
12:30 - 14:00: LunchCatering at ​Break-Space
12:30 - 14:00
Lunch		Lunch
Catering
14:00 - 15:30: PharoIoT ITutorials at T1
14:00 - 15:30
Tutorial		PharoIoT
Tutorials
Marcus Denker INRIA Lille, Steven Costiou INRIA Lille, Allex Oliveira INRIA Lille
14:00 - 15:30: For a Faster WebMoreVMs at W1
14:00 - 15:00
Talk		Compiling JavaScript in zero* timeInvited Talk
MoreVMs
Leszek Swirski
15:00 - 15:30
Talk		Superoptimization of WebAssembly Bytecode
MoreVMs
Javier Cabrera ArteagaKTH Royal Institute of Technology, Shrinish DondeKTH Royal Institute of Technology, Jian GuKTH Royal Institute of Technology, Orestis FlorosKTH Royal Institute of Technology, Lucas SatabinMobimeo GmbH, Benoit BaudryKTH Royal Institute of Technology, Martin MonperrusKTH Royal Institute of Technology
Pre-print
14:00 - 15:30: ENIAC #3ENIAC20 at W3
14:00 - 15:30: Augmented RealityNIP at W4
14:00 - 14:30
Full-paper		Towards Requirements Engineering with Immersive Augmented Reality
NIP
Nitish PatkarUniversity of Bern, Leonel MerinoUniversity of Stuttgart, Oscar NierstraszUniversity of Bern, Switzerland
14:30 - 14:50
Short-paper		Towards Efficient Interdisciplinary Authoring of Industrial Augmented Reality Applications
NIP
Ingo BörstingUniversity of Duisburg-Essen, Volker GruhnUniversity Duisburg-Essen
14:00 - 15:30: MiniPLoP #3MiniPLoP at W5
15:30 - 16:00: BreakCatering at ​Break-Space
15:30 - 16:00
Coffee break		Break
Catering
16:00 - 17:30: PharoIoT IITutorials at T1
16:00 - 17:30
Tutorial		PharoIoT
Tutorials
Marcus Denker INRIA Lille, Steven Costiou INRIA Lille, Allex Oliveira INRIA Lille
16:00 - 17:30: Dynamic Runtime OptimizationsMoreVMs at W1
16:00 - 16:30
Talk		Running Parallel Bytecode Interpreters on Heterogeneous Hardware
MoreVMs
Juan FumeroUniversity of Manchester, UK, Athanasios StratikopoulosThe University of Manchester, Christos KotselidisKTM Innovation / The University of Manchester
Pre-print
16:30 - 17:00
Talk		Toward Presizing and Pretransitioning Strategies for GraalPython
MoreVMs
Johannes HenningHasso Plattner Institute, Tim FelgentreffOracle Labs, Potsdam, Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
17:00 - 17:30
Talk		Towards Dynamic SQL Compilation in Apache Spark
MoreVMs
Filippo SchiavioUniversità della Svizzera italiana, Daniele BonettaOracle Labs, Walter BinderUniversity of Lugano, Switzerland
16:00 - 17:30: ENIAC #4ENIAC20 at W3
16:00 - 17:30: NIP'20 #4NIP at W4
16:00 - 17:30: MiniPLoP #4MiniPLoP at W5
19:00 - 20:00: Dinner (to be planned during the workshop)MoreVMs
19:00 - 20:00
Dinner		MoreVMs Community Dinner
MoreVMs
Fabio NiephausHasso Plattner Institute, University of Potsdam

Wed 25 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

08:30 - 17:00: Registration at ​Registration (Lobby)
09:30 - 10:30: < Opening KeynoteKeynotes at Auditorium
09:30 - 10:30
Talk		Generality—or Not—in a DSLOpening Keynote
Keynotes
K: Guy L. Steele Jr.Oracle Labs
10:30 - 11:00: BreakCatering at ​Break-Space
10:30 - 11:00
Coffee break		Break
Catering
11:00 - 12:30: Reflecting on ProgrammingResearch Papers at Auditorium
11:00 - 11:30
Research 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 SpeicherBonn-Aachen International Center for Information Technology, B-IT
Link to publication DOI Pre-print
11:30 - 12:00
Research paper		Programming Paradigms, Turing Completeness and Computational Thinking
Research Papers
Greg MichaelsonHeriot-Watt University
Link to publication DOI Pre-print
12:00 - 12:30
Research paper		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
Link to publication DOI Pre-print
11:00 - 12:30: Haskell ITutorials at T1
11:00 - 12:30
Tutorial		Learning Haskell: a project-based approach
Tutorials
Christophe ScholliersUniversiteit Gent, Belgium
12:30 - 14:00: LunchCatering at ​Break-Space
12:30 - 14:00
Lunch		Lunch
Catering
14:00 - 15:30: Engineering CorrectnessResearch Papers at Auditorium
14:00 - 14:30
Research paper		Lightweight Lexical Test Prioritization for Immediate Feedback
Research Papers
Toni MattisHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
Link to publication DOI Pre-print
14:30 - 15:00
Research paper		Robust Contract Evolution in a TypeSafe MicroServices Architecture
Research Papers
João Costa SecoNOVA LINCS -- Universidade Nova de Lisboa, Paulo FerreiraOutSystems SA, Hugo LourençoOutSystems SA, Carla FerreiraUniversidade Nova Lisboa, Lucio FerraoOutSystems
Link to publication DOI Pre-print
15:00 - 15:30
Research paper		Sthread: In-Vivo Model-Checking of Multithreaded Programs
Research Papers
Gene CoopermanNortheastern University, Martin QuinsonÉcole Normale Supérieure Rennes
Link to publication DOI Pre-print
14:00 - 15:30: Haskell IITutorials at T1
14:00 - 15:30
Tutorial		Learning Haskell: a project-based approach
Tutorials
Christophe ScholliersUniversiteit Gent, Belgium
14:00 - 15:30: Bela ITutorials at T2
14:00 - 15:30
Tutorial		Bela Workshop
Tutorials
Adan L. Benito Temprano, Jack ArmitageQueen Mary University London
15:30 - 16:00: BreakCatering at ​Break-Space
15:30 - 16:00
Coffee break		Break
Catering
16:00 - 17:30: Thinking about DataResearch Papers at Auditorium
Chair(s): Jonathan Edwards
16:00 - 16:30
Research paper		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
Link to publication DOI Pre-print
16:30 - 17:00
Research paper		Fine-Grained, Language-Based Access Control for Database-Backed Applications
Research Papers
Ezra ZigmondHarvard University, Stephen ChongHarvard University, Christos DimoulasPLT @ Northwestern University, Scott MooreGalois, Inc
Link to publication DOI Pre-print
17:00 - 17:30
Research paper		Foundations of a live data exploration environment
Research Papers
Tomas PetricekUniversity of Kent
Link to publication DOI Pre-print
16:00 - 17:30: Haskell IIITutorials at T1
16:00 - 17:30
Tutorial		Learning Haskell: a project-based approach
Tutorials
Christophe ScholliersUniversiteit Gent, Belgium
16:00 - 17:30: Bela IITutorials at T2
16:00 - 17:30
Tutorial		Bela Workshop
Tutorials
Adan L. Benito Temprano, Jack ArmitageQueen Mary University London

Thu 26 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

08:30 - 17:00: Registration at ​Registration (Lobby)
09:00 - 10:30: Sonic Pi ITutorials at T1
09:00 - 10:30
Tutorial		Music Generation with Sonic Pi
Tutorials
Miguel CarvalhaisFaculdade de Belas Artes e Universidade do Porto - INESC-TEC, Luis Henrique ArandasFaculdade de Engenharia e Universidade do Porto, Francisca Rocha GonçalvesFaculdade de Engenharia e Universidade do Porto - INESC-TEC
09:00 - 10:30: AntidoteDB ITutorials at T2
09:00 - 10:30
Tutorial		AntidoteDB
Tutorials
Annette BieniusaTechnische Universität Kaiserslautern, Nuno Preguica
Link to publication Pre-print
09:30 - 10:30: Closing Keynote >Keynotes at Auditorium
09:30 - 10:30
Talk		The Bosks Are Thorny, Grim, and IckyClosing Keynote
Keynotes
K: Richard P. GabrielDream Songs, Inc. & HPI
10:30 - 11:00: BreakCatering at ​Break-Space
10:30 - 11:00
Coffee break		Break
Catering
11:00 - 12:30: Machines Thinking about ProgramsResearch Papers at Auditorium
Chair(s): Coen De RooverVrije Universiteit Brussel
11:00 - 11:30
Research paper		Automatically Tracing Imprecision Causes in JavaScript Static Analysis
Research Papers
Hongki LeeKorea Advanced Institute of Science and Technology, Changhee ParkKAIST, Sukyoung RyuKAIST
Link to publication DOI Pre-print
11:30 - 12:00
Research paper		Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System
Research Papers
Jeff SmitsDelft University of Technology, Gabriël KonatDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print
12:00 - 12:30
Research paper		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
Link to publication DOI Pre-print
11:00 - 12:30: Sonic Pi IITutorials at T1
11:00 - 12:30
Tutorial		Music Generation with Sonic Pi
Tutorials
Miguel CarvalhaisFaculdade de Belas Artes e Universidade do Porto - INESC-TEC, Luis Henrique ArandasFaculdade de Engenharia e Universidade do Porto, Francisca Rocha GonçalvesFaculdade de Engenharia e Universidade do Porto - INESC-TEC
11:00 - 12:30: AntidoteDB IITutorials at T2
11:00 - 12:30
Tutorial		AntidoteDB
Tutorials
Annette BieniusaTechnische Universität Kaiserslautern, Nuno Preguica
Link to publication Pre-print
12:30 - 14:00: LunchCatering at ​Break-Space
12:30 - 14:00
Lunch		Lunch
Catering
14:00 - 15:30: Thinking ConcurrentlyResearch Papers at Auditorium
Chair(s): Matthew FlattUniversity of Utah
14:00 - 14:30
Research paper		Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala
Research Papers
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt
Link to publication DOI Pre-print
14:30 - 15:00
Research paper		Reference Capabilities for Safe Parallel Array Programming
Research Papers
Beatrice ÅkerblomStockholm University, Elias CastegrenUppsala University, Tobias WrigstadUppsala University
Link to publication DOI Pre-print
15:00 - 15:30
Research paper		Gavial: Programming the web with multi-tier FRP
Research Papers
Bob ReyndersChonnam National University, Frank PiessensKU Leuven, Dominique DevrieseVrije Universiteit Brussel
Link to publication DOI Pre-print
15:30 - 16:00: BreakCatering at ​Break-Space
15:30 - 16:00
Coffee break		Break
Catering
16:00 - 17:30: Programming with StyleResearch Papers at Auditorium
16:00 - 16:30
Research paper		Generating a Generic Fluent API in Java
Research Papers
Tomoki NakamaruGraduate School of Information Science and Technology, The University of Tokyo, Shigeru ChibaThe University of Tokyo
Link to publication DOI Pre-print
16:30 - 17:00
Research paper		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
Link to publication DOI Pre-print

Mon 4 May
Times are displayed in time zone: Greenwich Mean Time : Belfast change

17:00 - 18:00: Salon Mon May 4, 5-6 pm LondonConvivial Computing Salon
17:00 - 18:00
Talk		What does it take to create with domain-appropriate tools? A case study on the "OROM" system.
Convivial Computing Salon
Joel JakubovicUniversity of Kent

Tue 5 May
Times are displayed in time zone: Greenwich Mean Time : Belfast change

16:00 - 18:00: Salon Tue May 5, 4-6 pm LondonConvivial Computing Salon
16:00 - 17:00
Talk		Rethinking Programming ”Environment” -- Technical and Social Environment Design toward Convivial Computing
Convivial Computing Salon
Jun KatoNational Institute of Advanced Industrial Science and Technology, Japan, Keisuke ShimakageOTON GLASS, Inc.
17:00 - 18:00
Talk		Wildcard: Spreadsheet-Driven Customization of Web Applications
Convivial Computing Salon
Geoffrey LittMassachusetts Institute of Technology, Daniel JacksonMIT
Pre-print

Wed 6 May
Times are displayed in time zone: Greenwich Mean Time : Belfast change

17:00 - 18:00: Salon Wed May 6, 5-6 pm LondonConvivial Computing Salon
17:00 - 18:00
Talk		Can Programmers Escape the Gentle Tyranny of call/return?
Convivial Computing Salon
Marcel WeiherHasso-Plattner-Institut (HPI), Germany
Pre-print

Thu 7 May
Times are displayed in time zone: Greenwich Mean Time : Belfast change

16:00 - 21:00: Thu May 7, 4-9 pm LondonConvivial Computing Salon
16:00 - 17:00
Talk		Escaping the Prison of Style
Convivial Computing Salon
Antranig BasmanRaising the Floor - International, Philip TchernavskijInclusive Design Research Centre / OCAD University
17:00 - 18:00
Talk		Convivial design heuristics for software systems
Convivial Computing Salon
Stephen KellUniversity of Kent
18:00 - 19:00
Break		Session Break
Convivial Computing Salon
19:00 - 20:00
Break		Session Break
Convivial Computing Salon
20:00 - 21:00
Talk		Bicycles for the mind have to be see-through
Convivial Computing Salon
Kartik Agaramakkartik.name
Pre-print

Fri 8 May
Times are displayed in time zone: Greenwich Mean Time : Belfast change

17:00 - 18:00: Fri May 8, 5-6 pm LondonConvivial Computing Salon
17:00 - 18:00
Talk		Towards a Dynamic Multiscale Personalized Information Space
Convivial Computing Salon
Jim HollanUCSD, Amy FoxUCSD, Philip GuoUCSD, Clemens Nylandsted KlokmoseAarhus University, Arvind SatyanarayanMIT, Haijun XiaUCSD

Sat 9 May
Times are displayed in time zone: Greenwich Mean Time : Belfast change

16:00 - 17:30: Sat May 9, 4-5:30 pm LondonConvivial Computing Salon
16:00 - 16:45
Talk		Chatting with Glue: Cognitive Tools for Augmented Conversation
Convivial Computing Salon
Max Krieger
16:45 - 17:30
Talk		Spreadsheets as Notational Environment for Paper Weaving
Convivial Computing Salon
Jonathan SkjøttTakram

Mon 23 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
T1

Tutorials

Meta-Programming I

Tutorials

Meta-Programming II
W1

PX/20

PX/20 #1

PX/20

PX/20 #2

PX/20

PX/20 #3

PX/20

PX/20 #4
W2

ICW

No session (workshop starts after lunch)

ICW

No session (workshop starts after lunch)

ICW

ICW 2020 #1

ICW

ICW 2020 #2
W3

ProWeb20

ProWeb 2020 #1

ProWeb20

ProWeb 2020 #2

ProWeb20

ProWeb 2020 #3

ProWeb20

ProWeb 2020 #4
W4

CoCoDo

Session the First

CoCoDo

Session the Second

CoCoDo

Session the Third

CoCoDo

Session the Fourth
​Break-Space

Catering

Break

Catering

Lunch

Catering

Break
​Registration (Lobby)

Registration

Tue 24 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:0030
T1

Tutorials

PharoIoT I

Tutorials

PharoIoT II
W1

MoreVMs

Java HotSpot VM

MoreVMs

Runtime Systems and Performance Analysis

MoreVMs

For a Faster Web

MoreVMs

Dynamic Runtime Optimizations
W2

Convivial Computing Salon

Convivial Computing Salon

Convivial Computing Salon

Convivial Computing Salon

W3

ENIAC20

Opening and Keynote

ENIAC20

ENIAC Session

ENIAC20

ENIAC #3

ENIAC20

ENIAC #4
W4

NIP

Collaboration and User Studies

NIP

Virtual Reality and Livecoding

NIP

Augmented Reality

NIP

NIP'20 #4
W5

MiniPLoP

MiniPLoP #1

MiniPLoP

MiniPLoP #2

MiniPLoP

MiniPLoP #3

MiniPLoP

MiniPLoP #4
​Break-Space

Catering

Break

Catering

Lunch

Catering

Break
​Registration (Lobby)

Registration

Wed 25 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Auditorium

Keynotes

< Opening Keynote

Research Papers

Reflecting on Programming

Research Papers

Engineering Correctness

Research Papers

Thinking about Data
T1

Tutorials

Haskell I

Tutorials

Haskell II

Tutorials

Haskell III
T2

Tutorials

Bela I

Tutorials

Bela II
​Break-Space

Catering

Break

Catering

Lunch

Catering

Break
​Registration (Lobby)

Registration

Thu 26 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Auditorium

Keynotes

Closing Keynote >

Research Papers

Machines Thinking about Programs

Research Papers

Thinking Concurrently

Research Papers

Programming with Style
T1

Tutorials

Sonic Pi I

Tutorials

Sonic Pi II
T2

Tutorials

AntidoteDB I

Tutorials

AntidoteDB II
​Break-Space

Catering

Break

Catering

Lunch

Catering

Break
​Registration (Lobby)

Registration

Mon 4 May
Times are displayed in time zone: Greenwich Mean Time : Belfast change

No events planned for this day yet.

Tue 5 May
Times are displayed in time zone: Greenwich Mean Time : Belfast change

No events planned for this day yet.

Wed 6 May
Times are displayed in time zone: Greenwich Mean Time : Belfast change

No events planned for this day yet.

Thu 7 May
Times are displayed in time zone: Greenwich Mean Time : Belfast change

No events planned for this day yet.

Fri 8 May
Times are displayed in time zone: Greenwich Mean Time : Belfast change

No events planned for this day yet.

Sat 9 May
Times are displayed in time zone: Greenwich Mean Time : Belfast change

No events planned for this day yet.

Mon 23 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
T1
‹Programming› Tutorials
Meta-Programming for the masses
14:00 - 15:30
‹Programming› Tutorials
Meta-Programming for the masses
16:00 - 17:30
W2
ICW
Welcome
14:00 - 14:05
ICW
Introductory Talk: Mobility-Oriented Programming with Containers
14:05 - 14:25
ICW
User-defined Interface Mappings for the GraalVM
14:30 - 15:00
ICW
Supporting the Composition of Domain-Specific Software via Task-Specifi ...
15:00 - 15:30
ICW
LogicKit: Bringing logic programming to Swift
16:00 - 16:30
ICW
Discussion
16:30 - 17:00
ICW
Wrap-up
17:00 - 17:30
W3
ProWeb20
Welcome
09:00 - 09:05
ProWeb20Keynote
Keynote Saba
09:05 - 10:00
ProWeb20Full paper
Synthesizing User Interfaces using Functional Reactive Web Abstractions
10:00 - 10:30
ProWeb20Full paper
Evolution of the WebDSL Runtime
11:00 - 11:30
ProWeb20Presentation abstract
Tamper-proof security mechanism against liar objects in JavaScript appl ...
11:30 - 12:00
ProWeb20Presentation abstract
Broken Links
12:00 - 12:30
ProWeb20Keynote
Why languages for distributed systems are inevitable
14:00 - 14:55
ProWeb20Presentation abstract
Piecewise Relative Observational Purity
14:55 - 15:25
ProWeb20
Closing
15:25 - 15:30
W4
CoCoDo
A Journey towards the Neverlang Island
09:00 - 10:30
CoCoDo
The Spoofax Language Workbench
11:00 - 12:30
CoCoDo
From Abstract Syntax Trees to Machine Code with LLVM
14:00 - 15:30
CoCoDo
An Interactive Exploration of a Simple Compiler
16:00 - 17:30
​Break-Space
‹Programming› Catering
Break
10:30 - 11:00
‹Programming› Catering
Lunch
12:30 - 14:00
‹Programming› Catering
Break
15:30 - 16:00
​Registration (Lobby)
‹Programming›
Registration
08:00 - 17:00

Tue 24 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
T1
‹Programming› Tutorials
PharoIoT
14:00 - 15:30
‹Programming› Tutorials
PharoIoT
16:00 - 17:30
W1
MoreVMs
Welcome
08:50 - 09:00
MoreVMsInvited Talk
Shenandoah GC 2.0
09:00 - 10:00
MoreVMs
Enhancement of OpenJDK Biased Locking for Infrequent Lock Contention
10:00 - 10:30
MoreVMs
Renaissance: Benchmarking Suite for Parallel Applications on the JVM (Talk)
11:00 - 11:20
MoreVMs
Profiling Streams on the Java Virtual Machine
11:20 - 11:50
MoreVMs
Continuous Performance Tracking for Better "Everything"! (Talk)
11:50 - 12:10
MoreVMs
Towards Modern Runtime Support for an Object-Based Distributed Programm ...
12:10 - 12:30
MoreVMsInvited Talk
Compiling JavaScript in zero* time
14:00 - 15:00
MoreVMs
Superoptimization of WebAssembly Bytecode
15:00 - 15:30
MoreVMs
Running Parallel Bytecode Interpreters on Heterogeneous Hardware
16:00 - 16:30
MoreVMs
Toward Presizing and Pretransitioning Strategies for GraalPython
16:30 - 17:00
MoreVMs
Towards Dynamic SQL Compilation in Apache Spark
17:00 - 17:30
W3
ENIAC20
Welcome to ENIAC
09:00 - 09:10
ENIAC20
Keynote
09:10 - 10:10
ENIAC20
Group discussion on common workshop goals
10:10 - 10:30
ENIAC20
Achieving Guidance in Applied Machine Learning Through Software Enginee ...
11:00 - 11:30
ENIAC20
Three Trillion Lines: Infrastructure for Mining GitHub in the Classroom
11:30 - 12:00
ENIAC20
Engineering Machine Learning Applications
12:00 - 12:30
W4
NIP
Welcome
09:00 - 09:05
NIP
VR/AR Software Visualization is for Collaboration
09:05 - 10:00
NIP
Assessing Textual Source Code Comparison: Split Or Unified?
10:00 - 10:30
NIP
Program-Model Interaction for Live Algorithmic Design in Virtual Reality
11:00 - 11:30
NIP
Towards Visualization of Evolution of Component-based Software Architec ...
11:30 - 11:50
NIP
Discourse on Livecoding: Methods and Classifications
11:50 - 12:20
NIP
Towards Requirements Engineering with Immersive Augmented Reality
14:00 - 14:30
NIP
Towards Efficient Interdisciplinary Authoring of Industrial Augmented R ...
14:30 - 14:50
​Break-Space
‹Programming› Catering
Break
10:30 - 11:00
‹Programming› Catering
Lunch
12:30 - 14:00
‹Programming› Catering
Break
15:30 - 16:00

Wed 25 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Auditorium
‹Programming› KeynotesOpening Keynote
Generality—or Not—in a DSL
09:30 - 10:30
‹Programming› Research Papers
Did JHotDraw respect the Law of Good Style? - A deep dive into the natu ...
11:00 - 11:30
‹Programming› Research Papers
Programming Paradigms, Turing Completeness and Computational Thinking
11:30 - 12:00
‹Programming› Research Papers
Sub-method, partial behavioral reflection with Reflectivity: Looking ba ...
12:00 - 12:30
‹Programming› Research Papers
Lightweight Lexical Test Prioritization for Immediate Feedback
14:00 - 14:30
‹Programming› Research Papers
Robust Contract Evolution in a TypeSafe MicroServices Architecture
14:30 - 15:00
‹Programming› Research Papers
Sthread: In-Vivo Model-Checking of Multithreaded Programs
15:00 - 15:30
‹Programming› Research Papers
Bacatá: Notebooks for DSLs, Almost for Free
16:00 - 16:30
‹Programming› Research Papers
Fine-Grained, Language-Based Access Control for Database-Backed Applica ...
16:30 - 17:00
‹Programming› Research Papers
Foundations of a live data exploration environment
17:00 - 17:30
T1
‹Programming› Tutorials
Learning Haskell: a project-based approach
11:00 - 12:30
‹Programming› Tutorials
Learning Haskell: a project-based approach
14:00 - 15:30
‹Programming› Tutorials
Learning Haskell: a project-based approach
16:00 - 17:30
T2
‹Programming› Tutorials
Bela Workshop
14:00 - 15:30
‹Programming› Tutorials
Bela Workshop
16:00 - 17:30
​Break-Space
‹Programming› Catering
Break
10:30 - 11:00
‹Programming› Catering
Lunch
12:30 - 14:00
‹Programming› Catering
Break
15:30 - 16:00

Thu 26 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Auditorium
‹Programming› KeynotesClosing Keynote
The Bosks Are Thorny, Grim, and Icky
09:30 - 10:30
‹Programming› Research Papers
Automatically Tracing Imprecision Causes in JavaScript Static Analysis
11:00 - 11:30
‹Programming› Research Papers
Constructing Hybrid Incremental Compilers for Cross-Module Extensibilit ...
11:30 - 12:00
‹Programming› Research Papers
Reusing Static Analysis across Different Domain-Specific Languages usin ...
12:00 - 12:30
‹Programming› Research Papers
Implementing a Language for Distributed Systems: Choices and Experience ...
14:00 - 14:30
‹Programming› Research Papers
Reference Capabilities for Safe Parallel Array Programming
14:30 - 15:00
‹Programming› Research Papers
Gavial: Programming the web with multi-tier FRP
15:00 - 15:30
‹Programming› Research Papers
Generating a Generic Fluent API in Java
16:00 - 16:30
‹Programming› Research Papers
Functional Programming in Pattern-Match-Oriented Programming Style
16:30 - 17:00
T1
‹Programming› Tutorials
Music Generation with Sonic Pi
09:00 - 10:30
‹Programming› Tutorials
Music Generation with Sonic Pi
11:00 - 12:30
T2
‹Programming› Tutorials
AntidoteDB
09:00 - 10:30
‹Programming› Tutorials
AntidoteDB
11:00 - 12:30
​Break-Space
‹Programming› Catering
Break
10:30 - 11:00
‹Programming› Catering
Lunch
12:30 - 14:00
‹Programming› Catering
Break
15:30 - 16:00

Mon 4 May
Times are displayed in time zone: Greenwich Mean Time : Belfast change

No events planned for this day yet.

Tue 5 May
Times are displayed in time zone: Greenwich Mean Time : Belfast change

No events planned for this day yet.

Wed 6 May
Times are displayed in time zone: Greenwich Mean Time : Belfast change

No events planned for this day yet.

Thu 7 May
Times are displayed in time zone: Greenwich Mean Time : Belfast change

No events planned for this day yet.

Fri 8 May
Times are displayed in time zone: Greenwich Mean Time : Belfast change

No events planned for this day yet.

Sat 9 May
Times are displayed in time zone: Greenwich Mean Time : Belfast change

No events planned for this day yet.

iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
session-calendar.ics
Detailed Event Calendar (ical)
event-calendar.ics