Guy Golan-Gueta

According to our database, Guy Golan-Gueta authored at least 31 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols.

Orr Tamir, Marcelo Taube, Kenneth L. McMillan, Sharon Shoham, Jon Howell, Guy Gueta, Mooly Sagiv

Proc. ACM Program. Lang., October, 2023

2022

UTT: Decentralized Ecash with Accountable Privacy.

Alin Tomescu, Adithya Bhat, Benny Applebaum, Ittai Abraham, Guy Gueta, Benny Pinkas, Avishay Yanai

IACR Cryptol. ePrint Arch., 2022

2021

Brief Announcement: Using Nesting to Push the Limits of Transactional Data Structure Libraries.

Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman

Proceedings of the 35th International Symposium on Distributed Computing, 2021

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

Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman

Proceedings of the 25th International Conference on Principles of Distributed Systems, 2021

2020

KiWi: A Key-value Map for Scalable Real-time Analytics.

Dmitry Basin, Edward Bortnikov, Anastasia Braginsky, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar, Moshe Sulamy

ACM Trans. Parallel Comput., 2020

Towards Scalable Threshold Cryptosystems.

Alin Tomescu, Robert Chen, Yiming Zheng, Ittai Abraham, Benny Pinkas, Guy Golan-Gueta, Srinivas Devadas

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Nesting and composition in transactional data structure libraries.

Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman

Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

2019

LOFT: lock-free transactional data structures.

Avner Elizarov, Guy Golan-Gueta, Erez Petrank

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

HotStuff: BFT Consensus with Linearity and Responsiveness.

Maofan Yin, Dahlia Malkhi, Michael K. Reiter, Guy Golan-Gueta, Ittai Abraham

Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

SBFT: A Scalable and Decentralized Trust Infrastructure.

Guy Golan-Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Michael K. Reiter, Dragos-Adrian Seredinschi, Orr Tamir, Alin Tomescu

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.

Shelly Grossman, Ittai Abraham, Guy Golan-Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, Yoni Zohar

Proc. ACM Program. Lang., 2018

SBFT: a Scalable Decentralized Trust Infrastructure for Blockchains.

Guy Golan-Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Michael K. Reiter, Dragos-Adrian Seredinschi, Orr Tamir, Alin Tomescu

CoRR, 2018

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

Ittai Abraham, Guy Gueta, Dahlia Malkhi

CoRR, 2018

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

Ittai Abraham, Guy Gueta, Dahlia Malkhi, Jean-Philippe Martin

CoRR, 2018

A Scalable Linearizable Multi-Index Table.

Gali Sheffi, Guy Golan-Gueta, Erez Petrank

Proceedings of the 38th IEEE International Conference on Distributed Computing Systems, 2018

2017

Automatic Scalable Atomicity via Semantic Locking.

Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav

ACM Trans. Parallel Comput., 2017

Revisiting Fast Practical Byzantine Fault Tolerance.

Ittai Abraham, Guy Gueta, Dahlia Malkhi, Lorenzo Alvisi, Ramakrishna Kotla, Jean-Philippe Martin

CoRR, 2017

Top-k Query Processing with Conditional Skips.

Edward Bortnikov, David Carmel, Guy Golan-Gueta

Proceedings of the 26th International Conference on World Wide Web Companion, 2017

2016

Brief Announcement: Transactional Data Structure Libraries.

Alexander Spiegelman, Guy Golan-Gueta, Idit Keidar

Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, 2016

Brief Announcement: A Key-Value Map for Massive Real-Time Analytics.

Dmitry Basin, Edward Bortnikov, Anastasia Braginsky, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar, Moshe Sulamy

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

Transactional data structure libraries.

Alexander Spiegelman, Guy Golan-Gueta, Idit Keidar

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

Automatic fine- grained synchronization

Guy Golan-Gueta

PhD thesis, 2015

Towards Automatic Lock Removal for Scalable Synchronization.

Maya Arbel, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar

Proceedings of the Distributed Computing - 29th International Symposium, 2015

Composing concurrency control.

Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv

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

Scaling concurrent log-structured data stores.

Guy Golan-Gueta, Edward Bortnikov, Eshcar Hillel, Idit Keidar

Proceedings of the Tenth European Conference on Computer Systems, 2015

2014

Automatic semantic locking.

Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Verifying atomicity via data independence.

Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Checking Linearizability of Encapsulated Extended Operations.

Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv

Proceedings of the Programming Languages and Systems, 2014

2013

Concurrent libraries with foresight.

Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2011

Automatic fine-grain locking using shape properties.

Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2007

Cartesian Partial-Order Reduction.

Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv

Proceedings of the Model Checking Software, 2007