Collaborated with:L.Birkedal R.Krebbers L.Stefanesco Morten Krogh-Jespersen R.J.0002 R.Lepigre Gaurav Parthasarathy M.Rapoport D.Dreyer B.J.0002
Talks about:logic (3) separ (2) propheci (1) interact (1) encapsul (1) contextu (1) variabl (1) presenc (1) equival (1) concurr (1)
Person: Amin Timany
DBLP: Timany:Amin
Contributed to:
201720182020Wrote 3 papers:
- POPL-2017-KrebbersTB #concurrent #higher-order #interactive #logic #proving
- Interactive proofs in higher-order concurrent separation logic (RK, AT, LB), pp. 205–217.
- POPL-2018-TimanySKB #encapsulation #logic #monad #proving
- A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST (AT, LS, MKJ, LB), p. 28.
- POPL-2020-JungLPRTDJ #logic
- The future is ours: prophecy variables in separation logic (RJ0, RL, GP, MR, AT, DD, BJ0), p. 32.