Marianna Rapoport

17 papers A* 1A 3B 1Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A* conf
Formally Verified Cloud-Scale Authorization.
ICSE
Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan
2020 J jnl
Blame for Null (Artifact).
Dagstuhl Artifacts Ser.
Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták
2020 A conf
Blame for Null.
ECOOP
Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták
2020 J jnl
The future is ours: prophecy variables in separation logic.
Proc. ACM Program. Lang.
Ralf Jung, Rodolphe Lepigre, Gaurav Parthasarathy, Marianna Rapoport, Amin Timany, Derek Dreyer, Bart Jacobs
2019 J jnl
A Path To DOT: Formalizing Fully-Path-Dependent Types.
CoRR
Marianna Rapoport, Ondrej Lhoták
2019 — —
A Path to DOT: Formalizing Scala with Dependent Object Types.
Marianna Rapoport
2019 J jnl
A path to DOT: formalizing fully path-dependent types.
Proc. ACM Program. Lang.
Marianna Rapoport, Ondrej Lhoták
2018 J jnl
Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.
Dagstuhl Artifacts Ser.
Maria Christakis, Philipp Haller, Marianna Rapoport
2017 J jnl
A Simple Soundness Proof for Dependent Object Types.
CoRR
Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták
2017 J jnl
A simple soundness proof for dependent object types.
Proc. ACM Program. Lang.
Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták
2017 — conf
Mutable WadlerFest DOT.
FTfJP@ECOOP
Marianna Rapoport, Ondrej Lhoták
2017 J jnl
Who you gonna call? Analyzing Web Requests in Android Applications.
CoRR
Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby
2017 A conf
Who you gonna call?: analyzing web requests in Android applications.
MSR
Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby
2016 J jnl
Mutable WadlerFest DOT.
CoRR
Marianna Rapoport, Ondrej Lhoták
2015 B conf
Precise Data Flow Analysis in the Presence of Correlated Method Calls.
SAS
Marianna Rapoport, Ondrej Lhoták, Frank Tip
2015 J jnl
Type-Based Call Graph Construction Algorithms for Scala.
ACM Trans. Softw. Eng. Methodol.
Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip
2014 A conf
Constructing Call Graphs of Scala Programs.
ECOOP
Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip