Hendrik van Antwerpen -

Registered user since Fri 27 Nov 2015

Name:Hendrik van Antwerpen

Affiliation:Delft University of Technology

Personal website:http://hendrik.van-antwerpen.net/

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
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