‹Programming› 2017 (series) /
‹Programming› 2017 Program
Filter 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
Conference DayMon 3 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Conference Day
Mon 3 AprDisplayed 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): Richard P. GabrielDream Songs, Inc. & IBM Research, Ademar AguiarFEUP, Universidade do Porto, Joe YoderThe 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 FelgentreffHasso-Plattner-Institute, Potsdam, Fabio NiephausHasso Plattner Institute, University of Potsdam, Tobias PapeHPI, Germany, Robert HirschfeldHPI 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 VanterOracle 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 BockischPhilipps-Universität Marburg, A: Arend Rensink, A: Mehmet AksitUniversity of Twente | ||
09:40 25mTalk | A Modular Meta-model for Security Solutions MOMO A: Laurens Sion, A: Koen Yskout, A: Riccardo Scandariato, A: Wouter JoosenKatholieke 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 TraonUniversity 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 MensUniversité Catholique de Louvain, Belgium, Benoît DuhouxUniversité catholique de Louvain, Belgium, Nicolás CardozoUniversidad 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): Joe YoderThe Refactory, Inc., Takashi IbaKeio University, Japan | ||
11:00 60mOther | Pattern Mining Workshop MiniPLoP | ||
11:00 - 12:00 | |||
11:10 25mTalk | Toward Virtual Machine Adaption Rather than Reimplementation MoreVMs Richard RobertsVictoria University of Wellington, Stefan MarrJohannes Kepler University Linz, Michael HomerVictoria University of Wellington, James NobleVictoria 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 CostiouUniversity of Brest, Mickael KerboeufUniversity of Brest, Marcus Denker INRIA Lille, Alain PlantecUniversity 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. GabrielDream 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 Clercocamljava.org File Attached | ||
13:45 25mTalk | On the Need of Compilepretation for Legacy Languages MoreVMs Vadim ZaytsevRaincode, 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 HafnerShirakumo.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. GabrielDream Songs, Inc. & IBM Research, Joe YoderThe Refactory, Inc., Ademar AguiarFEUP, Universidade do Porto | ||
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 DegenbaevGoogle, Jochen EisingerGoogle, Kentaro HaraGoogle, Marcel HlopkoGoogle, Michael LippautzGoogle, Hannes PayerGoogle File Attached | ||
15:55 25mTalk | OpenCL JIT Compilation for Dynamic Programming Languages MoreVMs Juan FumeroThe University of Edinburgh, Michel SteuwerThe University of Edinburgh, Lukas StadlerOracle Labs, Austria, Christophe DubachUniversity 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 SaeyVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Jennifer B. SartorSofware Languages Lab, Vrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel File Attached | ||
16:45 25mTalk | Moving beyond single-threaded concurrency MoreVMs Marek MareckiPolish-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 TanigawaKyusyu University, Harumi WatanabeTokai University, Nobuhiko OguraTokyo City University, Kenji HisazumiKyushu University, Akira FukudaKyushu 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. SartorSofware 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 | ||
Conference DayTue 4 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Conference Day
Tue 4 AprDisplayed 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 MeziniTU Darmstadt | ||
09:45 45mTalk | Some History and Future Perspectives on the Modularity Challenges for Large and Complex Software Systems Modularity Lodewijk BergmansSoftware Improvement Group File Attached | ||
09:00 - 10:30 | |||
09:00 10mTalk | Welcome to ProWeb ProWeb Coen De RooverVrije Universiteit Brussel, Anders MøllerAarhus University, Christophe ScholliersUniversiteit Gent, Belgium | ||
09:10 60mTalk | From Documents to Dialogues: Programming Technology for the Conversational WebProWeb Keynote ProWeb Tom Van CutsemNokia 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 PetricekAlan 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 PetricekAlan 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 ZaytsevRaincode, 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. GabrielDream Songs, Inc. & IBM Research, Robert HirschfeldHPI, Hidehiko MasuharaTokyo Institute of Technology | ||
09:00 30mDay opening | Arrival and Workshop Introduction PX | ||
09:30 60mTalk | Live Data Structure Programming PX Akio OkaDepartment of Information Science, Tokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology, Tomoki ImaiTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology | ||
09:00 - 10:30 | Invited Talk & Paper PresentationPASS at D2.15 Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign, USA | ||
09:00 60mTalk | Analysing Energy Consumption of Systems Controlled by SoftwarePASS invited talk PASS Bernard van GastelOpen University of the Netherlands, The Netherlands | ||
10:00 30mTalk | Abstractions for Distributed Event-Driven Systems PASS Christophe De Troyer, Jens NicolayVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium, Wolfgang De MeuterVrije 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 TekinerdoganWageningen University, The Netherlands File Attached | ||
11:00 - 12:00 | |||
11:00 25mTalk | Experience Report: Functional Reactive Programming and the DOM ProWeb Bob ReyndersiMinds - Distrinet, KU Leuven, Dominique DevrieseiMinds - Distrinet, KU Leuven, Frank PiessensiMinds, Belgium Pre-print | ||
11:25 25mTalk | Enriching the Internet By Acting and Reacting ProWeb Sam Van den Vonder, Florian MyterVrije Universiteit Brussel, Belgium, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije 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 MeiklejohnUniversité catholique de Louvain Pre-print | ||
11:50 10mTalk | Review: A Certain Tendency Of The Database Community Salon des Refusés Stephen KellUniversity of Cambridge | ||
11:00 - 12:00 | |||
11:00 60mTalk | Late Phases of Compilation in Rascal CoCoDo Anya Helene BaggeUniversity of Bergen | ||
11:00 - 12:00 | Session IIPX at D2.14 Chair(s): Hidehiko MasuharaTokyo Institute of Technology, Richard P. GabrielDream Songs, Inc. & IBM Research, Robert HirschfeldHPI | ||
11:00 60mTalk | Exploratory Development of Data-intensive Applications PX Patrick ReinHasso Plattner Institute, Marcel TaeumelHasso Plattner Institute, Robert HirschfeldHPI, Michael PerscheidHasso Plattner Institute | ||
11:00 - 12:00 | |||
11:00 60mTalk | Teaching a Systematic Design Method for Concurrent ProgramsPASS invited talk PASS Harrie PassierOpen 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 LierFriedrich-Alexander-Universität Erlangen-Nürnberg, Kai SelgradFriedrich-Alexander-Universität Erlangen-Nürnberg, Marc StammingerFriedrich-Alexander-Universität Erlangen-Nürnberg | ||
14:30 30mTalk | Static Taint Analysis of Event-driven Scheme Programs ELS Jonas De Bleser, Quentin StiévenartVrije Universiteit Brussel, Belgium, Jens NicolayVrije Universiteit Brussel, Belgium, Coen De RooverVrije Universiteit Brussel | ||
13:30 - 15:00 | |||
13:30 45mTalk | SoC Spaces - Indexes for Composition Modularity Uwe AßmannTU Dresden, Germany File Attached | ||
14:15 45mTalk | Formal Verification for Cross-cutting Modularity Modularity Shmuel KatzComputer 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 Robby FindlerNorthwestern University | ||
13:30 - 15:00 | Session IIIPX at D2.14 Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research, Robert HirschfeldHPI, Hidehiko MasuharaTokyo Institute of Technology | ||
13:30 45mDemonstration | Runtime Metric Meets Developer: Augmenting Source Code with Runtime Information to Make Programs Live PX Jürgen CitoUniversity of Zurich | ||
14:15 45mTalk | Squeak Makes a Good Python Debugger PX Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffHasso-Plattner-Institute, Potsdam, Tobias PapeHPI, Germany, Robert HirschfeldHPI | ||
13:30 - 15:00 | |||
13:30 60mTalk | Managed Language Runtimes on Heterogeneous Hardware: Optimizations for Performance, Efficiency and Lifetime ImprovementPASS invited talk PASS Shoaib AkramGhent 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 RaskinUniversité 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 KienzleMcGill University, Canada | ||
15:30 - 17:00 | |||
15:30 25mTalk | Towards the Web for Virtual Being ProWeb Nikolai SuslovFund 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 TchernavskijEx 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 TchernavskijEx 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 LaemmelUniversity 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 ZaytsevRaincode, Belgium | ||
15:30 - 17:00 | Session IVPX at D2.14 Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research, Robert HirschfeldHPI, Hidehiko MasuharaTokyo Institute of Technology | ||
15:30 60mTalk | User-Generated Variables: Streamlined Interaction Design for Feature Requests and Implementations PX Jun KatoNational Institute of Advanced Industrial Science and Technology, Japan, Masataka GotoNational 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 BockischPhilipps-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 HirschfeldHPI, Walter BinderUniversity of Lugano, Krzysztof CzarneckiUniversity of Waterloo, Canada, Erik ErnstGoogle, Lidia FuentesUniversidad de Málaga, Spain, Sudipto GhoshColorado State University, USA, David H. LorenzOpen University and Technion IIT, Jörg KienzleMcGill University, Canada, Gary Leavens University of Central Florida, Hidehiko MasuharaTokyo Institute of Technology, Guido SalvaneschiTU Darmstadt, Mario SüdholtÉcole des Mines de Nantes, France, Peter ThiemannUniversity of Freiburg, Eelco VisserDelft University of Technology, Steffen ZschalerKing's College London, Guido SalvaneschiTU Darmstadt, Manuel SerranoInria, France | ||
Conference DayWed 5 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Conference Day
Wed 5 AprDisplayed 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 MarrJohannes Kepler University Linz, Carmen Torres Lopez, Dominik Aumayr, Elisa Gonzalez BoixVrije Universiteit Brussel, Hanspeter MössenböckJKU Linz, Austria Pre-print | ||
12:15 - 13:30 | SRC PresentationsPosters at D2.14 Chair(s): Jennifer B. SartorSofware 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-LazarIT University of Copenhagen, Jean MeloIT University of Copenhagen, Aleksandar S. DimovskiIT University of Copenhagen, Denmark, Claus BrabrandIT University of Copenhagen, Denmark, Andrzej WąsowskiIT 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 LaemmelUniversity 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ärtelUniversity of Koblenz-Landau, Germany, Lukas HärtelUniversity of Koblenz-Landau, Germany, Ralf LaemmelUniversity of Koblenz-Landau, Germany, Andrei VaranovichUniversity of Koblenz-Landau, Germany, Marcel HeinzUniversity 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 PetricekAlan Turing Institute Media Attached | ||
18:10 - 22:00 | |||
18:10 3h50mSocial Event | Banquet Social Events | ||
Conference DayThu 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Conference Day
Thu 6 AprDisplayed 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 GibbonsDepartment of Computer Science, University of Oxford, Nicolas WuUniversity of Bristol Link to publication DOI | ||
11:45 30mTalk | Miscomputation in software: Learning to live with errors Research Papers Tomas PetricekAlan 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 AvilaVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Wolfgang De MeuterVrije 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äferUniversität Stuttgart, Daniel KuleszUniversität Stuttgart, Stefan WagnerUniversität Stuttgart Link to publication DOI | ||
14:30 30mTalk | An Analysis of Introductory Programming Courses at UK Universities Research Papers Ellen MurphyUniversity of Bath, Tom CrickCardiff Metropolitan University, James H. DavenportUniversity 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 | ||