Marianna Rapoport

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 12

Top Venues

CoRR

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

ECOOP

University of Waterloo, Ontario, Canada (PHD)

Education History

University of Waterloo, Ontario, Canada

PHD

Publications

Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták
Blame for Null (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Ralf Jung, Rodolphe Lepigre, Gaurav Parthasarathy, Marianna Rapoport, Amin Timany, Derek Dreyer, Bart Jacobs
The future is ours: prophecy variables in separation logic. Proc. ACM Program. Lang. 4 (POPL) (2020)
Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták
Blame for Null. ECOOP (2020)
Marianna Rapoport, Ondrej Lhoták
A path to DOT: formalizing fully path-dependent types. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Marianna Rapoport, Ondrej Lhoták
A Path To DOT: Formalizing Fully-Path-Dependent Types. CoRR (2019)
Maria Christakis, Philipp Haller, Marianna Rapoport
Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 4 (3) (2018)
Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby
Who you gonna call?: analyzing web requests in Android applications. MSR (2017)
Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták
A Simple Soundness Proof for Dependent Object Types. CoRR (2017)
Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták
A simple soundness proof for dependent object types. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Marianna Rapoport, Ondrej Lhoták
Mutable WadlerFest DOT. FTfJP@ECOOP (2017)
Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby
Who you gonna call? Analyzing Web Requests in Android Applications. CoRR (2017)
Marianna Rapoport, Ondrej Lhoták
Mutable WadlerFest DOT. CoRR (2016)
Marianna Rapoport, Ondrej Lhoták, Frank Tip
Precise Data Flow Analysis in the Presence of Correlated Method Calls. SAS (2015)
Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip
Type-Based Call Graph Construction Algorithms for Scala. ACM Trans. Softw. Eng. Methodol. 25 (1) (2015)
Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip
Constructing Call Graphs of Scala Programs. ECOOP (2014)

Marianna Rapoport.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marianna Rapoport