Guy Golan-Gueta

According to our database1, Guy Golan-Gueta authored at least 27 papers between 2007 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
KiWi: A Key-value Map for Scalable Real-time Analytics.
ACM Trans. Parallel Comput., 2020

Using Nesting to Push the Limits of Transactional Data Structure Libraries.
CoRR, 2020

Towards Scalable Threshold Cryptosystems.
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Nesting and composition in transactional data structure libraries.
Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

2019
LOFT: lock-free transactional data structures.
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

HotStuff: BFT Consensus with Linearity and Responsiveness.
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

SBFT: A Scalable and Decentralized Trust Infrastructure.
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

2018
Online detection of effectively callback free objects with applications to smart contracts.
Proc. ACM Program. Lang., 2018

SBFT: a Scalable Decentralized Trust Infrastructure for Blockchains.
CoRR, 2018

Hot-Stuff the Linear, Optimal-Resilience, One-Message BFT Devil.
CoRR, 2018

Revisiting Fast Practical Byzantine Fault Tolerance: Thelma, Velma, and Zelma.
CoRR, 2018

A Scalable Linearizable Multi-Index Table.
Proceedings of the 38th IEEE International Conference on Distributed Computing Systems, 2018

2017
Automatic Scalable Atomicity via Semantic Locking.
ACM Trans. Parallel Comput., 2017

Revisiting Fast Practical Byzantine Fault Tolerance.
CoRR, 2017

Top-k Query Processing with Conditional Skips.
Proceedings of the 26th International Conference on World Wide Web Companion, 2017

2016
Brief Announcement: Transactional Data Structure Libraries.
Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, 2016

Brief Announcement: A Key-Value Map for Massive Real-Time Analytics.
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

Transactional data structure libraries.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015
Towards Automatic Lock Removal for Scalable Synchronization.
Proceedings of the Distributed Computing - 29th International Symposium, 2015

Composing concurrency control.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Scaling concurrent log-structured data stores.
Proceedings of the Tenth European Conference on Computer Systems, 2015

2014
Automatic semantic locking.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Verifying atomicity via data independence.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Checking Linearizability of Encapsulated Extended Operations.
Proceedings of the Programming Languages and Systems, 2014

2013
Concurrent libraries with foresight.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2011
Automatic fine-grain locking using shape properties.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2007
Cartesian Partial-Order Reduction.
Proceedings of the Model Checking Software, 2007


  Loading...