My main research interest is the study of Programming Languages. My advisor is Greg Morrisett.

Talks

• Princeton, June 1999. Type Analysis and Typed Compilation.
  
• ICFP '98. Intensional Polymorphism in Type Erasure Semantics. (also see paper below).

Papers

• Karl Crary, Stephanie Weirich, Resource Bound Certification. In submission.
  (abstract, pdf, ps)
  

• Karl Crary, Stephanie Weirich, Flexible Type Analysis. To Appear in Proceedings of the Fourth International Conference on Functional Programming (ICFP '99). (abstract,dvi,gzipped ps).
  

• Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Fred Smith, Dave Walker, Stephanie Weirich and Steve Zdancewic. TALx86: A Realistic Typed Assembly Language. ACM SIGPLAN 1999 Workshop on
  Compiler Support for System Software (WCSSS '99). (abstract, dvi,pdf)
  

• Karl Crary, Stephanie Weirich, and Greg Morrisett, Intensional Polymorphism in Type Erasure Semantics. Proceedings of the Third ACM Sigplan   International Conference on Functional Programming (ICFP '98). (abstract, ps)
  Extended Version, November 1998, Cornell University TR98-1721 (ps).
  
• Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich and Matthias Felleisen, Catching Bugs in the Web of Program Invariants. Proceedings of the ASM SIGPLAN '96 Conference on Programming Language Design and Implementation (PLDI '96). (gzipped ps)

Compiler Projects

The TAL project (Typed Assembly Language) KML An experimental version of ML which I have worked on with Karl Crary.  Its novel features include: Objects and subtyping First class polymorphism Recursive modules   TILT  (Typed Intermediate Languages Two)

Undergraduate Research