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: Gay:David
Contributed to:
2011
2011
2010
2009
20092008
2007
2007
2007
2007
2006
200520032001
200019981998Wrote 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.
- PLDI-2001-GayA
- 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.
- POPL-1998-AikenG
- Barrier Inference (AA, DG), pp. 342–354.