Follow
Shilpi Goel
Shilpi Goel
AWS
Verified email at cs.utexas.edu - Homepage
Title
Cited by
Cited by
Year
Simulation and formal verification of x86 machine-code programs that make system calls
S Goel, WA Hunt, M Kaufmann, S Ghosh
2014 Formal Methods in Computer-Aided Design (FMCAD), 91-98, 2014
532014
Engineering a formal, executable x86 ISA simulator for software verification
S Goel, WA Hunt, M Kaufmann
Provably Correct Systems, 173-209, 2017
252017
Formal verification of application and system programs based on a validated x86 ISA model
S Goel
242016
Verifying x86 instruction implementations
S Goel, A Slobodová, R Sumners, S Swords
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
192020
Automated code proofs on a formal model of the x86
S Goel, WA Hunt Jr
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2013
192013
Abstract stobjs and their application to ISA modeling
S Goel, WA Hunt Jr, M Kaufmann
arXiv preprint arXiv:1304.7858, 2013
192013
Balancing automation and control for formal verification of microprocessors
S Goel, A Slobodova, R Sumners, S Swords
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
72021
Adding 32-bit Mode to the ACL2 Model of the x86 ISA
A Coglio, S Goel
arXiv preprint arXiv:1810.04313, 2018
42018
The x86isa books: Features, usage, and future plans
S Goel
arXiv preprint arXiv:1705.01225, 2017
42017
Using x86isa for microcode verification
S Goel, R Sumners
SpISA 2019: Workshop on Instruction Set Architecture Specification. https …, 2019
22019
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications
A Coglio, S Swords
arXiv preprint arXiv:2311.08373, 2023
2023
Microprocessor Assurance and the Role of Theorem Proving
S Goel, S Ray
Handbook of Computer Architecture, pp 1-43, 2022
2022
Analysis of x86 Application and System Programs via Machine-Code Verification
S Goel, WA Hunt Jr, M Kaufmann
2016
Asadi, Sepideh Athanasiou, Konstantinos Bansal, Suguman Barnett, Lee
J Bendı́k, M Blicha, D Bustan, F Cano, M Chalupa, K Cheang, H Chen, ...
Asadi, Sepideh
G Bella, M Blicha, J Brotherston, J Chen, M Ebrahimi, M Fleury, R Fraer, ...
Abraham, Erika 59 Außerlechner, Simon 35 Barrett, Clark 7, 139 Becker, Bernd 203
A Belov, A Biere, B Bingham, B Bittner, R Bloem, M Bozzano, G Cabodi, ...
Organization committee
K Claessen, R Piskac, S Goel, J Baumgartner, AJ Hu, WA Hunt Jr
The system can't perform the operation now. Try again later.
Articles 1–17