Stephanie Weirich

According to our database, Stephanie Weirich authored at least 92 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Internalizing Indistinguishability with Dependent Types.

Yiyun Liu, Jonathan Chan, Jessica Shi, Stephanie Weirich

Proc. ACM Program. Lang., January, 2024

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs.

Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, Yao Li

Proc. ACM Program. Lang., 2024

Effects and Coeffects in Call-by-Push-Value.

Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, Stephanie Weirich

Proc. ACM Program. Lang., 2024

2023

Dependently-Typed Programming with Logical Equality Reflection.

Yiyun Liu, Stephanie Weirich

Proc. ACM Program. Lang., August, 2023

Effects and Coeffects in Call-By-Push-Value (Extended Version).

Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, Stephanie Weirich

CoRR, 2023

Making Logical Relations More Relatable (Proof Pearl).

Emmanuel Suárez Acevedo, Stephanie Weirich

CoRR, 2023

Stratified Type Theory.

Jonathan Chan, Stephanie Weirich

CoRR, 2023

2022

Program adverbs and Tlön embeddings.

Yao Li, Stephanie Weirich

Proc. ACM Program. Lang., 2022

Implementing Dependent Types in pi-forall.

Stephanie Weirich

CoRR, 2022

A Dependent Dependency Calculus (Extended Version).

Pritam Choudhury, Harley Eades III, Stephanie Weirich

CoRR, 2022

A Dependent Dependency Calculus.

Pritam Choudhury, Harley Eades III, Stephanie Weirich

Proceedings of the Programming Languages and Systems, 2022

2021

Reasoning about the garden of forking paths.

Yao Li, Li-yao Xia, Stephanie Weirich

Proc. ACM Program. Lang., 2021

An existential crisis resolved: type inference for first-class existential types.

Richard A. Eisenberg, Guillaume Duboc, Stephanie Weirich, Daniel Lee

Proc. ACM Program. Lang., 2021

A graded dependent type system with a usage-aware semantics.

Pritam Choudhury, Harley Eades III, Richard A. Eisenberg, Stephanie Weirich

Proc. ACM Program. Lang., 2021

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code.

Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Joshua M. Cohen, Stephanie Weirich

J. Funct. Program., 2021

ICFP 2020 Post-Conference Report.

Stephanie Weirich, Benjamin C. Pierce

CoRR, 2021

2020

A graded dependent type system with a usage-aware semantics (extended version).

Pritam Choudhury, Harley Eades III, Richard A. Eisenberg, Stephanie C. Weirich

CoRR, 2020

2019

A role for dependent types in Haskell.

Stephanie Weirich, Pritam Choudhury, Antoine Voizard, Richard A. Eisenberg

Proc. ACM Program. Lang., 2019

Embracing a mechanized formalization gap.

Antal Spector-Zabusky, Joachim Breitner, Yao Li, Stephanie Weirich

CoRR, 2019

A Role for Dependent Types in Haskell (Extended version).

Stephanie Weirich, Pritam Choudhury, Antoine Voizard, Richard A. Eisenberg

CoRR, 2019

Eta-Equivalence in Core Dependent Haskell.

Anastasiya Kravchuk-Kirilyuk, Antoine Voizard, Stephanie Weirich

Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019

2018

Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report).

Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich

Proc. ACM Program. Lang., 2018

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code.

Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich

CoRR, 2018

Total Haskell is reasonable Coq.

Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah, Stephanie Weirich

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

A specification for dependent types in Haskell.

Stephanie Weirich, Antoine Voizard, Pedro Henrique Azevedo de Amorim, Richard A. Eisenberg

Proc. ACM Program. Lang., 2017

The influence of dependent types (keynote).

Stephanie Weirich

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Safe zero-cost coercions for Haskell.

Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, Stephanie Weirich

J. Funct. Program., 2016

Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131).

Marco Gaboardi, Suresh Jagannathan, Ranjit Jhala, Stephanie Weirich

Dagstuhl Reports, 2016

Needle & Knot: Binder Boilerplate Tied Up.

Steven Keuchel, Stephanie Weirich, Tom Schrijvers

Proceedings of the Programming Languages and Systems, 2016

Visible Type Application.

Richard A. Eisenberg, Stephanie Weirich, Hamidhasan G. Ahmed

Proceedings of the Programming Languages and Systems, 2016

A Reflection on Types.

Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis

Proceedings of the A List of Successes That Can Change the World, 2016

2015

How to give a good research talk.

Stephanie Weirich

Proceedings of the Programming Languages Mentoring Workshop, 2015

How to write a good research paper.

Stephanie Weirich

Proceedings of the Programming Languages Mentoring Workshop, 2015

Programming up to Congruence.

Vilhelm Sjöberg, Stephanie Weirich

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Verified ROS-Based Deployment of Platform-Independent Control Systems.

Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

Closed type families with overlapping equations.

Richard A. Eisenberg, Dimitrios Vytiniotis, Simon L. Peyton Jones, Stephanie Weirich

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Combining proofs and programs in a dependently typed language.

Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Depending on types.

Stephanie Weirich

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Type Systems.

Stephanie Weirich

Proceedings of the Computing Handbook, 2014

2013

System FC with explicit kind equality.

Stephanie Weirich, Justin Hsu, Richard A. Eisenberg

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Towards synthesis of platform-aware attack-resilient control systems: extended abstract.

Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

2012

Nourishing the future of the field: the programming language mentoring workshop 2012.

Kathleen Fisher, Ronald Garcia, Stephanie Weirich

ACM SIGPLAN Notices, 2012

Contracts made manifest.

Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich

J. Funct. Program., 2012

Editorial - Special issue dedicated to ICFP 2010.

Umut A. Acar, James Cheney, Stephanie Weirich

J. Funct. Program., 2012

Preface.

Benjamin C. Pierce, Stephanie Weirich

J. Autom. Reason., 2012

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems

Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich

Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

Step-Indexed Normalization for a Language with General Recursion

Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich

Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

Giving Haskell a promotion.

Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Equational reasoning about programs with general recursion and call-by-value semantics.

Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn

Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012

Dependently typed programming with singletons.

Richard A. Eisenberg, Stephanie Weirich

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

Dependently-Typed Programming in GHC.

Stephanie Weirich

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2011

Dependently Typed Programming (NII Shonan Meeting 2011-3).

Shin-Cheng Mu, Conor McBride, Stephanie Weirich

NII Shonan Meet. Rep., 2011

Combining Proofs and Programs.

Stephanie Weirich

Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011

Generative type abstraction and type-level computation.

Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Binders unbound.

Stephanie Weirich, Brent A. Yorgey, Tim Sheard

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Parametricity, type equality, and higher-order polymorphism.

Dimitrios Vytiniotis, Stephanie Weirich

J. Funct. Program., 2010

Termination Casts: A Flexible Approach to Termination with General Recursion

Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich

Proceedings of the Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, 2010

Generic Programming with Dependent Types.

Stephanie Weirich, Chris Casinghino

Proceedings of the Generic and Indexed Programming - International Spring School, 2010

Language-based verification will change the world.

Tim Sheard, Aaron Stump, Stephanie Weirich

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Dependent types and program equivalence.

Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Arity-generic datatype-generic programming.

Stephanie Weirich, Chris Casinghino

Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010

2009

Arity-generic datatype-generic programming: (abstract only).

Stephanie Weirich, Chris Casinghino

ACM SIGPLAN Notices, 2009

Haskell Symposium Program Chair's Report.

Stephanie Weirich

Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009

Reactive noninterference.

Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic

Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009

2008

AspectML: A polymorphic aspect-oriented functional programming language.

Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich

ACM Trans. Program. Lang. Syst., 2008

Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism.

Geoffrey Washburn, Stephanie Weirich

J. Funct. Program., 2008

Engineering formal metatheory.

Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

FPH: first-class polymorphism for Haskell.

Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

Practical type inference for arbitrary-rank types.

Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields

J. Funct. Program., 2007

Free Theorems and Runtime Type Representations.

Dimitrios Vytiniotis, Stephanie Weirich

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

2006

Type-safe run-time polytypic programming.

Stephanie Weirich

J. Funct. Program., 2006

Nominal Reasoning Techniques in Coq: (Extended Abstract).

Brian E. Aydemir, Aaron Bohannon, Stephanie Weirich

Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2006

Good advice for type-directed programming aspect-oriented programming and extensible generic functions.

Geoffrey Washburn, Stephanie Weirich

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2006

Boxy types: inference for higher-rank types and impredicativity.

Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Simple unification-based type inference for GADTs.

Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

RepLib: a library for derivable type classes.

Stephanie Weirich

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2006

2005

It Is Time to Mechanize Programming Language Metatheory.

Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic

Proceedings of the Verified Software: Theories, 2005

Mechanized Metatheory for the Masses: The PoplMark Challenge.

Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

An open and shut typecase.

Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich

Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2005

Generalizing Parametricity Using Information-flow.

Geoffrey Washburn, Stephanie Weirich

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Poly_AML: a polymorphic aspect-oriented functional programming language.

Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004

Type-safe cast.

Stephanie Weirich

J. Funct. Program., 2004

A Design for Type-Directed Programming in Java.

Stephanie Weirich, Liang Huang

Proceedings of the Second Workshop on Object Oriented Developments, 2004

2002

Programming with Types.

Stephanie Weirich

PhD thesis, 2002

Intensional polymorphism in type-erasure semantics.

Karl Crary, Stephanie Weirich, J. Gregory Morrisett

J. Funct. Program., 2002

Higher-Order Intensional Type Analysis.

Stephanie Weirich

Proceedings of the Programming Languages and Systems, 2002

2001

Encoding Intensional Type Analysis.

Stephanie Weirich

Proceedings of the Programming Languages and Systems, 2001

2000

Safe and Flexible Dynamic Linking of Native Code.

Michael W. Hicks, Stephanie Weirich, Karl Crary

Proceedings of the Types in Compilation, Third International Workshop, 2000

Resource Bound Certification.

Karl Crary, Stephanie Weirich

Proceedings of the POPL 2000, 2000

Type-safe cast: functional pearl.

Stephanie Weirich

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

1999

Flexible Type Analysis.

Karl Crary, Stephanie Weirich

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

1996

Static Debugging: Browsing the Web of Program Invariants.

Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996