Benjamin F Jones

pixel art Ben

Contact

Blogroll

  • Futility Closet "a collection of entertaining curiosities in history, literature, language, art, philosophy, and mathematics, designed to help you waste time as enjoyably as possible" by Greg Ross.
  • BikePortland "BikePortland is a private, independent news outlet dedicated to [bike] community-centered news and content."
  • Ned Batchelder needs no introduction.
  • Quanta Magazine "Illuminating basic science and math research through public service journalism."
  • The Radavist Prolly's new bike and photography empire.
  • Trivium Leah Neukirchen's fantastic commented link dumps.
  • COMPUTERS ARE BAD "computer history, computer security, and "constructive" technology criticism" by J.B. Crawford.
  • Botanical Testing Station
  • blog :: Brent → [String] Brent Yorgey
  • What's New "Updates on my research and expository papers, discussion of open problems, and other maths-related topics." by Terence Tao

Papers

  • CAV 2025 Program Committee - Artifact Evaluation
  • 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.
  • 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