| Computer Science Dept. Cornell University Ithaca, NY 14853 (607) 255-5578 |
Stephanie Weirich http://www.cs.cornell.edu/sweirich |
Research Interests
Programming Languages: including Type Theory, Static Analysis, Language-Based Security, HOT (Higher Order, Typed) Language Implementation.
Education
| 1996-current | Ph.D. student, Department of Computer
Science Cornell University, Current GPA 3.9 Advisor: Greg Morrisett |
| 1992-1996 | B.A. Computer Science, Magna Cum Laude Rice University, GPA 3.8 |
Publications
Karl Crary, Stephanie Weirich, Flexible Type Analysis. ACM SIGPLAN '99 Fourth International Conference on Functional Programming.
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 .
Crary, Weirich and Morrisett. Intensional Type Analysis in Type Erasure Semantics. ACM SIGPLAN ’98 International Conference on Functional Programming.
Flanagan, Flatt, Krishnamurthi, Weirich and Felleisen, Catching Bugs in the Web of Program Invariants. ACM SIGPLAN ’96 Conference on Programming Language Design and Implementation.
Summer Employment
| 1997,1998 | NSF Fellowship, Cornell University. |
| 1996 | CRA Distributed Mentorship Program, Rice University. |
| 1995 | Programming Language Theory group, Rice University. |
| 1993, 1994 | Research Experience for Undergraduates, Northeast Parallel Architectures Center, Syracuse University. |
Teaching Experience
| Fall1998 Fall 1997 Spring 1997 Spring 1996 Fall 1994/Spring 1995 |
Graduate Teaching Assistant Instructor Instructor Undergraduate Teaching Assistant Undergraduate Teaching Assistant |
Advanced Programming Languages C++ Programming A Taste of UNIX and C Artificial Intelligence Introduction to Computer Science |
Awards
National Science Foundation Fellowship, 1996.
Microsoft Technical Scholar, 1995.
National Merit Scholar, 1992.
Valedictorian, 1992. R.L. Turner H.S., Carrollton, Texas.
References
Available upon request.