253
click to vote
APLAS
14 years 6 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...
191
click to vote
APLAS
14 years 6 months ago
2011 ACM 
Modern multi-core microprocessors implement weak memory consistency models; programming for these architectures is a challenge. This paper solves a problem open for ten years, and ...
176
click to vote
APLAS
14 years 6 months ago
2011 ACM 
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
174
click to vote
APLAS
14 years 6 months ago
2011 ACM
Abstract. Decentralization is a major challenge for secure computing. In a decentralized setting, principals are free to distrust each other. The key challenge is to provide suppor...
189
click to vote
APLAS
14 years 6 months ago
2011 ACM
The well-known third list homomorphism theorem states that if a function h is both an instance of foldr and foldl, it is a list homomorphism. Plenty of previous works devoted to co...
|
Programming Languages