Sciweavers

41 search results - page 1 / 9
» pldi 2009
Sort
View
PLDI
2009
ACM
16 years 18 days ago
Encoding information flow in Aura
Limin Jia, Steve Zdancewic
128
Voted
PLDI
2009
ACM
16 years 18 days ago
An implementation and semantics for transactional memory introspection in Haskell
Arnar Birgisson, Úlfar Erlingsson
PLDI
2009
ACM
16 years 18 days ago
CEAL: a C-based language for self-adjusting computation
Matthew Hammer, Umut A. Acar, Yan Chen
126
Voted
PLDI
2009
ACM
16 years 18 days ago
Lightweight annotations for controlling sharing in concurrent data structures
Zachary R. Anderson, David Gay, Mayur Naik
PLDI
2009
ACM
16 years 18 days ago
Measuring channel capacity to distinguish undue influence
James Newsome, Stephen McCamant, Dawn Song