Program - ‹Programming› 2020

Time Zone

The program is currently displayed in (GMT) Greenwich Mean Time : Belfast.

Use conference time zone: (GMT) Greenwich Mean Time : BelfastSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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 9h 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 5m Day opening		Welcome ProWeb20
09:05 55m Talk		Keynote SabaKeynote ProWeb20 Saba AlimadadiSimon Fraser University
10:00 30m 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 90m 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 30m 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 30m 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 30m 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 30m 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 90m Demonstration		The Spoofax Language Workbench CoCoDo Jeff SmitsDelft University of Technology

12:30 - 14:00	LunchCatering at Break-Space

12:30 90m Lunch		Lunch Catering

14:00 - 15:30	Meta-Programming ITutorials at T1

14:00 90m 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 5m Day opening		Welcome ICW Oleks ShturmovUniversity of Oslo, Eric JulUniversity of Oslo
14:05 20m Talk		Introductory Talk: Mobility-Oriented Programming with Containers ICW Oleks ShturmovUniversity of Oslo, Eric JulUniversity of Oslo
14:30 30m 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 30m 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 55m Talk		Why languages for distributed systems are inevitableKeynote ProWeb20 Guido SalvaneschiTechnische Universität Darmstadt
14:55 30m Talk		Piecewise Relative Observational PurityPresentation abstract ProWeb20 Seyed Hossein HaeriUniversité Catholique de Louvain, Peter Van RoyUniversité catholique de Louvain
15:25 5m Day closing		Closing ProWeb20

14:00 - 15:30	Session the ThirdCoCoDo at W4 Chair(s): Johan FabryRaincode Labs, Belgium

14:00 90m 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 30m Coffee break		Break Catering

16:00 - 17:30	Meta-Programming IITutorials at T1

16:00 90m 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 30m 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 30m Other		Discussion ICW Oleks ShturmovUniversity of Oslo, Eric JulUniversity of Oslo
17:00 30m 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 90m 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 10m Day opening		Welcome MoreVMs Edd BarrettKing's College London, Fabio NiephausHasso Plattner Institute, University of Potsdam
09:00 60m Talk		Shenandoah GC 2.0Invited Talk MoreVMs Roman KennkeRed Hat, Inc.
10:00 30m 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 10m Talk		Welcome to ENIAC ENIAC20 Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
09:10 60m Talk		Keynote ENIAC20
10:10 20m Talk		Group discussion on common workshop goals ENIAC20

09:00 - 10:30	Collaboration and User StudiesNIP at W4

09:00 5m Day opening		Welcome NIP Alexandre BergelUniversity of Chile, Leonel MerinoUniversity of Stuttgart
09:05 55m Talk		VR/AR Software Visualization is for Collaboration NIP Rainer KoschkeUniversity of Bremen
10:00 30m 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 30m Coffee break		Break Catering

11:00 - 12:30	Runtime Systems and Performance AnalysisMoreVMs at W1

11:00 20m 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 30m 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 20m Talk		Continuous Performance Tracking for Better "Everything"! (Talk) MoreVMs Stefan MarrUniversity of Kent
12:10 20m 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 30m 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 30m 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 30m Talk		Engineering Machine Learning Applications ENIAC20 Luís CruzDeflt University of Technology, Petra HeckFontys ICT

11:00 - 12:30	Virtual Reality and LivecodingNIP at W4

11:00 30m 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 20m 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 30m 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 90m Lunch		Lunch Catering

14:00 - 15:30	PharoIoT ITutorials at T1

14:00 90m 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 60m Talk		*Compiling JavaScript in zero timeInvited Talk** MoreVMs Leszek Swirski
15:00 30m 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 30m 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 20m 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 30m Coffee break		Break Catering

16:00 - 17:30	PharoIoT IITutorials at T1

16:00 90m 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 30m 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 30m 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 30m 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 60m 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 60m 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 30m Coffee break		Break Catering

11:00 - 12:30	Reflecting on ProgrammingResearch Papers at Auditorium

11:00 30m 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 30m Research paper		Programming Paradigms, Turing Completeness and Computational Thinking Research Papers Greg MichaelsonHeriot-Watt University Link to publication DOI Pre-print
12:00 30m 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 90m Tutorial		Learning Haskell: a project-based approach Tutorials Christophe ScholliersUniversiteit Gent, Belgium

12:30 - 14:00	LunchCatering at Break-Space

12:30 90m Lunch		Lunch Catering

14:00 - 15:30	Engineering CorrectnessResearch Papers at Auditorium

14:00 30m 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 30m 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 30m 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 90m Tutorial		Learning Haskell: a project-based approach Tutorials Christophe ScholliersUniversiteit Gent, Belgium

14:00 - 15:30	Bela ITutorials at T2

14:00 90m Tutorial		Bela Workshop Tutorials Adan L. Benito Temprano, Jack ArmitageQueen Mary University London

15:30 - 16:00	BreakCatering at Break-Space

15:30 30m Coffee break		Break Catering

16:00 - 17:30	Thinking about DataResearch Papers at Auditorium Chair(s): Jonathan Edwards

16:00 30m Research paper		Bacatá: 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 30m 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 30m 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 90m Tutorial		Learning Haskell: a project-based approach Tutorials Christophe ScholliersUniversiteit Gent, Belgium

16:00 - 17:30	Bela IITutorials at T2

16:00 90m 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 90m 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 90m 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 60m 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 30m Coffee break		Break Catering

11:00 - 12:30	Machines Thinking about ProgramsResearch Papers at Auditorium Chair(s): Coen De RooverVrije Universiteit Brussel

11:00 30m 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 30m 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 30m 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 90m 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 90m 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 90m Lunch		Lunch Catering

14:00 - 15:30	Thinking ConcurrentlyResearch Papers at Auditorium Chair(s): Matthew FlattUniversity of Utah

14:00 30m 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 30m 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 30m 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 30m Coffee break		Break Catering

16:00 - 17:30	Programming with StyleResearch Papers at Auditorium

16:00 30m 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 30m 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 60m 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 60m 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 60m 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 60m 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 60m Talk		Escaping the Prison of Style Convivial Computing Salon Antranig BasmanRaising the Floor - International, Philip TchernavskijInclusive Design Research Centre / OCAD University
17:00 60m Talk		Convivial design heuristics for software systems Convivial Computing Salon Stephen KellUniversity of Kent
18:00 60m Break		Session Break Convivial Computing Salon
19:00 60m Break		Session Break Convivial Computing Salon
20:00 60m 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 60m 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 45m Talk		Chatting with Glue: Cognitive Tools for Augmented Conversation Convivial Computing Salon Max Krieger
16:45 45m 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


Room	8:00	30	9:00	30	10:00	30	11:00	30	12:00	30	13:00		30	14:00	30	15:00		30	16:00	30	17:00	30
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


Room	8:00	30		9:00	30	10:00	30	11:00	30	12:00	30	13:00		30	14:00	30	15:00		30	16:00	30	17:00	30	18:00	30	19:00	30
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


Room	8:00	30	9:00	30	10:00	30	11:00	30	12:00	30	13:00		30	14:00	30	15:00		30	16:00	30	17:00	30
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


Room	8:00	30	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00	30	15:00	30	16:00	30	17:00	30
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


Room	8:00	15	30	45	9:00		15	30	45	10:00	15	30	45	11:00	15	30	45	12:00	15	30	45	13:00	15			30	45		14:00	15		30	45		15:00	15			30	45		16:00	15		30	45	17:00	15	30	45
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


Room	8:00	15	30	45		9:00			15	30	45	10:00		15	30	45	11:00	15		30	45		12:00		15	30	45	13:00	15		30	45	14:00	15	30	45	15:00	15		30	45	16:00	15	30	45	17:00	15	30	45	18:00	15	30	45	19:00	15	30	45
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


Room	9:00	15	30	45	10:00	15	30	45	11:00	15	30	45	12:00	15	30	45	13:00	15	30	45	14:00	15	30	45	15:00	15	30	45	16:00	15	30	45	17:00	15	30	45
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 Bacatá: 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


Room	9:00	15	30	45	10:00	15	30	45	11:00	15	30	45	12:00	15	30	45	13:00	15	30	45	14:00	15	30	45	15:00	15	30	45	16:00	15	30	45
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

‹Programming› 2020 Program

Filter Program

Program Display Configuration

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

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

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

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

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

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

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

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

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

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

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

Tutorials

Tutorials

PX/20

PX/20

PX/20

PX/20

ICW

ICW

ICW

ICW

ProWeb20

ProWeb20

ProWeb20

ProWeb20

CoCoDo

CoCoDo

CoCoDo

CoCoDo

Catering

Catering

Catering

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

Tutorials

Tutorials

MoreVMs

MoreVMs

MoreVMs

MoreVMs

Convivial Computing Salon

Convivial Computing Salon

Convivial Computing Salon

Convivial Computing Salon

ENIAC20

ENIAC20

ENIAC20

ENIAC20

NIP

NIP

NIP

NIP

MiniPLoP

MiniPLoP

MiniPLoP

MiniPLoP

Catering

Catering

Catering

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

Keynotes

Research Papers

Research Papers

Research Papers

Tutorials

Tutorials

Tutorials

Tutorials

Tutorials

Catering

Catering

Catering

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

Keynotes

Research Papers

Research Papers

Research Papers

Tutorials

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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