Shilpi Goel

According to our database, Shilpi Goel authored at least 8 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Balancing Automation and Control for Formal Verification of Microprocessors.

Shilpi Goel, Anna Slobodová, Rob Sumners, Sol Swords

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

2020

Verifying x86 instruction implementations.

Shilpi Goel, Anna Slobodová, Rob Sumners, Sol Swords

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

2018

Adding 32-bit Mode to the ACL2 Model of the x86 ISA.

Alessandro Coglio, Shilpi Goel

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

2017

The x86isa Books: Features, Usage, and Future Plans.

Shilpi Goel

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

Engineering a Formal, Executable x86 ISA Simulator for Software Verification.

Shilpi Goel, Warren A. Hunt Jr., Matt Kaufmann

Proceedings of the Provably Correct Systems, 2017

2014

Simulation and formal verification of x86 machine-code programs that make system calls.

Shilpi Goel, Warren A. Hunt Jr., Matt Kaufmann, Soumava Ghosh

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

Abstract Stobjs and Their Application to ISA Modeling

Shilpi Goel, Warren A. Hunt Jr., Matt Kaufmann

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

Automated Code Proofs on a Formal Model of the X86.

Shilpi Goel, Warren A. Hunt Jr.

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013