Travelled to:1 × France
6 × USA
Collaborated with:M.Sagiv G.Ramalingam E.Yahav A.Aiken Alexander Spiegelman I.Keidar N.G.Bronson O.Zomer O.Ziv O.Shacham M.T.Vechev S.Grossman I.Abraham Yan Michalevsky N.Rinetzky Y.Zohar
Talks about:automat (3) lock (3) librari (2) concurr (2) semant (2) data (2) atom (2) foresight (1) transact (1) structur (1)
Person: Guy Golan-Gueta
DBLP: Golan-Gueta:Guy
Contributed to:
2015
2015
2014
201420142013
20112016
2018Wrote 9 papers:
- PLDI-2015-ZivAGRS #concurrent
- Composing concurrency control (OZ, AA, GGG, GR, MS), pp. 240–249.
- PPoPP-2015-Golan-GuetaRSY #automation #scalability #semantics
- Automatic scalable atomicity via semantic locking (GGG, GR, MS, EY), pp. 31–41.
- ESOP-2014-ZomerGRS #encapsulation
- Checking Linearizability of Encapsulated Extended Operations (OZ, GGG, GR, MS), pp. 311–330.
- ISSTA-2014-ShachamYGABSV #independence #verification
- Verifying atomicity via data independence (OS, EY, GGG, AA, NGB, MS, MTV), pp. 26–36.
- PPoPP-2014-Golan-GuetaRSY #automation #semantics
- Automatic semantic locking (GGG, GR, MS, EY), pp. 385–386.
- PLDI-2013-Golan-GuetaRSY #concurrent #library
- Concurrent libraries with foresight (GGG, GR, MS, EY), pp. 263–274.
- OOPSLA-2011-Golan-GuetaBARSY #automation #using
- Automatic fine-grain locking using shape properties (GGG, NGB, AA, GR, MS, EY), pp. 225–242.
- PLDI-2016-SpiegelmanGK #data type #library #transaction
- Transactional data structure libraries (AS, GGG, IK), pp. 682–696.
- POPL-2018-GrossmanAGMRSZ #contract #detection #effectiveness #online
- Online detection of effectively callback free objects with applications to smart contracts (SG, IA, GGG, YM, NR, MS, YZ), p. 28.