Software Verification for Weak Memory via Program Transformation⋆ Jade Alglave1,2 , Daniel Kroening2, Vincent Nimal2 , and Michael Tautschnig2,3 1 3

Source URL: www0.cs.ucl.ac.uk

Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems

Source URL: www0.cs.ucl.ac.uk

The Semantics of Power and ARM Multiprocessor Machine Code Jade Alglave2 Anthony Fox1 Samin Ishtiaq3 Magnus O. Myreen1

Source URL: www0.cs.ucl.ac.uk

Architecture and Interviews for Future Mobilities Jade RUDLER, EPFL LAC Conference paper STRC 2015

Source URL: www.strc.ch

• Transportation planning
• Car
• Accessibility

Stability in Weak Memory Models Jade Alglave1,2 and Luc Maranget2 1 Oxford University 2 INRIA

Source URL: www0.cs.ucl.ac.uk

A Herding cats: Modelling, Simulation, Testing, and Data-mining for Weak Memory Jade Alglave, University College London Luc Maranget, INRIA Michael Tautschnig, Queen Mary University of London

Source URL: www0.cs.ucl.ac.uk

The pocket book of small animal tips for vets Compiled by Jade Statt BVMS MRCVS

Source URL: www.vetlife.org.uk

Winter Update: Jade Gala, Skills Training, and Community Events Subscribe

Source URL: ccchouston.org

GPU concurrency Weak behaviours and programming assumptions Jade Alglave1,2 Mark Batty3 Alastair F. Donaldson4 Ganesh Gopalakrishnan5

Source URL: www0.cs.ucl.ac.uk

Relaxed memory models must be rigorous ˇ c´ık3 Susmit Sarkar2 Francesco Zappa Nardelli1 Peter Sewell2 Jaroslav Sevˇ Luc Maranget1 Mark Batty2 Jade Alglave1 1

Source URL: www0.cs.ucl.ac.uk