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

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