Travelled to:1 × United Kingdom
Collaborated with:D.Demange D.Pichardie Amin Timany Morten Krogh-Jespersen L.Birkedal
Talks about:encapsul (1) contextu (1) presenc (1) equival (1) verifi (1) state (1) spars (1) runst (1) relat (1) prove (1)
Person: Léo Stefanesco
DBLP: Stefanesco:L=eacute=o
Contributed to:
2015
2018Wrote 2 papers:
- CC-2015-DemangePS #coq #optimisation #performance #verification
- Verifying Fast and Sparse SSA-Based Optimizations in Coq (DD, DP, LS), pp. 233–252.
- 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.