Jade Alglave
11 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Puss in Boots: Formalizing Arm’s Virtual Memory System Architecture
Jade Alglave and others (2024) · Institute of Electrical and Electronics Engineers (IEEE)
Armed Cats: Formal Concurrency Modelling at Arm
Jade Alglave and others (2021) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel
Jade Alglave and others (2018) · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory
Jade Alglave and others (2014) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery (ACM)
Synchronising C/C++ and POWER
Susmit Sarkar and others (2012) · ACM
Litmus: Running Tests against Hardware
Jade Alglave and others (2011) · Lecture notes in computer science · Springer Science+Business Media
Understanding POWER multiprocessors
Susmit Sarkar and others (2011) · ACM
Fences in Weak Memory Models
Jade Alglave and others (2010) · Lecture notes in computer science · Springer Science+Business Media
A Shared Memory Poetics
Jade Alglave (2010)
The semantics of power and ARM multiprocessor machine code
Jade Alglave and others (2009)
The semantics of x86-CC multiprocessor machine code
Susmit Sarkar and others (2009) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)