Hendrik van Antwerpen

Registered user since Fri 27 Nov 2015

Name:Hendrik van Antwerpen
Country:Netherlands
Affiliation:Delft University of Technology
Research interests:Programming Languages, Static Program Analysis, Type Checking, Name Resolution, Constraint Solving

Contributions

SPLASH 2023 Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
EVCS Author of Stack graphs: Name Resolution at Scale within the Eelco Visser Commemorative Symposium-track
Author of Scope Graphs: The Story so Far within the Eelco Visser Commemorative Symposium-track
SPLASH 2022 Author of Language-parametric static semantic code completion within the OOPSLA-track
Author of Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers within the OOPSLA-track
ECOOP 2021 Author of Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers within the ECOOP Technical Papers-track
Author of Scope States within the ECOOP Artifacts-track
SPLASH 2020 Author of Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications within the OOPSLA-track
Author of Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications within the Posters-track
Author of Knowing When to Ask: Artifact within the OOPSLA Artifacts-track
SPLASH 2019 Author of Language-Parametric Semantic Editor Services based on Declarative Type System Specifications within the Posters-track
META 2019 Author of From Definitional Interpreter To Symbolic Executor within the META 2019-track
ECOOP 2019 Author of Towards Language-Parametric Semantic Editor Services within the Posters-track
Author of Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications within the Research Papers-track
SPLASH 2018 Author of Scopes as Types within the Posters-track
Author of Scopes as Types within the OOPSLA-track
Author of Scopes as Types within the Artifacts-track
PEPM 2016 Author of A Constraint Language for Static Semantic Analysis Based on Scope Graphs within the PEPM-track