Concepedia

Stephanie Weirich

SW

61

Publications

3.4K

Citations

30

H-Index

1996

Active since

Affiliations

University of Pennsylvania(Current)

California University of Pennsylvania

Microsoft Research (United Kingdom)

Cornell University

Microsoft (United States)

Stephanie Weirich is an author at University of Pennsylvania specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisAutomated ReasoningSoftware AnalysisVerificationProgramming LanguagesSoftware Engineering

Publications per year

1996–2021

61

Publications

61

Simple unification-based type inference for GADTs

Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich et al. · 2006 · 335 citations

Engineering, Data Type, Data Science +13

Resource bound certification

Karl Crary, Stephanie Weirich · 2000 · 219 citations · Full text

Engineering, Information Security, Verification +26

Engineering formal metatheory

Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce et al. · 2008 · 215 citations

Engineering, Verification, Automated Proof +22

Practical type inference for arbitrary-rank types

Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich et al. · Journal of Functional Programming · 2006 · 209 citations · Full text

Engineering, Automated Reasoning, Polymorphism (Computer Science) +14

TALx86: A Realistic Typed Assembly Language∗

Greg Morrisett, Karl Crary, Neal Glew et al. · 1999 · 184 citations

Rows per page

1–5 of 61