97
Voted
ATVA
2015
Springer
9 years 11 months ago
2015
Springer
Replicated data types store copies of identical data across multiple servers in a distributed system. For the replicas to satisfy strong eventual consistency, these data types sho...
102
Voted
ATVA
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. Using game semantics, we investigate the problem of verifying contextual equivalences in Interface Middleweight Java (IMJ), an imperative object calculus in which program...
110
Voted
ATVA
2015
Springer
9 years 11 months ago
2015
Springer
Abstract Infinite games with imperfect information tend to be undecidable unless the information flow is severely restricted. One fundamental decidable case occurs when there is ...
95
Voted
POPL
2015
ACM
9 years 11 months ago
2015
ACM
This paper reports on the development of Compositional CompCert, the first verified separate compiler for C. Specifying and proving separate compilation for C is made challengin...
POPL
2015
ACM
9 years 11 months ago
2015
ACM
ion Layers Ronghui Gu Jérémie Koenig Tahina Ramananandro Zhong Shao Newman Wu Shu-Chun Weng Haozhong Zhang1 Yu Guo1 Yale University 1University of Science and Technology of China...