Marianna Rapoport -

Registered user since Mon 25 Apr 2016

Name:Marianna Rapoport

Country:Canada

Affiliation:Amazon Web Services

Personal website:http://mrapoport.com

GitHub:https://github.com/amaurremi

Research interests:verification, type systems, functional programming, compilers

Contributions

ESEC/FSE 2023	Committee Member in Program Committee within the Industry Papers-track
SPLASH 2023	PC Member in OOPSLA Review Committee within the OOPSLA-track
TyDe 2023	Committee Member in Program Committee within the TyDe 2023-track
ECOOP 2022	Committee Member in Program Committee within the Research Papers-track Committee Member in Program Committee within the Doctoral Symposium-track
SPLASH 2021	Committee Member in External Review Committee within the OOPSLA-track
ECOOP 2020	Author of Blame for Null within the Artifacts-track Author of Blame for Null within the Research Papers-track
IWACO 2020	Committee Member in Program Committee within the IWACO-track
POPL 2020	Author of The Future is Ours: Prophecy Variables in Separation Logic within the Research Papers-track
SPLASH 2019	Session 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
ECOOP 2018	Artifact 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 2018	Artifact Evaluation Co-Chair in Organizing Committee
SPLASH 2017	Author of A Simple Soundness Proof for Dependent Object Types within the OOPSLA-track Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
FTfJP 2017	Author of Mutable WadlerFest DOT within the FTfJP 2017-track
SPLASH 2016	Programme Committee in Program Committee within the OOPSLA Artifacts-track