Shilpi Goel

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 5

Top Topics

Formal Verification

Multimedia Learning

Automated Theorem Provers

Top Venues

Publications

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)
Shilpi Goel, Anna Slobodová, Rob Sumners, Sol Swords
Verifying x86 Instruction Implementations. CoRR (2019)
Alessandro Coglio, Shilpi Goel
Adding 32-bit Mode to the ACL2 Model of the x86 ISA. ACL2 (2018)
Shilpi Goel
The x86isa Books: Features, Usage, and Future Plans. ACL2 (2017)
Shilpi Goel, Warren A. Hunt Jr., Matt Kaufmann, Soumava Ghosh
Simulation and formal verification of x86 machine-code programs that make system calls. FMCAD (2014)
Shilpi Goel, Warren A. Hunt Jr.
Automated Code Proofs on a Formal Model of the X86. VSTTE (2013)
Shilpi Goel, Warren A. Hunt Jr., Matt Kaufmann
Abstract Stobjs and Their Application to ISA Modeling ACL2 (2013)