Publications

Export 4 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is static analysis  [Clear All Filters]
2011
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.
2010
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.
Meister JA, Foster JS, Hicks MW.  2010.  Serializing C intermediate representations for efficient and portable parsing. Software: Practice and Experience. 40(3):225-238.
2007
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.