‹Programming› 2017 (series) /
‹Programming› 2017 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 3 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 3 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 17:00 | |||
08:00 9hRegistration | Registration Organizational | ||
09:00 - 10:30 | |||
09:00 45mDay opening | Welcome messages and announcements ELS | ||
09:45 45mTalk | Identity in a World of ValuesELS Keynote ELS | ||
09:00 - 10:30 | Opening and KeynoteMiniPLoP at D2.09 Chair(s): Ademar Aguiar FEUP, Universidade do Porto, Richard P. Gabriel Dream Songs, Inc. & IBM Research, Joe Yoder The Refactory, Inc. | ||
09:00 45mDay opening | Opening MiniPLoP | ||
09:45 45mTalk | Generations of Pattern Language: Architecture, Software, and Human ActionsMiniPLoP Keynote MiniPLoP | ||
09:00 - 10:30 | |||
09:00 25mTalk | When a Mouse Eats a Python: Smalltalk-style Development for Python and Ruby MoreVMs Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Tobias Pape HPI, Germany, Robert Hirschfeld HPI File Attached | ||
09:25 25mTalk | Debugging Await in Dart MoreVMs File Attached | ||
09:50 25mTalk | Building Reusable, Low-overhead Tooling Support into a High Performance Polyglot VM MoreVMs Michael Van De Vanter Oracle Labs File Attached | ||
10:15 25mTalk | Debugging with Back-In-Time Evaluation MoreVMs File Attached | ||
09:00 - 10:30 | |||
09:00 15mDay opening | Welcome & Introduction MOMO | ||
09:15 25mTalk | An MDE Approach for Modular Program Analyses MOMO A: Bugra Mehmet Yildiz , A: Christoph Bockisch Philipps-Universität Marburg, A: Arend Rensink , A: Mehmet Aksit University of Twente | ||
09:40 25mTalk | A Modular Meta-model for Security Solutions MOMO A: Laurens Sion , A: Koen Yskout , A: Riccardo Scandariato , A: Wouter Joosen Katholieke Universiteit Leuven | ||
10:05 25mTalk | Weaving Rules into Models@run.time for Embedded Smart Systems MOMO A: Ludovic Mouline , A: Thomas Hartmann , A: François Fouquet , A: Johan Bourcier , A: Olivier Barais , A: Yves Le Traon University of Luxembourg | ||
09:00 - 10:30 | |||
09:00 30mDay opening | Welcome LASSY | ||
09:30 30mTalk | Dynamic Software Updating in Java - Comparing Concepts and Resource Demands LASSY | ||
10:00 30mTalk | Managing the Context Interaction Problem : A Classification of Conflict Resolution Techniques in Dynamically Adaptive Software Systems LASSY Kim Mens Université Catholique de Louvain, Belgium, Benoît Duhoux Université catholique de Louvain, Belgium, Nicolás Cardozo Universidad de los Andes | ||
10:30 - 11:00 | |||
11:00 - 12:00 | |||
11:00 30mTalk | Common Lisp UltraSpec - A Project For Modern Common Lisp Documentation ELS | ||
11:30 30mTalk | Loading Multiple Versions of an ASDF System in the Same Lisp Image ELS | ||
11:00 - 12:00 | Pattern Mining WorkshopMiniPLoP at D2.09 Chair(s): Takashi Iba Keio University, Japan, Joe Yoder The Refactory, Inc. | ||
11:00 60mOther | Pattern Mining Workshop MiniPLoP | ||
11:00 - 12:00 | |||
11:10 25mTalk | Toward Virtual Machine Adaption Rather than Reimplementation MoreVMs Richard Roberts Victoria University of Wellington, Stefan Marr Johannes Kepler University Linz, Michael Homer Victoria University of Wellington, James Noble Victoria University of Wellington File Attached | ||
11:35 25mTalk | A Readable and Executable Semantics of Grace MoreVMs File Attached | ||
11:00 - 12:00 | |||
11:00 25mTalk | Presentation only: From Use Case Driven to Test Driven Modularization MOMO A: Michal Bystrický Slovak University of Technology in Bratislava, A: Valentino Vranić Slovak University of Technology in Bratislava Media Attached | ||
11:25 35mOther | Discussions (morning) MOMO | ||
11:00 - 12:00 | |||
11:00 30mTalk | Towards Reflection in an FRP Language for Small-Scale Embedded Systems LASSY Link to publication DOI | ||
11:30 30mTalk | Dynamic Layers for Extreme Debugging LASSY Steven Costiou University of Brest, Mickael Kerboeuf University of Brest, Marcus Denker INRIA Lille, Alain Plantec University of Occidental Brittary, France | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 30mTalk | A Lisp Way to Type Theory and Formal Proofs ELS | ||
14:00 30mTalk | Programmatic Manipulation of Common Lisp Type Specifiers ELS | ||
14:30 30mTalk | Type Inference in Cleavir ELS | ||
13:30 - 15:00 | Writers' Workshop and GamesMiniPLoP at D2.09 Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research | ||
13:30 90mOther | Writers' Workshop and Games MiniPLoP | ||
13:30 - 15:00 | |||
13:20 25mTalk | OCaml-Java: Running ML programs on a JVM MoreVMs Xavier Clerc ocamljava.org File Attached | ||
13:45 25mTalk | On the Need of Compilepretation for Legacy Languages MoreVMs Vadim Zaytsev Raincode, Belgium File Attached | ||
14:10 25mTalk | Horizontal Profiling for Virtual Machine Optimization Transplants MoreVMs File Attached | ||
14:35 25mTalk | Processor Tracing for Virtual Machines MoreVMs File Attached | ||
13:30 - 15:00 | |||
13:30 90mTalk | Invited Talk: Towards Concern-Oriented Modularity in Software Language Engineering MOMO | ||
13:30 - 15:00 | |||
13:30 30mTalk | A Rollback Mechanism to Recover from Software Bugs in Role-based Adaptive Software Systems LASSY | ||
14:00 30mTalk | Analyzing State-of-the-Art Role-based Programming Languages LASSY | ||
14:30 30mTalk | Utilizing Role-based Models for Distributed On-Demand Service Composition LASSY | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering | ||
15:30 - 17:00 | |||
15:30 22mDemonstration | Delivering Common Lisp Applications with ASDF 3.3 ELS | ||
15:52 22mDemonstration | Radiance – a Web Application Environment ELS Nicolas Hafner Shirakumo.org | ||
16:15 22mDemonstration | Teaching Students of Engineering some Insights of the Internet of Things using Racket and the RaspberryPi ELS | ||
16:37 22mDemonstration | Interactive Functional Medical Image Analysis ELS | ||
15:30 - 17:00 | Writers' Workshop and ClosingMiniPLoP at D2.09 Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research, Ademar Aguiar FEUP, Universidade do Porto, Joe Yoder The Refactory, Inc. | ||
15:30 45mOther | Writers' Workshop MiniPLoP | ||
16:15 45mDay closing | Closing MiniPLoP | ||
15:30 - 17:00 | |||
15:30 25mTalk | Garbage Collection as a Joint Venture MoreVMs Ulan Degenbaev Google, Jochen Eisinger Google, Kentaro Hara Google, Marcel Hlopko Google, Michael Lippautz Google, Hannes Payer Google File Attached | ||
15:55 25mTalk | OpenCL JIT Compilation for Dynamic Programming Languages MoreVMs Juan Fumero The University of Edinburgh, Michel Steuwer The University of Edinburgh, Lukas Stadler Oracle Labs, Austria, Christophe Dubach University of Edinburgh File Attached | ||
16:20 25mTalk | An Extensible Virtual Machine Design for the Execution of High-level Languages on Tagged-token Dataflow Machines MoreVMs Mathijs Saey Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Jennifer B. Sartor Sofware Languages Lab, Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel File Attached | ||
16:45 25mTalk | Moving beyond single-threaded concurrency MoreVMs Marek Marecki Polish-Japanese Academy of Information Technology File Attached | ||
15:30 - 17:00 | |||
15:30 90mOther | Discussion (Afternoon) MOMO | ||
15:30 - 17:00 | |||
15:30 30mTalk | IoT Robot Simulator for Context-Sensitive and Live-Adaptive Software Developments LASSY Ikuta Tanigawa Kyusyu University, Harumi Watanabe Tokai University, Nobuhiko Ogura Tokyo City University, Kenji Hisazumi Kyushu University, Akira Fukuda Kyushu University | ||
16:00 60mDay closing | Discussion and closing remarks LASSY | ||
17:00 - 17:30 | |||
17:00 30mTalk | Lightning Talks ELS | ||
17:00 - 19:00 | Posters & SRCPosters at Poster Area Chair(s): Jennifer B. Sartor Sofware Languages Lab, Vrije Universiteit Brussel | ||
17:00 2hSocial Event | Poster Session Posters | ||
17:00 - 19:00 | |||
17:00 2hSocial Event | Belgian beer reception Social Events | ||
Tue 4 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 4 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 17:00 | |||
08:00 9hRegistration | Registration Organizational | ||
09:00 - 10:00 | |||
09:00 60mTalk | How the strengths of Lisp-family languages facilitate building complex and flexible bioinformatics applicationsELS Keynote ELS | ||
09:00 - 10:30 | |||
09:00 45mTalk | Modular Composition of Reactive Applications (from aspects to events and back) Modularity Mira Mezini TU Darmstadt | ||
09:45 45mTalk | Some History and Future Perspectives on the Modularity Challenges for Large and Complex Software Systems Modularity Lodewijk Bergmans Software Improvement Group File Attached | ||
09:00 - 10:30 | |||
09:00 10mTalk | Welcome to ProWeb ProWeb Coen De Roover Vrije Universiteit Brussel, Anders Møller Aarhus University, Christophe Scholliers Universiteit Gent, Belgium | ||
09:10 60mTalk | From Documents to Dialogues: Programming Technology for the Conversational WebProWeb Keynote ProWeb Tom Van Cutsem Nokia Bell Labs | ||
10:10 20mTalk | Group discussion on common workshop goals ProWeb | ||
09:00 - 10:30 | |||
09:00 15mDay opening | Welcome and workshop introduction Salon des Refusés Tomas Petricek Alan Turing Institute | ||
09:15 30mTalk | Programming is Writing is Programming Salon des Refusés Pre-print | ||
09:45 15mTalk | Review: Programming is Writing is Programming Salon des Refusés Tomas Petricek Alan Turing Institute | ||
10:00 20mTalk | Code is not just text - current code editors are inadequate tools Salon des Refusés Link to publication | ||
10:20 10mTalk | Review: Code is not just text - current code editors are inadequate tools Salon des Refusés | ||
09:00 - 10:30 | |||
09:00 15mDay opening | Welcome and Introductions CoCoDo Vadim Zaytsev Raincode, Belgium | ||
09:15 75mTalk | Attribute Grammars for DSLs for Music and 3D Graphics CoCoDo | ||
09:00 - 10:30 | Session IPX at D2.14 Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research, Robert Hirschfeld HPI, Hidehiko Masuhara Tokyo Institute of Technology | ||
09:00 30mDay opening | Arrival and Workshop Introduction PX | ||
09:30 60mTalk | Live Data Structure Programming PX Akio Oka Department of Information Science, Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, Tomoki Imai Tokyo Institute of Technology, Tomoyuki Aotani Tokyo Institute of Technology | ||
09:00 - 10:30 | Invited Talk & Paper PresentationPASS at D2.15 Chair(s): Sasa Misailovic University of Illinois at Urbana-Champaign, USA | ||
09:00 60mTalk | Analysing Energy Consumption of Systems Controlled by SoftwarePASS invited talk PASS Bernard van Gastel Open University of the Netherlands, The Netherlands | ||
10:00 30mTalk | Abstractions for Distributed Event-Driven Systems PASS Christophe De Troyer , Jens Nicolay Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel Pre-print Media Attached | ||
10:00 - 10:30 | |||
10:00 30mTalk | Parallelizing Femlisp ELS | ||
10:30 - 11:00 | |||
11:00 - 12:00 | |||
11:00 60mOther | General Game Playing in Common Lisp ELS | ||
11:00 - 12:00 | |||
11:00 45mTalk | Advanced Modularity for the Cloud Modularity Mario Südholt École des Mines de Nantes, France File Attached | ||
11:45 45mTalk | Modularity for System-of-Systems Modularity Bedir Tekinerdogan Wageningen University, The Netherlands File Attached | ||
11:00 - 12:00 | |||
11:00 25mTalk | Experience Report: Functional Reactive Programming and the DOM ProWeb Bob Reynders iMinds - Distrinet, KU Leuven, Dominique Devriese iMinds - Distrinet, KU Leuven, Frank Piessens iMinds, Belgium Pre-print | ||
11:25 25mTalk | Enriching the Internet By Acting and Reacting ProWeb Sam Van den Vonder , Florian Myter Vrije Universiteit Brussel, Belgium, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel Pre-print | ||
11:50 10mTalk | Group discussion on the future of reactivity ProWeb | ||
11:00 - 12:00 | |||
11:00 20mTalk | Principles of Antifragile Software Salon des Refusés Pre-print | ||
11:20 10mTalk | Review: Principles of Antifragile Software Salon des Refusés | ||
11:30 20mTalk | A Certain Tendency Of The Database Community Salon des Refusés Christopher Meiklejohn Université catholique de Louvain Pre-print | ||
11:50 10mTalk | Review: A Certain Tendency Of The Database Community Salon des Refusés Stephen Kell University of Cambridge | ||
11:00 - 12:00 | |||
11:00 60mTalk | Late Phases of Compilation in Rascal CoCoDo Anya Helene Bagge University of Bergen | ||
11:00 - 12:00 | Session IIPX at D2.14 Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research, Robert Hirschfeld HPI, Hidehiko Masuhara Tokyo Institute of Technology | ||
11:00 60mTalk | Exploratory Development of Data-intensive Applications PX Patrick Rein Hasso Plattner Institute, Marcel Taeumel Hasso Plattner Institute, Robert Hirschfeld HPI, Michael Perscheid Hasso Plattner Institute | ||
11:00 - 12:00 | |||
11:00 60mTalk | Teaching a Systematic Design Method for Concurrent ProgramsPASS invited talk PASS Harrie Passier Open University of the Netherlands, The Netherlands | ||
12:00 - 13:30 | |||
13:30 - 15:00 | |||
13:30 30mTalk | Fast, Maintainable, and Portable Sequence Functions ELS | ||
14:00 30mTalk | DIY Meta Languages with Common Lisp ELS Alexander Lier Friedrich-Alexander-Universität Erlangen-Nürnberg, Kai Selgrad Friedrich-Alexander-Universität Erlangen-Nürnberg, Marc Stamminger Friedrich-Alexander-Universität Erlangen-Nürnberg | ||
14:30 30mTalk | Static Taint Analysis of Event-driven Scheme Programs ELS Jonas De Bleser , Quentin Stiévenart Vrije Universiteit Brussel, Belgium, Jens Nicolay Vrije Universiteit Brussel, Belgium, Coen De Roover Vrije Universiteit Brussel | ||
13:30 - 15:00 | |||
13:30 45mTalk | SoC Spaces - Indexes for Composition Modularity Uwe Aßmann TU Dresden, Germany File Attached | ||
14:15 45mTalk | Formal Verification for Cross-cutting Modularity Modularity Shmuel Katz Computer Science Dept., The Technion File Attached | ||
13:30 - 15:00 | |||
13:30 25mTalk | Immediate Mode with Immutable Data ProWeb | ||
13:55 25mTalk | Modular Responsive Web Design: An Experience Report ProWeb Pre-print | ||
14:20 25mTalk | Webstrates for the future web? ProWeb Kristian B. Antonsen , Michel Beaudouin-Lafon , James Eagan , Clemens Nylandsted Klokmose , Wendy Mackay , Roman Rädle Pre-print | ||
14:45 15mTalk | Group discussion on the future of collaboration and responsiveness ProWeb | ||
13:30 - 15:00 | |||
13:30 30mTalk | The Act of Computer Programming in Science Salon des Refusés Pre-print | ||
14:00 15mTalk | Review: The Act of Computer Programming in Science Salon des Refusés | ||
14:15 30mTalk | From Software Creationism to Software Evolutionism Salon des Refusés Pre-print | ||
14:45 15mTalk | Review: From Software Creationism to Software Evolutionism Salon des Refusés | ||
13:30 - 15:00 | |||
13:30 90mTalk | Experimenting with Racket as a Language Workbench CoCoDo Robert Bruce Findler Northwestern University | ||
13:30 - 15:00 | Session IIIPX at D2.14 Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research, Robert Hirschfeld HPI, Hidehiko Masuhara Tokyo Institute of Technology | ||
13:30 45mDemonstration | Runtime Metric Meets Developer: Augmenting Source Code with Runtime Information to Make Programs Live PX Jürgen Cito University of Zurich | ||
14:15 45mTalk | Squeak Makes a Good Python Debugger PX Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Tobias Pape HPI, Germany, Robert Hirschfeld HPI | ||
13:30 - 15:00 | |||
13:30 60mTalk | Managed Language Runtimes on Heterogeneous Hardware: Optimizations for Performance, Efficiency and Lifetime ImprovementPASS invited talk PASS Shoaib Akram Ghent University | ||
14:30 30mOther | discussion PASS | ||
15:00 - 15:30 | |||
15:30 - 17:00 | |||
15:30 30mTalk | on the {lambda way} ELS | ||
16:00 30mTalk | Writing a portable code walker in Common Lisp ELS Michael Raskin Université de Bordeaux / LaBRI | ||
16:30 30mTalk | Removing redundant tests by replicating control paths ELS | ||
15:30 - 17:00 | |||
15:30 45mTalk | Modularity from the Trenches Modularity Stéphane Ducasse INRIA Lille File Attached | ||
16:15 45mTalk | Concern-Oriented Reuse: Combine MDE, Aspect-Orientation and Software Product Lines to Create Generic, Crosscutting yet Modular Units of Reuse Modularity Jörg Kienzle McGill University, Canada | ||
15:30 - 17:00 | |||
15:30 25mTalk | Towards the Web for Virtual Being ProWeb Nikolai Suslov Fund for Supporting Development of RT Media Attached | ||
15:55 25mTalk | Optimizing economics of microservices by planning for granularity level ProWeb | ||
16:20 25mTalk | Group discussion on the future of tooling and virtuality ProWeb | ||
15:30 - 17:00 | |||
15:30 30mTalk | What Can Software Learn From Hypermedia? Salon des Refusés Philip Tchernavskij Ex Situ | Université Paris-Sud, Clemens Nylandsted Klokmose , Michel Beaudouin-Lafon Pre-print | ||
16:00 15mTalk | Review: What Can Software Learn From Hypermedia? Salon des Refusés | ||
16:15 30mTalk | Tracing a Paradigm for Externalization: Avatars and the GPII Nexus Salon des Refusés Pre-print | ||
16:45 15mTalk | Review: Tracing a Paradigm for Externalization: Avatars and the GPII Nexus Salon des Refusés Philip Tchernavskij Ex Situ | Université Paris-Sud | ||
15:30 - 17:00 | |||
15:30 20mTalk | Live Programming in the 21st Century CoCoDo | ||
15:50 20mTalk | From Compilers to Software Language Engineering CoCoDo Ralf Laemmel University of Koblenz-Landau, Germany Link to publication | ||
16:10 20mTalk | FunCons as the Future of Compiler Compilers CoCoDo | ||
16:30 30mDay closing | Final Discussion and Framework Pitches CoCoDo Vadim Zaytsev Raincode, Belgium | ||
15:30 - 17:00 | Session IVPX at D2.14 Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research, Robert Hirschfeld HPI, Hidehiko Masuhara Tokyo Institute of Technology | ||
15:30 60mTalk | User-Generated Variables: Streamlined Interaction Design for Feature Requests and Implementations PX Jun Kato National Institute of Advanced Industrial Science and Technology, Japan, Masataka Goto National Institute of Advanced Industrial Science and Technology, Japan | ||
16:30 30mDay closing | Open discussion and feedback PX | ||
15:30 - 17:00 | |||
15:30 60mOther | discussion (common roadmap) PASS | ||
16:30 30mDay closing | wrap-up PASS Christoph Bockisch Philipps-Universität Marburg | ||
17:00 - 17:45 | |||
17:00 22mTalk | Lightning Talks ELS | ||
17:22 22mDay closing | Announcements, wrapup, goodbye ELS | ||
17:30 - 20:00 | |||
17:30 2h30mSocial Event | Reception Social Events | ||
18:00 - 20:00 | |||
18:00 2hMeeting | Steering Committee Meeting Organizational S: Robert Hirschfeld HPI, Walter Binder University of Lugano, Krzysztof Czarnecki University of Waterloo, Canada, Erik Ernst Google, Lidia Fuentes Universidad de Málaga, Spain, Sudipto Ghosh Colorado State University, USA, David H. Lorenz Open University and Technion IIT, Jörg Kienzle McGill University, Canada, Gary T. Leavens University of Central Florida, Hidehiko Masuhara Tokyo Institute of Technology, Guido Salvaneschi TU Darmstadt, Mario Südholt École des Mines de Nantes, France, Peter Thiemann University of Freiburg, Eelco Visser Delft University of Technology, Steffen Zschaler King's College London, Guido Salvaneschi TU Darmstadt, Manuel Serrano Inria, France | ||
Wed 5 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 5 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 17:00 | |||
08:00 9hRegistration | Registration Organizational | ||
09:00 - 10:15 | |||
09:00 75mTalk | Live Literate Programming‹Programming› Keynote Keynotes | ||
10:15 - 10:45 | |||
10:45 - 12:15 | |||
10:45 30mTalk | Language Oriented Modularity: From Theory to Practice Research Papers Link to publication DOI | ||
11:15 30mTalk | A Module-System Discipline for Model-Driven Software Development Research Papers Link to publication DOI | ||
11:45 30mTalk | User-Defined Operators Including Name Binding for New Language Constructs Research Papers Link to publication DOI | ||
10:45 - 12:15 | |||
10:45 45mDemonstration | RedShell: Online Back-In-Time Debugging Demos | ||
11:30 45mDemonstration | Κόμπος: A Platform for Debugging Complex Concurrent Applications Demos Stefan Marr Johannes Kepler University Linz, Carmen Torres Lopez , Dominik Aumayr , Elisa Gonzalez Boix Vrije Universiteit Brussel, Hanspeter Mössenböck JKU Linz, Austria Pre-print | ||
12:15 - 13:30 | SRC PresentationsPosters at D2.14 Chair(s): Jennifer B. Sartor Sofware Languages Lab, Vrije Universiteit Brussel | ||
12:15 75mTalk | SRC Presentations Posters | ||
12:15 - 13:30 | |||
13:30 - 15:00 | |||
13:30 30mTalk | TRIOT: Faster tensor manipulation in C++11 Research Papers Link to publication DOI | ||
14:00 30mTalk | Effective Analysis of C Programs by Rewriting Variability Research Papers Alexandru Iosif-Lazar IT University of Copenhagen, Jean Melo IT University of Copenhagen, Aleksandar S. Dimovski IT University of Copenhagen, Denmark, Claus Brabrand IT University of Copenhagen, Denmark, Andrzej Wąsowski IT University of Copenhagen, Denmark Link to publication DOI | ||
14:30 30mTalk | Transition Watchpoints: Teaching Old Debuggers New Tricks Research Papers Link to publication DOI | ||
13:30 - 15:00 | |||
13:30 45mDemonstration | Modularizing Code by Use Cases and Tests for Better Maintainability Demos Michal Bystrický Slovak University of Technology in Bratislava, Valentino Vranić Slovak University of Technology in Bratislava Media Attached | ||
14:15 45mDemonstration | Application Embedding: From FishTank to Axiom Demos | ||
15:00 - 15:30 | |||
15:30 - 17:00 | |||
15:30 30mTalk | Relationship Maintenance in Software Language Repositories Research Papers Ralf Laemmel University of Koblenz-Landau, Germany Link to publication DOI | ||
16:00 30mTalk | Open Programming Language Interpreters Research Papers Link to publication DOI | ||
16:30 30mTalk | Interconnected Linguistic Architecture Research Papers Johannes Härtel University of Koblenz-Landau, Germany, Lukas Härtel University of Koblenz-Landau, Germany, Ralf Laemmel University of Koblenz-Landau, Germany, Andrei Varanovich University of Koblenz-Landau, Germany, Marcel Heinz University of Koblenz-Landau, Germany Link to publication DOI | ||
15:30 - 17:00 | |||
15:30 45mDemonstration | Live Development in Dart Demos | ||
16:15 45mDemonstration | Tools for Open, Transparent and Engaging Storytelling Demos Tomas Petricek Alan Turing Institute Media Attached | ||
18:10 - 22:00 | |||
18:10 3h50mSocial Event | Banquet Social Events | ||
Thu 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 17:00 | |||
08:00 9hRegistration | Registration Organizational | ||
09:00 - 10:15 | |||
09:00 75mTalk | How Racket Went Meta‹Programming› Keynote Keynotes File Attached | ||
10:15 - 10:45 | |||
10:45 - 12:15 | |||
10:45 30mTalk | Application Embedding: A Language Approach to Declarative Web Programming Research Papers Link to publication DOI | ||
11:15 30mTalk | Profunctor Optics: Modular Data Accessors Research Papers Matthew Pickering , Jeremy Gibbons Department of Computer Science, University of Oxford, Nicolas Wu University of Bristol Link to publication DOI | ||
11:45 30mTalk | Miscomputation in software: Learning to live with errors Research Papers Tomas Petricek Alan Turing Institute Link to publication DOI | ||
10:45 - 12:15 | |||
10:45 45mDemonstration | An Elixir Library for Programming Concurrent and Distributed Embedded Systems Demos Humberto Rodriguez Avila Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel | ||
11:30 45mDemonstration | Reactive Programming with REScala Demos | ||
12:15 - 13:30 | |||
13:30 - 15:00 | |||
13:30 30mTalk | Edit Transactions: Dynamically Scoped Change Sets for Controlled Updates in Live Programming Research Papers Link to publication DOI | ||
14:00 30mTalk | What Is the Best Way For Developers to Learn New Software Tools? An Empirical Comparison Between a Text and a Video Tutorial Research Papers Verena Käfer Universität Stuttgart, Daniel Kulesz Universität Stuttgart, Stefan Wagner Universität Stuttgart Link to publication DOI | ||
14:30 30mTalk | An Analysis of Introductory Programming Courses at UK Universities Research Papers Ellen Murphy University of Bath, Tom Crick Cardiff Metropolitan University, James H. Davenport University of Bath Link to publication DOI | ||
15:00 - 15:30 | |||
15:30 - 17:00 | |||
15:30 30mTalk | The pragmatics of clone detection and elimination Research Papers Link to publication DOI | ||
16:00 30mTalk | Does Python Smell Like Java? Research Papers Link to publication DOI | ||
16:30 30mTalk | Active Expressions: Basic Building Blocks for Reactive Programming Research Papers Link to publication DOI | ||
17:00 - 18:00 | |||
17:00 60mSocial Event | Brussels waffle social Social Events | ||