Benjamin F Jones

pixel art Ben

Contact

Papers

  • New My Google Scholar Profile including math, physics, and computer science papers
  • New Ran the Cloud and Parallel tracks of the 2024 SAT Competition and SMT Competition. See the Instructions and Infrastructure
  • 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

  • minsky: A toy implementation of Minsky Machines (of the "marvellous" and "magnficent" variety) in Rust. source
  • 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 (9 stars, 1 fork 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 (55 stars, 8 forks on GitHub!)
  • language-sal: a SAL model generator in Haskell; source
  • fpga-tunes: a week long FPGA audio synthesis project; source code and design
  • iHaskell Notebook: the start of a notebook interface to GHC; source
  • FiveUI: a user interface consistency checker; source
  • (30 stars on GitHub!)
  • Sagemath: an open source computer algebra system. contributors, my contributions
  • Computational Mathematics Projects: various math programming projects in support of papers; source