I. Berkovits, M. Lazic, G. Losa, O. Padon, and S. Shoham. Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, volume 11562 of Lecture Notes in Computer Science, page 245--266. Springer, (2019)#conference.
N. Bertrand, V. Gramoli, I. Konnov, M. Lazic, P. Tholoniat, and J. Widder. 36th International Symposium on Distributed Computing (DISC 2022), volume 246 of LIPIcs, page 10:1--10:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)