Marianna Rapoport

Registered user since Mon 25 Apr 2016

Name: Marianna Rapoport

Country: Canada

Affiliation: University of Waterloo

Personal website: http://mrapoport.com

Research interests: type systems, functional programming

Contributions

IWACO 2020Committee Member in Program Committee within the IWACO-track
ECOOP 2020Author of Blame for Null within the Research Papers-track
POPL 2020Author of The Future is Ours: Prophecy Variables in Separation Logic within the Research Papers-track
SPLASH 2019Session Chair of Practical Bits (Grads) (part of PLMW)
Contributor/Author of Icebreaker and Networking Activity within the PLMW-track
Session Chair of Being a PhD Student (part of PLMW)
Author of A Path to DOT: Formalizing Fully Path-Dependent Types within the OOPSLA-track
Co-chair in Organizing Committee within the PLMW-track
Contributor/Author of Introduction within the PLMW-track
Author of A Path to DOT: Formalizing Fully Path-Dependent Types within the OOPSLA Artifacts-track
FTfJP 2017Author of Mutable WadlerFest DOT within the FTfJP 2017-track
ECOOP 2018Artifact Evaluation Co-Chair in Organizing Committee
Presenter of Distinguished Artifact Award within the ECOOP Keynotes-track
Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
ECOOP and ISSTA 2018Artifact Evaluation Co-Chair in Organizing Committee
SPLASH 2017Author of A Simple Soundness Proof for Dependent Object Types within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
SPLASH 2016Programme Committee in Program Committee within the OOPSLA Artifacts-track