| 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 | 75 | 2019 |
| 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 | 28 | 2019 |
| 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 | 28 | 2017 |
| 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 | 26 | 2017 |
| 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 | 19 | 2014 |
| 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 | 14 | 2015 |
| Mutable WadlerFest DOT M Rapoport, O Lhoták Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs …, 2017 | 13 | 2017 |
| 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 | 12 | 2015 |
| 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, ... | 9 | 2020 |
| 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 | 9 | 2019 |
| Blame for null A Nieto, M Rapoport, G Richards, O Lhoták 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020 | 5 | 2020 |
| A Path to DOT: Formalizing Scala with Dependent Object Types M Rapoport University of Waterloo, 2019 | 1 | 2019 |
| Data flow analysis in the presence of correlated calls M Rapoport University of Waterloo, 2014 | 1 | 2014 |
| 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 | | |
