Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Guy Gueta
conf.researchr.org general profile
PLDI 2019 profile
PLDI 2023 profile
POPL 2018 profile
PPoPP 2020 profile
PPoPP 2018 profile
PPoPP 2019 profile
SPLASH 2011 profile
SPLASH 2023 profile
Registered user since Sun 11 Sep 2022
Name:
Guy Gueta
Country:
Israel
Affiliation:
VMware Research
Contributions
2023
SPLASH
Author of Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols within the OOPSLA-track
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
2020
Principles and Practice of Parallel Programming
Author of Poster: Nesting and Composition in Transactional Data Structure Libraries within the Brief Announcements-track
2019
PLDI
Committee Member in Program Committee within the PLDI Research Papers-track
Principles and Practice of Parallel Programming
Author of LOFT: Lock-Free Transactional Data Structures within the Posters-track
2018
Principles and Practice of Parallel Programming
Committee Member in Program Committee
POPL
Author of Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts within the Research Papers-track
2011
SPLASH
Author of Automatic Fine-Grain Locking using Shape Properties within the OOPSLA-track
Share
x
Wed 18 Jun 03:42
