POPL
2015
ACM
8 years 7 months ago
2015
ACM
We present Iris, a concurrent separation logic with a simple premise: monoids and invariants are all you need. Partial commutative monoids enable us to express—and invariants en...
POPL
2015
ACM
8 years 7 months ago
2015
ACM
POPL
2015
ACM
8 years 7 months ago
2015
ACM
POPL
2015
ACM
8 years 7 months ago
2015
ACM
We present a method and a tool for generating succinct representations of sets of concurrent traces. We focus on trace sets that contain all correct or all incorrect permutations ...
POPL
2015
ACM
8 years 7 months ago
2015
ACM
Graphical choreographies, or global graphs, are general multiparty session specifications featuring expressive constructs such as forking, merging, and joining for representing a...
POPL
2015
ACM
8 years 7 months ago
2015
ACM
Program equivalence is a fundamental problem that has practical applications across a variety of areas of computing including compilation, optimization, software synthesis, formal...
POPL
2015
ACM
8 years 7 months ago
2015
ACM
Gradual typing is a discipline for integrating dynamic checking into
POPL
2015
ACM
8 years 7 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
8 years 7 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...
POPL
2015
ACM
8 years 7 months ago
2015
ACM