20. – 25. November 2016, Dagstuhl Seminar 16471
Letzte Aktualisierung: 12. April 2017

Concurrency with Weak Memory Models: Semantics, Languages, Compilation, Verification, Static Analysis, and Synthesis

Participants

  • Jade Alglave (University College London, GB) [dblp]
  • Giovanni Tito Bernardi (University Paris-Diderot, FR) [dblp]
  • Annette Bieniusa (TU Kaiserslautern, DE) [dblp]
  • Richard Bornat (Middlesex University – London, GB) [dblp]
  • Stephen Brookes (Carnegie Mellon University – Pittsburgh, US) [dblp]
  • Simon Castellan (ENS – Lyon, FR) [dblp]
  • Andrea Cerone (Imperial College London, GB) [dblp]
  • Pierre Clairambault (ENS – Lyon, FR) [dblp]
  • Patrick Cousot (New York University, US) [dblp]
  • Andrei Marian Dan (ETH Zürich, CH) [dblp]
  • Will Deacon (ARM Ltd. – Cambridge, GB) [dblp]
  • David Delmas (Airbus S.A.S. – Toulouse, FR) [dblp]
  • Delphine Demange (IRISA – Rennes, FR) [dblp]
  • Stephan Diestelhorst (ARM Ltd. – Cambridge, GB) [dblp]
  • Charles Anthony Richard Hoare (Microsoft Research UK – Cambridge, GB) [dblp]
  • Vincent Jacques (University College London, GB)
  • Bernhard Kragl (IST Austria – Klosterneuburg, AT) [dblp]
  • Ori Lahav (MPI-SWS – Kaiserslautern, DE) [dblp]
  • Daniel Lustig (NVIDIA Corp. – Santa Clara, US) [dblp]
  • Yatin Manerkar (Princeton University, US) [dblp]
  • Luc Maranget (INRIA – Paris, FR) [dblp]
  • Paul McKenney (IBM – Beaverton, US) [dblp]
  • Paul-Andre Mellies (University Paris-Diderot, FR) [dblp]
  • Roland Meyer (TU Braunschweig, DE) [dblp]
  • Maged M. Michael (Facebook – New York, US) [dblp]
  • Antoine Miné (CNRS & University Pierre & Marie Curie – Paris, FR) [dblp]
  • Vincent Nimal (Microsoft Research UK – Cambridge, GB) [dblp]
  • Andrea Parri (INRIA – Paris, FR) [dblp]
  • Gustavo Petri (University Paris-Diderot, FR) [dblp]
  • Susmit Sarkar (University of St. Andrews, GB) [dblp]
  • Helmut Seidl (TU München, DE) [dblp]
  • Suzanne Shoaraee (ARM France SAS – Sophia-Antipolis, FR)
  • Daryl Stewart (ARM Ltd. – Cambridge, GB) [dblp]
  • Caroline J. Trippel (Princeton University, US) [dblp]
  • Caterina Urban (ETH Zürich, CH) [dblp]
  • Viktor Vafeiadis (MPI-SWS – Kaiserslautern, DE) [dblp]
  • Derek Williams (IBM Research Lab. – Austin, US) [dblp]
  • Glynn Winskel (University of Cambridge, GB) [dblp]
  • Sizhuo Zhang (MIT – Cambridge, US) [dblp]


Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner