 | 2012 |
|---|
| 10 |       | Sebastian Burckhardt,
Alexey Gotsman,
Madanlal Musuvathi,
Hongseok Yang:
Concurrent Library Correctness on the TSO Memory Model.
ESOP 2012: 87-107 |
| 2011 |
|---|
| 9 | | Alexey Gotsman,
Hongseok Yang:
Liveness-Preserving Atomicity Abstraction.
ICALP (2) 2011: 453-465 |
| 8 | | Alexey Gotsman,
Hongseok Yang:
Modular verification of preemptive OS kernels.
ICFP 2011: 404-417 |
| 7 | | Alexey Gotsman,
Josh Berdine,
Byron Cook:
Precision and the Conjunction Rule in Concurrent Separation Logic.
Electr. Notes Theor. Comput. Sci. 276: 171-190 (2011) |
| 2009 |
|---|
| 6 | | Alexey Gotsman,
Byron Cook,
Matthew J. Parkinson,
Viktor Vafeiadis:
Proving that non-blocking algorithms don't block.
POPL 2009: 16-28 |
| 2007 |
|---|
| 5 | | Alexey Gotsman,
Josh Berdine,
Byron Cook,
Noam Rinetzky,
Mooly Sagiv:
Local Reasoning for Storable Locks and Threads.
APLAS 2007: 19-37 |
| 4 | | Alexey Gotsman,
Josh Berdine,
Byron Cook,
Mooly Sagiv:
Thread-modular shape analysis.
PLDI 2007: 266-277 |
| 3 | | Byron Cook,
Alexey Gotsman,
Andreas Podelski,
Andrey Rybalchenko,
Moshe Y. Vardi:
Proving that programs eventually do something good.
POPL 2007: 265-276 |
| 2006 |
|---|
| 2 | | Alexey Gotsman,
Josh Berdine,
Byron Cook:
Interprocedural Shape Analysis with Separated Heap Abstractions.
SAS 2006: 240-260 |
| 2005 |
|---|
| 1 | | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page