News
2019
-
November 11, 2019: I will give a lecture at the Programming Languages Implementation Summer School (PLISS 2020) in Bertinoro, Italy in May 2020.
-
October 14, 2019: Proud to present: Proceedings of the ACM on Programming Languages. Volume 3 Issue OOPSLA, October 2019. All 73 articles are open access. The editorial message explains the reviewing process.
-
October 1, 2019: I will be speaking at a KNAW symposium on safety-critical software (in dutch) about language-based software safety. Attendance on October 31 is free (register at the website).
-
September 29, 2019: Fast and Safe Linguistic Abstraction for the Masses (my contribution to the 2018 workshop A Research Agenda for Formal Methods in the Netherlands)
-
August 27, 2019: Jasper Denkers wins best paper and best presentation award at ESEC/FSE 2019 Doctoral Symposium for his paper on “A Longitudinal Field Study on Creation and Use of Domain-Specific Languages in Industry” based on work with/at Océ.
-
August 9, 2019: The Spoofax team has a vacancy for a PhD student in language engineering
-
June 19, 2019: Eduardo Amorim successfully defended his PhD thesis Declarative Syntax Definition for Modern Language Workbenches and was awarded the degree of doctor.
-
June 11, 2019: The paper Scopes and Frames Improve Meta-Interpreter Specialization by Vlad Vergu, Andrew Tolmach, and Eelco Visser has been accepted at ECOOP 2019.
-
April 25, 2019: Oracle donates $100K to support research on Flexible, Composable, and Incremental Compiler Pipelines
-
April 10, 2019: The ‘brave new idea’ paper Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications by Daniël Pelsmaeker, Hendrik van Antwerpen, and Eelco Visser has been accepted at ECOOP 2019.
-
March 27, 2019: Daco Harkes successfully defended his PhD thesis Declarative Specification of Information System Data Models and Business Logic and was awarded the degree of doctor.
-
March 15, 2019: The PL group has an opening for an assistant or associate professor in programming languages
-
March 13, 2019: Talk A Direct Semantics for Declarative Disambiguation Rules
-
March 7, 2019: The PL group has a website, including a page with upcoming seminar talks!
-
February 24, 2019: Dissertation Daco Harkes printed
-
February 19, 2019: Slides: Declarative type system specification with Statix
-
Janary 1, 2019: Welcome to Casper Bach Poulsen as new assistant professor in the Programming Languages Group.
2018
August 24, 2018
-
three papers accepted at SLE 2018:
-
Declarative specification of indentation rules: A tooling perspective on parsing and pretty-printing layout-sensitive languages by Eduardo Amorim, Michael Steindorfer, Sebastian Erdweg, and Eelco Visser
-
Migrating custom DSL implementations to a language workbench: An industrial tool demonstration by Jasper Denkers, Louis van Gool, and Eelco Visser
-
Migrating business logic to an incremental computing DSL: A case study by Daco Harkes, Elmer van Chastelet, and Eelco Visser
August 16, 2018
- Paper Scopes as Types by Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser accepted for OOPSLA 2018. The artifact accompanying the paper has also been accepted as Functional and Reusable
July 23, 2018
- The video of my talk at Curry On 2018 in Amsterdam is now online
July 18, 2018
- Congratulations to Robbert Krebbers for his NWO Veni grant for Verified programming language interaction
July 6, 2018
- Paper “Specializing a Meta-Interpreter” by Vlad Vergu and Eelco Visser accepted for ManLang 2018
July 5, 2018
- Paper Scopes as Types by Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser conditionally accepted for OOPSLA 2018
July 3, 2018
- Paper “Scalable Incremental Building with Dynamic Task Dependencies” by Gabriël Konat, Sebastian Erdweg, and Eelco Visser accepted for ASE 2018
February 5, 2018
- Paper PIE: A Domain-Specific Language for Interactive Software Development Pipelines by Gabriël Konat, Michael J. Steindorfer, Sebastian Erdweg and Eelco Visser accepted for ‹Programming› 2018
February 5, 2018
- Paper Towards Zero-Overhead Disambiguation of Deep Priority Conflicts by Luís Eduardo de Souza Amorim, Michael J. Steindorfer and Eelco Visser accepted for ‹Programming› 2018
January 1, 2018
- I have been invited to talk at Curry On 2018 in Amsterdam
2017
December 19, 2017
- Paper PixieDust: Declarative Incremental User Interface Rendering through Static Dependency Tracking by Nick ten Veen, Daco Harkes and Eelco Visser accepted for WWW 2018 track on Web Programming
September 26, 2017
- Paper Intrinsically Typed Definitional Interpreters for Imperative Languages by Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, and Eelco Visser accepted at POPL 2018 [video] [paper]
August 11, 2017
- Paper “The Semantics of Name Resolution in Grace” by Vlad Vergu and Eelco Visser accepted at DLS 2017
August 4, 2017
- Paper: “Deep Priority Conflicts in the Wild — A Pilot Study” by Eduardo Amorim, Michael Steindorfer, and Eelco Visser accepted at SLE 2017
August 4, 2017
- Paper “FlowSpec: Declarative Dataflow Analysis Specification” by Jeff Smits and Eelco Visser accepted at SLE 2017
July 10, 2017
- I will serve on the OOPSLA 2018 program committee; submission deadline is April 16, 2017; submit interesting papers!
April 26, 2017
- I will give a talk about scope graphs at Curry On 2017 in Barcelona (video)
April 12, 2017
- Paper IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition with Daco Harkes accepted at ECOOP 2017
March 6, 2017
- I will be on the Program Committee of ‹Programming› 2018; submit interesting papers!
February 28, 2017
- I will be lecturing on Declarative Language Definition at the ECOOP 2017 Summer School
2016
December 18, 2016
- I’m in the PC of ProWeb 2017; submit interesting papers!
October 24, 2016
- Proceedings of SPLASH 2016 available from ACM DL.
September 10, 2016
- Paper Teaching Concepts of Programming Languages with Definitional Interpreters in Scala and the WebLab Learning Management System. An Experience Report to appear at Scala 2016
August 25, 2016
- Paper Bootstrapping domain-specific meta-Languages in language workbenches to appear at GPCE 2016
August 22, 2016
- Paper Principled syntactic code completion using placeholders to appear at SLE 2016
July 8, 2016
- Paper “Software that meets its Intent” to appear at ISoLA 2016
July 6, 2016
- I have been invited to the program committee of ICSE 2018; submit interesting papers, please!
July 5, 2016
- Presentation Grace in Spoofax: Readable Specification and Implementation in One by Michiel Haise at Grace 2016 workshop in Rome
May 24, 2016
- Robbert Krebbers will join the Programming Languages group as assistant professor in September 2016.
May 17, 2016
- Paper Towards Live Language Development at LIVE 2016 in Rome
April 15, 2016
- Guido Wachsmuth has started in a new position at Oracle Labs Zürich where he has started working on integrating Spoofax and Truffle
April 12, 2016
- Paper IceDust: Incremental and eventual computation of derived values in persistent object graphs accepted at ECOOP 2016
April 4, 2016
- Paper Scopes describe frames: A uniform model for memory layout in dynamic semantics (ECOOP16) accepted at ECOOP 2016
March 11, 2016
- Sebastian Erdweg will join the PL group as assistant professor per April 1, 2016
January 15, 2016
- TU Delft now has an official Programming Languages Group
2015
October 23, 2015
- We are hiring an assistant professor in programming languages
October 21, 2015
September 28, 2015
- I will give a tutorial Declare Your Language (And Run it Too) with the Spoofax Language Workbench at POPL 2016
September 17, 2015
- Technical report: A constraint language for static semantic analysis based on scope graphs
September 7, 2015
- Community survey paper Evaluating and comparing language workbenches. Existing results and benchmarks for the future published in Computer Languages, Systems & Structures journal.
September 5, 2015
August 23, 2015
- SPLASH 2015 poster: Towards a domain-specific content management system for managing large conference websites about conf.researchr.org
August 10, 2015
- Domain-specific language engineering paper on Hacker News
July 10, 2015
- Technical report on language-independent type-dependent name resolution extending our work on scope graphs.
June 13, 2015
- Declare Your Language a book (in progress) on language definition with the Spoofax Language Workbench.
May 19, 2015
- I will give a hands-on tutorial on language definition with Spoofax at the Summer School on DSL Design and Implementation at EPFL in Lausanne on July 13.
April 15, 2015
- EAPLS Award 2015 (aka ETAPS 2015 Best Paper Award) for A Theory of Name Resolution
April 8, 2015
- Paper DynSem: A DSL for Dynamic Semantics Specification accepted at RTA 2015
March 4, 2015
- I have been invited to give the keynote talk at the Dynamic Languages Symposium at SPLASH 2015
2014
December 12, 2014
- Paper “A Theory of Name Resolution” accepted at ESOP 2015 (Pre-print)
September 11, 2014
- We have a position for a PhD student in automatic assessment and feeback for online assignments
August 22, 2014
- I will serve as General Chair of SPLASH 2016
August 3, 2014
- Paper on A language designer’s workbench. A one-stop-shop for implementation and verification of language designs accepted at Onward! 2014
July 1, 2014
- Paper on Unifying and generalizing relations in role-based data modeling and navigation with Daco Harkes accepted at SLE 2014
June 15, 2014
- I am serving as Program Chair for the Modularity Visions track of the Modularity 2015 conference.
March 17, 2014
- We are organizing a small Symposium on Language Engineering on the occasion of Markus Völter’s PhD thesis defines on June 18, 2014. Download the flyer.
February 21, 2014
- Markus Völter will defend his PhD thesis on “Generic Tools, Specific Languages” at TU Delft on June 18, 2014
February 19, 2014
- I will give a keynote talk on Separation of Concerns in Language Definition at Modularity 2014 in Lugano
February 10, 2014
- Three Spoofax-related presentations at the upcoming Code Generation 2014 conference: Spoofax in industry, a hands-on tutorial, and our submission to the Language Workbench Challenge workshop.
January 20, 2014
- Recordings of talks of symposium on Future of Programming and Inaugural address online
2013
October 9, 2013
- New paper: Understanding Software through Linguistic Abstraction for special issue of Science of Computer Programming on Software Understanding, on the occasion of Paul Klint’s retirement
October 7, 2013
- I have been invited to give a keynote talk at the software engineering track of ICT.OPEN 2013
September 10, 2013
- I have been invited to give a talk at the Workshop on Secure Cloud and Reactive Internet Programming Technology (SCRIPT 2013) on Foundations for tier-less web programming in WebDSL
August 15, 2013
- I will hold my inaugural speech as full professor on January 17, 2014
August 3, 2013
- Two papers accepted at SLE 2013:
July 1, 2013
- We will give a tech talk at SPLASH 2013 on interactive language design with the Spoofax language workbench
June 14, 2013
June 2, 2013
- Open postdoc position in semantics engineering (applications due August 15, 2013)
April 30, 2013
- Open PhD position in programming language verification (applications due June 15, 2013)
March 25, 2013
- Spoofax 1.1 released
March 24, 2013
- Paper on Robust Real-Time Synchronization between Textual and Graphical Editors accepted at ICMT 2013
February 20, 2013
- Integration of Data Validation and User Interface Concerns in a DSL for Web Applications published in SoSyM
February 8, 2013
- We will present a tutorial on Declarative Name Binding and Scope Rules at Code Generation 2013
February 5, 2013
February 1, 2013
- My NWO VICI proposal The Language Designer’s Workbench has been awarded; 1,500,000 Euro for language engineering research!