Sciweavers

20 search results - page 1 / 4

» pldi 2004

105

PLDI
2004
ACM

89views Programming Languages» more PLDI 2004»

Verifying safety properties using separation and heterogeneous abstractions

15 years 8 months ago

Verifying safety properties using separation and heterogeneous abstractions

Download pages.cs.wisc.edu

Eran Yahav, G. Ramalingam

claim paper

Read More »

118

PLDI
2004
ACM

72views Programming Languages» more PLDI 2004»

Race checking by context inference

15 years 8 months ago

Race checking by context inference

Download mtc.epfl.ch

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

claim paper

Read More »

105

PLDI
2004
ACM

105views Programming Languages» more PLDI 2004»

Array regrouping and structure splitting using whole-program reference affinity

15 years 8 months 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 »

101

PLDI
2004
ACM

88views Programming Languages» more PLDI 2004»

Dynamic path-based software watermarking

15 years 8 months ago

Dynamic path-based software watermarking

Download www.cs.arizona.edu

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

claim paper

Read More »

136

PLDI
2004
ACM

169views Programming Languages» more PLDI 2004»

KISS: keep it simple and sequential

15 years 8 months 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 »