Date: June 9-11, 2014
Location: Edinburgh, UK
Website: http://conferences.inf.ed.ac.uk/pldi2014/
Loi Luu, Shweta Shinde, Prateek Saxena, Brian Demsky, “A Model Counter for Constraints Over Unbounded Strings,” ACM SIGPLAN Conference on Programming Language Design and Implementation (PLD;14), Edinburgh, UK, June 9-11, 2014