@inproceedings{alglave:kroening:lugton:nimal:tautschnig:aplas11,
  title = "Soundness of Data Flow Analyses for Weak Memory Models",
  author = "Jade Alglave and Daniel Kroening and John Lugton and Vincent Nimal and Michael Tautschnig",
  year = "2011",
  booktitle = "Proceedings of Programming Languages and Systems - 9th Asian Symposium (APLAS 2011)",
  isbn = "978-3-642-25317-1",
  month = "dec",
  pages = "272-288",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "7078",
}