Travelled to:1 × India
1 × USA
Collaborated with:F.Z.Nardelli P.Pawan V.Vafeiadis T.Balabonski S.Chakraborty
Talks about:optimis (2) memori (2) compil (2) model (2) processor (1) partial (1) invalid (1) theori (1) redund (1) elimin (1)
Person: Robin Morisset
DBLP: Morisset:Robin
Contributed to:
2015
2013
2017Wrote 3 papers:
- POPL-2015-VafeiadisBCMN #compilation #memory management #optimisation #what
- Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it (VV, TB, SC, RM, FZN), pp. 209–220.
- PLDI-2013-MorissetPN #compilation #formal method #memory management #optimisation #testing
- Compiler testing via a theory of sound optimisations in the C11/C++11 memory model (RM, PP, FZN), pp. 187–196.
- CC-2017-MorissetN
- Partially redundant fence elimination for x86, ARM, and power processors (RM, FZN), pp. 1–10.