Cited By
View all- Lorch JChen YKapritsos MMa HParno BQadeer SSharma UWilcox JZhao X(2022)Armada: Automated Verification of Concurrent Code with Sound Semantic ExtensibilityACM Transactions on Programming Languages and Systems10.1145/350249144:2(1-39)Online publication date: 27-May-2022
- Lorch JChen YKapritsos MParno BQadeer SSharma UWilcox JZhao XDonaldson ATorlak E(2020)Armada: low-effort verification of high-performance concurrent programsProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3385412.3385971(197-210)Online publication date: 11-Jun-2020
- Mathur UViswanathan MLarus JCeze LStrauss K(2020)Atomicity Checking in Linear Time using Vector ClocksProceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3373376.3378475(183-199)Online publication date: 9-Mar-2020
- Show More Cited By