email: bquiring (at) umd.edu
github: github.com/bquiring
google scholar
5th year PhD student in the PLUM lab at the University of Maryland, advised by David Van Horn.
I also work with John Reppy, Olin Shivers, Skye Soss, Byron Zhong, Jason Carr, and Lingxiao Zheng.
Globalizing Environment and Values in Higher-Order Languages.
Jason Carr, Benjamin Quiring, John Reppy, Olin Shivers, Skye Soss, Ling Zheng, and Byron Zhong.*
In submission.
*Authors are in alphabetical order
Compositional Verification of Flow-directed Transformations.
Benjamin Quiring and Lingxiao Zheng.
In submission.
Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages.
Jason Carr, Benjamin Quiring, John Reppy, Olin Shivers, Skye Soss, and Byron Zhong.*
ICFP 2025.
*Authors are in alphabetical order
Webs and Flow-Directed Well-Typedness Preserving Program Transformations.
Benjamin Quiring, David Van Horn, John Reppy, and Olin Shivers.
PLDI 2025.
Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis.
Benjamin Quiring and David Van Horn.
ICFP 2024.
Generating Well-typed Terms that are not “Useless”.
Justine Frank, Benjamin Quiring, and Leonidas Lampropoulos.
POPL 2024.
Analyzing Binding Extent in 3CPS.
Benjamin Quiring, John Reppy, and Olin Shivers.
ICFP 2022.
3CPS: The Design of an Environment-Focussed Intermediate Representation.
Benjamin Quiring, John Reppy, and Olin Shivers.
IFL 2021.
Multilevel Graph Embedding.
Benjamin Quiring and Panayot Vassilevski.
Numerical Linear Algebra Volume 28, Number 1, 2021.
GACAL: Conjecture-Based Verification - (Competition Contribution).
Benjamin Quiring and Panagiotis Manolios.
TACAS 2020.
Verifying Flow-Directed Program Transformations.
With Ling Zheng. NJPLS at Princeton, 5 Dec 2025.
Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages.
ICFP 2025.
Webs and Flow-Directed Well-Typedness Preserving Program Transformations.
PLDI 2025.
Verifying Flow-Directed Program Transformations.
NJPLS at Jane Street, 9 May 2025.
Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis.
ICFP 2024.
Flow Analysis For Free, and Well-typedness Preserving Program Transformations.
Jane Street Programming Languages Colloquium, December 2023.
Flow Analysis For Free, and Well-typedness Preserving Program Transformations.
NJPLS at Princeton University, 10 November 2023.
Generating More Useful STLC Terms.
With Justine Frank. NJPLS at University of Maryland, 21 October 2022.
Analyzing Binding Extent in 3CPS.
ICFP 2022.
OOPSLA 2025 Artifact Review.