Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Gotsman, Alexey - Madrid Institute for Advanced Studies in Software Development Technologies (IMDEA Software Institute)
Liveness-Preserving Atomicity Abstraction Alexey Gotsman1
Local Reasoning for Storable Locks and Threads Alexey Gotsman
Proving That Programs Eventually Do Something Good Microsoft Research
Liveness-Preserving Atomicity Abstraction Alexey Gotsman and Hongseok Yang
Precision and the Conjunction Rule in Concurrent Separation Logic
Proving That Non-Blocking Algorithms Don't Block Alexey Gotsman
Local Reasoning for Storable Locks and Threads Alexey Gotsman1
Thread-Modular Shape Analysis Alexey Gotsman
Interprocedural Shape Analysis with Separated Heap Abstractions
Towards an Independent Semantics and Verification Technology for the HLPSL
separation logic Alexey Gotsman
Proving liveness Alexey Gotsman
programming Alexey Gotsman
Technical Report Computer Laboratory
Alexey Gotsman and Hongseok Yang (draft) The Importance of Being Linearizable
Concurrent library correctness on the TSO memory model
Concurrent library correctness on the TSO memory model
