@inproceedings{kroening:2016b,
  title = "Sound Static Deadlock Analysis for C/Pthreads",
  author = "Daniel Kroening and Daniel Poetzl and Peter Schrammel and Bj\"orn Wachter",
  year = "2016",
  booktitle = "ASE",
}
@inproceedings{poetzl:2015b,
  title = "Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models",
  author = "Daniel Poetzl and Daniel Kroening",
  year = "2016",
  booktitle = "TACAS",
}
@inproceedings{alglave:2015,
  title = "{GPU} Concurrency: {W}eak Behaviours and Programming Assumptions",
  author = "Jade Alglave and Mark Batty and Alastair F. Donaldson and Ganesh Gopalakrishnan and Jeroen Ketema and Daniel Poetzl and Tyler Sorensen and John Wickerson",
  year = "2015",
  booktitle = "ASPLOS",
}
@inproceedings{alglave:2014,
  title = "Don't Sit on the Fence - {A} Static Analysis Approach to Automatic Fence Insertion",
  author = "Jade Alglave and Daniel Kroening and Vincent Nimal and Daniel Poetzl",
  year = "2014",
  booktitle = "CAV",
}
@inproceedings{poetzl:2013,
  title = "Solving Constraints for Generational Search",
  author = "Daniel Poetzl and Andreas Holzer",
  year = "2013",
  booktitle = "TAP",
}