dblp.uni-trier.dewww.uni-trier.de

Alexey Gotsman

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
6EEAlexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis: Proving that non-blocking algorithms don't block. POPL 2009: 16-28
2007
5EEAlexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv: Local Reasoning for Storable Locks and Threads. APLAS 2007: 19-37
4EEAlexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv: Thread-modular shape analysis. PLDI 2007: 266-277
3EEByron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi: Proving that programs eventually do something good. POPL 2007: 265-276
2006
2EEAlexey Gotsman, Josh Berdine, Byron Cook: Interprocedural Shape Analysis with Separated Heap Abstractions. SAS 2006: 240-260
2005
1EEAlexey 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)

Coauthor Index

1Josh Berdine [2] [4] [5]
2Byron Cook [2] [3] [4] [5] [6]
3Fabio Massacci [1]
4Matthew J. Parkinson [6]
5Marco Pistore [1]
6Andreas Podelski [3]
7Noam Rinetzky [5]
8Andrey Rybalchenko [3]
9Shmuel Sagiv (Mooly Sagiv) [4] [5]
10Viktor Vafeiadis [6]
11Moshe Y. Vardi [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)