BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Golan-Gueta:Guy

Contributed to:

PLDI 20152015
PPoPP 20152015
ESOP 20142014
ISSTA 20142014
PPoPP 20142014
PLDI 20132013
OOPSLA 20112011
PLDI 20162016
POPL 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.