Sotabase

Career

· Applied Scientist Intern, Amazon Web Services (AWS)2022–2022
· Graduate Student, University of Maryland (Current)2021–
· Formal Verification Internship, Apple2020–2021
· Research Assistant, Northeastern University2019–2021
· Computation Intern, Lawrence Livermore National Laboratory2018–2019
· Computer Science, Computer Science, Northeastern University2017–2021
· Doctor of Philosophy - PhD, Computer Science, University of Maryland

Publications (9)

Generating Well-Typed Terms That Are Not “Useless”
Proc. ACM Program. Lang. · 2024
6
cited
Multilevel graph embedding
Numerical Linear Algebra with Applications · 2020
5
cited
Analyzing binding extent in 3CPS
Proc. ACM Program. Lang. · 2022
4
cited
Properties of the Graph Modularity Matrix and its Applications
2019
4
cited
3CPS: The Design of an Environment-Focussed Intermediate Representation
International Symposium on Implementation and Application of Functional Languages · 2021
2
cited
Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis
Proc. ACM Program. Lang. · 2024
2
cited
GACAL: Conjecture-Based Verification
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2020
2
cited
Webs and Flow-Directed Well-Typedness Preserving Program Transformations
Proc. ACM Program. Lang. · 2025
2
cited
Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages
Proceedings of the ACM on Programming Languages · 2025
Sotabase
Benjamin Quiring | Researcher Profile | Sotabase | Sotabase