MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Alexey Gotsman" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Interprocedural shape analysis with separated heap abstractions
by Alexey Gotsman, Josh Berdine — 2006 — In SAS
…Interprocedural Shape Analysis with Separated Heap Abstractions Alexey Gotsman 1 , Josh Berdine 2…
Cited by 26 (4 self) – Add To MetaCart

Thread-modular shape analysis
by Alexey Gotsman, Josh Berdine — 2007 — In PLDI
…Alexey Gotsman University of Cambridge Alexey.Gotsman@(email omitted); Thread-Modular Shape Analysis…
Cited by 17 (9 self) – Add To MetaCart

Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language
by Alexey Gotsman, Fabio Massacci, Marco Pistore — 2005 — Electronic Notes in Theoretical Computer Science 135(1):59–77
… Alexey Gotsman 1 Fabio Massacci 1 Marco Pistore 1 Dip. Informatica e Telecom. Università diTrento Trento…
Cited by 2 (0 self) – Add To MetaCart

Proving That Non-Blocking Algorithms Don’t Block
by Alexey Gotsman, Byron Cook, Matthew Parkinson, Viktor Vafeiadis
…Proving That Non-Blocking Algorithms Don’t Block Alexey Gotsman University of Cambridge Byron Cook…
Add To MetaCart

Local reasoning for storable locks and threads
by Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv — 2007 — In Proceedings 5th Asian Symposium on Programming Languages and Systems (APLAS’07
…Local Reasoning for Storable Locks and Threads Alexey Gotsman 1 , Josh Berdine 2 , Byron Cook 2…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB