Cited By
View all- Chen AFathololumi PKoskinen EPincus J(2022)Veracity: declarative multicore programming with commutativityProceedings of the ACM on Programming Languages10.1145/35633496:OOPSLA2(1726-1756)Online publication date: 31-Oct-2022
- Windsor MDodds MSimner BParkinson M(2017)Starling: Lightweight Concurrency Verification with ViewsComputer Aided Verification10.1007/978-3-319-63387-9_27(544-569)Online publication date: 13-Jul-2017
- Dongol BDerrick J(2015)Verifying LinearisabilityACM Computing Surveys10.1145/279655048:2(1-43)Online publication date: 24-Sep-2015