COMPLX: A Verification Framework for Concurrent Imperative Programs by Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah and Joseph Tuong Nov 29