Benjamin Quiring

According to our database, Benjamin Quiring authored at least 7 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Generating Well-Typed Terms That Are Not "Useless".

Justin Frank, Benjamin Quiring, Leonidas Lampropoulos

Proc. ACM Program. Lang., January, 2024

Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis.

Benjamin Quiring, David Van Horn

Proc. ACM Program. Lang., 2024

2022

Analyzing binding extent in 3CPS.

Benjamin Quiring, John H. Reppy, Olin Shivers

Proc. ACM Program. Lang., 2022

2021

Multilevel graph embedding.

Benjamin Quiring, Panayot S. Vassilevski

Numer. Linear Algebra Appl., 2021

3CPS: The Design of an Environment-Focussed Intermediate Representation.

Benjamin Quiring, John H. Reppy, Olin Shivers

Proceedings of the 33rd Symposium on Implementation and Application of Functional Languages, 2021

2020

GACAL: Conjecture-Based Verification - (Competition Contribution).

Benjamin Quiring, Panagiotis Manolios

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

DNN Approximation of Nonlinear Finite Element Equations.

Tuyen Tran, Aidan Hamilton, Maricela Best McKay, Benjamin Quiring, Panayot S. Vassilevski

CoRR, 2019