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 × USA
Collaborated with:
D.Lustig M.P.Robillard Sameer Sahasrabuddhe Andrew Wright A.Papakonstantinou
Talks about:
memori (2) model (2) test (2) comprehens (1) synthesi (1) regress (1) increas (1) consist (1) analysi (1) nvidia (1)

Person: Olivier Giroux

DBLP DBLP: Giroux:Olivier

Contributed to:

FSE 20062006
ASPLOS 20172017
ASPLOS 20192019

Wrote 3 papers:

FSE-2006-GirouxR #detection #testing #using
Detecting increases in feature coupling using regression tests (OG, MPR), pp. 163–174.
ASPLOS-2017-LustigWPG #automation #memory management #synthesis #testing
Automated Synthesis of Comprehensive Memory Model Litmus Test Suites (DL, AW, AP, OG), pp. 661–675.
ASPLOS-2019-LustigSG #analysis #consistency #formal method #memory management
A Formal Analysis of the NVIDIA PTX Memory Consistency Model (DL, SS, OG), pp. 257–270.

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.