Shilpi Goel

Ph.D. Student - Computer Science

Email: shigoel at cs dot utexas dot edu

 ____________________________________________________________________________________________________

Home     Classes     Academic Activities     Publications     Personal    

 ____________________________________________________________________________________________________



Fall’10:

Spring’11:


Summer’11:
Fall’11:
  • Research Assistant - ACL2 Theorem Proving Group:
    A Formal Analysis of Error Control Codes

  • Attended FMCAD 2011 (Oct 30-Nov 2) and the ACL2 Workshop 2011
    (Nov 2-Nov 3)


Spring’12:
  • Research Assistant - ACL2 Theorem Proving Group:
    A Formal Specification of x86 (Code Verification on Practical Machine Architectures)

Summer’12:
  • Research Assistant - ACL2 Theorem Proving Group:
    A Formal Specification of x86 (Code Verification on Practical Machine Architectures)

  • Poster Presentation (Code Verification on Practical Machine Architectures) in DARPA PI Meet, May 2012


Fall’12:
  • Research Assistant - ACL2 Theorem Proving Group:
    A Formal Specification of x86 (Code Verification on Practical Machine Architectures)

  • Poster Presentation (Code Verification on Practical Machine Architectures) in DARPA PI Meet, November 2012


Spring’13:
  • Research Assistant - ACL2 Theorem Proving Group:
    A Formal Specification of x86 (Code Verification on Practical Machine Architectures)

  • FMCAD 2013 Webmaster


Spring’14:
  • Research Assistant - ACL2 Theorem Proving Group:
    A Formal Specification of x86 (Code Verification on Practical Machine Architectures)

  • FMCAD 2014 Webmaster


 ____________________________________________________________________________________________________