36 search results - page 2 / 8 » pldi 2010 |
PLDI
2010
ACM
13 years 10 months ago
2010
ACM
PLDI
2010
ACM
13 years 8 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
PLDI
2010
ACM
13 years 10 months ago
2010
ACM
Traditional data-oriented programming languages such as dataflow s and stream languages provide a natural abstraction for parallel programming. In these languages, a developer fo...
PLDI
2010
ACM
13 years 10 months ago
2010
ACM
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
PLDI
2010
ACM
14 years 2 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...