Shilpi Goel (Centaur Technology

Identifiers

• name variant Shilpi Goel (Centaur Technology 0.50 · backfill

Papers (2)

1. Adding 32-bit Mode to the ACL2 Model of the x86 ISA cs.LO · 2018 · author #4
2. Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications cs.SC · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Alessandro Coglio (Kestrel Technology LLC 1 shared papers
• Austin 1 shared papers
• CA (USA)) 1 shared papers
• Inc. 1 shared papers
• Inc.) 1 shared papers
• Matt Kaufmann (The University of Texas at Austin) 1 shared papers
• Palo Alto 1 shared papers
• TX (USA)) 1 shared papers