Below is a list of all papers accepted for ACL2 Workshop 2022, each
associated (or, to be associated) with the corresponding directory
containing supporting materials.  Directories starting with "[books]"
are the indicated subdirectories of the community books; the others
are subdirectories of this README's directory, i.e., of
[books]/workshops/2022/.

------------------------------

Jagadish Bapanapally and Ruben Gamboa. A Free Group of Rotations of Rank 2

[books]/nonstd/nsa/Banach-Tarski/

------------------------------

Alessandro Coglio. A Complex Java Code Generator for ACL2 Based on a
Shallow Embedding of ACL2 in Java

[books]/kestrel/java/

------------------------------

Alessandro Coglio. A Proof-Generating C Code Generator for ACL2 Based
on a Shallow Embedding of C in ACL2

[books]/kestrel/c/

------------------------------

Alessandro Coglio, Eric McCarthy, Stephen Westfold, Daniel
Balasubramanian, Abhishek Dubey and Gabor Karsai. Syntheto: A Surface
Language for APT and ACL2

[books]/kestrel/syntheto/

------------------------------

Ruben Gamboa and Woodrow Gamboa. All Prime Numbers Have Primitive
Roots

gamboa-primitive-roots/

------------------------------

Ruben Gamboa and Alicia Thoney. Using ACL2 To Teach Students About
Software Testing

gamboa-thoney-teaching-testing/

------------------------------

David Greve, Jennifer Davis and Laura Humphrey. A Mechanized Proof of
Bounded Convergence Time for the Distributed Perimeter Surveillance
System (DPSS) Algorithm A

[books]/projects/dpss/

------------------------------

David Hardin. Hardware/Software Co-Assurance using the Rust
Programming Language and ACL2

------------------------------

Warren A. Hunt Jr., Vivek Ramanathan and J Moore. VWSIM: A Circuit
Simulator

[books]/projects/vwsim/

------------------------------

Matt Kaufmann and J Moore. Extended Abstract: Iteration in ACL2, WITH
.. DO

kaufmann-moore/

------------------------------

Matt Kaufmann, Rob Sumners and Sol Swords. Extended Abstract: Stobj-tables

[books]/demos/stobj-table-examples.lisp
and also subdirectory of this directory,
stobj-tables/

------------------------------

David Russinoff. A Formalization of Finite Group Theory

russinoff-groups/

------------------------------

David Russinoff. Properties of the Hebrew Calendar

russinoff-calendar/

------------------------------

Mertcan Temel. Verified Implementation of an Efficient Term-Rewriting
Algorithm for Multiplier Verification on ACL2

[books]/projects/rp-rewriter/lib/mult3

------------------------------

Andrew Walter and Panagiotis Manolios. ACL2s Systems Programming

walter-manolios/

------------------------------

William Young. Modeling Asymptotic Complexity Using ACL2

young-asymptotic/

------------------------------
