lorch-2020-armada:
  type: article
  title: 'Armada: low-effort verification of high-performance concurrent programs'
  author:
  - Lorch, Jacob R.
  - Chen, Yixuan
  - Kapritsos, Manos
  - Parno, Bryan
  - Qadeer, Shaz
  - Sharma, Upamanyu
  - Wilcox, James R.
  - Zhao, Xueyuan
  date: 2020-06
  page-range: 197-210
  serial-number:
    doi: 10.1145/3385412.3385971
  parent:
    type: proceedings
    title: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
    publisher: ACM