„Weak Memory Models“

Suchergebnisse

16 Treffer

• Programming Languages and Systems – 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  Felleisen, Matthias ; Gardner, Philippa 2013 Springer Berlin Heidelberg
• What Cannot Be Implemented on Weak Memory?
  Castañeda, Armando ; Chockler, Gregory ; Dongol, Brijesh ; Lahav, Ori 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automating Memory Model Metatheory with Intersections
  Koutsouridis, Aristotelis ; Kokologiannakis, Michalis ; Vafeiadis, Viktor 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact)
  Kaiser, Jan-Oliver ; Dang, Hoang-Hai ; Dreyer, Derek ; Lahav, Ori ; Vafeiadis, Viktor
• Consistency Models with Global Operation Sequencing and their Composition
  Gotsman, Alexey ; Burckhardt, Sebastian 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
  Kaiser, Jan-Oliver ; Dang, Hoang-Hai ; Dreyer, Derek ; Lahav, Ori ; Vafeiadis, Viktor 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Benefits of Duality in Verifying Concurrent Programs under TSO
  Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Bouajjani, Ahmed ; Ngo, Tuan Phong 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Foundations of Persistent Programming (Dagstuhl Seminar 21462)
  Boehm, Hans-J. ; Lahav, Ori ; Raad, Azalea
• Concurrency with Weak Memory Models (Dagstuhl Seminar 16471)
  Alglave, Jade ; Cousot, Patrick ; Urban, Caterina
• Targeted memory reactivation with sleep disruption does not weaken week-old memories
  Whitmore, Nathan W. ; Yamazaki, Erika M. ; Paller, Ken A.
• The Path to Durable Linearizability
  D'Osualdo, Emanuele ; Raad, Azalea ; Vafeiadis, Viktor 2023 KOPS Universität Konstanz
• Safety and security of software systems – logics, proofs, applications : post-proceedings of the Summer School Marktoberdorf
  Seidl, Helmut 2020 TUM.University Press
• Linearizability on hardware weak memory models
  Smith, Graeme ; Winter, Kirsten ; Colvin, Robert J.
• Modelling Memory Consistency Models for Formal Verification
  Senftleben, Maximilian ; Schneider, Klaus 2019 Technische Universität Kaiserslautern
• Verifying concurrent programs under weak memory models
  Travkin, Oleg 2017 Universitätsbibliothek
• Programming languages and systems – proceedings
  Felleisen, Matthias ; Gardner, Philippa 2013 Springer