CUFinder

Hendrik van Antwerpen

About Hendrik van Antwerpen

Hendrik van Antwerpen, With an exceptional h-index of 7 and a recent h-index of 7 (since 2020), a distinguished researcher at Technische Universiteit Delft, specializes in the field of Computer Science, Static Program Analysis, Constraint Solving.

His recent articles reflect a diverse array of research interests and contributions to the field:

Scope graphs: The story so far

Incremental Type Checking for Free

Stack graphs: Name resolution at scale

Incremental type-checking for free: Using scope graphs to derive incremental type-checkers

Language-parametric static semantic code completion

Scope States (Artifact)

Scope states: Guarding safety of name resolution in parallel type checkers

Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications

Hendrik van Antwerpen Information

University

Position

PhD Candidate

Citations(all)

179

Citations(since 2020)

151

Cited By

78

hIndex(all)

7

hIndex(since 2020)

7

i10Index(all)

5

i10Index(since 2020)

5

Email

University Profile Page

Google Scholar

Hendrik van Antwerpen Skills & Research Interests

Computer Science

Static Program Analysis

Constraint Solving

Top articles of Hendrik van Antwerpen

Scope graphs: The story so far

2023

Hendrik Van Antwerpen
Hendrik Van Antwerpen

H-Index: 3

Incremental Type Checking for Free

Delft University of Technology

2022/12/8

Hendrik Van Antwerpen
Hendrik Van Antwerpen

H-Index: 3

Eelco Visser
Eelco Visser

H-Index: 27

Stack graphs: Name resolution at scale

arXiv preprint arXiv:2211.01224

2022/11/2

Hendrik Van Antwerpen
Hendrik Van Antwerpen

H-Index: 3

Incremental type-checking for free: Using scope graphs to derive incremental type-checkers

Proceedings of the ACM on Programming Languages

2022/10/31

Hendrik Van Antwerpen
Hendrik Van Antwerpen

H-Index: 3

Eelco Visser
Eelco Visser

H-Index: 27

Language-parametric static semantic code completion

Proceedings of the ACM on Programming Languages

2022/4/29

Hendrik Van Antwerpen
Hendrik Van Antwerpen

H-Index: 3

Casper Bach Poulsen
Casper Bach Poulsen

H-Index: 8

Eelco Visser
Eelco Visser

H-Index: 27

Scope States (Artifact)

2021

Hendrik Van Antwerpen
Hendrik Van Antwerpen

H-Index: 3

Eelco Visser
Eelco Visser

H-Index: 27

Scope states: Guarding safety of name resolution in parallel type checkers

2021

Hendrik Van Antwerpen
Hendrik Van Antwerpen

H-Index: 3

Eelco Visser
Eelco Visser

H-Index: 27

Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications

Proceedings of the ACM on Programming Languages

2020/11/13

Hendrik Van Antwerpen
Hendrik Van Antwerpen

H-Index: 3

Casper Bach Poulsen
Casper Bach Poulsen

H-Index: 8

Robbert Krebbers
Robbert Krebbers

H-Index: 16

Eelco Visser
Eelco Visser

H-Index: 27

See List of Professors in Hendrik van Antwerpen University(Technische Universiteit Delft)