Hendrik van Antwerpen

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 13

Top Topics

Subgraph Isomorphism

Declarative Language

Semantic Analysis

Top Venues

Proc. ACM Program. Lang.

Eelco Visser Commemorative Symposium

SPLASH (Companion Volume)

Publications

Douglas A. Creager, Hendrik van Antwerpen
Stack Graphs: Name Resolution at Scale. Eelco Visser Commemorative Symposium (2023)
Aron Zwaan, Hendrik van Antwerpen
Scope Graphs: The Story so Far. Eelco Visser Commemorative Symposium (2023)
Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser
Language-parametric static semantic code completion. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Douglas A. Creager, Hendrik van Antwerpen
Stack graphs: Name resolution at scale. CoRR (2022)
Aron Zwaan, Hendrik van Antwerpen, Eelco Visser
Incremental type-checking for free: using scope graphs to derive incremental type-checkers. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Hendrik van Antwerpen, Eelco Visser
Scope States (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Hendrik van Antwerpen, Eelco Visser
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers. ECOOP (2021)
Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Adrian D. Mensing, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser
From definitional interpreter to symbolic executor. META@SPLASH (2019)
Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser
Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper). ECOOP (2019)
Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser
Towards language-parametric semantic editor services based on declarative type system specifications. SPLASH (Companion Volume) (2019)
Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser
Scopes as types. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth
A constraint language for static semantic analysis based on scope graphs. PEPM (2016)
Zülküf Genç, Michel A. Oey, Hendrik van Antwerpen, Frances M. T. Brazier
Dynamic Data-Driven Experiments in the Smart Grid Domain with a Multi-agent Platform. MABS (2015)