Folgen
Jade Alglave
Jade Alglave
ARM and University College London
Bestätigte E-Mail-Adresse bei ucl.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Herding cats: Modelling, simulation, testing, and data mining for weak memory
J Alglave, L Maranget, M Tautschnig
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (2), 1-74, 2014
4882014
Understanding POWER multiprocessors
S Sarkar, P Sewell, J Alglave, L Maranget, D Williams
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
3552011
Partial orders for efficient bounded model checking of concurrent software
J Alglave, D Kroening, M Tautschnig
International Conference on Computer Aided Verification, 141-157, 2013
2212013
Fences in weak memory models (extended version)
J Alglave, L Maranget, S Sarkar, P Sewell
Formal Methods in System Design 40 (2), 170-205, 2012
220*2012
The semantics of x86-CC multiprocessor machine code
S Sarkar, P Sewell, FZ Nardelli, S Owens, T Ridge, T Braibant, ...
ACM SIGPLAN Notices 44 (1), 379-391, 2009
2152009
GPU concurrency: Weak behaviours and programming assumptions
J Alglave, M Batty, AF Donaldson, G Gopalakrishnan, J Ketema, D Poetzl, ...
ACM SIGARCH Computer Architecture News 43 (1), 577-591, 2015
171*2015
An axiomatic memory model for POWER multiprocessors
S Mador-Haim, L Maranget, S Sarkar, K Memarian, J Alglave, S Owens, ...
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
1622012
The semantics of Power and ARM multiprocessor machine code
J Alglave, A Fox, S Ishtiaq, MO Myreen, S Sarkar, P Sewell, FZ Nardelli
Proceedings of the 4th workshop on Declarative aspects of multicore …, 2009
1542009
Litmus: Running tests against hardware
J Alglave, L Maranget, S Sarkar, P Sewell
International Conference on Tools and Algorithms for the Construction and …, 2011
1532011
Software verification for weak memory via program transformation
J Alglave, D Kroening, V Nimal, M Tautschnig
European Symposium on Programming, 512-532, 2013
1512013
Synchronising c/c++ and power
S Sarkar, K Memarian, S Owens, M Batty, P Sewell, L Maranget, J Alglave, ...
Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language …, 2012
1322012
Don’t sit on the fence: A static analysis approach to automatic fence insertion
J Alglave, D Kroening, V Nimal, D Poetzl
ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (2), 1-38, 2017
1262017
A formal hierarchy of weak memory models
J Alglave
Formal Methods in System Design 41, 178-210, 2012
862012
A shared memory poetics
J Alglave
These de doctorat, L’université Paris Denis Diderot, 2010
852010
Frightening small children and disconcerting grown-ups: Concurrency in the linux kernel
J Alglave, L Maranget, PE McKenney, A Parri, A Stern
Proceedings of the Twenty-Third International Conference on Architectural …, 2018
802018
Stability in weak memory models
J Alglave, L Maranget
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
792011
Ogre and Pythia: an invariance proof method for weak consistency models
J Alglave, P Cousot
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
592017
Armed cats: Formal concurrency modelling at arm
J Alglave, W Deacon, R Grisenthwaite, A Hacquard, L Maranget
ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (2), 1-54, 2021
522021
Syntax and semantics of the weak consistency model specification language cat
J Alglave, P Cousot, L Maranget
arXiv preprint arXiv:1608.07531, 2016
372016
Making software verification tools really work
J Alglave, AF Donaldson, D Kroening, M Tautschnig
International Symposium on Automated Technology for Verification and …, 2011
342011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20