Program - ‹Programming› 2020

Filter

Badges

Your Program

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

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: (GMT) 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: (GMT) 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: (GMT) 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		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 - 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: (GMT) 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: (GMT) 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: (GMT) 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: (GMT) 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: (GMT) 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: (GMT) 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: (GMT) 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: (GMT) 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: (GMT) 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	20: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: (GMT) 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: (GMT) 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: (GMT) Greenwich Mean Time : Belfast change

No events planned for this day yet.

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

No events planned for this day yet.

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

No events planned for this day yet.

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

No events planned for this day yet.

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

No events planned for this day yet.

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

No events planned for this day yet.

Mon 23 Mar
Times are displayed in time zone: (GMT) 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: (GMT) 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	20: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: (GMT) 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: (GMT) 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› 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: (GMT) Greenwich Mean Time : Belfast change

No events planned for this day yet.

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

No events planned for this day yet.

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

No events planned for this day yet.

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

No events planned for this day yet.

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

No events planned for this day yet.

Sat 9 May
Times are displayed in time zone: (GMT) 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

Program Display Configuration

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

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

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

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

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

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

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

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

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

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

Mon 23 Mar Times are displayed in time zone: (GMT) 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: (GMT) 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: (GMT) 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: (GMT) Greenwich Mean Time : Belfast change

Keynotes

Research Papers

Research Papers

Research Papers

Tutorials

Tutorials

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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