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 × Austria
1 × China
1 × Germany
1 × Russia
1 × Turkey
2 × Italy
2 × United Kingdom
4 × USA
Collaborated with:
L.Maranget S.Sarkar P.Sewell M.Tautschnig D.Kröning V.Nimal P.Cousot D.Williams D.Pötzl S.Owens M.Batty K.Memarian P.E.McKenney Andrea Parri Alan S. Stern A.F.Donaldson G.Gopalakrishnan J.Ketema T.Sorensen J.Wickerson F.Z.Nardelli T.Ridge T.Braibant M.O.Myreen S.Mador-Haim R.Alur M.M.K.Martin
Talks about:
model (7) weak (6) memori (5) multiprocessor (3) concurr (3) power (3) fenc (3) softwar (2) program (2) test (2)

Person: Jade Alglave

DBLP DBLP: Alglave:Jade

Contributed to:

ASPLOS 20152015
SFM 20152015
CAV 20142014
PLDI 20142014
CAV 20132013
ESOP 20132013
CAV 20122012
PLDI 20122012
CAV 20112011
PLDI 20112011
TACAS 20112011
CAV 20102010
POPL 20092009
POPL 20172017
ASPLOS 20182018

Wrote 15 papers:

ASPLOS-2015-AlglaveBDGKPSW #behaviour #concurrent #gpu #programming
GPU Concurrency: Weak Behaviours and Programming Assumptions (JA, MB, AFD, GG, JK, DP, TS, JW), pp. 577–591.
SFM-2015-Alglave #architecture #modelling
Modeling of Architectures (JA), pp. 97–145.
CAV-2014-AlglaveKNP #approach #automation #static analysis
Don’t Sit on the Fence — A Static Analysis Approach to Automatic Fence Insertion (JA, DK, VN, DP), pp. 508–524.
PLDI-2014-AlglaveMT #memory management #modelling #simulation #testing
Herding cats: modelling, simulation, testing, and data-mining for weak memory (JA, LM, MT), p. 7.
CAV-2013-AlglaveKT #bound #concurrent #model checking #partial order #performance
Partial Orders for Efficient Bounded Model Checking of Concurrent Software (JA, DK, MT), pp. 141–157.
ESOP-2013-AlglaveKNT #memory management #program transformation #verification
Software Verification for Weak Memory via Program Transformation (JA, DK, VN, MT), pp. 512–532.
CAV-2012-Mador-HaimMSMAOAMSW #axiom #memory management #multi
An Axiomatic Memory Model for POWER Multiprocessors (SMH, LM, SS, KM, JA, SO, RA, MMKM, PS, DW), pp. 495–512.
PLDI-2012-SarkarMOBSMAW #c #c++
Synchronising C/C++ and POWER (SS, KM, SO, MB, PS, LM, JA, DW), pp. 311–322.
CAV-2011-AlglaveM #memory management #modelling
Stability in Weak Memory Models (JA, LM), pp. 50–66.
PLDI-2011-SarkarSAMW #comprehension #multi
Understanding POWER multiprocessors (SS, PS, JA, LM, DW), pp. 175–186.
TACAS-2011-AlglaveMSS #hardware #named #testing
Litmus: Running Tests against Hardware (JA, LM, SS, PS), pp. 41–44.
CAV-2010-AlglaveMSS #memory management #modelling
Fences in Weak Memory Models (JA, LM, SS, PS), pp. 258–272.
POPL-2009-SarkarSNORBMA #multi #semantics
The semantics of x86-CC multiprocessor machine code (SS, PS, FZN, SO, TR, TB, MOM, JA), pp. 379–391.
POPL-2017-AlglaveC #consistency #modelling #proving
Ogre and Pythia: an invariance proof method for weak consistency models (JA, PC), pp. 3–18.
ASPLOS-2018-AlglaveMMPS #concurrent #kernel #linux
Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel (JA, LM, PEM, AP, ASS), pp. 405–418.

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.