Sciweavers

41 search results - page 1 / 9

» pldi 2009

87

Voted

PLDI
2009
ACM

117views Programming Languages» more PLDI 2009»

Encoding information flow in Aura

15 years 7 months ago

Encoding information flow in Aura

Download www.andrew.cmu.edu

Limin Jia, Steve Zdancewic

claim paper

Read More »

80

Voted

PLDI
2009
ACM

114views Programming Languages» more PLDI 2009»

An implementation and semantics for transactional memory introspection in Haskell

15 years 7 months ago

An implementation and semantics for transactional memory introspection in Haskell

Download www.ru.is

Arnar Birgisson, Úlfar Erlingsson

claim paper

Read More »

62

Voted

PLDI
2009
ACM

162views Programming Languages» more PLDI 2009»

CEAL: a C-based language for self-adjusting computation

15 years 7 months ago

CEAL: a C-based language for self-adjusting computation

Download www.tti-c.org

Matthew Hammer, Umut A. Acar, Yan Chen

claim paper

Read More »

84

Voted

PLDI
2009
ACM

119views Programming Languages» more PLDI 2009»

Lightweight annotations for controlling sharing in concurrent data structures

15 years 7 months ago

Lightweight annotations for controlling sharing in concurrent data structures

Download www.cs.berkeley.edu

Zachary R. Anderson, David Gay, Mayur Naik

claim paper

Read More »

87

Voted

PLDI
2009
ACM

139views Programming Languages» more PLDI 2009»

Measuring channel capacity to distinguish undue influence

15 years 7 months ago

Measuring channel capacity to distinguish undue influence

Download bitblaze.cs.berkeley.edu

James Newsome, Stephen McCamant, Dawn Song

claim paper

Read More »

« Prev « First page 1 / 9 Last » Next »