Travelled to:1 × France
1 × Sweden
Collaborated with:O.Lhoták F.Tip I.Kabir Paul He K.Ali J.Dolby R.J.0002 R.Lepigre Gaurav Parthasarathy Amin Timany D.Dreyer B.J.0002
Talks about:depend (2) type (2) path (2) call (2) construct (1) propheci (1) variabl (1) program (1) presenc (1) analysi (1)
Person: Marianna Rapoport
DBLP: Rapoport:Marianna
Contributed to:
2015
2014
20172019
2020Wrote 5 papers:
- SAS-2015-RapoportLT #analysis #correlation #data flow #precise
- Precise Data Flow Analysis in the Presence of Correlated Method Calls (MR, OL, FT), pp. 54–71.
- ECOOP-2014-AliRLDT #graph #scala #source code
- Constructing Call Graphs of Scala Programs (KA, MR, OL, JD, FT), pp. 54–79.
- OOPSLA-2017-RapoportKHL #proving
- A simple soundness proof for dependent object types (MR, IK, PH, OL), p. 27.
- OOPSLA-2019-RapoportL #dependent type #formal method
- A path to DOT: formalizing fully path-dependent types (MR, OL), p. 29.
- POPL-2020-JungLPRTDJ #logic
- The future is ours: prophecy variables in separation logic (RJ0, RL, GP, MR, AT, DD, BJ0), p. 32.