Shilpi Goel

Ph.D. Student - Computer Science

Email: shigoel at cs dot utexas dot edu

 ____________________________________________________________________________________________________

Home     Classes     Academic Activities     Publications     Personal    

 ____________________________________________________________________________________________________



Papers:

S. Goel, W. Hunt, M. Kaufmann, and S. Ghosh. Simulation and Formal Verification of x86 Machine-Code Programs that make System Calls. In Formal Methods in Computer-Aided Design (FMCAD), 2014.

S. Goel, W. Hunt, and M. Kaufmann. Abstract Stobjs and Their Application to ISA Modeling. In Eleventh International Workshop on the ACL2 Theorem Prover and Its Applications.

S. Goel and W. Hunt. Automated Code Proofs on a Formal Model of the X86. In Verified Software: Theories, Tools and Experiments (VSTTE), 2013

Misc. Writing:

S. Goel and S. Ray. A Beginner's Guide to Developing and Polishing ACL2 Proofs. ACL2 User's Manual, June 2011.

S. Goel. A Formal Model of x86 for Machine Code Proofs. In the Student Forum, Formal Methods in Computer-Aided Design (FMCAD), 2013


Talks:

As I make my way through grad school, I'll be giving talks in the ACL2 seminar. Do check the page out for other interesting talks on Formal Methods.


 ____________________________________________________________________________________________________