Marianna Rapoport

According to our database, Marianna Rapoport authored at least 12 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

The future is ours: prophecy variables in separation logic.

Ralf Jung, Rodolphe Lepigre, Gaurav Parthasarathy, Marianna Rapoport, Amin Timany, Derek Dreyer, Bart Jacobs

Proc. ACM Program. Lang., 2020

Blame for Null (Artifact).

Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták

Dagstuhl Artifacts Ser., 2020

Blame for Null.

Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

A Path to DOT: Formalizing Scala with Dependent Object Types.

Marianna Rapoport

PhD thesis, 2019

A path to DOT: formalizing fully path-dependent types.

Marianna Rapoport, Ondrej Lhoták

Proc. ACM Program. Lang., 2019

2018

Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.

Maria Christakis, Philipp Haller, Marianna Rapoport

Dagstuhl Artifacts Ser., 2018

2017

A simple soundness proof for dependent object types.

Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták

Proc. ACM Program. Lang., 2017

Who you gonna call?: analyzing web requests in Android applications.

Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby

Proceedings of the 14th International Conference on Mining Software Repositories, 2017

Mutable WadlerFest DOT.

Marianna Rapoport, Ondrej Lhoták

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

2015

Type-Based Call Graph Construction Algorithms for Scala.

Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip

ACM Trans. Softw. Eng. Methodol., 2015

Precise Data Flow Analysis in the Presence of Correlated Method Calls.

Marianna Rapoport, Ondrej Lhoták, Frank Tip

Proceedings of the Static Analysis - 22nd International Symposium, 2015

2014

Constructing Call Graphs of Scala Programs.

Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014