3256 search results - page 79 / 652 » Mixin-Based Programming in C |
203
Voted
APLAS
2011
ACM
14 years 2 months ago
2011
ACM
We present a new SPAS (ScalablePAth-Sensitive)framework for resolving points-to sets in C programs that exploits recent advances in pointer analysis. SPAS enables intraprocedural p...
116
Voted
ESOP
2012
Springer
13 years 10 months ago
2012
Springer
A lock placement describes, for each heap location, which lock guards the location, and under what circumstances. We formalize methods for reasoning about lock placements, making p...
140
Voted
SIAMJO
2011
14 years 9 months ago
2011
In this paper we define semidefinite packing programs and describe an algorithm to approximately solve these problems. Semidefinite packing programs arise in many applications s...
75
Voted
ICMT
2009
Springer
15 years 9 months ago
2009
Springer