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: Alglave:Jade
Contributed to:
2015
2015
2014
20142013
20132012201220112011
20112010
200920172018Wrote 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.