BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Morisset:Robin

Contributed to:

POPL 20152015
PLDI 20132013
CC 20172017

Wrote 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.
Partially redundant fence elimination for x86, ARM, and power processors (RM, FZN), pp. 1–10.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.