Shilpi Goel

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Balancing Automation and Control for Formal Verification of Microprocessors.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020
Verifying x86 instruction implementations.
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.
Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018

2017
The x86isa Books: Features, Usage, and Future Plans.
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.
Proceedings of the Provably Correct Systems, 2017

2014
Simulation and formal verification of x86 machine-code programs that make system calls.
Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013
Abstract Stobjs and Their Application to ISA Modeling
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.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013


  Loading...