Victor Bushkov

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 1

Top Topics

Parallel Programming

Distributed Computing

Database Transactions

Top Venues

Publications

Victor Bushkov, Dmytro Dziuma, Panagiota Fatourou, Rachid Guerraoui
The PCL Theorem: Transactions cannot be Parallel, Consistent, and Live. J. ACM 66 (1) (2019)
Victor Bushkov, Rachid Guerraoui
Safety-Liveness Exclusion in Distributed Computing. PODC (2015)
Victor Bushkov, Dmytro Dziuma, Panagiota Fatourou, Rachid Guerraoui
The PCL theorem: transactions cannot be parallel, consistent and live. SPAA (2014)
Victor Bushkov, Rachid Guerraoui, Michal Kapalka
On the liveness of transactional memory. PODC (2012)
Victor Bushkov, Nina Yevtushenko, Tiziano Villa
Discussion on Supervisory Control by Solving Automata Equation CoRR (2009)