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 work centers around creating tools that can prove programs correct before they are run. I am particularly interested in type systems, program verification with proof assistants, and functional programming.

At the moment I am working on extensions for DOT, the calculus that formalizes the Scala programming language.

My projects can be found on github and gitlab.

contact
publications
papers
  • A Simple Soundness Proof for Dependent Object Types.
    Marianna Rapoport, Ifaz Kabir, Paul He, Ondřej Lhoták. OOPSLA 2017.
    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 Path To DOT: Formalizing Fully-Path-Dependent Types. Marianna Rapoport, Ondřej Lhoták. arXiv: 1904.07298. University of Waterloo, 2019.
pdf | proof

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
blog
This is my blog.
movies
I like movies.