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 × Ireland
1 × Portugal
10 × USA
2 × Germany
3 × Canada
Collaborated with:
R.Ennals A.Aiken Z.R.Anderson E.A.Brewer P.Levis M.Naik D.E.Culler K.Sen B.Steensgaard P.Joshi C.Park B.McCloskey F.Zhou B.F.T.Mistree B.Chandra E.Cheslack-Postava J.Condit M.Harren G.C.Necula J.R.v.Behren M.Welsh K.Klues V.Handziski C.Lu A.Wolisz
Talks about:
program (3) languag (3) manag (3) synchron (2) deadlock (2) control (2) concurr (2) analysi (2) region (2) memori (2)

Person: David Gay

DBLP DBLP: Gay:David

Contributed to:

OOPSLA 20112011
Onward! 20112011
FSE 20102010
ICSE 20092009
PLDI 20092009
PLDI 20082008
ESOP 20072007
ICFP 20072007
ISMM 20072007
SOSP 20072007
POPL 20062006
LCTES 20052005
PLDI 20032003
PLDI 20012001
CC 20002000
PLDI 19981998
POPL 19981998

Wrote 18 papers:

OOPSLA-2011-AndersonG #composition
Composable, nestable, pessimistic atomic statements (ZRA, DG), pp. 865–884.
Onward-2011-MistreeCCLG #named
Emerson: accessible scripting for applications in an extensible virtual world (BFTM, BC, ECP, PL, DG), pp. 77–90.
FSE-2010-JoshiNSG #detection #dynamic analysis #effectiveness
An effective dynamic analysis for detecting generalized deadlocks (PJ, MN, KS, DG), pp. 327–336.
ICSE-2009-NaikPSG #concurrent #detection #effectiveness
Effective static deadlock detection (MN, CSP, KS, DG), pp. 386–396.
PLDI-2009-AndersonGN #concurrent #data type #lightweight
Lightweight annotations for controlling sharing in concurrent data structures (ZRA, DG, MN), pp. 98–109.
PLDI-2008-AndersonGEB #c #named #parallel #thread
SharC: checking data sharing strategies for multithreaded C (ZRA, DG, RE, EAB), pp. 149–158.
ESOP-2007-ConditHAGN #dependent type #low level #programming
Dependent Types for Low-Level Programming (JC, MH, ZRA, DG, GCN), pp. 520–535.
ESOP-2007-EnnalsG #multi
Multi-language Synchronization (RE, DG), pp. 475–489.
ICFP-2007-EnnalsG #functional #programming #web
User-friendly functional programming for web mashups (RE, DG), pp. 223–234.
ISMM-2007-GayEB #memory management
Safe manual memory management (DG, RE, EAB), pp. 2–14.
SOSP-2007-KluesHLWCGL #concurrent #energy
Integrating concurrency control and energy management in device drivers (KK, VH, CL, AW, DEC, DG, PL), pp. 251–264.
POPL-2006-McCloskeyZGB #named
Autolocker: synchronization inference for atomic sections (BM, FZ, DG, EAB), pp. 346–358.
LCTES-2005-GayLC #design pattern
Software design patterns for TinyOS (DG, PL, DEC), pp. 40–49.
PLDI-2003-GayLBWBC #approach #embedded
The nesC language: A holistic approach to networked embedded systems (DG, PL, JRvB, MW, EAB, DEC), pp. 1–11.
Language Support for Regions (DG, AA), pp. 70–80.
CC-2000-GayS #analysis #performance #source code #stack
Fast Escape Analysis and Stack Allocation for Object-Based Programs (DG, BS), pp. 82–93.
PLDI-1998-GayA #memory management
Memory Management with Explicit Regions (DG, AA), pp. 313–323.
Barrier Inference (AA, DG), pp. 342–354.

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.