POPL
2015
ACM
8 years 3 months ago
2015
ACM
This paper presents K-Java, a complete executable formal seman
POPL
2015
ACM
8 years 3 months ago
2015
ACM
This paper presents the design of ZOMBIE, a dependently-typed programming language that uses an adaptation of a congruence closure algorithm for proof and type inference. This alg...
POPL
2015
ACM
8 years 3 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 3 months ago
2015
ACM
POPL
2015
ACM
8 years 3 months ago
2015
ACM
POPL
2015
ACM
8 years 3 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 3 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 3 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 3 months ago
2015
ACM
Gradual typing is a discipline for integrating dynamic checking into
POPL
2015
ACM
8 years 3 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...