Sotabase

Career

· Researcher, UCLA PolyArch Research Laboratory

Publications (176)

Ownership, encapsulation and the disjointness of type and effect
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2002
304
cited
Towards Type Inference for JavaScript
European Conference on Object-Oriented Programming · 2005
218
cited
Session Types for Object-Oriented Languages
European Conference on Object-Oriented Programming · 2006
163
cited
Java is Type Safe - Probably
European Conference on Object-Oriented Programming · 1997
129
cited
Generic Universe Types
European Conference on Object-Oriented Programming · 2007
128
cited
ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
European Conference on Object-Oriented Programming · 2009
123
cited
Deny capabilities for safe, fast actors
AGERE!@SPLASH · 2015
122
cited
Is the Java Type System Sound?
Theory and Practice of Object Systems · 1999
111
cited
Fickle : Dynamic Object Re-classification
European Conference on Object-Oriented Programming · 2001
104
cited
Multiple ownership
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2007
97
cited
Describing the Semantics of Java and Proving Type Soundness
Formal Syntax and Semantics of Java · 1999
86
cited
More dynamic object reclassification: Fickle∥
TOPL · 2002
81
cited
Zeno: An Automated Prover for Properties of Recursive Data Structures
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2012
77
cited
Chai: Traits for Java-Like Languages
European Conference on Object-Oriented Programming · 2005
75
cited
A Distributed Object-Oriented Language with Session Types
Trustworthy Global Computing · 2005
73
cited
Tribe: a simple virtual class calculus
Aspect-Oriented Software Development · 2007
67
cited
What is Java binary compatibility?
Conference on Object-Oriented Programming Systems, Languages, and Applications · 1998
66
cited
A Unified Framework for Verification Techniques for Object Invariants
European Conference on Object-Oriented Programming · 2008
65
cited
Polymorphic bytecode: compositional compilation for Java-like languages
ACM-SIGACT Symposium on Principles of Programming Languages · 2005
65
cited
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason
International Workshop on Declarative Agent Languages and Technologies · 2012
63
cited
Sotabase