/

Workspace

Research & Review

Writing & Publishing

Data & Analysis

Utilities

Account

User Settings

S

Stephanie Weirich

University of Pennsylvania(US)

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

184

Papers

4.0K

Citations

33

h-index

69

i10-index

Stephanie Weirich is an academic researcher from University of Pennsylvania. The author has contributed to research in topics: Logic, programming, and type systems & Formal Methods in Verification & Software Engineering Research. The author has an h-index of 33, co-authored 157 publications.

ORCID: 0000-0002-6756-9168

Research Topics

Logic, programming, and type systems Formal Methods in Verification Software Engineering Research Security and Verification in Computing Parallel Computing and Optimization Techniques

Papers by this author

works

Safe and Flexible Dynamic Linking of Native Code

2001 · Lecture notes in computer science · 39 citations

https://doi.org/10.1007/3-540-45332-6_6

Michael Hicks Stephanie Weirich Karl Crary

Mechanized metatheory for the masses: The POPLmark Challenge

2005 · ScholarlyCommons (University of Pennsylvania) · 0 citations

Brian Aydemir Aaron Bohannon Matthew Fairbairn J. Nathan Foster

Research topics

topics

Logic, programming, and type systems

Formal Methods in Verification

Software Engineering Research

Security and Verification in Computing

Parallel Computing and Optimization Techniques

Chat about Author

Papers

Chat

Click to start Chat