25 search results - page 2 / 5 » pldi 2011 |
PLDI
2011
ACM
13 years 1 months ago
2011
ACM
PLDI
2011
ACM
13 years 1 months ago
2011
ACM
Programming language design benefits from constructs for extending the syntax and semantics of a host language. While C’s stringbased macros empower programmers to introduce no...
PLDI
2011
ACM
13 years 1 months ago
2011
ACM
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...
PLDI
2011
ACM
13 years 1 months ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
PLDI
2011
ACM
13 years 1 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...