Program - ‹Programming› 2019

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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 1 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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
Aula Magna																									‹Programming› Social Events Reception 19:00 - 21:00
Bellini																									ProWebProWeb Invited Talk How Artificial Intelligence Can Improve Web Development and Testing 14:00 - 14:40			ProWeb GUI Testing in Production: Challenges and Opportunities 14:40 - 15:05		ProWeb Orchestrated Crowdsourced Testing of a Mobile Web Application: A Case S ... 15:05 - 15:30					ProWeb Civic Participation Powered by Ethereum: a Proposal 16:00 - 16:25		ProWeb TryLinks: An interactive tutorial system for a cross-tier Web programmi ... 16:25 - 16:50		ProWeb Web Security Training [at] UniGe: an Experience 16:50 - 17:20
Michelangelo					PX/19 IDVE: an Integrated Development and Verification Environment for JavaScript 09:00 - 09:30		PX/19 Draw This Object: A Study of Debugging Representations 09:30 - 10:00		PX/19 Faster Feedback through Lexical Test Prioritization 10:00 - 10:30				PX/19 Live Software Development --- Tightening the feedback loops 11:00 - 11:30		PX/19 The Meager Validation of Live Programming 11:30 - 12:00			PX/19 PolyJuS: A Squeak/Smalltalk-based Polyglot Notebook System for the GraalVM 12:00 - 12:30										PX/19 Time Series Analysis of Programmer’s EEG for Debug State Classifcation 14:00 - 14:30			PX/19 Projectional DSLs from the ground up 14:30 - 15:00		PX/19 What can we learn from systems? 15:00 - 15:30
Paganini						ELS Welcome message 09:15 - 09:30	ELSELS Keynote The Lisp of the prophet for the One True Editor 09:30 - 10:30						ELS Pattern-Based S-Expression Rewriting in Emacs 11:00 - 11:30		ELS Implementing Baker’s \| SUBTYPEP Decision Procedure 11:30 - 12:00			ELS MAKE-METHOD-LAMBDA Revisited 12:00 - 12:30													ELS Finite Automata Theory Based Optimization 14:30 - 15:00		ELS Lazy, Parallel Multiple Value Reductions in Common Lisp 15:00 - 15:30					ELS Working with First-Order Proofs and Provers 16:00 - 16:30			ELS Plagiarism Detection for Common Lisp 16:30 - 17:00		ELS Lightning Talks I 17:00 - 17:30
Verdi					ICW ELS 2019 Keynote Slot 09:00 - 10:30								ICW Introduction to the Workshop 11:00 - 11:15	ICW Interconnecting Code in 2019 — Il buono, il brutto, il cattivo 11:15 - 11:35		ICWICW Invited Talk Sulong: Executing Low-level Languages on Truffle 11:35 - 12:20				ICW Introductory Discussion 12:20 - 12:30								ICW Towards Polyglot Adapters for the GraalVM 14:00 - 14:30			ICW The Issue Of Source Code Repository Management In Large Enterprises 14:30 - 15:00		ICW Factoring out Glue-code in Systems of IoT devices 15:00 - 15:30					ICW Gluing Internet of Things Together 16:00 - 16:30			ICW Live GUI Development for Service-Based Systems 16:30 - 17:00		ICW Panel Discussion & Wrap Up 17:00 - 17:30
Coffee break area											‹Programming› Catering Break 10:30 - 11:00																									‹Programming› Catering Break 15:30 - 16:00
Lunch area																					‹Programming› Catering Lunch 12:30 - 14:00

Tue 2 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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	21:00	15	30	45
Bellini							Salon des Refusés Welcome to Salon des Refusés 09:00 - 09:20		Salon des Refusés Let Them Fail: Towards VM built-in behaviour that falls back to the program 09:20 - 09:50			Salon des Refusés Critique presentation - Let Them Fail 09:50 - 10:10		Salon des Refusés Panel Discussion on the Boundaries of Computational Artifacts 10:10 - 10:30				Salon des Refusés Visual Denotative Programming 11:00 - 11:30		Salon des Refusés Critique presentation - Visual Denotative Programming 11:30 - 11:50		Salon des Refusés Panel Discussion on How to Use Formalisms in Programming 11:50 - 12:30									Salon des Refusés Presentation and Panel Discussion - Minimal Viable Revolution 14:00 - 14:40			Salon des Refusés Why Can’t Programming Be Like Sketching? 14:40 - 15:10			Salon des Refusés Critique presentation - Why Can't Programming Be Like Sketching? 15:10 - 15:30				Salon des Refusés Computing beyond pencils 16:00 - 16:30			Salon des Refusés Critique presentation - Computing beyond pencils 16:30 - 16:50			Salon des Refusés Panel Discussion on Craft Values in Computing 16:50 - 17:30
Colombo							CoCoDo Scrap your DSL Boilerplate with a Universe of Syntaxes, their Programs ... 09:00 - 10:30											CoCoDo Language Engineering with Rascal 11:00 - 12:30													CoCoDo SmaCC 14:00 - 14:45				CoCoDo PetitParser 14:45 - 15:30
Michelangelo					MoreVMs Welcome 08:50 - 09:00		MoreVMsMoreVMs Invited Talk Region-Based Compilation in the HHVM JIT Compiler 09:00 - 10:00						MoreVMs Extending a Meta-Tracing Compiler to Mix Method and Tracing Compilation 10:00 - 10:30					MoreVMs Efficient Implementation of Smalltalk Activation Records in Language Im ... 11:00 - 11:30		MoreVMs Optimization Coaching for Fork/Join Applications on the Java Virtual Ma ... 11:30 - 12:00			MoreVMs To expose, or not to expose, hardware heterogeneity to runtimes! 12:00 - 12:30								MoreVMsMoreVMs Invited Talk VM design in an Ideal World vs. VM design in the Real World 14:00 - 15:00					MoreVMs VM Support for Live Typing 15:00 - 15:30					MoreVMs A Shell-like Model for General Purpose Programming 16:00 - 16:30			MoreVMs Toward a Language Design for Energy Prediction 16:30 - 17:00				MoreVMs Language Support for Multiple Privacy Enhancing Technologies 17:00 - 17:30
Paganini							ELSELS Keynote 20 more years of bootstrapping 09:00 - 10:00						ELS Bootstrapping Common Lisp Using Common Lisp 10:00 - 10:30					ELS Shader Pipeline and Effect Encapsulation using CLOS 11:00 - 11:45			ELS Hierarchical Task Network Planning in Common Lisp 11:45 - 12:30												ELSELS Special Guest Rebooting Racket 14:30 - 15:30								ELS Symbols as Namespaces in Common Lisp 16:00 - 16:30			ELS Parallelizing Quickref 16:30 - 16:59				ELS Lightning Talks II 16:59 - 17:00
Second floor hall																									‹Programming› Student Research Competition RML: Runtime monitoring language 12:30 - 14:00 Automatic test case generation from UML state machine diagrams 12:30 - 14:00 Reading logic as code or as natural language text 12:30 - 14:00 Cantor pairing in a reversible programming language 12:30 - 14:00 Exploring example-driven migration 12:30 - 14:00 Magritte: A modern shell language 12:30 - 14:00 BacCaml: The Meta-Hybrid Just-In-Time Compiler 12:30 - 14:00 A framework for big-step semantics 12:30 - 14:00
Verdi						VPT Welcome 08:55 - 09:00	VPTVPT Invited Talk Modelling and verifying Bitcoin contracts. 09:00 - 10:00						VPT Polyvariant Program Specialisation with Property-Based Abstraction 10:00 - 10:30					VPTVPT Invited Talk Validation of Internet of Things Frameworks 11:00 - 12:00					VPT Lemma Generation for Horn Clause Satisfiability: A Preliminary Study 12:00 - 12:30								VPTVPT Invited Talk Hacking program analysis: a systematic approach to code protection 14:00 - 15:00					VPT Static Program Analysis for String Manipulation Languages 15:00 - 15:30					VPT Iteratively Composing Statically Verified Traits 16:00 - 16:20		VPT Verifying String Replacing Procedures by Supercompilation 16:20 - 16:40		VPT Study of Recursion Elimination for a Class of Semi-interpreted Recursiv ... 16:40 - 17:00			VPT Closing 17:00 - 17:10				‹Programming› Steering Committee Meeting (NOT PUBLIC) 18:00 - 22:00
Coffee break area																‹Programming› Catering Break 10:30 - 11:00																							‹Programming› Catering Break 15:30 - 16:00
Lunch area																									‹Programming› Catering Lunch 12:30 - 14:00
Registration (Lobby)			‹Programming› Registration 08:30 - 17:00

Wed 3 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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	21:00	15	30	45	22:00	15	30	45
Bellini								‹Programming› Student Research Competition Cantor pairing in a reversible programming language (short presentation) 09:30 - 09:45	‹Programming› Student Research Competition Reading logic as code or as natural language text (short presentation) 09:45 - 10:00	‹Programming› Student Research Competition A framework for big-step semantics (short presentation) 10:00 - 10:15	‹Programming› Student Research Competition RML: Runtime monitoring language (short presentation) 10:15 - 10:30	‹Programming› Student Research Competition BacCaml: The Meta-Hybrid Just-In-Time Compiler (short presentation) 10:30 - 10:45	‹Programming› Student Research Competition Magritte: A modern shell language (short presentation) 10:45 - 11:00	‹Programming› Demos Another Decade of SOM Language Implementation: Virtual Machines for Res ... 11:00 - 11:45			‹Programming› Demos LiveTyping in Action - Automatic Type Annotation for Dynamically Typed ... 11:45 - 12:30											‹Programming› Demos A Language-Parametric Toolchain for Mining Idiomatic Code Patterns 13:45 - 14:15		‹Programming› Demos Quickref: Auto-Documenting the Common Lisp Ecosystem 14:15 - 14:45		‹Programming› Demos Programming Experiences with a Live Programming Environment for Data St ... 14:45 - 15:30					‹Programming› Demos Developing Distributed Systems with ScalaLoci 16:00 - 16:30		‹Programming› Demos Static Verification of JavaScript: IDE Support for Debugging Verificati ... 16:30 - 17:00		‹Programming› Demos Tooling for live big data applications 17:00 - 17:30
Paganini							‹Programming› Conferences Opening 09:20 - 09:30	‹Programming› Keynotes‹Programming› Keynote Keynote: Turning IoT Devices into Robust and Safe Computers 09:30 - 10:30						‹Programming› Research Papers Separating Use and Reuse to Improve Both 11:00 - 11:30		‹Programming› Research Papers Clafer: Lightweight Modeling of Structure, Behaviour, and Variability 11:30 - 12:00		‹Programming› Research Papers Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositio ... 12:00 - 12:30		‹Programming› Awards 12:30 - 12:35	‹Programming› SRC awards 12:35 - 12:40										‹Programming› Research Papers Exploratory and Live, Programming and Coding: A Literature Study Compar ... 14:30 - 15:00		‹Programming› Research Papers Babylonian-Style Programming: Design and Implementation of an Integrati ... 15:00 - 15:30				‹Programming› Research Papers Out-Of-Place Debugging: a Debugging Architecture to Reduce Debugging In ... 16:00 - 16:30		‹Programming› Research Papers Concrete Syntax with Black Box Parsers 16:30 - 17:00		‹Programming› ‹Programming› 2020 Announcement 17:00 - 17:30
Palazzo della Meridiana																										‹Programming› Social Events Banquet 20:00 - 23:00
Second floor hall																				‹Programming› Posters Distributed Software on Mobile Robot 12:30 - 14:30 Developing Distributed Systems with ScalaLoci 12:30 - 14:30 Proving Inequational Propositions about Haskell Programs in Coq 12:30 - 14:30 IDVE: an Integrated Development and Verification Environment for JavaScript 12:30 - 14:30
Coffee break area												‹Programming› Catering Break 10:30 - 11:00																							‹Programming› Catering Break 15:30 - 16:00
Lunch area																						‹Programming› Catering Lunch 12:40 - 14:30
Registration (Lobby)			‹Programming› Registration 08:30 - 17:00

Thu 4 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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
Paganini							‹Programming› Keynotes‹Programming› Keynote Keynote: We're Building On Hollowed Foundations: Worrying Trends in Ope ... 09:30 - 10:30						‹Programming› Research Papers Comprehensive Multiparty Session Types 11:00 - 11:30		‹Programming› Research Papers Semantic Query Integration With Reason 11:30 - 12:00		‹Programming› Research Papers One Monad to Prove Them All 12:00 - 12:30								‹Programming› Research Papers Distributed Reactive Programming for Reactive Distributed Systems 14:00 - 14:30		‹Programming› Research Papers Event Loops as First-Class Values: A Case Study in Pedagogic Language D ... 14:30 - 15:00		‹Programming› Research Papers ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Co ... 15:00 - 15:30				‹Programming› Research Papers Applications of Multi-view Learning Approaches for Software Comprehension 16:00 - 16:30		‹Programming› Research Papers Entombed: An Archaeological Examination of an Atari 2600 Game 16:30 - 17:00
Coffee break area											‹Programming› Catering Break 10:30 - 11:00																				‹Programming› Catering Break 15:30 - 16:00
Lunch area																			‹Programming› Catering Lunch 12:30 - 14:00
Registration (Lobby)			‹Programming› Registration 08:30 - 17:00

‹Programming› 2019 Program

Mon 1 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 2 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 3 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 4 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

Co-hosted Coding Dojos

Co-hosted Symposia

‹Programming› 2019 Program

Switch Program View

Program Display Configuration

Mon 1 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 2 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 3 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 4 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Mon 1 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 2 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 3 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 4 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change