Sol Swords
Intel (United States)(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Software Testing and Debugging Techniques, Natural Language Processing Techniques, Advanced Chemical Physics Studies
Most-Cited Works
- → Molecular Hydrogen Formation on Ice Under Interstellar Conditions(2005)101 cited
- → Measurement of the Kinetic Energy of Hydrogen Molecules Desorbing from Amorphous Water Ice(2003)51 cited
- Molecular Hydrogen Formation on Amorphous Silicates Under Interstellar Conditions(2007)
- → A flexible formal verification framework for industrial scale validation(2011)45 cited
- → Centaur Technology Media Unit Verification(2009)31 cited
- → Use of Formal Verification at Centaur Technology(2010)30 cited
- → Microcode Verification – Another Piece of the Microprocessor Verification Puzzle(2014)15 cited
- A verified framework for symbolic execution in the ACL2 theorem prover(2010)
- → Fix Your Types(2015)8 cited
- → Verified AIG Algorithms in ACL2(2013)6 cited