Shilpi Goel

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

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

Alessandro Coglio and others (2018) · Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2018)

The x86isa Books: Features, Usage, and Future Plans

Shilpi Goel (2017) · Open Publishing Association

Formal Verification of Application and System Programs Based on a Validated x86 ISA Model

Shilpi Goel (2016)

Automated Code Proofs on a Formal Model of the X86

Shilpi Goel and others (2014) · Lecture notes in computer science · Springer Science+Business Media

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

Shilpi Goel and others (2014) · IEEE