Sol Swords

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 11

Top Topics

Case Based Planning

Natural Language Learning

Automated Deduction

Top Venues

Publications

Alessandro Coglio, Sol Swords
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications. CoRR (2023)
Shilpi Goel, Anna Slobodová, Rob Sumners, Sol Swords
Balancing Automation and Control for Formal Verification of Microprocessors. CAV (1) (2021)
Shilpi Goel, Anna Slobodová, Rob Sumners, Sol Swords
Verifying x86 instruction implementations. CPP (2020)
Sol Swords
New Rewriter Features in FGL. ACL2 (2020)
Sol Swords
Generating Mutually Inductive Theorems from Concise Descriptions. ACL2 (2020)
Shilpi Goel, Anna Slobodová, Rob Sumners, Sol Swords
Verifying x86 Instruction Implementations. CoRR (2019)
Sol Swords
Hint Orchestration Using ACL2's Simplifier. ACL2 (2018)
Sol Swords
Incremental SAT Library Integration Using Abstract Stobjs. ACL2 (2018)
Matt Kaufmann, Sol Swords
Meta-extract: Using Existing Facts in Meta-reasoning. ACL2 (2017)
Sol Swords
Term-Level Reasoning in Support of Bit-blasting. ACL2 (2017)
Sol Swords, Jared Davis
Fix Your Types. ACL2 (2015)
Jared Davis, Anna Slobodová, Sol Swords
Microcode Verification - Another Piece of the Microprocessor Verification Puzzle. ITP (2014)
Jared Davis, Sol Swords
Verified AIG Algorithms in ACL2 ACL2 (2013)
Sol Swords, Jared Davis
Bit-Blasting ACL2 Theorems ACL2 (2011)
Anna Slobodová, Jared Davis, Sol Swords, Warren A. Hunt Jr.
A flexible formal verification framework for industrial scale validation. MEMOCODE (2011)
Sol Swords, Warren A. Hunt Jr.
A Mechanically Verified AIG-to-BDD Conversion Algorithm. ITP (2010)
Warren A. Hunt Jr., Sol Swords
Centaur Technology Media Unit Verification. CAV (2009)
Sol Swords, William R. Cook
Soundness of the simply typed lambda calculus in ACL2. ACL2 (2006)