Publications

Export 6 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is Type inference  [Clear All Filters]
Conference Papers
Stoyle G, Hicks MW, Bierman G, Sewell P, Neamtiu I.  2005.  Mutatis mutandis: safe and predictable dynamic software updating. Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :183-194.
Furr M, An J-hoon(D), Foster JS, Hicks MW.  2009.  Static type inference for Ruby. Proceedings of the 2009 ACM symposium on Applied Computing. :1859-1866.
Pratikakis P, Spacco J, Hicks MW.  2004.  Transparent proxies for java futures. Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. :206-223.
Journal Articles
Rose J, Swamy N, Hicks MW.  2005.  Dynamic inference of polymorphic lock types. Science of Computer Programming. 58(3):366-383.
Pratikakis P, Foster JS, Hicks MW.  2006.  LOCKSMITH: context-sensitive correlation analysis for race detection. SIGPLAN Not.. 41(6):320-331.
Stoyle G, Hicks MW, Bierman G, Sewell P, Neamtiu I.  2007.  Mutatis Mutandis: Safe and predictable dynamic software updating. ACM Trans. Program. Lang. Syst.. 29(4)