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 | 53 | 2014 |
Engineering a formal, executable x86 ISA simulator for software verification S Goel, WA Hunt, M Kaufmann Provably Correct Systems, 173-209, 2017 | 26 | 2017 |
Formal verification of application and system programs based on a validated x86 ISA model S Goel | 25 | 2016 |
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 | 20 | 2013 |
Verifying x86 instruction implementations S Goel, A Slobodová, R Sumners, S Swords Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020 | 19 | 2020 |
Abstract stobjs and their application to ISA modeling S Goel, WA Hunt Jr, M Kaufmann arXiv preprint arXiv:1304.7858, 2013 | 19 | 2013 |
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 | 7 | 2021 |
The x86isa books: Features, usage, and future plans S Goel arXiv preprint arXiv:1705.01225, 2017 | 5 | 2017 |
Adding 32-bit Mode to the ACL2 Model of the x86 ISA A Coglio, S Goel arXiv preprint arXiv:1810.04313, 2018 | 4 | 2018 |
Using x86isa for microcode verification S Goel, R Sumners SpISA 2019: Workshop on Instruction Set Architecture Specification. https …, 2019 | 2 | 2019 |
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 | | |