Email: shigoel at cs dot utexas dot eduDesk: GDC 7.814A
ACL2 Theorem Proving Group
____________________________________________________________________________________________________Home Classes Activities Publications Personal
Hi! I am Shilpi Goel and I came to the University of Texas at Austin as a Master's student in Fall '10 but then I switched to being a Ph.D. student in Spring '12.
Now, I am a Ph.D. candidate in the ACL2 Theorem-Proving Group. My advisor is Prof. Warren A. Hunt, Jr. I proposed my dissertation work on 29th April, 2015 and my dissertation topic is Analysis of x86 Application and System Programs via Machine-Code Verification; here are the slides from my proposal talk.
I am the main author of the ACL2-based x86isa library. The x86isa library contains the specification of x86 instruction set architecture in ACL2. This specification is used to simulate and formally verify x86 machine-code programs. The x86isa library is freely available (BSD 3-Clause license) from the ACL2 Community Books Github page. The user and developer manual is available online.