Jade Alglave's AcademicInfluence.com Rankings Why Is Jade Alglave Influential? (Suggest an Edit or Addition)
According to Wikipedia , Jade Alglave is a French computer scientist whose research involves concurrency control, consistency models, weak hardware memory models, the relation between computer hardware and programming languages, and the "cat" domain-specific language for consistency models. She is a professor of computer science at University College London and a distinguished engineer at British semiconductor firm Arm.
(See a Problem?) Jade Alglave's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
2000 2010 2020 0 50 100 150 200 250 300 350 400 450 500 Published Works Understanding POWER multiprocessors (2011) Herding cats: modelling, simulation, testing, and data-mining for weak memory (2014) The semantics of x86-CC multiprocessor machine code (2009) Partial Orders for Efficient Bounded Model Checking of Concurrent Software (2013) Herding Cats (2013) The semantics of power and ARM multiprocessor machine code (2009) Fences in Weak Memory Models (2010) An Axiomatic Memory Model for POWER Multiprocessors (2012) GPU Concurrency: Weak Behaviours and Programming Assumptions (2015) Software Verification for Weak Memory via Program Transformation (2012) Litmus: Running Tests against Hardware (2011) Synchronising C/C++ and POWER (2012) Don’t Sit on the Fence (2013) Stability in Weak Memory Models (2011) A formal hierarchy of weak memory models (2012) Fences in weak memory models (extended version) (2012) Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel (2018) Ogre and Pythia: an invariance proof method for weak consistency models (2017) Making Software Verification Tools Really Work (2011) Syntax and semantics of the weak consistency model specification language cat (2016) (23)Relaxed memory models must be rigorous (2009) (22)Soundness of Data Flow Analyses for Weak Memory Models (2011) Armed cats: formal concurrency modelling at Arm (2021) (11)Syntax and analytic semantics of LISA (2016) (9)Partial Orders for Efficient BMC of Concurrent Software (2013) (7)Armed Cats (2021) The semantics of power and ARM multiprocessor machine code (abstract only) (2009) Fences in weak memory models (extended version) (2012) Towards a Formalization of the HSA Memory Model in the cat Language (2015) (6)New Lace and Arsenic: adventures in weak memory with a program logic (2015) (5)Concurrent Kleene Algebra of Partial Strings (2014) (5)Simulation and Invariance for Weak Consistency (2016) A formal kernel memory-ordering model (Part 1 and 2) (2017) (5)Concurrency with Weak Memory Models (Dagstuhl Seminar 16471) (2016) Weakness is a virtue (2013) (3)ICS: U: Towards Shared Memory Consistency Models for GPUs (2014) (3)Modeling of Architectures (2015) Static analyses over weak memory (2014) (1)Fences and Synchronisation Idioms in Weak Memory Models (2009) (1)Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015 (2016) A Generic Formalised Framework for Reasoning About Weak Memory Models (2011) (1)Software and Platforms - The diy tool suite (2013) (0)A formal hierarchy of weak memory models (2012) The analytic semantics of weakly consistent parallelism (2016) (0)Nvidia GPU Mutexes Must Use Fences (2014) (0)New Software and Platforms - Diy (2015) (0)Frightening Small Children and Disconcerting Grown-ups (2020) (0)Stability in Weak Memory Models With Proofs (2011) (0)New Results - Shared-memory parallelism (2015) (0)J an 2 01 4 Herding cats Modelling , simulation , testing , and data-mining for weak m emory (2018) (0)Electronic Proceedings in Theoretical Computer Science, EPTCS: Preface (2016) (0)Session details: Static analysis 2 (2014) GPU Concurrency : Weak Behaviours and Programming Assumptions – T ECHNICAL APPENDICES – (2015) (0)Session details: Static analysis 2 (2014) I compute, therefore I am (buggy): methodic doubt meets multiprocessors (2015) (0)Coalition, intrigue, ambush, destruction and pride: Herding cats can be challenging (2017) More Papers This paper list is powered by the following services:
Other Resources About Jade Alglave What Schools Are Affiliated With Jade Alglave? Jade Alglave is affiliated with the following schools:
