Benjamin Quiring -

Registered user since Mon 12 Sep 2022

Name:Benjamin Quiring

Country:United States

Affiliation:University of Maryland at College Park

Contributions

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