Talks

Talks

See also: PL talks on video | Older Talks | Conf Profile | Publications | Posters

2021

Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System

Jeff Smits with Gabriël Konat, Eelco Visser

Conference Talk | Programming'21

March 24, 2021

A Tutorial on the Spoofax Language Workbench

Tutorial | CoCoDo at Programming 2021

March 22, 2021

Evolution of the WebDSL Runtime

Danny Groenewegen with Elmer van Chastelet, Eelco Visser

Workshop Talk | ProWeb'21 at Programming'21

March 22, 2021

2020

The Spoofax Language Workbench

Keynote | Online Workshop: Modern Compiler Technologies 2020 Huawei, Moscow

November 11, 2020

Multi-Purpose Syntax Definition with SDF3

Keynote | Software Engineering and Formal Methods 2020 (SEFM 2020)

September 16, 2020

A Declarative Syntax Definition for OCaml

Eelco Visser (with Luis Eduardo de Souza Amorim)

Workshop talk | OCAML 2020 (ICFP 2020)

August 28, 2020

Executing Declarative Language Definitions

Keynote | miniKanren 2020 (ICFP 2020)

August 27, 2020

Safety and Completeness of Disambiguation corresponds to Termination and Confluence of Reordering

Workshop Talk | International Workshop on Confluence (IWC) 2020

June 30, 2020

Declarative Language Definition with the Spoofax Language Workbench

Tutorial | PLDI 2020

June 16, 2020

Type Checkers from Declarative Type System Specifications in Statix

Talk | Strumenta Community Meetup

June 11, 2020

Declarative Syntax Definition with SDF3

Talk | Strumenta Community Meetup

June 04, 2020

Type Checkers from Declarative Type System Specifications in Statix

Seminar talk | Seminaire Cambium at INRIA, Paris

February 20, 2020

Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System

Eelco Visser with Jeff Smits, Gabriël Konat

Working Group talk | IFIP WG2.11 meeting 20 at Sorbonne Université, Paris

February 19, 2020

2019

Taalgebaseerde Softwareveiligheid

Invited talk | Symposium Verificatie van software: Erg complex maar in ieders belang at KNAW, Amsterdam

October 31, 2019

OOPSLA 2019 Report

Chair's report | OOPSLA / Awards / SIGPLAN Town Hall Meeting at Olympia at SPLASH 2019 in Athens

October 23, 2019

What is PL research?

Invited talk | PLMW at SPLASH 2019 in Athens

October 22, 2019

A Direct Semantics for Declarative Disambiguation Rules

Seminar talk | PL Seminar at TU Delft

March 14, 2019

Statix: Declarative Type System Specification

Working group talk | IFIP WG2.16 in Portland, OR

February 19, 2019

2018

Spoofax: Live Programming Language Design

Invited talk | Curry On 2018 (at ECOOP 2018) in Amsterdam

July 16, 2018

2017

Scope Graphs: A Fresh Look at Name Binding in Programming Languages

Conference talk | Curry On 2017 (ECOOP 2017) in Barcelona

June 20, 2017

2015

Declare Your Language at EPFL

Summerschool lecture | Summer School on DSL Design and Implementation (DSLDI 2015)

July 13, 2015

Automating Feedback & Assessment in WebLab

Seminar talk | Research Seminar on Data Science

March 09, 2015

2014

Programming Languages shape Computational Thinking

Inaugural Speech | Symposium on the Future of Programming | TU Delft

January 17, 2014