Follow
Marianna Rapoport
Title
Cited by
Cited by
Year
The future is ours: prophecy variables in separation logic
R Jung, R Lepigre, G Parthasarathy, M Rapoport, A Timany, D Dreyer, ...
Proceedings of the ACM on Programming Languages 4 (POPL), 1-32, 2019
692019
Who you gonna call? analyzing web requests in android applications
M Rapoport, P Suter, E Wittern, O Lhótak, J Dolby
2017 IEEE/ACM 14th International Conference on Mining Software Repositories …, 2017
262017
A path to DOT: formalizing fully path-dependent types
M Rapoport, O Lhoták
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
242019
A simple soundness proof for dependent object types
M Rapoport, I Kabir, P He, O Lhoták
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-27, 2017
232017
Constructing call graphs of Scala programs
K Ali, M Rapoport, O Lhoták, J Dolby, F Tip
ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014
172014
Precise data flow analysis in the presence of correlated method calls
M Rapoport, O Lhoták, F Tip
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015
142015
Type-based call graph construction algorithms for Scala
K Ali, M Rapoport, O Lhoták, J Dolby, F Tip
ACM Transactions on Software Engineering and Methodology (TOSEM) 25 (1), 1-43, 2015
112015
Mutable WadlerFest DOT
M Rapoport, O Lhoták
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs …, 2017
102017
Automated security testing for a mobile application or a backend server
SA Baset, JT Dolby, M Rapoport, P Suter
US Patent 10,445,507, 2019
92019
The future is ours: Prophecy variables in separation logic. PACMPL 4, POPL (2020), 45: 1–45: 32
R Jung, R Lepigre, G Parthasarathy, M Rapoport, A Timany, D Dreyer, ...
72020
Blame for null
A Nieto, M Rapoport, G Richards, O Lhoták
34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020
42020
A Path to DOT: Formalizing Scala with Dependent Object Types
M Rapoport
University of Waterloo, 2019
12019
Data flow analysis in the presence of correlated calls
M Rapoport
University of Waterloo, 2014
12014
Blame for Null (Artifact).
A Nieto, M Rapoport, G Richards, O Lhoták
Dagstuhl Artifacts Ser. 6 (2), 10:1-10:2, 2020
2020
An Evaluation of Call Graph Construction Algorithms for Scala
K Ali, M Rapoport, O Lhoták, J Dolby, F Tip
The system can't perform the operation now. Try again later.
Articles 1–15