78
Voted
POPL
2015
ACM
9 years 11 months ago
2015
ACM
a brief look at each paper and read its abstract. Each paper below includes a URL. Some papers are available for free, and others are available for free only to you as UMass studen...
POPL
2015
ACM
9 years 11 months ago
2015
ACM
We show that the weak memory model introduced by the 2011 C and C++ standards does not permit many common source-tosource program transformations (such as expression linearisation...
87
Voted
POPL
2015
ACM
9 years 11 months ago
2015
ACM
82
Voted
POPL
2015
ACM
9 years 11 months ago
2015
ACM
We want to prove that a static analysis of a given program is complete, namely, no imprecision arises when asking some query on the program behavior in the concrete (i.e., for its...
84
Voted
POPL
2015
ACM
9 years 11 months ago
2015
ACM
We present a new approach for predicting program properties from massive codebases (aka “Big Code”). Our approach first learns a probabilistic model from existing data and th...