Hendrik van Antwerpen

Registered user since Fri 27 Nov 2015

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

Contributions

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
META 2019 Author of From Definitional Interpreter To Symbolic Executor within the META 2019-track
SPLASH 2019 Author of Language-Parametric Semantic Editor Services based on Declarative Type System Specifications within the Posters-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