![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Jade Alglave
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j5]Jade Alglave, Will Deacon, Richard Grisenthwaite, Antoine Hacquard, Luc Maranget:
Armed Cats: Formal Concurrency Modelling at Arm. ACM Trans. Program. Lang. Syst. 43(2): 8:1-8:54 (2021)
2010 – 2019
- 2018
- [c20]Jade Alglave, Luc Maranget, Paul E. McKenney, Andrea Parri, Alan S. Stern:
Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel. ASPLOS 2018: 405-418 - 2017
- [j4]Jade Alglave, Daniel Kroening
, Vincent Nimal, Daniel Poetzl:
Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. ACM Trans. Program. Lang. Syst. 39(2): 6:1-6:38 (2017) - [c19]Jade Alglave:
Coalition, intrigue, ambush, destruction and pride: Herding cats can be challenging. FMCAD 2017: 6 - [c18]Jade Alglave, Patrick Cousot:
Ogre and Pythia: an invariance proof method for weak consistency models. POPL 2017: 3-18 - 2016
- [c17]Jade Alglave:
Simulation and Invariance for Weak Consistency. SAS 2016: 3-22 - [e1]Simon Gay, Jade Alglave:
Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015. EPTCS 203, 2016 [contents] - [i10]Jade Alglave, Patrick Cousot:
Syntax and analytic semantics of LISA. CoRR abs/1608.06583 (2016) - [i9]Jade Alglave, Patrick Cousot, Luc Maranget:
Syntax and semantics of the weak consistency model specification language cat. CoRR abs/1608.07531 (2016) - [i8]Jade Alglave, Patrick Cousot, Caterina Urban:
Concurrency with Weak Memory Models (Dagstuhl Seminar 16471). Dagstuhl Reports 6(11): 108-128 (2016) - 2015
- [c16]Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson
:
GPU Concurrency: Weak Behaviours and Programming Assumptions. ASPLOS 2015: 577-591 - [c15]Jade Alglave:
Modeling of Architectures. SFM 2015: 97-145 - [i7]Richard Bornat, Jade Alglave, Matthew J. Parkinson:
New Lace and Arsenic: adventures in weak memory with a program logic. CoRR abs/1512.01416 (2015) - [i6]Jade Alglave, Luc Maranget, Daniel Poetzl, Tyler Sorensen:
I compute, therefore I am (buggy): methodic doubt meets multiprocessors. Tiny Trans. Comput. Sci. 3 (2015) - 2014
- [j3]Jade Alglave, Luc Maranget, Michael Tautschnig:
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory. ACM Trans. Program. Lang. Syst. 36(2): 7:1-7:74 (2014) - [c14]Jade Alglave, Daniel Kroening
, Vincent Nimal, Daniel Poetzl:
Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion. CAV 2014: 508-524 - [c13]Jade Alglave, Luc Maranget, Michael Tautschnig:
Herding cats: modelling, simulation, testing, and data-mining for weak memory. PLDI 2014: 40 - [i5]Alex Horn, Jade Alglave:
Concurrent Kleene Algebra of Partial Strings. CoRR abs/1407.0385 (2014) - 2013
- [c12]Jade Alglave, Daniel Kroening
, Michael Tautschnig:
Partial Orders for Efficient Bounded Model Checking of Concurrent Software. CAV 2013: 141-157 - [c11]Jade Alglave, Daniel Kroening
, Vincent Nimal, Michael Tautschnig:
Software Verification for Weak Memory via Program Transformation. ESOP 2013: 512-532 - [i4]Jade Alglave, Daniel Kroening, Michael Tautschnig:
Partial Orders for Efficient BMC of Concurrent Software. CoRR abs/1301.1629 (2013) - [i3]Jade Alglave, Luc Maranget, Michael Tautschnig:
Herding Cats. CoRR abs/1308.6810 (2013) - [i2]Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl:
Don't sit on the fence: A static analysis approach to automatic fence insertion. CoRR abs/1312.1411 (2013) - 2012
- [j2]Jade Alglave, Luc Maranget, Susmit Sarkar
, Peter Sewell
:
Fences in weak memory models (extended version). Formal Methods Syst. Des. 40(2): 170-205 (2012) - [j1]Jade Alglave:
A formal hierarchy of weak memory models. Formal Methods Syst. Des. 41(2): 178-210 (2012) - [c10]Sela Mador-Haim, Luc Maranget, Susmit Sarkar
, Kayvan Memarian, Jade Alglave, Scott Owens
, Rajeev Alur, Milo M. K. Martin, Peter Sewell
, Derek Williams:
An Axiomatic Memory Model for POWER Multiprocessors. CAV 2012: 495-512 - [c9]Susmit Sarkar
, Kayvan Memarian, Scott Owens
, Mark Batty, Peter Sewell
, Luc Maranget, Jade Alglave, Derek Williams:
Synchronising C/C++ and POWER. PLDI 2012: 311-322 - [i1]Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig:
Software Verification for Weak Memory via Program Transformation. CoRR abs/1207.7264 (2012) - 2011
- [c8]Jade Alglave, Daniel Kroening
, John Lugton, Vincent Nimal, Michael Tautschnig:
Soundness of Data Flow Analyses for Weak Memory Models. APLAS 2011: 272-288 - [c7]Jade Alglave, Alastair F. Donaldson, Daniel Kroening
, Michael Tautschnig:
Making Software Verification Tools Really Work. ATVA 2011: 28-42 - [c6]Jade Alglave, Luc Maranget:
Stability in Weak Memory Models. CAV 2011: 50-66 - [c5]Susmit Sarkar
, Peter Sewell
, Jade Alglave, Luc Maranget, Derek Williams:
Understanding POWER multiprocessors. PLDI 2011: 175-186 - [c4]Jade Alglave, Luc Maranget, Susmit Sarkar
, Peter Sewell:
Litmus: Running Tests against Hardware. TACAS 2011: 41-44 - 2010
- [c3]Jade Alglave, Luc Maranget, Susmit Sarkar
, Peter Sewell
:
Fences in Weak Memory Models. CAV 2010: 258-272
2000 – 2009
- 2009
- [c2]Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar
, Peter Sewell
, Francesco Zappa Nardelli:
The semantics of power and ARM multiprocessor machine code. DAMP 2009: 13-24 - [c1]Susmit Sarkar
, Peter Sewell
, Francesco Zappa Nardelli, Scott Owens
, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave:
The semantics of x86-CC multiprocessor machine code. POPL 2009: 379-391
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint