‹Programming› 2019 (series) /
‹Programming› 2019 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 1 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 1 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 17:00 | |||
09:00 - 10:30 | Session 1PX/19 at Michelangelo Chair(s): Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany | ||
09:00 30mTalk | IDVE: an Integrated Development and Verification Environment for JavaScript PX/19 Christopher Schuster University of California, Santa Cruz, Cormac Flanagan University of California, Santa Cruz | ||
09:30 30mTalk | Draw This Object: A Study of Debugging Representations PX/19 Pre-print | ||
10:00 30mTalk | Faster Feedback through Lexical Test Prioritization PX/19 Toni Mattis Hasso Plattner Institute, University of Potsdam, Falco Dürsch , Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany | ||
09:00 - 10:30 | |||
09:15 15mDay opening | Welcome message ELS | ||
09:30 60mTalk | The Lisp of the prophet for the One True EditorELS Keynote ELS | ||
09:00 - 10:30 | |||
09:00 90mOther | ELS 2019 Keynote Slot ICW Oleks Shturmov University of Oslo | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 30mTalk | Live Software Development --- Tightening the feedback loops PX/19 Ademar Aguiar FEUP, Universidade do Porto, André Restivo LIACC, Universidade do Porto, Porto, Portugal, Filipe Figueiredo Correia University of Porto, Hugo Sereno Ferreira FEUP, Universidade do Porto, João Pedro Dias INESC TEC, Porto | ||
11:30 30mTalk | The Meager Validation of Live Programming PX/19 Johan Fabry Raincode Labs, Belgium | ||
12:00 30mTalk | PolyJuS: A Squeak/Smalltalk-based Polyglot Notebook System for the GraalVM PX/19 Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Eva Krebs , Christian Flach Hasso Plattner Institute, University of Potsdam, Germany, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany, Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany DOI Pre-print | ||
11:00 - 12:30 | |||
11:00 30mTalk | Pattern-Based S-Expression Rewriting in Emacs ELS Ryan Culpepper Czech Technical University | ||
11:30 30mTalk | Implementing Baker’s | SUBTYPEP Decision Procedure ELS | ||
12:00 30mTalk | MAKE-METHOD-LAMBDA Revisited ELS | ||
11:00 - 12:30 | |||
11:00 15mDay opening | Introduction to the Workshop ICW Eric Jul University of Oslo | ||
11:15 20mTalk | Interconnecting Code in 2019 — Il buono, il brutto, il cattivo ICW Oleks Shturmov University of Oslo | ||
11:35 45mTalk | Sulong: Executing Low-level Languages on TruffleICW Invited Talk ICW | ||
12:20 10mOther | Introductory Discussion ICW | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 40mTalk | How Artificial Intelligence Can Improve Web Development and TestingProWeb Invited Talk ProWeb Andrea Stocco Università della Svizzera italiana (USI) | ||
14:40 25mResearch paper | GUI Testing in Production: Challenges and Opportunities ProWeb Giovanni Denaro University of Milano-Bicocca, Italy, Luca Guglielmo , Leonardo Mariani University of Milano Bicocca, Oliviero Riganelli | ||
15:05 25mResearch paper | Orchestrated Crowdsourced Testing of a Mobile Web Application: A Case Study ProWeb Maurizio Leotta DIBRIS, University of Genova, Italy, Vincenzo Petito , Luca Gelati , Giorgio Delzanno DIBRIS, University of Genova, Giovanna Guerrini , Viviana Mascardi DIBRIS, University of Genova, Italy | ||
14:00 - 15:30 | |||
14:00 30mTalk | Time Series Analysis of Programmer’s EEG for Debug State Classifcation PX/19 | ||
14:30 30mTalk | Projectional DSLs from the ground up PX/19 Meinte Boersma Dutch Tax and Customs Agency | ||
15:00 30mTalk | What can we learn from systems? PX/19 | ||
14:00 - 15:30 | |||
14:30 30mTalk | Finite Automata Theory Based Optimization ELS | ||
15:00 30mTalk | Lazy, Parallel Multiple Value Reductions in Common Lisp ELS | ||
14:00 - 15:30 | |||
14:00 30mShort-paper | Towards Polyglot Adapters for the GraalVM ICW Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Tim Felgentreff Oracle Labs, Potsdam, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany DOI Pre-print | ||
14:30 30mShort-paper | The Issue Of Source Code Repository Management In Large Enterprises ICW Nicolas Brousse Adobe DOI Media Attached File Attached | ||
15:00 30mShort-paper | Factoring out Glue-code in Systems of IoT devices ICW | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 25mResearch paper | Civic Participation Powered by Ethereum: a Proposal ProWeb | ||
16:25 25mTalk | TryLinks: An interactive tutorial system for a cross-tier Web programming language ProWeb | ||
16:50 30mResearch paper | Web Security Training [at] UniGe: an Experience ProWeb | ||
16:00 - 17:00 | |||
16:00 30mTalk | Working with First-Order Proofs and Provers ELS Michael Raskin Université de Bordeaux / LaBRI | ||
16:30 30mTalk | Plagiarism Detection for Common Lisp ELS António Menezes Leitão Technical University of Lisbon, Portugal | ||
17:00 30mTalk | Lightning Talks I ELS | ||
16:00 - 17:30 | |||
16:00 30mShort-paper | Gluing Internet of Things Together ICW Alfred Åkesson Lund University, Sweden, Mattias Nordahl Lund University, Gorel Hedin Lund University, Boris Magnusson Lund University, Sweden | ||
16:30 30mShort-paper | Live GUI Development for Service-Based Systems ICW | ||
17:00 30mOther | Panel Discussion & Wrap Up ICW | ||
19:00 - 21:00 | |||
19:00 2hSocial Event | Reception Social Events | ||
Tue 2 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 2 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 17:00 | |||
08:30 8h30mRegistration | Registration | ||
08:50 - 10:30 | Just-in-Time CompilationMoreVMs at Michelangelo Chair(s): Edd Barrett King's College London, Stefan Marr University of Kent | ||
08:50 10mDay opening | Welcome MoreVMs | ||
09:00 60mTalk | Region-Based Compilation in the HHVM JIT CompilerMoreVMs Invited Talk MoreVMs | ||
10:00 30mTalk | Extending a Meta-Tracing Compiler to Mix Method and Tracing Compilation MoreVMs Yusuke Izawa Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, Tomoyuki Aotani Tokyo Institute of Technology DOI Pre-print Media Attached | ||
08:55 - 10:30 | |||
08:55 5mDay opening | Welcome VPT | ||
09:00 60mTalk | Modelling and verifying Bitcoin contracts.VPT Invited Talk VPT | ||
10:00 30mTalk | Polyvariant Program Specialisation with Property-Based Abstraction VPT John P. Gallagher Roskilde University | ||
09:00 - 10:30 | Salon des Refusés - Morning sessionSalon des Refusés at Bellini Chair(s): Luke Church , Philip Tchernavskij Ex Situ | Université Paris-Sud | ||
09:00 20mDay opening | Welcome to Salon des Refusés Salon des Refusés Philip Tchernavskij Ex Situ | Université Paris-Sud | ||
09:20 30mTalk | Let Them Fail: Towards VM built-in behaviour that falls back to the program Salon des Refusés Tobias Pape Hasso Plattner Institute, Germany, Tim Felgentreff Oracle Labs, Potsdam, Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany | ||
09:50 20mTalk | Critique presentation - Let Them Fail Salon des Refusés | ||
10:10 20mTalk | Panel Discussion on the Boundaries of Computational Artifacts Salon des Refusés | ||
09:00 - 10:30 | |||
09:00 90mTalk | Scrap your DSL Boilerplate with a Universe of Syntaxes, their Programs and Proofs CoCoDo Guillaume Allais University of Strathclyde | ||
09:00 - 10:30 | |||
09:00 60mTalk | 20 more years of bootstrapping ELS Keynote ELS | ||
10:00 30mTalk | Bootstrapping Common Lisp Using Common Lisp ELS | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 30mTalk | Visual Denotative Programming Salon des Refusés | ||
11:30 20mTalk | Critique presentation - Visual Denotative Programming Salon des Refusés | ||
11:50 40mOther | Panel Discussion on How to Use Formalisms in Programming Salon des Refusés | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Language Engineering with Rascal CoCoDo Tijs van der Storm CWI, Netherlands | ||
11:00 - 12:30 | |||
11:00 30mTalk | Efficient Implementation of Smalltalk Activation Records in Language Implementation Frameworks MoreVMs Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Tim Felgentreff Oracle Labs, Potsdam, Tobias Pape Hasso Plattner Institute, Germany, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany DOI Pre-print | ||
11:30 30mTalk | Optimization Coaching for Fork/Join Applications on the Java Virtual Machine MoreVMs Eduardo Rosales University of Lugano, Switzerland, Andrea Rosà University of Lugano, Switzerland, Walter Binder University of Lugano, Switzerland | ||
12:00 30mTalk | To expose, or not to expose, hardware heterogeneity to runtimes! MoreVMs Shoaib Akram Ghent University | ||
11:00 - 12:30 | |||
11:00 45mTalk | Shader Pipeline and Effect Encapsulation using CLOS ELS Nicolas Hafner Shirakumo.org | ||
11:45 45mTalk | Hierarchical Task Network Planning in Common Lisp ELS | ||
11:00 - 12:30 | |||
11:00 60mTalk | Validation of Internet of Things FrameworksVPT Invited Talk VPT Giorgio Delzanno DIBRIS, University of Genova | ||
12:00 30mTalk | Lemma Generation for Horn Clause Satisfiability: A Preliminary Study VPT Emanuele De Angelis University of Chieti-Pescara, Fabio Fioravanti University of Chieti-Pescara, Alberto Pettorossi University of Rome Tor Vergata, Italy, Maurizio Proietti CNR-IASI | ||
12:30 - 14:00 | Poster SessionStudent Research Competition at Second floor hall Chair(s): Philipp Haller KTH Royal Institute of Technology, Sweden | ||
12:30 90mPoster | RML: Runtime monitoring language Student Research Competition Luca Franceschini DIBRIS, University of Genova, Italy | ||
12:30 90mPoster | Automatic test case generation from UML state machine diagrams Student Research Competition | ||
12:30 90mPoster | Reading logic as code or as natural language text Student Research Competition Patrick Rein Hasso Plattner Institute, Germany | ||
12:30 90mPoster | Cantor pairing in a reversible programming language Student Research Competition Francesco Rossini University of Turin, Italy | ||
12:30 90mPoster | Exploring example-driven migration Student Research Competition | ||
12:30 90mPoster | Magritte: A modern shell language Student Research Competition Jeanine Miller Adkisson Tokyo Institute of Technology | ||
12:30 90mPoster | BacCaml: The Meta-Hybrid Just-In-Time Compiler Student Research Competition Yusuke Izawa Tokyo Institute of Technology | ||
12:30 90mPoster | A framework for big-step semantics Student Research Competition Francesco Dagnino DIBRIS, University of Genova, Italy | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 40mTalk | Presentation and Panel Discussion - Minimal Viable Revolution Salon des Refusés | ||
14:40 30mTalk | Why Can’t Programming Be Like Sketching? Salon des Refusés Clayton Lewis University of Colorado Boulder | ||
15:10 20mTalk | 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 Fabry Raincode Labs, Belgium | ||
14:00 45mTalk | SmaCC CoCoDo Jason Lecerf CEA LIST, France | ||
14:45 45mTalk | PetitParser CoCoDo Andrei Chiş feenk, Switzerland | ||
14:00 - 15:30 | |||
14:00 60mTalk | VM design in an Ideal World vs. VM design in the Real WorldMoreVMs Invited Talk MoreVMs | ||
15:00 30mTalk | VM Support for Live Typing MoreVMs Hernan Wilkinson 10Pines Pre-print | ||
14:00 - 15:30 | |||
14:30 60mTalk | Rebooting RacketELS Special Guest ELS | ||
14:00 - 15:30 | |||
14:00 60mTalk | Hacking program analysis: a systematic approach to code protectionVPT Invited Talk VPT Roberto Giacobazzi University of Verona and IMDEA Software Institute | ||
15:00 30mTalk | Static Program Analysis for String Manipulation Languages VPT | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 30mTalk | Computing beyond pencils Salon des Refusés | ||
16:30 20mTalk | Critique presentation - Computing beyond pencils Salon des Refusés Clayton Lewis University of Colorado Boulder | ||
16:50 40mDay closing | Panel Discussion on Craft Values in Computing Salon des Refusés | ||
16:00 - 17:30 | |||
16:00 30mTalk | A Shell-like Model for General Purpose Programming MoreVMs Jeanine Miller Adkisson Tokyo Institute of Technology, Johannes Westlund Tokyo Institute of Technology, Japan / KTH Royal Institute of Technology, Sweden, Hidehiko Masuhara Tokyo Institute of Technology Pre-print | ||
16:30 30mTalk | Toward a Language Design for Energy Prediction MoreVMs Pre-print | ||
17:00 30mTalk | Language Support for Multiple Privacy Enhancing Technologies MoreVMs Aditya Oak Technische Universität Darmstadt, Mira Mezini TU Darmstadt, Germany, Guido Salvaneschi TU Darmstadt | ||
16:00 - 17:00 | |||
16:00 30mTalk | Symbols as Namespaces in Common Lisp ELS | ||
16:30 29mTalk | Parallelizing Quickref ELS Didier Verna EPITA / LRDE | ||
16:59 1mTalk | Lightning Talks II ELS | ||
16:00 - 17:10 | |||
16:00 20mTalk | Iteratively Composing Statically Verified Traits VPT Isaac Oscar Gariano , Marco Servetto Victoria University Wellington, New Zealand, Alex Potanin Victoria University of Wellington, Hrshikesh Arora | ||
16:20 20mTalk | Verifying String Replacing Procedures by Supercompilation VPT | ||
16:40 20mTalk | Study of Recursion Elimination for a Class of Semi-interpreted Recursive Program Schemata VPT Nikolay Shilov Innopolis University | ||
17:00 10mDay closing | Closing VPT | ||
18:00 - 22:00 | |||
18:00 4hMeeting | Steering Committee Meeting (NOT PUBLIC) | ||
Wed 3 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 3 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 17:00 | |||
08:30 8h30mRegistration | Registration | ||
09:20 - 09:30 | |||
09:20 10mOther | Conferences Opening | ||
09:30 - 11:00 | Oral PresentationStudent Research Competition at Bellini Chair(s): Philipp Haller KTH Royal Institute of Technology, Sweden | ||
09:30 15mTalk | Cantor pairing in a reversible programming language (short presentation) Student Research Competition Francesco Rossini University of Turin, Italy | ||
09:45 15mTalk | Reading logic as code or as natural language text (short presentation) Student Research Competition Patrick Rein Hasso Plattner Institute, Germany | ||
10:00 15mTalk | A framework for big-step semantics (short presentation) Student Research Competition Francesco Dagnino DIBRIS, University of Genova, Italy | ||
10:15 15mTalk | RML: Runtime monitoring language (short presentation) Student Research Competition Luca Franceschini DIBRIS, University of Genova, Italy | ||
10:30 15mTalk | BacCaml: The Meta-Hybrid Just-In-Time Compiler (short presentation) Student Research Competition Yusuke Izawa Tokyo Institute of Technology | ||
10:45 15mTalk | Magritte: A modern shell language (short presentation) Student Research Competition Jeanine Miller Adkisson Tokyo Institute of Technology | ||
09:30 - 10:30 | |||
09:30 60mTalk | Keynote: Turning IoT Devices into Robust and Safe Computers‹Programming› Keynote Keynotes | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 45mTalk | Another Decade of SOM Language Implementation: Virtual Machines for Research and Teaching Demos Stefan Marr University of Kent | ||
11:45 45mTalk | LiveTyping in Action - Automatic Type Annotation for Dynamically Typed Languages Demos Hernan Wilkinson 10Pines | ||
11:00 - 12:30 | Modularity and ModelingResearch Papers at Paganini Chair(s): Walter Cazzola Università degli Studi di Milano | ||
11:00 30mTalk | Separating Use and Reuse to Improve Both Research Papers Hrshikesh Arora , Marco Servetto Victoria University Wellington, New Zealand, Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong Link to publication DOI Pre-print | ||
11:30 30mTalk | Clafer: Lightweight Modeling of Structure, Behaviour, and Variability Research Papers Paulius Juodisius IT University of Copenhagen, Denmark, Atrisha Sarkar University of Waterloo, Canada, Raghava Rao Mukkamala Department of Technology, Kristiania University College, Norway, Michal Antkiewicz University of Waterloo, Canada, Krzysztof Czarnecki University of Waterloo, Canada, Andrzej Wąsowski IT University of Copenhagen, Denmark Link to publication DOI Pre-print | ||
12:00 30mTalk | Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality Research Papers Weixin Zhang The University of Hong Kong, Hong Kong, Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong Link to publication DOI Pre-print | ||
12:30 - 12:40 | |||
12:30 5mAwards | Awards | ||
12:35 5mAwards | SRC awards | ||
12:30 - 14:30 | |||
12:30 2hPoster | Distributed Software on Mobile Robot Posters | ||
12:30 2hTalk | Developing Distributed Systems with ScalaLoci Posters | ||
12:30 2hPoster | Proving Inequational Propositions about Haskell Programs in Coq Posters Jan Christiansen Flensburg University of Applied Sciences, Germany, Sandra Dylus University of Kiel, Germany | ||
12:30 2hPoster | IDVE: an Integrated Development and Verification Environment for JavaScript Posters Christopher Schuster University of California, Santa Cruz, Cormac Flanagan University of California, Santa Cruz | ||
12:40 - 14:30 | |||
12:40 1h50mLunch | Lunch Catering | ||
13:45 - 15:30 | |||
13:45 30mTalk | A Language-Parametric Toolchain for Mining Idiomatic Code Patterns Demos Johan Fabry Raincode Labs, Belgium, Vadim Zaytsev Raincode Labs, Belgium, Kim Mens Université Catholique de Louvain, Belgium, Siegfried Nijssen UC Louvain, Hoang Son Pham UC Louvain, Coen De Roover Vrije Universiteit Brussel, Dario Di Nucci Vrije Universiteit Brussel, Tim Molderez Vrije Universiteit Brussel | ||
14:15 30mTalk | Quickref: Auto-Documenting the Common Lisp Ecosystem Demos Didier Verna EPITA / LRDE | ||
14:45 45mTalk | Programming Experiences with a Live Programming Environment for Data Structures Demos Hidehiko Masuhara Tokyo Institute of Technology, Akio Oka Tokyo Institute of Technology, Tomoki Ogushi Tokyo Tech | ||
14:30 - 15:30 | |||
14:30 30mTalk | Exploratory and Live, Programming and Coding: A Literature Study Comparing Perspectives on Liveness Research Papers Patrick Rein Hasso Plattner Institute, Germany, Stefan Ramson Hasso Plattner Institute, Germany, Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany, Tobias Pape Hasso Plattner Institute, Germany Link to publication DOI Pre-print | ||
15:00 30mTalk | Babylonian-Style Programming: Design and Implementation of an Integration of Live Examples into General-purpose Source Code Research Papers David Rauch Hasso Plattner Institute, Germany, Patrick Rein Hasso Plattner Institute, Germany, Stefan Ramson Hasso Plattner Institute, Germany, Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany Link to publication DOI Pre-print | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 30mTalk | Developing Distributed Systems with ScalaLoci Demos Pascal Weisenburger Technische Universität Darmstadt | ||
16:30 30mTalk | Static Verification of JavaScript: IDE Support for Debugging Verification Issues Demos Christopher Schuster University of California, Santa Cruz, Cormac Flanagan University of California, Santa Cruz | ||
17:00 30mTalk | Tooling for live big data applications Demos Matteo Marra Vrije Universiteit Brussel | ||
16:00 - 17:00 | |||
16:00 30mTalk | Out-Of-Place Debugging: a Debugging Architecture to Reduce Debugging Interference Research Papers Matteo Marra Vrije Universiteit Brussel, Guillermo Polito Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Link to publication DOI Pre-print | ||
16:30 30mTalk | Concrete Syntax with Black Box Parsers Research Papers Link to publication DOI Pre-print | ||
17:00 - 17:30 | |||
17:00 30mOther | ‹Programming› 2020 Announcement | ||
20:00 - 23:00 | |||
20:00 3hSocial Event | Banquet Social Events | ||
Thu 4 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 4 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 17:00 | |||
08:30 8h30mRegistration | Registration | ||
09:30 - 10:30 | |||
09:30 60mTalk | 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 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | Language Design, Types, and MonadsResearch Papers at Paganini Chair(s): Philipp Haller KTH Royal Institute of Technology, Sweden | ||
11:00 30mTalk | Comprehensive Multiparty Session Types Research Papers Andi Bejleri IBM GBS, Frankfurt, Germany, Elton Domnori Canadian Institute of Technology, Tirana, Albania, Malte Viering TU Darmstadt, Germany, Patrick Eugster Universita della Svizzera Italiana, Switzerland, Mira Mezini TU Darmstadt, Germany Link to publication DOI Pre-print | ||
11:30 30mTalk | Semantic Query Integration With Reason Research Papers Philipp Seifer University of Koblenz-Landau, Germany, Martin Leinberger University of Koblenz-Landau, Germany, Ralf Laemmel University of Koblenz-Landau, Germany, Steffen Staab University of Koblenz-Landau and University of Southampton, Germany Link to publication DOI Pre-print | ||
12:00 30mTalk | One Monad to Prove Them All Research Papers Sandra Dylus University of Kiel, Germany, Jan Christiansen Flensburg University of Applied Sciences, Germany, Finn Teegen University of Kiel, Germany Link to publication DOI Pre-print | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 30mTalk | Distributed Reactive Programming for Reactive Distributed Systems Research Papers Florian Myter Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel Link to publication DOI Pre-print | ||
14:30 30mTalk | Event Loops as First-Class Values: A Case Study in Pedagogic Language Design Research Papers Joe Gibbs Politz University of California San Diego, United States, Benjamin Lerner Northeastern University, United States, Sorawee Porncharoenwase Brown University, United States, Shriram Krishnamurthi Brown University, United States Link to publication DOI Pre-print | ||
15:00 30mTalk | ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations Research Papers Tucker Taft AdaCore, United States Link to publication DOI Pre-print | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:00 | |||
16:00 30mTalk | Applications of Multi-view Learning Approaches for Software Comprehension Research Papers Amir Saeidi Utrecht University, Netherlands, Jurriaan Hage Utrecht University, Netherlands, Ravi Khadka Utrecht University, Netherlands, Slinger Jansen Utrecht University, Netherlands Link to publication DOI Pre-print | ||
16:30 30mTalk | Entombed: An Archaeological Examination of an Atari 2600 Game Research Papers Link to publication DOI Pre-print | ||