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, and on the Dotty compiler.

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

technical report

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


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

  • education

    masters at University of Waterloo
    Waterloo, ON, 2012 - 2014

    bachelors at MIREA
    Moscow, Russia, 2008 - 2012

  • internships

    IBM Watson Research Centre
    York Town Heights, NY, 2015

    San Francisco, CA, 2013

  • summer schools

    Oregon Programming Languages Summer School
    Eugene, OR, 2016

    Midland Graduate Summer School in the Foundations of Computing Sciences
    Nottingham, UK, 2012

    Summer School in Applied Functional Programming
    Utrecht, Netherlands, 2010

I like movies.