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.

I am interested in functional programming, type systems (especially dependent types), and proof assistants. I am currently working on extensions for DOT, the calculus that formalizes the Scala language.

contact
publications
papers
  • A Simple Soundness Proof for Dependent Object Types. Marianna Rapoport, Ifaz Kabir, Paul He, Ondřej Lhoták. OOPSLA'17.
    Best artifact award
    pdf | proof | talk

  • 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.
    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 watching movies.