Constructing Call Graphs of Scala Programs. - Karim Ali 001; Marianna Rapoport; Ondrej Lhoták; Julian Dolby; Frank Tip (ECOOP, 2014)

Precise Data Flow Analysis in the Presence of Correlated Method Calls. - Marianna Rapoport; Ondrej Lhoták; Frank Tip (SAS, 2015)

Type-Based Call Graph Construction Algorithms for Scala. - Karim Ali 001; Marianna Rapoport; Ondrej Lhoták; Julian Dolby; Frank Tip (ACM Trans. Softw. Eng. Methodol., 2015)

Mutable WadlerFest DOT. - Marianna Rapoport; Ondrej Lhoták (FTfJP@ECOOP, 2017)

Who you gonna call?: analyzing web requests in Android applications. - Marianna Rapoport; Philippe Suter; Erik Wittern; Ondrej Lhoták; Julian Dolby (MSR, 2017)

A simple soundness proof for dependent object types. - Marianna Rapoport; Ifaz Kabir; Paul He; Ondrej Lhoták (Proc. ACM Program. Lang., 2017)

Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. - Maria Christakis; Philipp Haller; Marianna Rapoport (Dagstuhl Artifacts Ser., 2018)

A path to DOT: formalizing fully path-dependent types. - Marianna Rapoport; Ondrej Lhoták (Proc. ACM Program. Lang., 2019)

A Path to DOT: Formalizing Scala with Dependent Object Types. - Marianna Rapoport (2019)

Blame for Null. - Abel Nieto; Marianna Rapoport; Gregor Richards; Ondrej Lhoták (ECOOP, 2020)

Blame for Null (Artifact). - Abel Nieto; Marianna Rapoport; Gregor Richards; Ondrej Lhoták (Dagstuhl Artifacts Ser., 2020)

The future is ours: prophecy variables in separation logic. - Ralf Jung 002; Rodolphe Lepigre; Gaurav Parthasarathy; Marianna Rapoport; Amin Timany; Derek Dreyer; Bart Jacobs 002 (Proc. ACM Program. Lang., 2020)

Formally Verified Cloud-Scale Authorization. - Aleks Chakarov; Jaco Geldenhuys; Matthew Heck; Michael Hicks 001; Sam Huang; Georges-Axel Jaloyan; Anjali Joshi; K. Rustan M. Leino; Mikael Mayer; Sean McLaughlin; Akhilesh Mritunjai; Clément Pit-Claudel; et al. (ICSE, 2025)