Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses.

Shigeyuki Sato, Taiyo Mizuhashi, Genki Kimura, Kenjiro Taura

Browse the full APLAS paper archive.