2026 Stephanie Weirich: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	33	12656	12288	5119	4887	132	4850

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Computer Science

12656

12288

5119

4887

132

4850

Overview

Stephanie Weirich is affiliated with the University of Pennsylvania in the United States. Their research is concentrated within the broad field of Computer Science, contributing to 51 publications.

Their work spans several specialized subfields of study, including:

Artificial Intelligence
Hardware and Architecture
Computational Theory and Mathematics
Computer Networks and Communications
Signal Processing

Weirich's research focuses predominantly on topics related to logic, programming, and type systems. Other key research topics include:

Security and Verification in Computing
Parallel Computing and Optimization Techniques
Logic, Reasoning, and Knowledge
Formal Methods in Verification
Semantic Web and Ontologies
Distributed systems and fault tolerance

Their publication record includes papers in several notable venues such as:

Proceedings of the ACM on Programming Languages
arXiv (Cornell University)
Artifact Digital Object Group
Journal of Functional Programming
Leibniz-Zentrum für Informatik (Schloss Dagstuhl)

Among recent publications are:

"A graded dependent type system with a usage-aware semantics," 2021, Proceedings of the ACM on Programming Languages
"Ready,<tt>Set</tt>, Verify! Applying<tt>hs-to-coq</tt> to real-world Haskell code," 2021, Journal of Functional Programming
"An existential crisis resolved: type inference for first-class existential types," 2021, Proceedings of the ACM on Programming Languages
"Program adverbs and Tlön embeddings," 2022, Proceedings of the ACM on Programming Languages
"Internalizing Indistinguishability with Dependent Types," 2024, Proceedings of the ACM on Programming Languages

Frequent co-authors collaborating with Stephanie Weirich include:

Harley Eades
Jonathan Chan
Pritam Choudhury
Richard A. Eisenberg
Yao Li

Best Publications

Simple unification-based type inference for GADTs

Simon Peyton Jones;Dimitrios Vytiniotis;Stephanie Weirich;Geoffrey Washburn

438
Citations
Mechanized metatheory for the masses: the PoplMark challenge

Brian E. Aydemir;Aaron Bohannon;Matthew Fairbairn;J. Nathan Foster

404
Citations
TALx86: A Realistic Typed Assembly Language∗

Greg Morrisett;Karl Crary;Neal Glew;Dan Grossman

318
Citations
Engineering formal metatheory

Brian Aydemir;Arthur Charguéraud;Benjamin C. Pierce;Randy Pollack

290
Citations
Practical type inference for arbitrary-rank types

Simon Peyton Jones;Dimitrios Vytiniotis;Stephanie Weirich;Mark Shields

244
Citations
Giving Haskell a promotion

Brent A. Yorgey;Stephanie Weirich;Julien Cretin;Simon Peyton Jones

233
Citations
Intensional polymorphism in type-erasure semantics

Karl Crary;Stephanie Weirich;Greg Morrisett

165
Citations
Catching bugs in the web of program invariants

Cormac Flanagan;Matthew Flatt;Shriram Krishnamurthi;Stephanie Weirich

139
Citations
Flexible type analysis

Karl Crary;Stephanie Weirich

125
Citations
Reactive noninterference

Aaron Bohannon;Benjamin C. Pierce;Vilhelm Sjöberg;Stephanie Weirich

125
Citations
Dependently typed programming with singletons

Richard A. Eisenberg;Stephanie Weirich

116
Citations
Contracts made manifest

Michael Greenberg;Benjamin c. Pierce;Stephanie Weirich

112
Citations
Wobbly types: type inference for generalised algebraic data types∗

Simon Peyton Jones;Geoffrey Washburn;Stephanie Weirich

98
Citations
Closed type families with overlapping equations

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

90
Citations
Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism*

Geoffrey Washburn;Stephanie Weirich

89
Citations
Boxy types: inference for higher-rank types and impredicativity

Dimitrios Vytiniotis;Stephanie Weirich;Simon Peyton Jones

86
Citations
Combining proofs and programs in a dependently typed language

Chris Casinghino;Vilhelm Sjöberg;Stephanie Weirich

84
Citations
Type-safe cast: (functional pearl)

Stephanie Weirich

83
Citations
AspectML: A polymorphic aspect-oriented functional programming language

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

70
Citations
RepLib: a library for derivable type classes

Stephanie Weirich

65
Citations
Binders unbound

Stephanie Weirich;Brent A. Yorgey;Tim Sheard

65
Citations

Frequent Co-Authors

Simon Jones Microsoft (United States)

Benjamin C. Pierce University of Pennsylvania

Steve Zdancewic University of Pennsylvania

Tim Sheard Portland State University

Greg Morrisett Cornell University

David Walker Princeton University

Peter Sewell University of Cambridge

Matthew Flatt University of Utah

Oleg Sokolsky University of Pennsylvania

Matthias Felleisen Northeastern University

External Links

Personal website of Stephanie Weirich

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens doors to many related fields and online degree options. Many students interested in technology also consider programs such as mechanical engineering, where understanding the mechanical engineering cost of education is an important factor in planning their studies.

If you have an interest in the physical sciences, you might want to compare your choices with the best online physics degree programs available. These can offer a solid foundation in problem-solving and analytical thinking—skills that are highly valued in the tech industry.

For those looking to tap into the growing field of data analytics, earning a data scientist degree online is a practical pathway that equips students with cutting-edge data skills and increases their employability across various sectors.

Another popular option is pursuing an online master’s in electrical engineering degree, which complements computer science expertise and expands career prospects in high-demand industries such as electronics, automation, and telecommunications.