default search action

combined dblp search
author search
venue search
publication search

ask others

Guy Golan-Gueta

Guy Gueta

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/TamirTMSHGS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/TamirTMSHGS23
Orr Tamir, Marcelo Taube, Kenneth L. McMillan, Sharon Shoham, Jon Howell, Guy Gueta, Mooly Sagiv:
Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols. Proc. ACM Program. Lang. 7(OOPSLA2): 1878-1904 (2023)
2022
[i7]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/TomescuBAAGPY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/TomescuBAAGPY22
Alin Tomescu, Adithya Bhat, Benny Applebaum, Ittai Abraham, Guy Gueta, Benny Pinkas, Avishay Yanai:
UTT: Decentralized Ecash with Accountable Privacy. IACR Cryptol. ePrint Arch. 2022: 452 (2022)
2021
[c23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/opodis/AssaMGKS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/opodis/AssaMGKS21
Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman:
Using Nesting to Push the Limits of Transactional Data Structure Libraries. OPODIS 2021: 30:1-30:17
[c22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/wdag/AssaMGKS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/AssaMGKS21
Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman:
Brief Announcement: Using Nesting to Push the Limits of Transactional Data Structure Libraries. DISC 2021: 45:1-45:4
2020
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/topc/BasinBBGHKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topc/BasinBBGHKS20
Dmitry Basin, Edward Bortnikov, Anastasia Braginsky, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar, Moshe Sulamy:
KiWi: A Key-value Map for Scalable Real-time Analytics. ACM Trans. Parallel Comput. 7(3): 16:1-16:28 (2020)
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/AssaMGKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/AssaMGKS20
Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman:
Nesting and composition in transactional data structure libraries. PPoPP 2020: 405-406
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/TomescuCZAPGD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/TomescuCZAPGD20
Alin Tomescu, Robert Chen, Yiming Zheng, Ittai Abraham, Benny Pinkas, Guy Golan-Gueta, Srinivas Devadas:
Towards Scalable Threshold Cryptosystems. SP 2020: 877-893
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2001-00363
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-00363
Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman:
Using Nesting to Push the Limits of Transactional Data Structure Libraries. CoRR abs/2001.00363 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/Golan-GuetaAGMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/Golan-GuetaAGMP19
Guy Golan-Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Michael K. Reiter, Dragos-Adrian Seredinschi, Orr Tamir, Alin Tomescu:
SBFT: A Scalable and Decentralized Trust Infrastructure. DSN 2019: 568-580
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/YinMRGA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/YinMRGA19
Maofan Yin, Dahlia Malkhi, Michael K. Reiter, Guy Golan-Gueta, Ittai Abraham:
HotStuff: BFT Consensus with Linearity and Responsiveness. PODC 2019: 347-356
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/ElizarovGP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/ElizarovGP19
Avner Elizarov, Guy Golan-Gueta, Erez Petrank:
LOFT: lock-free transactional data structures. PPoPP 2019: 425-426
2018
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/GrossmanAGMRSZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/GrossmanAGMRSZ18
Shelly Grossman, Ittai Abraham, Guy Golan-Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, Yoni Zohar:
Online detection of effectively callback free objects with applications to smart contracts. Proc. ACM Program. Lang. 2(POPL): 48:1-48:28 (2018)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/SheffiGP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/SheffiGP18
Gali Sheffi, Guy Golan-Gueta, Erez Petrank:
A Scalable Linearizable Multi-Index Table. ICDCS 2018: 200-211
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1801-04032
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-04032
Shelly Grossman, Ittai Abraham, Guy Golan-Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, Yoni Zohar:
Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts. CoRR abs/1801.04032 (2018)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1801-10022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-10022
Ittai Abraham, Guy Gueta, Dahlia Malkhi, Jean-Philippe Martin:
Revisiting Fast Practical Byzantine Fault Tolerance: Thelma, Velma, and Zelma. CoRR abs/1801.10022 (2018)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1803-05069
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-05069
Ittai Abraham, Guy Gueta, Dahlia Malkhi:
Hot-Stuff the Linear, Optimal-Resilience, One-Message BFT Devil. CoRR abs/1803.05069 (2018)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1804-01626
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-01626
Guy Golan-Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Michael K. Reiter, Dragos-Adrian Seredinschi, Orr Tamir, Alin Tomescu:
SBFT: a Scalable Decentralized Trust Infrastructure for Blockchains. CoRR abs/1804.01626 (2018)
2017
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/topc/Golan-GuetaRSY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topc/Golan-GuetaRSY17
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav:
Automatic Scalable Atomicity via Semantic Locking. ACM Trans. Parallel Comput. 3(4): 21:1-21:29 (2017)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/BasinBBGHKS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/BasinBBGHKS17
Dmitry Basin, Edward Bortnikov, Anastasia Braginsky, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar, Moshe Sulamy:
KiWi: A Key-Value Map for Scalable Real-Time Analytics. PPoPP 2017: 357-369
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/www/BortnikovCG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/BortnikovCG17
Edward Bortnikov, David Carmel, Guy Golan-Gueta:
Top-k Query Processing with Conditional Skips. WWW (Companion Volume) 2017: 653-661
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1712-01367
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-01367
Ittai Abraham, Guy Gueta, Dahlia Malkhi, Lorenzo Alvisi, Ramakrishna Kotla, Jean-Philippe Martin:
Revisiting Fast Practical Byzantine Fault Tolerance. CoRR abs/1712.01367 (2017)
2016
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/SpiegelmanGK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/SpiegelmanGK16
Alexander Spiegelman, Guy Golan-Gueta, Idit Keidar:
Transactional data structure libraries. PLDI 2016: 682-696
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/BasinBBGHKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/BasinBBGHKS16
Dmitry Basin, Edward Bortnikov, Anastasia Braginsky, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar, Moshe Sulamy:
Brief Announcement: A Key-Value Map for Massive Real-Time Analytics. PODC 2016: 487-489
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/spaa/SpiegelmanGK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spaa/SpiegelmanGK16
Alexander Spiegelman, Guy Golan-Gueta, Idit Keidar:
Brief Announcement: Transactional Data Structure Libraries. SPAA 2016: 133-134
2015
[b1]
- view
  - electronic edition @ exlibrisgroup.com
  - details & citations
- export record
  dblp key:
  - phd/il/Gueta15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/il/Gueta15
Guy Golan-Gueta:
Automatic fine- grained synchronization. Tel Aviv University, Israel, 2015
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/Golan-GuetaBHK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/Golan-GuetaBHK15
Guy Golan-Gueta, Edward Bortnikov, Eshcar Hillel, Idit Keidar:
Scaling concurrent log-structured data stores. EuroSys 2015: 32:1-32:14
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ZivAGRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ZivAGRS15
Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv:
Composing concurrency control. PLDI 2015: 240-249
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/Golan-GuetaRSY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/Golan-GuetaRSY15
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav:
Automatic scalable atomicity via semantic locking. PPoPP 2015: 31-41
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/wdag/ArbelGHK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/ArbelGHK15
Maya Arbel, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar:
Towards Automatic Lock Removal for Scalable Synchronization. DISC 2015: 170-184
2014
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/ZomerGRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/ZomerGRS14
Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv:
Checking Linearizability of Encapsulated Extended Operations. ESOP 2014: 311-330
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ShachamYGABSV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ShachamYGABSV14
Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev:
Verifying atomicity via data independence. ISSTA 2014: 26-36
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/Golan-GuetaRSY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/Golan-GuetaRSY14
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav:
Automatic semantic locking. PPoPP 2014: 385-386
2013
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/Golan-GuetaRSY13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/Golan-GuetaRSY13
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav:
Concurrent libraries with foresight. PLDI 2013: 263-274
2011
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/Golan-GuetaBARSY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/Golan-GuetaBARSY11
Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav:
Automatic fine-grain locking using shape properties. OOPSLA 2011: 225-242

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/GuetaFYS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/GuetaFYS07
Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv:
Cartesian Partial-Order Reduction. SPIN 2007: 95-112

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.