Shellac: A Compiler Synthesizer for Concurrent Programs. - Christopher K. Chen; Margo I. Seltzer; Mark R. Greenstreet (VSTTE, 2022)