Loading...

Marianna Rapoport

I am a PhD student at the University of Waterloo's school of computer science, in the programming languages research group. My advisor is Ondřej Lhoták.

My research interests are functional programming, compilers, and static program analysis. I am currently working on extensions for DOT, the calculus that formalizes the Scala language.

publications
papers
  • Mutable WadlerFest DOT. Marianna Rapoport, Ondřej Lhoták. FTfJP 2017.
    pdf | proof
  • Who You Gonna Call? Analyzing Web Requests in Android Applications. Marianna Rapoport, Philippe Suter, Erik Wittern, Ondřej Lhoták, Julian Dolby. MSR 2017.
    pdf | code
  • Type-Based Call Graph Construction Algorithms for Scala. Karim Ali, Marianna Rapoport, Ondřej Lhoták, Julian Dolby, Frank Tip. TOSEM 2015.
    pdf | code
  • Precise data-flow analysis in the presence of correlated method calls. Marianna Rapoport, Ondřej Lhoták, Frank Tip. SAS 2015.
    Received Radhia Cousot best young researcher paper award.
    pdf | poster | code
  • Constructing Call Graphs of Scala Programs. Karim Ali, Marianna Rapoport, Ondřej Lhoták, Julian Dolby, Frank Tip. ECOOP 2014.
    pdf | code

technical reports

A Simple Soundness Proof for Dependent Object Types. Marianna Rapoport, Ifaz Kabir, Paul He, Ondřej Lhoták. arXiv: 1706.03814. University of Waterloo, 2017.
pdf | proof

Mutable WadlerFest DOT. Marianna Rapoport, Ondřej Lhoták. arXiv:1611.07610. University of Waterloo, 2016.
pdf | proof


thesis

Data-flow analysis in the presence of correlated calls. Marianna Rapoport. Masters thesis, University of Waterloo, 2014.
pdf | code

service
past
hobbies
I like movies.