Automated Code Proofs on a Formal Model of the X86. - Shilpi Goel; Warren A. Hunt Jr. (VSTTE, 2013)

Abstract Stobjs and Their Application to ISA Modeling - Shilpi Goel; Warren A. Hunt Jr.; Matt Kaufmann (ACL2, 2013)

Simulation and formal verification of x86 machine-code programs that make system calls. - Shilpi Goel; Warren A. Hunt Jr.; Matt Kaufmann; Soumava Ghosh (FMCAD, 2014)

Engineering a Formal, Executable x86 ISA Simulator for Software Verification. - Shilpi Goel; Warren A. Hunt Jr.; Matt Kaufmann (Provably Correct Systems, 2017)

The x86isa Books: Features, Usage, and Future Plans. - Shilpi Goel (ACL2, 2017)

Adding 32-bit Mode to the ACL2 Model of the x86 ISA. - Alessandro Coglio; Shilpi Goel (ACL2, 2018)

Verifying x86 instruction implementations. - Shilpi Goel; Anna Slobodová; Rob Sumners; Sol Swords (CPP, 2020)

Balancing Automation and Control for Formal Verification of Microprocessors. - Shilpi Goel; Anna Slobodová; Rob Sumners; Sol Swords (CAV (1), 2021)