| 2009 |
|---|
| 6 | EE | Alexey Gotsman,
Byron Cook,
Matthew J. Parkinson,
Viktor Vafeiadis:
Proving that non-blocking algorithms don't block.
POPL 2009: 16-28 |
| 2007 |
|---|
| 5 | EE | Alexey Gotsman,
Josh Berdine,
Byron Cook,
Noam Rinetzky,
Mooly Sagiv:
Local Reasoning for Storable Locks and Threads.
APLAS 2007: 19-37 |
| 4 | EE | Alexey Gotsman,
Josh Berdine,
Byron Cook,
Mooly Sagiv:
Thread-modular shape analysis.
PLDI 2007: 266-277 |
| 3 | EE | Byron Cook,
Alexey Gotsman,
Andreas Podelski,
Andrey Rybalchenko,
Moshe Y. Vardi:
Proving that programs eventually do something good.
POPL 2007: 265-276 |
| 2006 |
|---|
| 2 | EE | Alexey Gotsman,
Josh Berdine,
Byron Cook:
Interprocedural Shape Analysis with Separated Heap Abstractions.
SAS 2006: 240-260 |
| 2005 |
|---|
| 1 | EE | Alexey Gotsman,
Fabio Massacci,
Marco Pistore:
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language.
Electr. Notes Theor. Comput. Sci. 135(1): 59-77 (2005) |
