71
Voted
POPL
2015
ACM
9 years 11 months ago
2015
ACM
85
Voted
POPL
2015
ACM
9 years 11 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 ...
86
Voted
POPL
2015
ACM
9 years 11 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...
87
Voted
POPL
2015
ACM
9 years 11 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
9 years 11 months ago
2015
ACM
Gradual typing is a discipline for integrating dynamic checking into