Four papers to appear at POPL 2014
Posted: 1st October 2013
Four papers from members of the department have been accepted at POPL 2014, the leading venue in programming languages.
Abstract Acceleration of General Linear Loops.
B. Jeannet, P. Schrammel, S. Sankaranarayanan
V. D'Silva, L. Haller, D. Kroening
An Abstraction Refinement Approach to Higher-Order Model Checking.
S. Ramsay, R. Neatherway, L. Ong
Replicated Data Types: Specification, Verification, Optimality.
S. Burckhardt, A. Gotsman, H. Yang, M. Zawirski