Search the dblp DataBase

Publications of Author

1. Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi
   Proving that programs eventually do something good. [Citation Graph (0, 0)][DBLP]
   POPL, 2007, pp:265-276 [Conf]
   
2. Alexey Gotsman, Josh Berdine, Byron Cook
   Interprocedural Shape Analysis with Separated Heap Abstractions. [Citation Graph (0, 0)][DBLP]
   SAS, 2006, pp:240-260 [Conf]
   
3. Alexey Gotsman, Fabio Massacci, Marco Pistore
   Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:135, n:1, pp:59-77 [Journal]
   
4. Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv
   Thread-modular shape analysis. [Citation Graph (0, 0)][DBLP]
   PLDI, 2007, pp:266-277 [Conf]
   
5. 
   Local Reasoning for Storable Locks and Threads. [Citation Graph (, )][DBLP]
   
   
6. 
   Proving that non-blocking algorithms don't block. [Citation Graph (, )][DBLP]