Stephanie Weirich

Stephanie Weirich's AcademicInfluence.com Rankings

Stephanie Weirich

Computer Science

#2938

World Rank

#3075

Historical Rank

Database

#8735

World Rank

#9170

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Stephanie Weirich's Degrees

PhD Computer Science Cornell University
Masters Computer Science Cornell University
Bachelors Computer Science University of California, Berkeley

Similar Degrees You Can Earn

Why Is Stephanie Weirich Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Stephanie Weirich is an American computer scientist specializing in type theory, type inference, dependent types, and functional programming. She is a professor of computer science at the University of Pennsylvania.

(See a Problem?)

Stephanie Weirich's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Simple unification-based type inference for GADTs (2006) (372)
Mechanized Metatheory for the Masses: The PoplMark Challenge (2005) (347)
Engineering formal metatheory (2008) (244)
Resource bound certification (2000) (240)
TALx86: A Realistic Typed Assembly Language∗ (1999) (232)
Practical type inference for arbitrary-rank types (2007) (198)
Giving Haskell a promotion (2012) (174)
Intensional polymorphism in type-erasure semantics (1998) (166)
Catching bugs in the web of program invariants (1996) (103)
Flexible type analysis (1999) (103)
Type Systems (2014) (100)
Reactive noninterference (2009) (98)
Contracts made manifest (2010) (95)
Closed type families with overlapping equations (2014) (92)
Wobbly types: type inference for generalised algebraic data types∗ (2004) (86)
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism (2003) (79)
Dependently typed programming with singletons (2013) (76)
Combining proofs and programs in a dependently typed language (2014) (71)
Type-safe cast: (functional pearl) (2000) (66)
Boxy types: inference for higher-rank types and impredicativity (2006) (63)
AspectML: A polymorphic aspect-oriented functional programming language (2008) (58)
RepLib: a library for derivable type classes (2006) (57)
Binders unbound (2011) (57)
LNgen: Tool Support for Locally Nameless Representations (2010) (52)
Safe zero-cost coercions for Haskell (2014) (52)
Safe and Flexible Dynamic Linking of Native Code (2000) (51)
System FC with explicit kind equality (2013) (48)
Visible Type Application (2016) (46)
Higher-Order Intensional Type Analysis (2002) (45)
Generative type abstraction and type-level computation (2011) (45)
A specification for dependent types in Haskell (2017) (43)
FPH: first-class polymorphism for Haskell (2008) (39)
Position paper: the science of deep specification (2017) (38)
Total Haskell is reasonable Coq (2017) (37)
PolyAML: a polymorphic aspect-oriented functional programming language (2005) (36)
Nominal Reasoning Techniques in Coq: (Extended Abstract) (2007) (34)
Parametricity, type equality, and higher-order polymorphism (2010) (30)
An open and shut typecase (2005) (29)
Equational reasoning about programs with general recursion and call-by-value semantics (2012) (29)
Programming up to Congruence (2015) (27)
Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems (2012) (27)
Encoding Intensional Type Analysis (2001) (26)
Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report) (2018) (25)
Type-safe cast (2004) (25)
Arity-generic datatype-generic programming (2010) (23)
Type-FUNCTIONAL PEARL safe cast (2004) (23)
Generalizing parametricity using information-flow (2005) (22)
A Reflection on Types (2016) (21)
Needle & Knot: Binder Boilerplate Tied Up (2016) (19)
Dependent types and program equivalence (2010) (19)
Practical Type Inference for Arbitrary-Rank Types: Technical Appendix (2005) (16)
A Calculus for Dynamic Loading (2001) (15)
Good advice for type-directed programming aspect-oriented programming and extensible generic functions (2006) (15)
Programming with Types (2002) (14)
Language-based verification will change the world (2010) (14)
A Design for Type-Directed Programming in Java (2005) (12)
A graded dependent type system with a usage-aware semantics (2020) (12)
Free Theorems and Runtime Type Representations (2007) (11)
Step-Indexed Normalization for a Language with General Recursion (2012) (11)
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (2010) (11)
Verified ROS-Based Deployment of Platform-Independent Control Systems (2015) (10)
Type-safe run-time polytypic programming (2006) (9)
A role for dependent types in Haskell (2019) (9)
Depending on types (2014) (9)
Termination Casts: A Flexible Approach to Termination with General Recursion (2010) (9)
Towards synthesis of platform-aware attack-resilient control systems: extended abstract (2013) (7)
Towards dependently typed Haskell: System FC with kind equality (Extended Version) (2013) (7)
It Is Time to Mechanize Programming Language Metatheory (2005) (7)
Static Debugging: Browsing the Web of Program Invariants (1996) (7)
Abstracting Syntax (2009) (6)
Closed Type Families with Overlapping Equations (extended version) (2013) (6)
The influence of dependent types (keynote) (2017) (6)
Analyzing polymorphic advice (2004) (5)
Towards Type Safety of Aspect-Oriented Languages (2006) (5)
Higher-order intensional type analysis in type erasure semantics (2002) (5)
Generative Type Abstraction and Type-level Computation ( Extended Version ) (2010) (4)
Dependently typed programming (2013) (4)
Simple unification-based type inference for GADTs Technical Appendix (2006) (4)
Type-safe cast does no harm (2007) (4)
Safe Zero-cost Coercions for Haskell (extended version) (2014) (4)
Practical type inference for first-class polymorphism (2008) (4)
Manifest Security for Distributed Information (2006) (3)
An existential crisis resolved: type inference for first-class existential types (2021) (3)
Boxy type inference for higher-rank types and impredicativity, Technical Appendix (2006) (3)
Generalizing Parametricity Using Information Flow (Extended Version) (2005) (3)
Combining Proofs and Programs (2011) (3)
A Dependent Dependency Calculus (2022) (2)
Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131) (2016) (2)
How to write a good research paper (2015) (2)
Programming Up to Congruence (Extended version) (2014) (2)
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell (2009) (1)
System FC with Explicit Kind Equality (extended version) (2013) (1)
Program adverbs and Tlön embeddings (2022) (1)
Resource Bound Certi cation � (2020) (1)
Reasoning about the garden of forking paths (2021) (1)
Down with kinds : adding dependent heterogeneous equality to FC ( Extended Version ) (2012) (1)
A Role for Dependent Types in Haskell (Extended version) (2019) (1)
Dependent Types : Easy as P IE WorkIn-Progress Project Description (2007) (1)
FPH (2008) (1)
Embracing a mechanized formalization gap (2019) (1)
Verified Generation of Glue Code for ROS-based Control Systems ∗ (2014) (1)
Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010 (2010) (1)
Preface (2012) (1)
Terms of use : Click here Safe zero-cost coercions for Haskell (2016) (1)
How to give a good research talk (2015) (1)
Eta-Equivalence in Core Dependent Haskell (2019) (0)
Session details: Session 2B: Domain-specific Languages (2015) (0)
Research Statement Motivation and Vision (2001) (0)
FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism (2008) (0)
Arity-generic datatype-generic programming: (abstract only) (2010) (0)
Session details: Session 2B: Domain-specific Languages (2015) (0)
Session details: Safety checking (2004) (0)
LNgen : Tool Support for Locally Nameless Representations MS-CIS-10-24 (2010) (0)
1-17-2010 Dependent types and Program Equivalence (2016) (0)
Session details: Session 2 (2006) (0)
Dependently-Typed Programming in GHC (2012) (0)
An Open and Shut Typecase (Extended Version) (2004) (0)
Type-safe cast does no harm Theoretical (2007) (0)
A Dependent Dependency Calculus (Extended Version) (2022) (0)
Implementing Dependent Types in pi-forall (2022) (0)
DRAFT Binders Unbound (2011) (0)
New Results - Mechanization of type systems and axiomatic and operational semantics (2007) (0)
CS Study Group FY 07 Phase 2 Machine-Checked Metatheory for Security-Oriented Languages Final Technical Report (2010) (0)
Session details: Automated theorem proving (2012) (0)
Machine-Checked Metatheory for Security-Oriented Languages (2006) (0)
Haskell Symposium Program Chair's Report (2009) (0)
Dependently Typed Programming (NII Shonan Meeting 2011-3) (2011) (0)
Replication Package for Article (2019) (0)
Ready, Set, Verify! (2018) (0)
Session details: 5.B: type theory (2012) (0)
Labelled structures and combinatorial species (2014) (0)
Typed reflection in Haskell (2016) (0)
Artifact for "A Graded Dependent Type System with a Usage-Aware Semantics" (2020) (0)
Session details: Language design (2007) (0)
Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation (2011) (0)
Session details: Automated theorem proving (2012) (0)
Nourishing the future of the field: the programming language mentoring workshop 2012 (2012) (0)
Programming up to Congruence Vilhelm Sjöberg (2014) (0)
Dependent Types : Easy as P IE Work-In-Progress (2007) (0)
ICFP 2020 Post-Conference Report (2021) (0)
1 A Specification for Dependently-Typed Haskell ( Extended version ) (2017) (0)
Session details: Static errors (2014) (0)
Manifest Security (2007) (0)
A Specification for Dependent Types in Haskell 31 : 3 Our (2017) (0)
Generic Programming with Dependent Types (2010) (0)
Editorial (2012) (0)
The hs-to-coq tool with examples (2018) (0)
Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, DTP@ICFP 2013, Boston, Massachusetts, USA, September 24, 2013 (2013) (0)
Type-safe cast: functional pearl (2000) (0)
Trellys: Dependently-typed Language Design (2014) (0)
Editorial - Special issue dedicated to ICFP 2010 (2012) (0)
Session details: Keynote 2 (2010) (0)
Counting onQuantitative Type Theory (Extended version) (2020) (0)
Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009 (2009) (0)
9-19-2011 Binders Unbound (2015) (0)
Preface (2011) (0)

This paper list is powered by the following services:

Other Resources About Stephanie Weirich

What Schools Are Affiliated With Stephanie Weirich?

Stephanie Weirich is affiliated with the following schools:

Stephanie Weirich's Academic­Influence.com Rankings