Sciweavers

20 search results - page 1 / 4

» pldi 2004

10

PLDI
2004
ACM

89views Programming Languages» more PLDI 2004»

Verifying safety properties using separation and heterogeneous abstractions

13 years 10 months ago

Verifying safety properties using separation and heterogeneous abstractions

Download pages.cs.wisc.edu

Eran Yahav, G. Ramalingam

claim paper

Read More »

10

PLDI
2004
ACM

72views Programming Languages» more PLDI 2004»

Race checking by context inference

13 years 10 months ago

Race checking by context inference

Download mtc.epfl.ch

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

claim paper

Read More »

8

PLDI
2004
ACM

105views Programming Languages» more PLDI 2004»

Array regrouping and structure splitting using whole-program reference affinity

13 years 10 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 »

11

PLDI
2004
ACM

88views Programming Languages» more PLDI 2004»

Dynamic path-based software watermarking

13 years 10 months ago

Dynamic path-based software watermarking

Download www.cs.arizona.edu

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

claim paper

Read More »

16

PLDI
2004
ACM

169views Programming Languages» more PLDI 2004»

KISS: keep it simple and sequential

13 years 10 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 »