Skip to main content

Four papers to appear at POPL 2014


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

Abstract Satisfaction.
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