Jade Alglave

Statistics

Publications

Citations

1.6K

H-Index

Active since

2009

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

University College London

University of Cambridge

University of Oxford

Microsoft Research (United Kingdom)

Jade Alglave is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computer architecture, and computing.

ORCID

Publications per year

2009–2021

Publications

Herding Cats

Jade Alglave, Luc Maranget, Michael Tautschnig · ACM Transactions on Programming Languages and Systems · 2014 · 335 citations · Full text

Natural Sciences, Mathematics, Physics +6

Understanding POWER multiprocessors

Susmit Sarkar, Peter Sewell, Jade Alglave et al. · 2011 · 190 citations

Engineering, Computer Science, Computer Systems +9

Understanding POWER multiprocessors

Susmit Sarkar, Peter Sewell, Jade Alglave et al. · ACM SIGPLAN Notices · 2011 · 170 citations

Engineering, Computer Science, Computer Systems +9

The semantics of x86-CC multiprocessor machine code

Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli et al. · 2009 · 156 citations

Engineering, Computer Engineering, Computer Science +17

GPU Concurrency

Jade Alglave, Mark Batty, Alastair F. Donaldson et al. · 2015 · 118 citations

Computing, Computer Engineering, Computer Science +14

1–5 of 21