Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
-->

Stephanie Weirich's Publications Copyright Information

Works in Progress [1] Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, and Steve Zdancewic. Mechanized metatheory for the masses: The POPLmark challenge. Submitted for publication, February 2005. PDF PS Abstract [2] Geoffrey Washburn and Stephanie Weirich. Generalizing parametricity using information flow. January 2005. PDF PS Abstract [3] Dan S. Dantas, David Walker, Geoffrey Washburn, and Stephanie Weirich. Analyzing polymorphic advice. 25 pages., October 2004. PDF PS [4] Geoffrey Washburn and Stephanie Weirich. Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism. 64 pages. Submitted for publication to Journal of Functional Programming, October 2004. [5] Simon Peyton Jones, Geoffrey Washburn, and Stephanie Weirich. Wobbly types: Practical type inference for generalised algebraic dataypes. 15 pages, July 2004. PDF PS [6] Stephanie Weirich. Higher-order intensional type analysis in type erasure semantics. 29 pages. Accepted to Journal of Functional Programming, pending revision, 2004.

Conferences and Workshops [1] Dimtrios Vytiniotis, Geoffrey Washburn, and Stephanie Weirich. An open and shut typecase. In ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI), Long Beach, CA, USA, January 2005. 15 pages. An extended version of this paper (50 pages) is University of Pennsylvania Technical Computer and Information Science Report MS-CIS-04-26. PS Abstract [2] Stephanie Weirich and Liang Huang. A design for type-directed Java. In Viviana Bono, editor, Workshop on Object-Oriented Developments, ENTCS, 2004. 20 pages. An extended version (49 pages) of this paper is University of Pennsylvania Computer and Information Science Technical Report MS-CIS-04-11. PDF PS Abstract [3] Geoffrey Washburn and Stephanie Weirich. Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism. In ACM SIGPLAN International Conference on Functional Programming (ICFP), pages 249-262, Uppsala, Sweden, August 2003. PDF PS Abstract [4] Stephanie Weirich. Higher-order intensional type analysis. In Daniel Le Métayer, editor, 11th European Symposium on Programming (ESOP), pages 98-114, Grenoble, France, April 2002. PDF PS Abstract [5] Stephanie Weirich. Encoding intensional type analysis. In D. Sands, editor, 10th European Symposium on Programming (ESOP), pages 92-106, Genova, Italy, April 2001. PDF PS http Abstract [6] Stephanie Weirich. Type-safe cast: Functional pearl. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP), pages 58-67, Montreal, Canada, September 2000. PDF PS Abstract [7] Karl Crary and Stephanie Weirich. Resource bound certification. In Twenty-Seventh ACMSIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 184-198, Boston, MA, USA, January 2000. PDF PS Abstract [8] Karl Crary and Stephanie Weirich. Flexible type analysis. In Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP), pages 233-248, Paris, France, September 1999. PDF PS Abstract [9] Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In Second ACMSIGPLAN Workshop on Compiler Support for System Software, pages 25-35, Atlanta, GA, USA, May 1999. Published as INRIA research report number 0228, March 1999. PS Abstract [10] Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional polymorphism in type erasure semantics. In Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming (ICFP), pages 301-313, Baltimore, MD, USA, September 1998. PDF PS Abstract [11] Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, and Matthias Felleisen. Catching bugs in the web of program invariants. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 23-32, 1996. PS Abstract

Journal Articles [1] Stephanie Weirich. Type-safe cast. Journal of Functional Programming, 14(6):681-695, November 2004. PDF Abstract [2] Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional polymorphism in type erasure semantics. Journal of Functional Programming, 12(6):567-600, November 2002. PDF Abstract [3] Michael Hicks, Stephanie Weirich, and Karl Crary. Safe and flexible dynamic linking of native code. In R. Harper, editor, Types in Compilation: Third International Workshop, TIC 2000; Montreal, Canada, September 21, 2000; Revised Selected Papers, volume 2071 of Lecture Notes in Computer Science, pages 147-176. Springer, 2001. Related technical report: Michael Hicks and Stephanie Weirich. A calculus for dynamic loading. University of Pennsylvania Computer and Information Science Technical Report, MS-CIS-00-07, April 2000. PDF PS http Abstract

Thesis [1] Stephanie Weirich. Programming With Types. PhD thesis, Cornell University, August 2002. 238 pages. PDF PS Abstract

Technical Reports [1] Dan S. Dantas, David Walker, Geoffrey Washburn, and Stephanie Weirich. Analyzing polymorphic advice. Technical Report TR-717-04, Princeton University Computer Science, December 2004. 24 pages. PDF Abstract [2] Liang Huang and Stephanie Weirich. A design for type-directed programming in Java (extended version). Technical Report MS-CIS-04-11, University of Pennsylvania, Computer and Information Science, October 2004. PDF PS [3] Dimtrios Vytiniotis, Geoffrey Washburn, and Stephanie Weirich. An open and shut typecase (extended version). Technical Report MS-CIS-04-26, University of Pennsylvania, Computer and Information Science, October 2004. PS [4] Geoffrey Washburn and Stephanie Weirich. Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism (extended version). Technical Report MS-CIS-03-26, University of Pennsylvania, Computer and Information Science, September 2003. PDF PS [5] Michael Hicks and Stephanie Weirich. A calculus for dynamic loading. Technical Report MS-CIS-00-07, University of Pennsylvania, April 2000. PDF [6] Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional polymorphism in type erasure semantics (extended version). Technical Report TR98-1721, Cornell University, Computer Science, November 1998. PS

Copyright Information The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Parts of this page were generated by bibtex2html Last modified: Wed Mar 2 13:07:30 EST 2005