Conferences and Workshops
|
[1]
|
Stephanie Weirich, Dimitrios Vytiniotis, Simon Peyton Jones, and Steve
Zdancewic.
Generative Type Abstraction and Type-level Computation.
In POPL 11: 38th ACM SIGACT-SIGPLAN Symposium on Principles of
Programming Languages, January 26-28, 2011. Austin, TX, USA. ACM, January
2011.
[ PDF
Abstract ]
|
|
[2]
|
Tim Sheard, Aaron Stump, and Stephanie Weirich.
Language-Based Verification Will Change The World.
In 2010 FSE/SDP Workshop on the Future of Software Engineering
Research, November 2010.
Position paper.
[ PDF ]
|
|
[3]
|
Aaron Stump, Vilhelm Sjöberg, and Stephanie Weirich.
Termination Casts: A Flexible Approach to Termination with
General Recursion.
In Workshop on Partiality and Recursion in Interactive Theorem
Provers, Edinburgh, Scotland, July 2010.
[ PDF
Abstract ]
|
|
[4]
|
Michael Greenberg, Benjamin Pierce, and Stephanie Weirich.
Contracts Made Manifest.
In 37th ACM SIGACT-SIGPLAN Symposium on Principles of
Programming Languages (POPL), pages 353-364, Madrid, Spain, January 2010.
ACM.
[ PDF
Abstract ]
|
|
[5]
|
Limin Jia, Jianzhou Zhao, Vilhem Sjöberg, and Stephanie Weirich.
Dependent types and Program Equivalence.
In 37th ACM SIGACT-SIGPLAN Symposium on Principles of
Programming Languages (POPL), pages 275-286, Madrid, Spain, January 2010.
ACM.
[ PDF
Abstract ]
|
|
[6]
|
Stephanie Weirich and Chris Casinghino.
Arity-generic type-generic programming.
In ACM SIGPLAN Workshop on Programming Languages Meets Program
Verification (PLPV), pages 15-26, January 2010.
[ PDF ]
|
|
[7]
|
Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, and
Steve Zdancewic.
Reactive Noninterference.
In 16th ACM Conference on Computer and Communications Security,
pages 79-90, November 2009.
[ PDF
Abstract ]
|
|
[8]
|
Dimitrios Vytiniotis, Stephanie Weirich, and Simon Peyton Jones.
FPH: First-class polymorphism for Haskell.
In ICFP 2008: The 13th ACM SIGPLAN International Conference on
Functional Programming, pages 295-306, Victoria, BC, Canada, September
2008.
[ Project
PDF
Abstract ]
|
|
[9]
|
Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, and
Stephanie Weirich.
Engineering Formal Metatheory.
In ACM SIGPLAN-SIGACT Symposium on Principles of
Programming Languages (POPL), pages 3-15, January 2008.
[ Project
PDF
Abstract ]
|
|
[10]
|
Dimitrios Vytiniotis and Stephanie Weirich.
Dependent types: Easy as PIE.
In Marco T. Morazán and Henrik Nilsson, editors, Draft
Proceedings of the 8th Symposium on Trends in Functional Programming, pages
XVII-1-XVII-15. Dept. of Math and Computer Science, Seton Hall
University, April 2007.
TR-SHU-CS-2007-04-1.
[ PDF ]
|
|
[11]
|
Dimitrios Vytiniotis and Stephanie Weirich.
Free theorems and runtime type representations.
In Mathematical Foundations of Programming Semantics (MFPS
XXIII), pages 357-373, New Orleans, LA, USA, April 2007.
[ Project
PDF
PS
Abstract ]
|
|
[12]
|
Stephanie Weirich.
RepLib: A library for derivable type classes.
In Haskell Workshop, pages 1-12, Portland, OR, USA, September
2006.
[ Project
PDF
Abstract ]
|
|
[13]
|
Geoffrey Washburn and Stephanie Weirich.
Good Advice for Type-directed Programming: Aspect-oriented
Programming and Extensible Generic Functions.
In Workshop on Generic Programming (WGP), pages 33-44,
Portland, OR, USA, September 2006.
[ Project
PDF
Abstract ]
|
|
[14]
|
Dimitrios Vytiniotis, Stephanie Weirich, and Simon L. Peyton Jones.
Boxy type inference for higher-rank types and impredicativity.
In International Conference on Functional Programming (ICFP),
pages 251-262, Portland, OR, USA, September 2006.
[ Project
PDF
Abstract ]
|
|
[15]
|
Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Geoffrey
Washburn.
Simple unification-based type inference for GADTs.
In International Conference on Functional Programming (ICFP),
pages 50-61, Portland, OR, USA, September 2006.
[ Project
PDF
Abstract ]
|
|
[16]
|
Brian Aydemir, Aaron Bohannon, and Stephanie Weirich.
Nominal Reasoning Techniques in Coq.
In International Workshop on Logical Frameworks and
Meta-Languages:Theory and Practice (LFMTP), pages 60-69, Seattle, WA, USA,
August 2006.
[ Project
PDF
Abstract ]
|
|
[17]
|
Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, and Steve Zdancewic.
It is Time to Mechanize Programming Language Metatheory.
In Verified Software: Theories, Tools, Experiments (VS:TTE),
Zürich, Switzerland, October 2005.
5 pages.
[ Project
PDF
Abstract ]
|
|
[18]
|
Daniel S. Dantas, David Walker, Geoffrey Washburn, and Stephanie Weirich.
PolyAML: A polymorphic aspect-oriented functional programmming
language.
In ACM SIGPLAN International Conference on Functional
Programming (ICFP), pages 306-319, Tallinn, Estonia, September 2005.
[ Project
PDF
PS
Abstract ]
|
|
[19]
|
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.
In The 18th International Conference on Theorem Proving in
Higher Order Logics (TPHOLs), pages 50-65, Oxford, UK, August 2005.
[ Project
PDF
PS
Abstract ]
|
|
[20]
|
Geoffrey Washburn and Stephanie Weirich.
Generalizing Parametricity Using Information Flow.
In IEEE Symposium on Logic in Computer Science (LICS), pages
62-71, Chicago, IL, USA, June 2005.
[ Project
PDF
PS
Abstract ]
|
|
[21]
|
Dimtrios Vytiniotis, Geoffrey Washburn, and Stephanie Weirich.
An Open and Shut Typecase.
In ACM SIGPLAN Workshop on Types in Language Design and
Implementation (TLDI), pages 13-24, Long Beach, CA, USA, January 2005.
[ PS
Abstract ]
|
|
[22]
|
Stephanie Weirich and Liang Huang.
A Design for Type-Directed Java.
In Viviana Bono, editor, Workshop on Object-Oriented
Developments (WOOD), ENTCS, pages 117-136, 2004.
[ Project
PDF
PS
Abstract ]
|
|
[23]
|
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 ]
|
|
[24]
|
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 ]
|
|
[25]
|
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 ]
|
|
[26]
|
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 ]
|
|
[27]
|
Karl Crary and Stephanie Weirich.
Resource Bound Certification.
In Twenty-Seventh ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages (POPL), pages 184-198, Boston, MA, USA,
January 2000.
[ PDF
PS
Abstract ]
|
|
[28]
|
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 ]
|
|
[29]
|
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 ACM SIGPLAN Workshop on Compiler Support for
System Software, pages 25-35, Atlanta, GA, USA, May 1999.
Published as INRIA research report number 0228, March 1999.
[ PDF
PS
Abstract ]
|
|
[30]
|
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 ]
|
|
[31]
|
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.
[ PDF
PS
Abstract ]
|
|
Technical Reports
|
[1]
|
Stephanie Weirich, Dimitrios Vytiniotis, Simon Peyton Jones, and Steve
Zdancewic.
Generative Type Abstraction and Type-level Computation (Extended
Version).
Technical report, November 2010.
[ PDF
Abstract ]
|
|
[2]
|
Brian Aydemir and Stephanie Weirich.
LNgen: Tool Support for Locally Nameless Representations.
Technical Report MS-CIS-10-24, Computer and Information Science,
University of Pennsylvania, June 2010.
[ Project
PDF ]
|
|
[3]
|
Aaron Stump, Vilhelm Sjöberg, and Stephanie Weirich.
Termination Casts: A Flexible Approach to Termination with
General Recursion (Technical Appendix).
Technical Report MS-CIS-10-21, University of Pennsylvania Department
of Computer and Information Science, 2010.
[ PDF ]
|
|
[4]
|
Brian Aydemir, Steve Zdancewic, and Stephanie Weirich.
Abstracting Syntax.
Technical Report MS-CIS-09-06, Computer and Information Science,
University of Pennsylvania, March 2009.
[ Project
PDF ]
|
|
[5]
|
Karl Crary, Robert Harper, Frank Pfenning, Benjamin C. Pierce, Stephanie
Weirich, and Stephan Zdancewic.
Manifest Security.
Technical report, January 2007.
White paper.
[ PDF ]
|
|
[6]
|
Dimitrios Vytiniotis, Stephanie Weirich, and Simon L. Peyton Jones.
Boxy type inference for higher-rank types and impredicativity,
Technical Appendix.
Technical Report MS-CIS-05-23, University of Pennsylvania, April
2006.
[ Project
PDF ]
|
|
[7]
|
Dimitrios Vytiniotis, Stephanie Weirich, and Simon L. Peyton Jones.
Simple unification-based type inference for GADTs, Technical
Appendix.
Technical Report MS-CIS-05-22, University of Pennsylvania, April
2006.
[ Project
PDF ]
|
|
[8]
|
Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Mark
Shields.
Practical type inference for arbitrary-rank types (Technical
appendix).
Technical Report MIS-CIS-05-14, University of Pennsylvania, July
2005.
[ Project
PDF ]
|
|
[9]
|
Geoffrey Washburn and Stephanie Weirich.
Generalizing Parametricity Using Information Flow (Extended
version).
Technical Report MS-CIS-05-04, Computer and Information Science,
University of Pennsylvania, July 2005.
[ PDF
Abstract ]
|
|
[10]
|
Daniel S. Dantas, David Walker, Geoffrey Washburn, and Stephanie Weirich.
PolyAML: A Polymorphic Aspect-Oriented Functional Programming
Language (Extended Version).
Technical Report MS-CIS-05-07, University of Pennsylvania, Department
of Computer and Information Science, 2005.
[ PDF
Abstract ]
|
|
[11]
|
Dan S. Dantas, David Walker, Geoffrey Washburn, and Stephanie Weirich.
Analyzing Polymorphic Advice.
Technical Report TR-717-04, Princeton University Computer Science,
December 2004.
[ Project
PDF
Abstract ]
|
|
[12]
|
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 ]
|
|
[13]
|
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.
[ PDF
PS
Abstract ]
|
|
[14]
|
Simon L. Peyton Jones, Geoffrey Washburn, and Stephanie Weirich.
Wobbly types: Practical Type Inference for Generalised Algebraic
Dataypes.
Technical Report MS-CIS-05-26, University of Pennsylvania, Computer
and Information Science Department, Levine Hall, 3330 Walnut Street,
Philadelphia, Pennsylvania, 19104-6389, July 2004.
[ Project
PDF
Abstract ]
|
|
[15]
|
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
Abstract ]
|
|
[16]
|
Michael Hicks and Stephanie Weirich.
A Calculus for Dynamic Loading.
Technical Report MS-CIS-00-07, University of Pennsylvania, April
2000.
[ PDF
Abstract ]
|
|
[17]
|
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.
[ PDF
PS ]
|
|