Stephanie Weirich

Professor
Computer and Information Science (CIS)

Email | Personal Webpage

Honors and Awards:  NSF CAREER Award - 2004

Research Expertise: Programming Languages | logic

The goal of Stephanie's research is to enhance the reliability, maintainability, and security of software systems through statically-typed programming languages. Her research explores novel methods to bring more expressive type systems to users. Stephanie works to reconcile the features of expressive-but-theoretical type systems with existing languages, while partially automating the process of type system design to improve confidence in the soundness of more complicated type systems. Stephanie is also engaged in incorporating programming logics into the design of practical type systems so that application-specific properties may be expressed.

Education:
PhD Computer Science 2002 - Cornell University
MS Computer Science 2002 - Cornell University
BA Computer Science 1996 - Rice University

Recent Publications RSS Feed

  • Safe zero-cost coercions for Haskell, BREITNER, J. | EISENBERG, R.A. | PEYTON JONES, S. | WEIRICH, S., Journal of Functional Programming, 2016
  • A reflection on types, Peyton Jones, S. | Weirich, S. | Eisenberg, R.A. | Vytiniotis, D., Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016
  • Visible type application, Eisenberg, R.A. | Weirich, S. | Ahmed, H.G., Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016
  • Needle & knot: Binder boilerplate tied up, Keuchel, S. | Weirich, S. | Schrijvers, T., Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016
  • Programming up to congruence, Sjöberg, V. | Weirich, S., Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 2015


Return to Directory