Resolving and exploiting the

Matthew Might, Yannis Smaragdakis, David Van Horn

Browse the full PLDI paper archive.