` Shilpi Goel

Shilpi Goel

Ph.D. Student - Computer Science

Email: shigoel at cs dot utexas dot edu

Desk: GDC 7.814A
Research Assistant
ACL2 Theorem Proving Group

Department of Computer Science
The University of Texas at Austin

A picture of me was supposed to be
      here!

 ____________________________________________________________________________________________________

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.

 ____________________________________________________________________________________________________