3 works on record
Sustained Simulation Performance 2014
Sustained Simulation Performance 2016
Automated Verification of Concurrent Search Structures
2022