| 10474471 |
Methods and systems for performing a replay execution |
Justin E. Gottschlich, Cristiano L. Pereira, Gilles A. Pokam, Rolf Kassa, Shiliang Hu +1 more |
2019-11-12 |
| 10394561 |
Mechanism for facilitating dynamic and efficient management of instruction atomicity volations in software programs at computing systems |
Nathan D. Dautenhahn, Justin E. Gottschlich, Gilles A. Pokam, Cristiano L. Pereira, Shiliang Hu +1 more |
2019-08-27 |
| 9875108 |
Shared memory interleavings for instruction atomicity violations |
Gilles A. Pokam, Rolf Kassa, Tim Kranich, Cristiano L. Pereira, Justin E. Gottschlich +1 more |
2018-01-23 |
| 9501340 |
Mechanism for facilitating dynamic and efficient management of instruction atomicity violations in software programs at computing systems |
Nathan D. Dautenhahn, Justin E. Gottschlich, Gilles A. Pokam, Cristiano L. Pereira, Shiliang Hu +1 more |
2016-11-22 |
| 9317297 |
Replay execution of instructions in thread chunks in the chunk order recorded during previous execution |
Justin E. Gottschlich, Cristiano L. Pereira, Gilles A. Pokam, Rolf Kassa, Shiliang Hu +1 more |
2016-04-19 |
| 9128781 |
Processor with memory race recorder to record thread interleavings in multi-threaded software |
Tim Kranich, Gilles A. Pokam, Justin E. Gottschlich, Rolf Kassa, Shiliang Hu +1 more |
2015-09-08 |