Stephanie Weirich

Registered user since Fri 9 Sep 2016

Name:Stephanie Weirich
Country:United States
Affiliation:University of Pennsylvania
Research interests:Functional Programming, Type Systems

Contributions

ICFP 2022 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 2022 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 2022 Panelist of Panel (live only, no recording) within the PLMW 2022-track
Panelist in Panelists within the PLMW 2022-track
WITS 2022 Chair of Benchmarking Binding (discussion) within the WITS 2022-track
Author of The Expression Problem and Theorem Proving (discussion) within the WITS 2022-track
PriSC 2022 Author of Effect-Oblivious Equivalence within the PriSC 2022-track
SPLASH 2021 Author of Reasoning about the Garden of Forking Paths within the SIGPLAN Papers-track
ICFP 2021 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
TyDe 2021 Committee Member in Program Committee within the TyDe 2021-track
PLMW@PLDI 2021 Panelist of Panel on Advising and Research within the PLMW@PLDI 2021-track
HOPL IV Committee Member in Program Committee within the Papers-track
POPL 2021 Author of A Graded Dependent Type System with a Usage-Aware Semantics within the POPL-track
Presenter of SIGPLAN CARES within the POPL-track
Presenter of SIGPLAN CARES within the POPL-track
ICFP 2020 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
HIW 2020 Author of Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale within the HIW 2020-track
CoqPL 2020 Committee Member in Program Committee within the CoqPL-track
POPL 2020 Organizing Committee in Organizing Committee within the POPLmark 15 Year Retrospective Panel-track
ICFP 2019 Author of A Role for Dependent Types in Haskell within the Research Papers-track
ICFP'20 General Chair in Steering Committee
POPL 2019 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
ICFP 2018 ICFP'20 General Chair in Steering Committee
Author of Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report) within the Research Papers-track
PLMW @ ICFP 2018 Committee Member in Speakers within the PLMW @ ICFP 2018-track
Speaker of Dependent Types within the PLMW @ ICFP 2018-track
DeepSpec 2018 Author of Towards a formal semantics for GHC Core within the DeepSpec 2018-track
Committee Member in Organizing Committee within the DeepSpec 2018-track
CPP 2018 Author of Total Haskell is Reasonable Coq within the CPP 2018-track
Committee Member in Program Committee within the CPP 2018-track
CoqPL 2018 Author of Locally Nameless at Scale within the -track
POPL 2018 Committee Member in Program Committee within the Research Papers-track
Program Chair of POPL 2019 Preview within the Research Papers-track
ICFP 2017 Author of A Specification for Dependent Types in Haskell within the Research Papers-track
POPL 2017 Author of The Influence of Dependent Types within the POPL-track
Haskell 2016 Session Chair of Testing (part of Haskell)
HIW 2016 Committee Member in Program Committee within the HIW-track
HOPE 2016 Committee Member in Program Committee within the HOPE-track