Automated Verification of Concurrent Search StructuresSiddharth Krishna, Nisarg Patel, Dennis Elliott Shasha, Thomas Wies · First published 2021Open the Tome
Automated Verification of Concurrent Search StructuresKrishna Siddharth, Patel Nisarg, Shasha Dennis, Wies Thomas · First published 2021Open the Tome
Sustained Simulation Performance 2016Michael M. Resch, Wolfgang Bez, Erich Focht, Nisarg Patel, Hiroaki Kobayashi · First published 2016Open the Tome
Sustained Simulation Performance 2014Michael M. Resch, Wolfgang Bez, Erich Focht, Hiroaki Kobayashi, Nisarg Patel · First published 2014Open the Tome
