Guy Golan-Gueta

29 papers A* 6A 8B 7Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2021 A conf
Brief Announcement: Using Nesting to Push the Limits of Transactional Data Structure Libraries.
DISC
Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman
2021 B conf
Using Nesting to Push the Limits of Transactional Data Structure Libraries.
OPODIS
Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman
2020 J jnl
KiWi: A Key-value Map for Scalable Real-time Analytics.
ACM Trans. Parallel Comput.
Dmitry Basin, Edward Bortnikov, Anastasia Braginsky, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar, Moshe Sulamy
2020 B conf
Nesting and composition in transactional data structure libraries.
PPoPP
Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman
2020 A* conf
Towards Scalable Threshold Cryptosystems.
SP
Alin Tomescu, Robert Chen, Yiming Zheng, Ittai Abraham, Benny Pinkas, Guy Golan-Gueta, Srinivas Devadas
2020 J jnl
Using Nesting to Push the Limits of Transactional Data Structure Libraries.
CoRR
Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman
2019 A* conf
HotStuff: BFT Consensus with Linearity and Responsiveness.
PODC
Maofan Yin, Dahlia Malkhi, Michael K. Reiter, Guy Golan-Gueta, Ittai Abraham
2019 B conf
LOFT: lock-free transactional data structures.
PPoPP
Avner Elizarov, Guy Golan-Gueta, Erez Petrank
2019 A conf
SBFT: A Scalable and Decentralized Trust Infrastructure.
DSN
Guy Golan-Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Michael K. Reiter, Dragos-Adrian Seredinschi, Orr Tamir, Alin Tomescu
2018 A conf
A Scalable Linearizable Multi-Index Table.
ICDCS
Gali Sheffi, Guy Golan-Gueta, Erez Petrank
2018 J jnl
Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts.
CoRR
Shelly Grossman, Ittai Abraham, Guy Golan-Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, Yoni Zohar
2018 J jnl
Online detection of effectively callback free objects with applications to smart contracts.
Proc. ACM Program. Lang.
Shelly Grossman, Ittai Abraham, Guy Golan-Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, Yoni Zohar
2018 J jnl
SBFT: a Scalable Decentralized Trust Infrastructure for Blockchains.
CoRR
Guy Golan-Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Michael K. Reiter, Dragos-Adrian Seredinschi, Orr Tamir, Alin Tomescu
2017 J jnl
Automatic Scalable Atomicity via Semantic Locking.
ACM Trans. Parallel Comput.
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
2017 B conf
KiWi: A Key-Value Map for Scalable Real-Time Analytics.
PPoPP
Dmitry Basin, Edward Bortnikov, Anastasia Braginsky, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar, Moshe Sulamy
2017 — conf
Top-k Query Processing with Conditional Skips.
WWW (Companion Volume)
Edward Bortnikov, David Carmel, Guy Golan-Gueta
2016 A* conf
Brief Announcement: A Key-Value Map for Massive Real-Time Analytics.
PODC
Dmitry Basin, Edward Bortnikov, Anastasia Braginsky, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar, Moshe Sulamy
2016 B conf
Brief Announcement: Transactional Data Structure Libraries.
SPAA
Alexander Spiegelman, Guy Golan-Gueta, Idit Keidar
2016 A* conf
Transactional data structure libraries.
PLDI
Alexander Spiegelman, Guy Golan-Gueta, Idit Keidar
2015 — —
Automatic fine- grained synchronization
Guy Golan-Gueta
2015 B conf
Automatic scalable atomicity via semantic locking.
PPoPP
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
2015 A* conf
Composing concurrency control.
PLDI
Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv
2015 A conf
Scaling concurrent log-structured data stores.
EuroSys
Guy Golan-Gueta, Edward Bortnikov, Eshcar Hillel, Idit Keidar
2015 A conf
Towards Automatic Lock Removal for Scalable Synchronization.
DISC
Maya Arbel, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar
2014 B conf
Automatic semantic locking.
PPoPP
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
2014 A conf
Checking Linearizability of Encapsulated Extended Operations.
ESOP
Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv
2014 A conf
Verifying atomicity via data independence.
ISSTA
Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev
2013 A* conf
Concurrent libraries with foresight.
PLDI
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
2011 A conf
Automatic fine-grain locking using shape properties.
OOPSLA
Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav