Stephanie Weirich - Publications

Affiliations: 
Computer and Information Science University of Pennsylvania, Philadelphia, PA, United States 
Area:
Theory: Formal Methods and Logic; Programming Languages and Program Analysis

60 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Keuchel S, Weirich S, Schrijvers T. Needle & knot: Binder boilerplate tied up Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9632: 419-445. DOI: 10.1007/978-3-662-49498-1_17  1
2016 Eisenberg RA, Weirich S, Ahmed HG. Visible type application Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9632: 229-254. DOI: 10.1007/978-3-662-49498-1_10  1
2015 Sjöberg V, Weirich S. Programming up to congruence Acm Sigplan Notices. 50: 369-382. DOI: 10.1145/2676726.2676974  1
2014 Breitner J, Eisenberg RA, Peyton Jones S, Weirich S. Safe zero-cost coercions for Haskell Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 189-202. DOI: 10.1145/2628136.2628141  1
2014 Casinghino C, Sjöberg V, Weirich S. Combining proofs and programs in a dependently typed language Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 33-45. DOI: 10.1145/2535838.2535883  1
2014 Eisenberg RA, Vytiniotis D, Peyton Jones S, Weirich S. Closed type families with overlapping equations Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 671-683. DOI: 10.1145/2535838.2535856  1
2014 Breitner J, Eisenberg RA, Jones SP, Weirich S. Safe zero-cost coercions for Haskell Acm Sigplan Notices. 49: 189-202. DOI: 10.1145/10.1145/2628136.2628141  1
2013 Mu SC, Mcbride C, Weirich S. Dependently typed programming Progress in Informatics. 149-155. DOI: 10.2201/NiiPi.2013.10.8  1
2013 Kimmell G, Stump A, Eades HD, Fu P, Sheard T, Weirich S, Casinghino C, Sjöberg V, Collins N, Ahn KY. Equational reasoning about programs with general recursion and call-by-value semantics Progress in Informatics. 19-46. DOI: 10.2201/NiiPi.2013.10.3  1
2013 Hu Z, Mu SC, Weirich S. Advanced programming techniques for construction of robust, generic and evolutionary programs Progress in Informatics. 1-2. DOI: 10.2201/NiiPi.2013.10.1  1
2013 Weirich S, Hsu J, Eisenberg RA. System FC with explicit kind equality Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 275-286. DOI: 10.1145/2500365.2500599  1
2013 Pajic M, Bezzo N, Weimer J, Alur R, Mangharam R, Michael N, Pappas GJ, Sokolsky O, Tabuada P, Weirich S, Lee I. Towards synthesis of platform-aware attack-resilient control systems: Extended abstract Hicons 2013 - Proceedings of the 2nd Acm International Conference On High Confidence Networked Systems, Part of Cpsweek 2013. 75-76. DOI: 10.1145/2461446.2461457  1
2013 Eisenberg RA, Weirich S. Dependently Typed programming with singletons Acm Sigplan Notices. 47: 117-129. DOI: 10.1145/2430532.2364522  1
2013 Weirich S. DTP 2013 chair's welcome Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. iii.  1
2012 Sjöberg V, Casinghino C, Ahn KY, Collins N, Eades HD, Fu P, Kimmell G, Sheard T, Stump A, Weirich S. Irrelevance, heterogeneous equality, and call-by-value dependent type systems Electronic Proceedings in Theoretical Computer Science, Eptcs. 76: 112-162. DOI: 10.4204/EPTCS.76.9  1
2012 Casinghino C, Sjöberg V, Weirich S. Step-indexed normalization for a language with general recursion Electronic Proceedings in Theoretical Computer Science, Eptcs. 76: 25-39. DOI: 10.4204/EPTCS.76.4  1
2012 Yorgey BA, Weirich S, Cretin J, Jones SP, Vytiniotis D, Magalhães JP. Giving haskell a promotion Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 53-65. DOI: 10.1145/2103786.2103795  1
2012 Acar UA, Cheney J, Weirich S. Editorial Journal of Functional Programming. 22: 379-381. DOI: 10.1017/S0956796812000287  1
2012 Greenberg M, Pierce BC, Weirich S. Contracts made manifest Journal of Functional Programming. 22: 225-274. DOI: 10.1017/S0956796812000135  1
2012 Pierce BC, Weirich S. Preface Journal of Automated Reasoning. 49: 301-302. DOI: 10.1007/s10817-012-9254-5  1
2012 Weirich S, Casinghino C. Generic programming with dependent types Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7470: 217-258. DOI: 10.1007/978-3-642-32202-0_5  1
2011 Weirich S, Yorgey BA, Sheard T. Binders UNBOUND Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 333-345. DOI: 10.1145/2034773.2034818  1
2011 Weirich S, Vytiniotis D, Jones SP, Zdancewic S. Generative type abstraction and type-level computation Acm Sigplan Notices. 46: 227-239. DOI: 10.1145/1925844.1926411  1
2011 Weirich S, Dreyer D. TLDI'11 - Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation: Foreword Tldi'11 - Proceedings of the 7th Acm Sigplan Workshop On Types in Language Design and Implementation. iii.  1
2010 Sheard T, Stump A, Weirich S. Language-based verification will change the world Proceedings of the Fse/Sdp Workshop On the Future of Software Engineering Research, Foser 2010. 343-347. DOI: 10.1145/1882362.1882432  1
2010 Weirich S, Casinghino C. Arity-generic datatype-generic programming Plpv'10 - Proceedings of the 2010 Acm Sigplan Workshop On Programming Languages Meets Program Verification. 15-26. DOI: 10.1145/1707790.1707799  1
2010 Jia L, Zhao J, Sjöberg V, Weirich S. Dependent types and program equivalence Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 275-286. DOI: 10.1145/1706299.1706333  1
2010 Vytiniotis D, Weirich S. Parametricity, type equality, and higher-order polymorphism Journal of Functional Programming. 20: 175-210. DOI: 10.1017/S0956796810000079  1
2010 Weirich S. Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP: Foreword Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. iii.  1
2010 Weirich S. ACM SIGPLAN Notices: Foreword Acm Sigplan Notices. 45: ii.  1
2009 Bohannon A, Pierce BC, Sjöberg V, Weirich S, Zdancewic S. Reactive noninterference Proceedings of the Acm Conference On Computer and Communications Security. 79-90. DOI: 10.1145/1653662.1653673  1
2009 Weirich S. Haskell'09 - Proceedings of the 2009 ACM SIGPLAN Haskell Symposium, Co-located with the International Conference on Functional Programming, ICFP'09: Foreword Haskell'09 - Proceedings of the 2009 Acm Sigplan Haskell Symposium. iii.  1
2008 Vytiniotis D, Weirich S, Jones SP. FPH: First-class polymorphism for Haskell: Declarative, constraint-free type inference for impredicative polymorphism Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 295-306. DOI: 10.1145/1411204.1411246  1
2008 Dantas DS, Walker D, Washburn G, Weirich S. AspectML: A polymorphic aspect-oriented functional programming language Acm Transactions On Programming Languages and Systems. 30. DOI: 10.1145/1353445.1353448  1
2008 Aydemir B, Charguéraud A, Pierce BC, Pollack R, Weirich S. Engineering formal metatheory Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 3-15. DOI: 10.1145/1328438.1328443  1
2008 Washburn G, Weirich S. Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism Journal of Functional Programming. 18: 87-140. DOI: 10.1017/S0956796807006557  1
2008 Pierce BC, Sewell P, Weirich S, Zdancewic S. It is time to mechanize programming language metatheory Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4171: 26-30. DOI: 10.1007/978-3-540-69149-5_3  1
2008 Vytiniotis D, Weirich S, Jones SP. FPH: First-class polymorphism for haskell declarative, constraint-free type inference for impredicative polymorphism Acm Sigplan Notices. 43: 295-306.  1
2007 Jones SP, Vytiniotis D, Weirich S, Shields M. Practical type inference for arbitrary-rank types Journal of Functional Programming. 17: 1-82. DOI: 10.1017/S0956796806006034  1
2007 Vytiniotis D, Weirich S. Free Theorems and Runtime Type Representations Electronic Notes in Theoretical Computer Science. 173: 357-373. DOI: 10.1016/j.entcs.2007.02.043  1
2007 Aydemir B, Bohannon A, Weirich S. Nominal Reasoning Techniques in Coq. (Extended Abstract) Electronic Notes in Theoretical Computer Science. 174: 69-77. DOI: 10.1016/j.entcs.2007.01.028  1
2006 Vytiniotis D, Weirich S, Jones SP. Boxy types: Inference for higher-rank types and impredicativity Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 2006: 251-262. DOI: 10.1145/1159803.1159838  1
2006 Jones SP, Vytiniotis D, Weirich S, Washburn G. Simple unification-based type inference for GADTS Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 2006: 50-61. DOI: 10.1145/1159803.1159811  1
2006 Weirich S. Type-safe run-time polytypic programming Journal of Functional Programming. 16: 681-710. DOI: 10.1017/S0956796806005879  1
2006 Weirich S. RepLib: A library for derivable type classes Haskell'06 - Proceedings of the Acm Sigplan 2006 Haskell Workshop. 2006: 1-12.  1
2006 Washburn G, Weirich S. Good advice for type-directed programming aspect-oriented programming and extensible generic functions Wgp'06 - Proceedings of the Acm Sigplan 2006 Workshop On Generic Programming. 2006: 33-44.  1
2005 Dantas DS, Walker D, Washburn G, Weirich S. PolyAML: A polymorphic aspect-oriented functional programming language Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 306-319. DOI: 10.1145/1086365.1086404  1
2005 Washburn G, Weirich S. Generalizing parametricity using information-flow Proceedings - Symposium On Logic in Computer Science. 62-71. DOI: 10.1109/LICS.2005.20  1
2005 Weirich S, Huang L. A design for type-directed programming in Java Electronic Notes in Theoretical Computer Science. 138: 117-136. DOI: 10.1016/j.entcs.2005.09.014  1
2005 Vytiniotis D, Washburn G, Weirich S. An open and shut typecase Proceedings of the Tldi'05: 2005 Acm Sigplan International Workshop On Types in Languages Design and Implementation. 13-24.  1
2005 Aydemir BE, Bohannon A, Fairbairn M, Foster JN, Pierce BC, Sewell P, Vytiniotis D, Washburn G, Weirich S, Zdancewic S. Mechanized metatheory for the masses: The PoplMark challenge Lecture Notes in Computer Science. 3603: 50-65.  1
2004 Weirich S. Type-safe cast Journal of Functional Programming. 14: 681-695. DOI: 10.1017/S0956796804005179  1
2002 Crary K, Weirich S, Morrisett G. Intensional polymorphism in type-erasure semantics Journal of Functional Programming. 12: 567-600. DOI: 10.1017/S0956796801004282  1
2002 Weirich S. Higher-order intensional type analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2305: 98-114.  1
2001 Hicks M, Weirich S, Crary K. Safe and flexible dynamic linking of native code Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2071: 147-176. DOI: 10.1007/3-540-45332-6_6  1
2001 Weirich S. Encoding intensional type analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2028: 92-106.  1
2000 Crary K, Weirich S. Resource bound certification Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 184-198.  0.56
2000 Weirich S. Type-safe cast (Functional pearl) Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 58-67.  1
1999 Crary K, Weirich S. Flexible type analysis Sigplan Notices (Acm Special Interest Group On Programming Languages). 34: 233-243.  1
1996 Flanagan C, Flatt M, Krishnamurthi S, Weirich S, Felleisen M. Catching bugs in the web of program invariants Sigplan Notices (Acm Special Interest Group On Programming Languages). 31: 23-32.  1
Show low-probability matches.