‹Programming› 2022 (series) /
‹Programming› 2022 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Wed 16 MarDisplayed time zone: Lisbon change
Wed 16 Mar
Displayed time zone: Lisbon change
Sun 20 MarDisplayed time zone: Lisbon change
Sun 20 Mar
Displayed time zone: Lisbon change
10:00 - 17:00 | |||
10:00 7hSocial Event | Porto Walk & Talk Social Events | ||
Mon 21 MarDisplayed time zone: Lisbon change
Mon 21 Mar
Displayed time zone: Lisbon change
08:30 - 09:00 | |||
08:30 30m | Café & Nata Catering | ||
08:30 - 09:00 | |||
08:30 30mRegistration | Registration | ||
09:00 - 10:00 | |||
09:00 15mTalk | Welcome Message ELS | ||
09:15 45mTalk | Research Paper: Open Closures: Disclosing lambda's inner monomaniac object! ELS Stefan Monnier Université de Montréal | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering | ||
10:30 - 12:00 | |||
10:30 60mTalk | Lisp as Renaissance Workshop: A Lispy Tour through Mathematical PhysicsELS Keynote ELS Sam Ritchie Mentat Collective | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 30mTalk | Research Paper: QueryFS: compiling queries to define a filesystem ELS Michael Raskin Université de Bordeaux / LaBRI | ||
14:00 30mTalk | Research Paper: A CLOS protocol for lexical environments ELS | ||
14:30 30mTalk | IoT devices and embedded systems with uLispDemo ELS | ||
13:30 - 15:00 | The Boxer ExperienceBoxer Salon at Workshop I Chair(s): Antranig Basman Raising the Floor - International | ||
13:30 10mTalk | Welcome and Introduction to Boxer Boxer Salon Antranig Basman Raising the Floor - International | ||
13:40 15mDemonstration | Hands-on with BoxerDemo Boxer Salon Steven Githens diSessa Family Foundation | ||
13:55 20mTalk | The Boxer ExperienceBoxer Invited Talk Boxer Salon | ||
14:15 15mTalk | Boxer Down-Under Boxer Salon Liddy Nevile Sunrise Research Laboratory, Royal Melbourne Institute of Technology | ||
14:30 10mTalk | Chartworld in the Classroom Boxer Salon | ||
14:40 20mPanel | Boxer Microworlds of Our Time Boxer Salon | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering | ||
15:30 - 17:00 | |||
15:30 30mTalk | Research Paper: Closing the Performance Gap Between Lisp and C ELS | ||
16:00 30mTalk | April APL CompilerRemoteDemo ELS | ||
16:30 30mTalk | Enlightening Lightning Talks ELS | ||
15:30 - 17:00 | |||
15:30 20mTalk | Boxer: A Teacher's Experience Boxer Salon | ||
15:50 15mTalk | Boxer: An appreciation in five inventions Boxer Salon Chris Hancock Tertl Consulting | ||
16:10 20mTalk | Automatic Programming and Education Boxer Salon Clayton Lewis University of Colorado Boulder | ||
16:30 30mPanel | Roles for Boxer in Education and Beyond Boxer Salon | ||
18:00 - 22:00 | |||
18:00 4hDinner | Welcome Reception Social Events | ||
Tue 22 MarDisplayed time zone: Lisbon change
Tue 22 Mar
Displayed time zone: Lisbon change
08:30 - 09:00 | |||
08:30 30m | Café & Nata Catering | ||
08:30 - 09:00 | |||
08:30 30mRegistration | Registration | ||
09:00 - 10:00 | |||
09:00 30mTalk | Research Paper: An Ontology-Based Dialogue Managment Framework for Virtual Personal Assistants in Common LispRemote ELS | ||
09:30 30mTalk | Demo: ETAP: Experimental Typesetting Algorithms PlatformDemo ELS Didier Verna EPITA / LRDE | ||
09:00 - 10:00 | |||
09:00 5mDay opening | Welcome MoreVMs C: Rodrigo Bruno INESC-ID / Técnico, ULisboa, C: Michael Engel Norwegian University of Science and Technology (NTNU) | ||
09:05 55mMeeting | Round Table MoreVMs | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering | ||
10:30 - 12:00 | |||
10:30 60mTalk | Creating a Common Lisp ImplementationELS Keynote ELS | ||
11:30 30mTalk | SICL demo ELS | ||
10:30 - 12:00 | |||
10:30 25mTalk | Interpreter Register Autolocalisation: Improving the performance of efficient interpreters MoreVMs Guillermo Polito CNRS; CRIStAL; University of Lille; Centrale Lille; Inria, Pablo Tesone Inria Lille–Nord Europe, France Mines Douai, IA, Univ. Lille, France, Stéphane Ducasse Inria; University of Lille; CNRS; Centrale Lille; CRIStAL, Nahuel Palumbo Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Soufyane Labsari Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL File Attached | ||
10:55 25mTalk | Less Is More: Merging AST Nodes To Optimize Interpreters MoreVMs Media Attached File Attached | ||
11:20 25mTalk | Towards Just-in-time and Language-agnostic Mutation Testing MoreVMs Stefan Reschke Hasso Plattner Institute, University of Potsdam, Toni Mattis Hasso Plattner Institute, University of Potsdam, Fabio Niephaus Oracle Labs, Potsdam, Robert Hirschfeld HPI, University of Potsdam File Attached | ||
11:45 15mOther | Discussion MoreVMs C: Rodrigo Bruno INESC-ID / Técnico, ULisboa, C: Michael Engel Norwegian University of Science and Technology (NTNU) | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 30mTalk | TBA ELS | ||
14:00 60mKeynote | Building SICMUtils, the Atelier of AbstractionsELS Keynote ELS Sam Ritchie Mentat Collective | ||
13:30 - 15:00 | Boxer and Education IIBoxer Salon at Workshop I Chair(s): Clayton Lewis University of Colorado Boulder | ||
13:30 20mTalk | Boxer and Change Boxer Salon Deborah Tatar Virginia Tech, USA | ||
13:50 20mTalk | Creating New Programming Experiences Inspired by Boxer for Developing Computationally Literate Society Boxer Salon Mark Guzdial University of Michigan | ||
14:10 20mTalk | Some Humbling Lessons from a Reconstructible Computational Medium Boxer Salon Flávio Azevedo STEM Education The University of Texas at Austin | ||
14:30 30mPanel | Learning from Boxer's Experiences Boxer Salon | ||
13:30 - 15:00 | |||
13:30 25mTalk | Who You Gonna Call? A Case Study about the Call-Site Behaviour in Ruby-on-Rails Applications MoreVMs Sophie Kaleba University of Kent, Octave Larose University of Kent, Stefan Marr University of Kent, Richard Jones University of Kent Media Attached File Attached | ||
13:55 55mKeynote | Torchy: A Tracing JIT Compiler for PyTorch MoreVMs Nuno P. Lopes Universidade de Lisboa | ||
14:50 10mDay closing | Wrap-Up MoreVMs C: Rodrigo Bruno INESC-ID / Técnico, ULisboa, C: Michael Engel Norwegian University of Science and Technology (NTNU) | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering | ||
15:30 - 17:00 | |||
15:30 30mTalk | Enlightening Lightning Talks ELS | ||
16:00 30mTalk | Research Paper: RacketLogger: Logging and Visualising Changes in DrRacket ELS Turgut Reis Kursun VUB, Jens Van der Plas Software Languages Lab, Vrije Universiteit Brussel, Quentin Stiévenart Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel | ||
16:30 30mTalk | Research Paper: Transpiling Python to Julia using PyJL ELS | ||
15:30 - 17:00 | Implementing BoxerBoxer Salon at Workshop I Chair(s): Jonathan Edwards Massachusetts Institute of Technology | ||
15:30 20mTalk | BoxerJS: Reflections on a JavaScript Boxer implementation Boxer Salon Bruce Sherin Northwestern University, USA | ||
15:50 20mTalk | On the Generality of Boxer Principles of Spatial Metaphor and Naive Realism Boxer Salon Jeremy Roschelle Digital Promise | ||
16:10 10mTalk | Boxer Sunrise Project Update Boxer Salon Steven Githens diSessa Family Foundation | ||
16:20 10mTalk | Boxer and the Tradition of Materialised Programming Boxer Salon Antranig Basman Raising the Floor - International | ||
16:30 10mTalk | Boxer and the "Time of Possibility" Boxer Salon Luke Church University of Cambridge | Lund University | Lark Systems | ||
16:40 20mPanel | How can Boxer be Built? Boxer Salon | ||
18:00 - 22:00 | |||
18:00 4hDinner | Sunset Cocktail Social Events | ||
Wed 23 MarDisplayed time zone: Lisbon change
Wed 23 Mar
Displayed time zone: Lisbon change
08:30 - 09:00 | |||
08:30 30m | Café & Nata Catering | ||
08:30 - 09:00 | |||
08:30 30mRegistration | Registration | ||
08:45 - 09:00 | |||
08:45 15mOther | Conference Opening G: Ademar Aguiar FEUP, Universidade do Porto, A: Emma Söderberg Lund University, S: Guido Salvaneschi University of St. Gallen | ||
09:00 - 10:00 | |||
09:00 60mKeynote | The Curious Case of Code Duplication in GitHub‹Programming› Keynote Keynotes | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering | ||
10:30 - 12:00 | Compiler ConstructionResearch Papers at Auditorium Nobre Chair(s): Coen De Roover Vrije Universiteit Brussel | ||
10:30 30mTalk | Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build SystemVol. 4 Research Papers Jeff Smits Delft University of Technology, Netherlands, Gabriël Konat Delft University of Technology, Eelco Visser Delft University of Technology Link to publication DOI Pre-print | ||
11:00 30mTalk | Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute GrammarsVol. 4 Research Papers Johannes Mey Technische Universität Dresden, Thomas Kühn Karlsruhe Institute of Technology, René Schöne Technische Universität Dresden, Uwe Aßmann TU Dresden, Germany Link to publication DOI Pre-print | ||
10:30 - 12:00 | |||
10:30 30mDemonstration | Programming Geo-Distributed Systems using ECROs (demo) Posters and Demonstrations | ||
11:00 30mDemonstration | WOOD: An out-of-things Debugger for IoT applications (demo) Posters and Demonstrations Carlos Rojas Castillo Vrije Universiteit Brussel, Matteo Marra Vrije Universiteit Brussel, Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium | ||
11:30 30mDemonstration | Flec: practical CRDTs on IoT hardware (demo) Posters and Demonstrations | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 30mTalk | Prioritising Server Side Reachability via Inter-process Concolic TestingVol. 5 Research Papers Maarten Vandercammen Vrije Universiteit Brussel, Laurent Christophe VUB, Dario Di Nucci University of Salerno, Wolfgang De Meuter Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel Link to publication DOI | ||
14:00 30mTalk | Did JHotDraw respect the Law of Good Style? - A deep dive into the nature of false positives of bad code smellsVol. 4Editors’ Award Research Papers Daniel Speicher cronn GmbH, Bonn Link to publication DOI Pre-print | ||
13:30 - 15:00 | |||
13:30 90mPoster | Genetic Engine: Grammar-Guided Genetic Programming without the grammar (poster) Posters and Demonstrations Leon Ingelse LASIGE, Faculdade de Ciências da Universidade de Lisboa, Guilherme Espada LASIGE, Faculdade de Ciências, Universidade de Lisboa, Paulo Canelas LASIGE, Faculdade de Ciências da Universidade de Lisboa, Pedro Barbosa LASIGE, Alcides Fonseca LASIGE, Faculty of Sciences, University of Lisbon | ||
13:30 90mPoster | Less Is More: Merging AST Nodes To Optimize Interpreters (poster) Posters and Demonstrations | ||
13:30 90mPoster | Enhancing DrRacket with Dodona for Learning Scheme (poster) Posters and Demonstrations | ||
13:30 90mPoster | WARDuino IoT: Virtual Machine Technology for Programming IoT Applications on Embedded Systems (poster) Posters and Demonstrations Robbert Gurdeep Singh Universiteit Gent, Belgium, Tom Lauwaerts Universiteit Gent, Belgium, Christophe Scholliers Universiteit Gent, Belgium | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering | ||
15:30 - 16:30 | |||
15:30 30mTalk | Bacatá: Notebooks for DSLs, Almost for FreeVol. 4 Research Papers Mauricio Verano Merino Vrije Universiteit Amsterdam, Jurgen Vinju CWI; Eindhoven University of Technology, Tijs van der Storm CWI; University of Groningen Link to publication DOI Pre-print | ||
16:00 30mTalk | Foundations of a live data exploration environmentReviewers’ AwardVol. 4 Research Papers Tomas Petricek University of Kent Link to publication DOI Pre-print | ||
15:30 - 17:00 | |||
15:30 45mOther | Open Space Wed V Open Space | ||
16:15 45mOther | Open Space Wed VI Open Space | ||
16:30 - 17:00 | |||
18:00 - 19:15 | |||
18:00 75mSocial Event | Guided Visit to Port Wine Cellars @ Cockburns Social Events | ||
19:30 - 22:00 | |||
19:30 2h30mDinner | Banquet Social Events | ||
Thu 24 MarDisplayed time zone: Lisbon change
Thu 24 Mar
Displayed time zone: Lisbon change
08:30 - 09:00 | |||
08:30 30m | Café & Nata Catering | ||
08:30 - 09:00 | |||
08:30 30mRegistration | Registration | ||
08:45 - 09:00 | |||
08:45 15mAwards | Awards | ||
09:00 - 10:00 | |||
09:00 60mKeynote | The Road to Reality: Interactive Physics from Eval to Einstein‹Programming› Keynote Keynotes | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering | ||
10:30 - 12:00 | |||
10:30 30mResearch paper | The Art of the Meta Stream Protocol: Torrents of StreamsVol. 6 Research Papers Christophe De Troyer Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel Link to publication | ||
11:00 30mResearch paper | Topology-level Reactivity in Distributed Reactive Programs: Reactive Acquaintance Management using Proximity SetsVol. 6 Research Papers Sam Van den Vonder Vrije Universiteit Brussel, Thierry Renaux Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel Link to publication DOI | ||
11:30 30mResearch paper | United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in TreesVol. 6 Research Papers Andrey Mokhov Jane Street Link to publication | ||
10:30 - 12:00 | |||
10:30 30mDemonstration | Genetic Engine: Genetic Programming for the Common Programmer (demo) Posters and Demonstrations Guilherme Espada LASIGE, Faculdade de Ciências, Universidade de Lisboa, Leon Ingelse LASIGE, Faculdade de Ciências da Universidade de Lisboa, Alcides Fonseca LASIGE, Faculty of Sciences, University of Lisbon | ||
11:00 30mDemonstration | Dive into LiquidJava — Extending Java with Liquid Types (demo) Posters and Demonstrations Catarina Gamboa LASIGE, Faculdade de Ciências da Universidade de Lisboa, Paulo Canelas LASIGE, Faculdade de Ciências da Universidade de Lisboa, Christopher Steven Timperley Carnegie Mellon University, Alcides Fonseca LASIGE, Faculty of Sciences, University of Lisbon | ||
11:30 30mDemonstration | WARDuino IoT: Virtual Machine Technology for Programming IoT Applications on Embedded Systems (demo) Posters and Demonstrations Tom Lauwaerts Universiteit Gent, Belgium, Robbert Gurdeep Singh Universiteit Gent, Belgium, Christophe Scholliers Universiteit Gent, Belgium | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | Concurrency & SynchronizationResearch Papers at Auditorium Nobre Chair(s): Ademar Aguiar FEUP, Universidade do Porto | ||
13:30 30mTalk | Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & ReplayVol. 5 Research Papers Dominik Aumayr Johannes Kepler University Linz, Austria, Stefan Marr University of Kent, Sophie Kaleba University of Kent, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium, Hanspeter Mössenböck JKU Linz Link to publication DOI | ||
14:00 30mTalk | Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed TransactionsVol. 5 Research Papers Tim Soethout ING Bank; CWI, Tijs van der Storm CWI; University of Groningen, Jurgen Vinju CWI; Eindhoven University of Technology Link to publication DOI | ||
14:30 30mResearch paper | An Optimised Flow for Futures: From Theory to PracticeVol. 6 Research Papers Link to publication | ||
13:30 - 15:00 | |||
13:30 45mOther | Open Space Thu III Open Space | ||
14:15 45mOther | Open Space Thu IV Open Space | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering | ||
15:30 - 16:15 | |||
15:30 45mOther | Conference Closing | ||
18:00 - 22:00 | |||
18:00 4hDinner | Porto Food Tour Social Events | ||
Fri 25 MarDisplayed time zone: Lisbon change
Fri 25 Mar
Displayed time zone: Lisbon change
08:30 - 09:00 | |||
08:30 30m | Café & Nata Catering | ||
08:30 - 09:00 | |||
08:30 30mRegistration | Registration | ||
09:00 - 10:00 | |||
09:00 30mTalk | The problem of programming systems research methodologies MOPS | ||
09:30 30mPanel | What are programming systems & how do you study them? MOPS Tomas Petricek University of Kent | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering | ||
10:30 - 12:00 | Technical dimensions of programming systemsMOPS at OpenSpace We will present our work on developing the “technical dimensions” framework, which aims to provide useful strucutre for evaluation of programming systems. After an introduction to the framework, we’ll work together to see how it applies to interesting current programming systems (ideally developed by tutorial participants!) | ||
10:30 45mTalk | Introduction to the technical dimensions framework MOPS Joel Jakubovic University of Kent | ||
11:15 45mPanel | Analysing programming systems using technical dimensions MOPS | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | Future of programming systems researchMOPS at OpenSpace What does the future of research on programming systems look like? Is there more to be added to the technical dimensions framework? Are there alternative approaches to the problem that motivated this tutorial? What would be the best next steps for the “programming systems” research community and our research? | ||
13:30 45mTalk | Future of technical dimensions & what is missing MOPS | ||
14:15 45mPanel | Next steps for programming systems research MOPS | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering | ||
18:00 - 22:00 | |||
18:00 4hDinner | Dine & Wine Social Events | ||
Mon 11 AprDisplayed time zone: Lisbon change
Mon 11 Apr
Displayed time zone: Lisbon change
06:00 - 09:00 | |||
06:00 15mOther | Conference Opening G: Ademar Aguiar FEUP, Universidade do Porto, A: Emma Söderberg Lund University, S: Guido Salvaneschi University of St. Gallen | ||
06:15 25mResearch paper | Type Checking Extracted MethodsVol. 6 Research Papers Link to publication | ||
06:40 25mResearch paper | Types for Tables: A Language Design BenchmarkEditors’ AwardVol. 6 Research Papers Kuang-Chen Lu Brown University, USA, Ben Greenman Brown University, Shriram Krishnamurthi Brown University, United States Link to publication | ||
07:05 25mResearch paper | Continuation-Passing Style, Defunctionalization, Accumulations, and AssociativityReviewers’ AwardVol. 6 Research Papers Jeremy Gibbons Department of Computer Science, University of Oxford Link to publication | ||
07:30 25mResearch paper | The Art of the Meta Stream Protocol: Torrents of StreamsVol. 6 Research Papers Christophe De Troyer Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel Link to publication | ||
Tue 12 AprDisplayed time zone: Lisbon change
Tue 12 Apr
Displayed time zone: Lisbon change
06:00 - 09:00 | ‹Programming› Online TuesdayResearch Papers / at Virtual Space Chair(s): Theo D'Hondt Vrije Universiteit Brussel | ||
06:00 25mTalk | Day 2 Opening | Bitrot Revisited: Local First Software and Orthogonal Synchronization Gilad Bracha F5 | ||
06:25 25mResearch paper | A Transient Semantics for Typed RacketVol. 6 Research Papers Ben Greenman Brown University, Lukas Lazarek Northwestern University, Christos Dimoulas PLT @ Northwestern University, Matthias Felleisen Northeastern University Link to publication | ||
06:50 25mResearch paper | A Functional Programming Language with VersionsVol. 6 Research Papers Yudai Tanabe Tokyo Institute of Technology, Luthfan Anshar Lubis , Tomoyuki Aotani Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology Link to publication | ||
07:15 25mResearch paper | An Optimised Flow for Futures: From Theory to PracticeVol. 6 Research Papers Link to publication | ||
Wed 13 AprDisplayed time zone: Lisbon change
Wed 13 Apr
Displayed time zone: Lisbon change
06:00 - 09:00 | ‹Programming› Online WednesdayResearch Papers / at Virtual Space Chair(s): Emma Söderberg Lund University | ||
06:00 25mOther | Day 3 Opening | Games & Social Eva Krebs Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld HPI, University of Potsdam | ||
06:25 25mResearch paper | Figuring and Drawing: a visual approach to principled programmingVol. 6 Research Papers Elpida Keravnou-Papailiou University of Cyprus | ||
06:50 25mResearch paper | Automated, Targeted Testing of Property-Based Testing PredicatesVol. 6 Research Papers Tim Nelson Brown University, Elijah Rivera , Sam Soucie Indiana University, Thomas Del Vecchio Brown University, John Wrenn Brown University, Shriram Krishnamurthi Brown University, United States Link to publication | ||
07:15 25mResearch paper | Deriving Static Security Testing from Runtime Security Protection for Web ApplicationsVol. 6 Research Papers Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Link to publication | ||
Thu 14 AprDisplayed time zone: Lisbon change
Thu 14 Apr
Displayed time zone: Lisbon change
06:00 - 09:00 | ‹Programming› Online ThursdayResearch Papers / at Virtual Space Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford | ||
06:00 25mTalk | Day 4 Opening | N Things I Hate About \nu* James Noble Creative Research & Programming | ||
06:25 25mResearch paper | Topology-level Reactivity in Distributed Reactive Programs: Reactive Acquaintance Management using Proximity SetsVol. 6 Research Papers Sam Van den Vonder Vrije Universiteit Brussel, Thierry Renaux Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel Link to publication DOI | ||
06:50 25mResearch paper | Sham: A DSL for Fast DSLsVol. 6 Research Papers Rajan Walia Indiana University, Chung-chieh Shan Indiana University, USA, Sam Tobin-Hochstadt Indiana University Link to publication | ||
07:15 25mResearch paper | Debootstrapping without archeology: Stacked implementations in CamlbootVol. 6 Research Papers | ||
07:40 25mOther | Conference Closing | ||