Sol Swords

Orcid: 0000-0002-5958-9580

According to our database¹, Sol Swords authored at least 17 papers between 2006 and 2021.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2021

Balancing Automation and Control for Formal Verification of Microprocessors.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Generating Mutually Inductive Theorems from Concise Descriptions.

[BibT_eX]

[DOI]

Sol Swords

Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications, 2020

New Rewriter Features in FGL.

[BibT_eX]

[DOI]

Sol Swords

Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications, 2020

Verifying x86 instruction implementations.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2018

Hint Orchestration Using ACL2's Simplifier.

[BibT_eX]

[DOI]

Sol Swords

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018

Incremental SAT Library Integration Using Abstract Stobjs.

[BibT_eX]

[DOI]

Sol Swords

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018

2017

Term-Level Reasoning in Support of Bit-blasting.

[BibT_eX]

[DOI]

Sol Swords

Proceedings of the Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, 2017

Meta-extract: Using Existing Facts in Meta-reasoning.

[BibT_eX]

[DOI]

Matt Kaufmann

Sol Swords

Proceedings of the Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, 2017

2015

Fix Your Types.

[BibT_eX]

[DOI]

Sol Swords

Jared Davis

Proceedings of the Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, 2015

2014

Microcode Verification - Another Piece of the Microprocessor Verification Puzzle.

[BibT_eX]

[DOI]

Jared Davis

Anna Slobodová

Sol Swords

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

2013

Verified AIG Algorithms in ACL2

[BibT_eX]

[DOI]

Jared Davis

Sol Swords

Proceedings of the Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, 2013

2011

Bit-Blasting ACL2 Theorems

[BibT_eX]

[DOI]

Sol Swords

Jared Davis

Proceedings of the Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, 2011

A flexible formal verification framework for industrial scale validation.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

2010

A Mechanically Verified AIG-to-BDD Conversion Algorithm.

[BibT_eX]

[DOI]

Sol Swords

Warren A. Hunt Jr.

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Use of Formal Verification at Centaur Technology.

[BibT_eX]

[DOI]

Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010

2009

Centaur Technology Media Unit Verification.

[BibT_eX]

[DOI]

Warren A. Hunt Jr.

Sol Swords

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2006

Soundness of the simply typed lambda calculus in ACL2.

[BibT_eX]

[DOI]

Sol Swords

William R. Cook

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

Sol Swords

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...