Benjamin Quiring

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 6

Top Topics

Intermediate Representation

Graph Embedding

Nonlinear Finite Element

Functional Verification

Top Venues

Proc. ACM Program. Lang.

Numer. Linear Algebra Appl.

Publications

Justin Frank, Benjamin Quiring, Leonidas Lampropoulos
Generating Well-Typed Terms That Are Not "Useless". Proc. ACM Program. Lang. 8 (POPL) (2024)
Benjamin Quiring, John H. Reppy, Olin Shivers
Analyzing binding extent in 3CPS. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Benjamin Quiring, Panayot S. Vassilevski
Multilevel graph embedding. Numer. Linear Algebra Appl. 28 (3) (2021)
Benjamin Quiring, John H. Reppy, Olin Shivers
3CPS: The Design of an Environment-Focussed Intermediate Representation. IFL (2021)
Benjamin Quiring, Panagiotis Manolios
GACAL: Conjecture-Based Verification - (Competition Contribution). TACAS (2) (2020)
Tuyen Tran, Aidan Hamilton, Maricela Best McKay, Benjamin Quiring, Panayot S. Vassilevski
DNN Approximation of Nonlinear Finite Element Equations. CoRR (2019)