Publications

Export 4 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is static analysis  [Clear All Filters]
Conference Papers
Van Horn D, Mairson HG.  2007.  Relating Complexity and Precision in Control Flow Analysis. ICFP '07 Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming. :85-96.
Might M, Smaragdakis Y, Van Horn D.  2010.  Resolving and Exploiting the k-CFA Paradox: Illuminating Functional vs. Object-oriented Program Analysis. PLDI '10 Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation. :305-315.
Journal Articles
Pratikakis P, Foster JS, Hicks MW.  2011.  LOCKSMITH: Practical static race detection for C. ACM Trans. Program. Lang. Syst.. 33(1):3:1–3:55-3:1–3:55.
Meister JA, Foster JS, Hicks MW.  2010.  Serializing C intermediate representations for efficient and portable parsing. Software: Practice and Experience. 40(3):225-238.