Publications

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is Dynamic analysis  [Clear All Filters]
2010
Martin J-P, Hicks MW, Costa M, Akritidis P, Castro M.  2010.  Dynamically checking ownership policies in concurrent c/c++ programs. Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :457-470.
2005
Rose J, Swamy N, Hicks MW.  2005.  Dynamic inference of polymorphic lock types. Science of Computer Programming. 58(3):366-383.