‹Programming› 2019 (series) /
‹Programming› 2019 Program
Conference Dates
Conference Dates are in time zone (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Mon 1 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 1 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30: Session 1PX/19 at Michelangelo Chair(s): Jens LinckeHasso Plattner Institute, University of Potsdam, Germany | |||
09:00 - 09:30 Talk | IDVE: an Integrated Development and Verification Environment for JavaScript PX/19 Christopher SchusterUniversity of California, Santa Cruz, Cormac FlanaganUniversity of California, Santa Cruz | ||
09:30 - 10:00 Talk | Draw This Object: A Study of Debugging Representations PX/19 Pre-print | ||
10:00 - 10:30 Talk | Faster Feedback through Lexical Test Prioritization PX/19 Toni MattisHasso Plattner Institute, University of Potsdam, Falco Dürsch, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany |
09:15 - 09:30 Day opening | Welcome message ELS | ||
09:30 - 10:30 Talk | The Lisp of the prophet for the One True EditorELS Keynote ELS |
09:00 - 10:30 Other | ELS 2019 Keynote Slot ICW Oleks ShturmovUniversity of Oslo |
10:30 - 11:00 Coffee break | Break Catering |
11:00 - 12:30: Session 2PX/19 at Michelangelo Chair(s): Tobias PapeHasso Plattner Institute, Germany | |||
11:00 - 11:30 Talk | Live Software Development --- Tightening the feedback loops PX/19 Ademar AguiarFEUP, Universidade do Porto, André RestivoLIACC, Universidade do Porto, Porto, Portugal, Filipe Figueiredo CorreiaUniversity of Porto, Hugo Sereno FerreiraFEUP, Universidade do Porto, João Pedro DiasINESC TEC, Porto | ||
11:30 - 12:00 Talk | The Meager Validation of Live Programming PX/19 Johan FabryRaincode Labs, Belgium | ||
12:00 - 12:30 Talk | PolyJuS: A Squeak/Smalltalk-based Polyglot Notebook System for the GraalVM PX/19 Fabio NiephausHasso Plattner Institute, University of Potsdam, Eva Krebs, Christian FlachHasso Plattner Institute, University of Potsdam, Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany, Jens LinckeHasso Plattner Institute, University of Potsdam, Germany DOI Pre-print |
11:00 - 11:30 Talk | Pattern-Based S-Expression Rewriting in Emacs ELS Ryan CulpepperCzech Technical University | ||
11:30 - 12:00 Talk | Implementing Baker’s | SUBTYPEP Decision Procedure ELS | ||
12:00 - 12:30 Talk | MAKE-METHOD-LAMBDA Revisited ELS |
11:00 - 11:15 Day opening | Introduction to the Workshop ICW Eric JulUniversity of Oslo | ||
11:15 - 11:35 Talk | Interconnecting Code in 2019 — Il buono, il brutto, il cattivo ICW Oleks ShturmovUniversity of Oslo | ||
11:35 - 12:20 Talk | Sulong: Executing Low-level Languages on TruffleICW Invited Talk ICW | ||
12:20 - 12:30 Other | Introductory Discussion ICW |
12:30 - 14:00 Lunch | Lunch Catering |
14:00 - 14:40 Talk | How Artificial Intelligence Can Improve Web Development and TestingProWeb Invited Talk ProWeb Andrea StoccoUniversità della Svizzera italiana (USI) | ||
14:40 - 15:05 Research paper | GUI Testing in Production: Challenges and Opportunities ProWeb Giovanni DenaroUniversity of Milano-Bicocca, Italy, Luca Guglielmo, Leonardo MarianiUniversity of Milano Bicocca, Oliviero Riganelli | ||
15:05 - 15:30 Research paper | Orchestrated Crowdsourced Testing of a Mobile Web Application: A Case Study ProWeb Maurizio LeottaDIBRIS, University of Genova, Italy, Vincenzo Petito, Luca Gelati, Giorgio DelzannoDIBRIS, University of Genova, Giovanna Guerrini, Viviana MascardiDIBRIS, University of Genova, Italy |
14:00 - 14:30 Talk | Time Series Analysis of Programmer’s EEG for Debug State Classifcation PX/19 | ||
14:30 - 15:00 Talk | Projectional DSLs from the ground up PX/19 Meinte BoersmaDutch Tax and Customs Agency | ||
15:00 - 15:30 Talk | What can we learn from systems? PX/19 |
14:30 - 15:00 Talk | Finite Automata Theory Based Optimization ELS | ||
15:00 - 15:30 Talk | Lazy, Parallel Multiple Value Reductions in Common Lisp ELS |
14:00 - 14:30 Short-paper | Towards Polyglot Adapters for the GraalVM ICW Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany DOI Pre-print | ||
14:30 - 15:00 Short-paper | The Issue Of Source Code Repository Management In Large Enterprises ICW Nicolas BrousseAdobe DOI Media Attached File Attached | ||
15:00 - 15:30 Short-paper | Factoring out Glue-code in Systems of IoT devices ICW |
15:30 - 16:00 Coffee break | Break Catering |
16:00 - 16:25 Research paper | Civic Participation Powered by Ethereum: a Proposal ProWeb | ||
16:25 - 16:50 Talk | TryLinks: An interactive tutorial system for a cross-tier Web programming language ProWeb | ||
16:50 - 17:20 Research paper | Web Security Training [at] UniGe: an Experience ProWeb |
16:00 - 16:30 Talk | Working with First-Order Proofs and Provers ELS Michael RaskinUniversité de Bordeaux / LaBRI | ||
16:30 - 17:00 Talk | Plagiarism Detection for Common Lisp ELS António Menezes LeitãoTechnical University of Lisbon, Portugal | ||
17:00 - 17:30 Talk | Lightning Talks I ELS |
16:00 - 16:30 Short-paper | Gluing Internet of Things Together ICW Alfred ÅkessonLund University, Sweden, Mattias NordahlLund University, Gorel HedinLund University, Boris MagnussonLund University, Sweden | ||
16:30 - 17:00 Short-paper | Live GUI Development for Service-Based Systems ICW | ||
17:00 - 17:30 Other | Panel Discussion & Wrap Up ICW |
19:00 - 21:00 Social Event | Reception Social Events |
Tue 2 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 2 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 17:00 Registration | Registration |
08:50 - 10:30: Just-in-Time CompilationMoreVMs at Michelangelo Chair(s): Stefan MarrUniversity of Kent, Edd BarrettKing's College London | |||
08:50 - 09:00 Day opening | Welcome MoreVMs | ||
09:00 - 10:00 Talk | Region-Based Compilation in the HHVM JIT CompilerMoreVMs Invited Talk MoreVMs | ||
10:00 - 10:30 Talk | Extending a Meta-Tracing Compiler to Mix Method and Tracing Compilation MoreVMs Yusuke IzawaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology DOI Pre-print Media Attached |
08:55 - 09:00 Day opening | Welcome VPT | ||
09:00 - 10:00 Talk | Modelling and verifying Bitcoin contracts.VPT Invited Talk VPT | ||
10:00 - 10:30 Talk | Polyvariant Program Specialisation with Property-Based Abstraction VPT John P. GallagherRoskilde University |
09:00 - 10:30: Salon des Refusés - Morning sessionSalon des Refusés at Bellini Chair(s): Luke Church, Philip TchernavskijEx Situ | Université Paris-Sud | |||
09:00 - 09:20 Day opening | Welcome to Salon des Refusés Salon des Refusés Philip TchernavskijEx Situ | Université Paris-Sud | ||
09:20 - 09:50 Talk | Let Them Fail: Towards VM built-in behaviour that falls back to the program Salon des Refusés Tobias PapeHasso Plattner Institute, Germany, Tim FelgentreffOracle Labs, Potsdam, Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany | ||
09:50 - 10:10 Talk | Critique presentation - Let Them Fail Salon des Refusés | ||
10:10 - 10:30 Talk | Panel Discussion on the Boundaries of Computational Artifacts Salon des Refusés |
09:00 - 10:30 Talk | Scrap your DSL Boilerplate with a Universe of Syntaxes, their Programs and Proofs CoCoDo Guillaume AllaisUniversity of Strathclyde |
09:00 - 10:00 Talk | 20 more years of bootstrapping ELS Keynote ELS | ||
10:00 - 10:30 Talk | Bootstrapping Common Lisp Using Common Lisp ELS |
10:30 - 11:00 Coffee break | Break Catering |
11:00 - 11:30 Talk | Visual Denotative Programming Salon des Refusés | ||
11:30 - 11:50 Talk | Critique presentation - Visual Denotative Programming Salon des Refusés | ||
11:50 - 12:30 Other | Panel Discussion on How to Use Formalisms in Programming Salon des Refusés |
11:00 - 12:30 Tutorial | Language Engineering with Rascal CoCoDo Tijs van der StormCWI, Netherlands |
11:00 - 12:30: Implementation AspectsMoreVMs at Michelangelo Chair(s): Edd BarrettKing's College London | |||
11:00 - 11:30 Talk | Efficient Implementation of Smalltalk Activation Records in Language Implementation Frameworks MoreVMs Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Tobias PapeHasso Plattner Institute, Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany DOI Pre-print | ||
11:30 - 12:00 Talk | Optimization Coaching for Fork/Join Applications on the Java Virtual Machine MoreVMs Eduardo RosalesUniversity of Lugano, Switzerland, Andrea RosàUniversity of Lugano, Switzerland, Walter BinderUniversity of Lugano, Switzerland | ||
12:00 - 12:30 Talk | To expose, or not to expose, hardware heterogeneity to runtimes! MoreVMs Shoaib AkramGhent University |
11:00 - 11:45 Talk | Shader Pipeline and Effect Encapsulation using CLOS ELS Nicolas HafnerShirakumo.org | ||
11:45 - 12:30 Talk | Hierarchical Task Network Planning in Common Lisp ELS |
11:00 - 12:00 Talk | Validation of Internet of Things FrameworksVPT Invited Talk VPT Giorgio DelzannoDIBRIS, University of Genova | ||
12:00 - 12:30 Talk | Lemma Generation for Horn Clause Satisfiability: A Preliminary Study VPT Emanuele De AngelisUniversity of Chieti-Pescara, Fabio FioravantiUniversity of Chieti-Pescara, Alberto PettorossiUniversity of Rome Tor Vergata, Italy, Maurizio ProiettiCNR-IASI |
12:30 - 14:00: Poster SessionStudent Research Competition at Second floor hall Chair(s): Philipp HallerKTH Royal Institute of Technology, Sweden | |||
12:30 - 14:00 Poster | RML: Runtime monitoring language Student Research Competition Luca FranceschiniDIBRIS, University of Genova, Italy | ||
12:30 - 14:00 Poster | Automatic test case generation from UML state machine diagrams Student Research Competition | ||
12:30 - 14:00 Poster | Reading logic as code or as natural language text Student Research Competition Patrick ReinHasso Plattner Institute, Germany | ||
12:30 - 14:00 Poster | Cantor pairing in a reversible programming language Student Research Competition Francesco RossiniUniversity of Turin, Italy | ||
12:30 - 14:00 Poster | Exploring example-driven migration Student Research Competition | ||
12:30 - 14:00 Poster | Magritte: A modern shell language Student Research Competition Jeanine Miller AdkissonTokyo Institute of Technology | ||
12:30 - 14:00 Poster | BacCaml: The Meta-Hybrid Just-In-Time Compiler Student Research Competition Yusuke IzawaTokyo Institute of Technology | ||
12:30 - 14:00 Poster | A framework for big-step semantics Student Research Competition Francesco DagninoDIBRIS, University of Genova, Italy |
12:30 - 14:00 Lunch | Lunch Catering |
14:00 - 14:40 Talk | Presentation and Panel Discussion - Minimal Viable Revolution Salon des Refusés | ||
14:40 - 15:10 Talk | Why Can’t Programming Be Like Sketching? Salon des Refusés Clayton LewisUniversity of Colorado Boulder | ||
15:10 - 15:30 Talk | Critique presentation - Why Can't Programming Be Like Sketching? Salon des Refusés |
14:00 - 15:30: Tool Battle: 1 Infrastructure, 2 Parser Generators!CoCoDo at Colombo Chair(s): Johan FabryRaincode Labs, Belgium | |||
14:00 - 14:45 Talk | SmaCC CoCoDo Jason LecerfCEA LIST, France | ||
14:45 - 15:30 Talk | PetitParser CoCoDo Andrei Chişfeenk, Switzerland |
14:00 - 15:30: VMs and an Ideal WorldMoreVMs at Michelangelo Chair(s): Stefan MarrUniversity of Kent | |||
14:00 - 15:00 Talk | VM design in an Ideal World vs. VM design in the Real WorldMoreVMs Invited Talk MoreVMs | ||
15:00 - 15:30 Talk | VM Support for Live Typing MoreVMs Hernan Wilkinson10Pines Pre-print |
14:30 - 15:30 Talk | Rebooting RacketELS Special Guest ELS |
14:00 - 15:00 Talk | Hacking program analysis: a systematic approach to code protectionVPT Invited Talk VPT Roberto GiacobazziUniversity of Verona and IMDEA Software Institute | ||
15:00 - 15:30 Talk | Static Program Analysis for String Manipulation Languages VPT |
15:30 - 16:00 Coffee break | Break Catering |
16:00 - 16:30 Talk | Computing beyond pencils Salon des Refusés | ||
16:30 - 16:50 Talk | Critique presentation - Computing beyond pencils Salon des Refusés Clayton LewisUniversity of Colorado Boulder | ||
16:50 - 17:30 Day closing | Panel Discussion on Craft Values in Computing Salon des Refusés |
16:00 - 17:30: Programming Across the System StackMoreVMs at Michelangelo Chair(s): Shoaib AkramGhent University | |||
16:00 - 16:30 Talk | A Shell-like Model for General Purpose Programming MoreVMs Jeanine Miller AdkissonTokyo Institute of Technology, Johannes WestlundTokyo Institute of Technology, Japan / KTH Royal Institute of Technology, Sweden, Hidehiko MasuharaTokyo Institute of Technology Pre-print | ||
16:30 - 17:00 Talk | Toward a Language Design for Energy Prediction MoreVMs Pre-print | ||
17:00 - 17:30 Talk | Language Support for Multiple Privacy Enhancing Technologies MoreVMs Aditya OakTechnische Universität Darmstadt, Mira MeziniTU Darmstadt, Germany, Guido SalvaneschiTU Darmstadt |
16:00 - 16:30 Talk | Symbols as Namespaces in Common Lisp ELS | ||
16:30 - 16:59 Talk | Parallelizing Quickref ELS Didier VernaEPITA / LRDE | ||
16:59 - 17:00 Talk | Lightning Talks II ELS |
16:00 - 16:20 Talk | Iteratively Composing Statically Verified Traits VPT Isaac Oscar Gariano, Marco ServettoVictoria University Wellington, New Zealand, Alex PotaninVictoria University of Wellington, Hrshikesh Arora | ||
16:20 - 16:40 Talk | Verifying String Replacing Procedures by Supercompilation VPT | ||
16:40 - 17:00 Talk | Study of Recursion Elimination for a Class of Semi-interpreted Recursive Program Schemata VPT Nikolay ShilovInnopolis University | ||
17:00 - 17:10 Day closing | Closing VPT |
18:00 - 22:00 Meeting | Steering Committee Meeting (NOT PUBLIC) |
Wed 3 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 3 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 17:00 Registration | Registration |
09:20 - 09:30 Other | Conferences Opening |
09:30 - 11:00: Oral PresentationStudent Research Competition at Bellini Chair(s): Philipp HallerKTH Royal Institute of Technology, Sweden | |||
09:30 - 09:45 Talk | Cantor pairing in a reversible programming language (short presentation) Student Research Competition Francesco RossiniUniversity of Turin, Italy | ||
09:45 - 10:00 Talk | Reading logic as code or as natural language text (short presentation) Student Research Competition Patrick ReinHasso Plattner Institute, Germany | ||
10:00 - 10:15 Talk | A framework for big-step semantics (short presentation) Student Research Competition Francesco DagninoDIBRIS, University of Genova, Italy | ||
10:15 - 10:30 Talk | RML: Runtime monitoring language (short presentation) Student Research Competition Luca FranceschiniDIBRIS, University of Genova, Italy | ||
10:30 - 10:45 Talk | BacCaml: The Meta-Hybrid Just-In-Time Compiler (short presentation) Student Research Competition Yusuke IzawaTokyo Institute of Technology | ||
10:45 - 11:00 Talk | Magritte: A modern shell language (short presentation) Student Research Competition Jeanine Miller AdkissonTokyo Institute of Technology |
09:30 - 10:30 Talk | Keynote: Turning IoT Devices into Robust and Safe Computers‹Programming› Keynote Keynotes |
10:30 - 11:00 Coffee break | Break Catering |
11:00 - 11:45 Talk | Another Decade of SOM Language Implementation: Virtual Machines for Research and Teaching Demos Stefan MarrUniversity of Kent | ||
11:45 - 12:30 Talk | LiveTyping in Action - Automatic Type Annotation for Dynamically Typed Languages Demos Hernan Wilkinson10Pines |
11:00 - 12:30: Modularity and ModelingResearch Papers at Paganini Chair(s): Walter Cazzola Università degli Studi di Milano | |||
11:00 - 11:30 Talk | Separating Use and Reuse to Improve Both Research Papers Hrshikesh Arora, Marco ServettoVictoria University Wellington, New Zealand, Bruno C. d. S. OliveiraThe University of Hong Kong, Hong Kong Link to publication DOI Pre-print | ||
11:30 - 12:00 Talk | Clafer: Lightweight Modeling of Structure, Behaviour, and Variability Research Papers Paulius JuodisiusIT University of Copenhagen, Denmark, Atrisha SarkarUniversity of Waterloo, Canada, Raghava Rao MukkamalaDepartment of Technology, Kristiania University College, Norway, Michal AntkiewiczUniversity of Waterloo, Canada, Krzysztof CzarneckiUniversity of Waterloo, Canada, Andrzej WąsowskiIT University of Copenhagen, Denmark Link to publication DOI Pre-print | ||
12:00 - 12:30 Talk | Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality Research Papers Weixin ZhangThe University of Hong Kong, Hong Kong, Bruno C. d. S. OliveiraThe University of Hong Kong, Hong Kong Link to publication DOI Pre-print |
12:30 - 12:35 Awards | Awards | ||
12:35 - 12:40 Awards | SRC awards |
12:30 - 14:30 Poster | Distributed Software on Mobile Robot Posters | ||
12:30 - 14:30 Talk | Developing Distributed Systems with ScalaLoci Posters | ||
12:30 - 14:30 Poster | Proving Inequational Propositions about Haskell Programs in Coq Posters Jan ChristiansenFlensburg University of Applied Sciences, Germany, Sandra DylusUniversity of Kiel, Germany | ||
12:30 - 14:30 Poster | IDVE: an Integrated Development and Verification Environment for JavaScript Posters Christopher SchusterUniversity of California, Santa Cruz, Cormac FlanaganUniversity of California, Santa Cruz |
12:40 - 14:30 Lunch | Lunch Catering |
13:45 - 14:15 Talk | A Language-Parametric Toolchain for Mining Idiomatic Code Patterns Demos Johan FabryRaincode Labs, Belgium, Vadim ZaytsevRaincode Labs, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Siegfried Nijssen UC Louvain, Hoang Son PhamUC Louvain, Coen De RooverVrije Universiteit Brussel, Dario Di NucciVrije Universiteit Brussel, Tim MolderezVrije Universiteit Brussel | ||
14:15 - 14:45 Talk | Quickref: Auto-Documenting the Common Lisp Ecosystem Demos Didier VernaEPITA / LRDE | ||
14:45 - 15:30 Talk | Programming Experiences with a Live Programming Environment for Data Structures Demos Hidehiko MasuharaTokyo Institute of Technology, Akio OkaTokyo Institute of Technology, Tomoki OgushiTokyo Tech |
14:30 - 15:00 Talk | Exploratory and Live, Programming and Coding: A Literature Study Comparing Perspectives on Liveness Research Papers Patrick ReinHasso Plattner Institute, Germany, Stefan RamsonHasso Plattner Institute, Germany, Jens LinckeHasso Plattner Institute, University of Potsdam, Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany, Tobias PapeHasso Plattner Institute, Germany Link to publication DOI Pre-print | ||
15:00 - 15:30 Talk | Babylonian-Style Programming: Design and Implementation of an Integration of Live Examples into General-purpose Source Code Research Papers David RauchHasso Plattner Institute, Germany, Patrick ReinHasso Plattner Institute, Germany, Stefan RamsonHasso Plattner Institute, Germany, Jens LinckeHasso Plattner Institute, University of Potsdam, Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany Link to publication DOI Pre-print |
15:30 - 16:00 Coffee break | Break Catering |
16:00 - 16:30 Talk | Developing Distributed Systems with ScalaLoci Demos Pascal WeisenburgerTechnische Universität Darmstadt | ||
16:30 - 17:00 Talk | Static Verification of JavaScript: IDE Support for Debugging Verification Issues Demos Christopher SchusterUniversity of California, Santa Cruz, Cormac FlanaganUniversity of California, Santa Cruz | ||
17:00 - 17:30 Talk | Tooling for live big data applications Demos Matteo MarraVrije Universiteit Brussel |
16:00 - 16:30 Talk | Out-Of-Place Debugging: a Debugging Architecture to Reduce Debugging Interference Research Papers Matteo MarraVrije Universiteit Brussel, Guillermo PolitoUniv. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium Link to publication DOI Pre-print | ||
16:30 - 17:00 Talk | Concrete Syntax with Black Box Parsers Research Papers Link to publication DOI Pre-print |
17:00 - 17:30 Other | ‹Programming› 2020 Announcement |
20:00 - 23:00 Social Event | Banquet Social Events |
Thu 4 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 4 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 17:00 Registration | Registration |
09:30 - 10:30 Talk | Keynote: We're Building On Hollowed Foundations: Worrying Trends in Open Source and What We Can Do About It‹Programming› Keynote Keynotes File Attached |
10:30 - 11:00 Coffee break | Break Catering |
11:00 - 12:30: Language Design, Types, and MonadsResearch Papers at Paganini Chair(s): Philipp HallerKTH Royal Institute of Technology, Sweden | |||
11:00 - 11:30 Talk | Comprehensive Multiparty Session Types Research Papers Andi BejleriIBM GBS, Frankfurt, Germany, Elton DomnoriCanadian Institute of Technology, Tirana, Albania, Malte VieringTU Darmstadt, Germany, Patrick EugsterUniversita della Svizzera Italiana, Switzerland, Mira MeziniTU Darmstadt, Germany Link to publication DOI Pre-print | ||
11:30 - 12:00 Talk | Semantic Query Integration With Reason Research Papers Philipp SeiferUniversity of Koblenz-Landau, Germany, Martin LeinbergerUniversity of Koblenz-Landau, Germany, Ralf LaemmelUniversity of Koblenz-Landau, Germany, Steffen StaabUniversity of Koblenz-Landau and University of Southampton, Germany Link to publication DOI Pre-print | ||
12:00 - 12:30 Talk | One Monad to Prove Them All Research Papers Sandra DylusUniversity of Kiel, Germany, Jan ChristiansenFlensburg University of Applied Sciences, Germany, Finn TeegenUniversity of Kiel, Germany Link to publication DOI Pre-print |
12:30 - 14:00 Lunch | Lunch Catering |
14:00 - 15:30: Language Design and ReactivityResearch Papers at Paganini Chair(s): Guido SalvaneschiTU Darmstadt | |||
14:00 - 14:30 Talk | Distributed Reactive Programming for Reactive Distributed Systems Research Papers Florian MyterVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium, Wolfgang De MeuterVrije Universiteit Brussel Link to publication DOI Pre-print | ||
14:30 - 15:00 Talk | Event Loops as First-Class Values: A Case Study in Pedagogic Language Design Research Papers Joe Gibbs PolitzUniversity of California San Diego, United States, Benjamin LernerNortheastern University, United States, Sorawee PorncharoenwaseBrown University, United States, Shriram KrishnamurthiBrown University, United States Link to publication DOI Pre-print | ||
15:00 - 15:30 Talk | ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations Research Papers Tucker TaftAdaCore, United States Link to publication DOI Pre-print |
15:30 - 16:00 Coffee break | Break Catering |
16:00 - 16:30 Talk | Applications of Multi-view Learning Approaches for Software Comprehension Research Papers Amir SaeidiUtrecht University, Netherlands, Jurriaan HageUtrecht University, Netherlands, Ravi KhadkaUtrecht University, Netherlands, Slinger JansenUtrecht University, Netherlands Link to publication DOI Pre-print | ||
16:30 - 17:00 Talk | Entombed: An Archaeological Examination of an Atari 2600 Game Research Papers Link to publication DOI Pre-print |
Mon 1 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 1 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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 |
---|
Tue 2 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 2 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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 | 21:00 | 30 |
---|
Wed 3 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 3 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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 | 21:00 | 30 | 22:00 | 30 |
---|
Mon 1 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 1 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 2 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 2 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 3 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 3 Apr
Times are displayed in 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Paganini | ‹Programming› Conferences Opening 09:20 - 09:30 | ‹Programming› Awards 12:30 - 12:35 | ‹Programming› SRC awards 12:35 - 12:40 | ‹Programming› ‹Programming› 2020 Announcement 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:40 - 14:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Registration (Lobby) | ‹Programming› Registration 08:30 - 17:00 |
Thu 4 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 4 Apr
Times are displayed in 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
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 |
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