Travelled to:1 × Ireland
1 × Portugal
4 × USA
Collaborated with:D.Gay ∅ R.Ennals E.A.Brewer M.Naik J.Condit M.Harren G.C.Necula F.Zhou I.Bagrak
Talks about:languag (2) share (2) level (2) safe (2) data (2) use (2) multithread (1) lightweight (1) statement (1) pessimist (1)
Person: Zachary R. Anderson
DBLP: Anderson:Zachary_R=
Contributed to:
20122011
20092008
2007
2006Wrote 6 papers:
- OOPSLA-2012-Anderson #fine-grained #parallel #policy #resource management #using
- Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies (ZRA), pp. 717–736.
- OOPSLA-2011-AndersonG #composition
- Composable, nestable, pessimistic atomic statements (ZRA, DG), pp. 865–884.
- 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.
- OSDI-2006-ZhouCABEHNB #named #using
- SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques (FZ, JC, ZRA, IB, RE, MH, GCN, EAB), pp. 45–60.