Benjamin Quiring -

Registered user since Mon 12 Sep 2022

Name:Benjamin Quiring

Country:United States

Affiliation:University of Maryland at College Park

Contributions

2025

ICFP

Author of Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages within the ICFP Papers-track

PLDI

Author of Webs and Flow-Directed Well-Typedness Preserving Program Transformations within the PLDI Research Papers-track

2024

ICFP

Author of Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis within the ICFP Papers and Events-track
Author of Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis within the Artifact Evaluation-track

POPL

Author of Generating Well-Typed Terms that are not "Useless" within the POPL-track

2022

ICFP

Author of Analyzing Binding Extent in 3CPS within the ICFP Papers and Events-track