Type inference of SELF: analysis of objects with dynamic and multiple inheritance

Pointer and escape analysis for multithreaded programs

PPoPP '01 Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming

More dynamic object reclassification: Fickle∥

ACM Transactions on Programming Languages and Systems (TOPLAS)

Fickle: Dynamic Object Re-classification

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming

Mirrors: design principles for meta-level facilities of object-oriented programming languages

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Efficient local type inference

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications

Tracing for web 3.0: trace compilation for the next generation web applications

Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments

Type harvesting: a practical approach to obtaining typing information in dynamic programming languages

Proceedings of the 2011 ACM Symposium on Applied Computing

Towards type inference for javascript

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming

Efficient support of dynamic inheritance for class- and prototype-based languages

Journal of Systems and Software