Sciweavers

20 search results - page 1 / 4

» pldi 2004

15

PLDI
2004
ACM

89views Programming Languages» more PLDI 2004»

Verifying safety properties using separation and heterogeneous abstractions

14 years 6 days ago

Verifying safety properties using separation and heterogeneous abstractions

Download pages.cs.wisc.edu

Eran Yahav, G. Ramalingam

claim paper

Read More »

14

PLDI
2004
ACM

72views Programming Languages» more PLDI 2004»

Race checking by context inference

14 years 6 days ago

Race checking by context inference

Download mtc.epfl.ch

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

claim paper

Read More »

14

PLDI
2004
ACM

105views Programming Languages» more PLDI 2004»

Array regrouping and structure splitting using whole-program reference affinity

14 years 6 days ago

Array regrouping and structure splitting using whole-program reference affinity

Download www.cs.rochester.edu

Yutao Zhong, Maksim Orlovich, Xipeng Shen, Chen Di...

claim paper

Read More »

16

PLDI
2004
ACM

88views Programming Languages» more PLDI 2004»

Dynamic path-based software watermarking

14 years 6 days ago

Dynamic path-based software watermarking

Download www.cs.arizona.edu

Christian S. Collberg, Edward Carter, Saumya K. De...

claim paper

Read More »

23

PLDI
2004
ACM

169views Programming Languages» more PLDI 2004»

KISS: keep it simple and sequential

14 years 6 days ago

KISS: keep it simple and sequential

Download faculty.ist.psu.edu

The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for ﬁnding errors in concurrent ...

Shaz Qadeer, Dinghao Wu

claim paper

Read More »

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