Benjamin F Jones

Contact

Papers

New DBLP Computer Science Bibliography
New My Google Scholar Profile including math, physics, and computer science papers
Participated as one of the interview population for: Some Problems with Properties: A Study on Property-Based Testing in Industry. H. Goldstein, et. al. Full text. HATRA 2022. December 7, 2022.
Test Abstractions and Coverage for Network Security Policy Verification. ICNP NetVerify. November 1, 2021. Presentation by Victor Heorhiadi
Debugging network reachability with blocked paths Computer Aided Verification. CAV 2021. Lecture Notes in Computer Science, vol 12760. Published online July 15, 2021. doi, amazon.science link, Full text.
Language for Unified Verification and Implementation for Distributed Avionics Published online October 17, 2018. doi: https://arc.aiaa.org/doi/abs/10.2514/1.I010598 [Full Text]
Modular Model-Checking of a Byzantine Fault-Tolerant Protocol NASA Formal Methods 2017, Lecture Notes in Computer Science book series (LNCS, volume 10227). DOI: 10.1007/978-3-319-57288-8. [Full Text]
Bounded Integer Linear Constraint Solving via Lattice Search 13th International Workshop on Satisfiability Modulo Theories. [Full Text]
On the Structure of Involutions and Symmetric Spaces of Dihedral Groups, Note Mat. 34 (2014) no. 2, 23–40, DOI 10.1285/i15900932v34n2p23 [Full Text] [Preprint]
On the Support Varieties of Demazure Modules J. Aust. Math. Soc. *91* (2011), 343-363, arxiv
First cohomology for finite groups of Lie type: simple modules with small dominant weights Trans. Amer. Math Soc. 365 (2013), 1025-1050, arxiv
Normality of orbit closures in the enhanced nilpotent cone Nagoya Math. J. *203* (2011), 1--45, arxiv
Singular Chern Classes of Schubert Varieties via Small Resolution Int. Math. Res. Notices *8* (2010) 1371--1416, doi
An analog of Kostant's theorem for the cohomology of quantum groups Proc. Amer. Math. Soc. *138* (2010), 85--99 pdf

Software

Mathematics in Lean: Contributor, proofreader, amateur prover.
2024 SAT/SMT Competition: Organized and Ran the 2024 SAT & SMT Competition Cloud/Parallel Tracks on AWS Infrastructure.
- Infrastructure
- SAT Competition, acknowledged in the Proceedings
- SMT Competition: results
LIMA: A language for integrated modeling and analysis; see the paper "A Language for Unified Verification and Implementation for Distributed Avionics" for more details! source (12 stars, 2 forks on GitHub!)
BLT: A lattice-based (bounded) integer linear programming solver; see the paper "Bounded Integer Linear Constraint Solving via Lattice Search" above for details! source (65 stars, 10 forks on GitHub!)
language-sal: a SAL model generator in Haskell; source
minsky: A toy implementation of Minsky Machines (of the "marvellous" and "magnficent" variety) in Rust. source
Sagemath: an open source computer algebra system. contributors, my contributions