conf.researchr.org / Stephanie Weirich
Registered user since Fri 9 Sep 2016
Name:Stephanie Weirich
Country:United States
Affiliation:University of Pennsylvania
Personal website: https://www.cis.upenn.edu/~sweirich/
Research interests:Functional Programming, Type Systems
Contributions
2024
ICFP
- Author of Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs within the Artifact Evaluation-track
- Author of Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs within the ICFP Papers and Events-track
2023
ICFP
2022
ICFP
- Author of Program Adverbs and Tlön Embeddings within the ICFP Papers and Events-track
- Steering Committee Chair in Steering Committee
- Committee Member in Program Committee within the ICFP Papers and Events-track
- Session Chair of Keynote (part of ICFP Papers and Events)
- Author of Steering Committee Meeting within the Catering & social-track
- Chair of CARES session within the Catering & social-track
POPL
- Session Chair of SIGPLAN CARES (part of Diversity, Equity and Inclusion)
- Session Chair of SIGPLAN CARES (part of POPL)
- Session Chair of Metaprogramming (part of POPL)
- Session Chair of Types (part of POPL)
- Session Chair of SIGPLAN CARES (part of POPL)
- Session Chair of SIGPLAN CARES (part of Diversity, Equity and Inclusion)
PLMW
WITS
2021
ICFP
- Author of An Existential Crisis Resolved: Type Inference for First-Class Existential Types within the Research Papers-track
- Speaker of SIGPLAN CARES within the Social Events-track
- Author of Reasoning about the Garden of Forking Paths within the Research Papers-track
- University of Pennsylvania in Steering Committee
2020
ICFP
- Committee Member in Selection Committee within the Tutorials-track
- General Chair of Award Presentations & Chair Report within the ICFP Program-track
- Session Chair of Asia 4 (part of ICFP Program)
- Session Chair of Awards & Reports (part of ICFP Program)
- Session Chair of New York 4 (part of ICFP Program)
- Session Chair of ICFP Programming Contest (part of ICFP Program)
- General Chair in Organizing Committee
- Author of Conference closing within the ICFP Program-track
- Author in Steering Committee
- General Chair of Information Desk within the Social Events-track
- Committee Member in Virtualization Committee
2019
ICFP
POPL
- PC Chair of Welcome within the Research Papers-track
- Session Chair of SRC Announcement & Keynote II (part of Research Papers)
- PC Chair in Program Committee within the Research Papers-track
- PC Chair of PC Chair Report within the Research Papers-track
- Committee Member in Steering Committee
- Program Chair in Organizing Committee