Diverse goods arbitration system and method for allocating resources in a distributed computer system MS Miller, ED Tribble, N Hardy, CT Hibbert US Patent 5,640,569, 1997 | 655 | 1997 |
Robust composition: Towards a unified approach to access control and concurrency control M Miller Johns Hopkins University, 2006 | 442 | 2006 |
Markets and computation: Agoric open systems MS Miller, KE Drexler The ecology of computation 1, 1988 | 385 | 1988 |
Persistent distributed capabilities MS Miller, N Hardy, ED Tribble, CT Hibbert, EC Hill US Patent 6,049,838, 2000 | 224 | 2000 |
Concurrency among strangers: Programming in E as plan coordination MS Miller, ED Tribble, J Shapiro Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh …, 2005 | 214 | 2005 |
Capability myths demolished MS Miller, KP Yee, J Shapiro Technical Report SRL2003-02, Johns Hopkins University Systems Research …, 2003 | 202 | 2003 |
Caja: Safe active content in sanitized JavaScript MS Miller, M Samuel, B Laurie, I Awad, M Stay Tech. Rep., Google, Inc, 2008 | 194* | 2008 |
Incentive engineering for computational resource management KE Drexler, MS Miller The ecology of Computation 2, 231-266, 1988 | 173 | 1988 |
Automated analysis of security-critical javascript apis A Taly, Ú Erlingsson, JC Mitchell, MS Miller, J Nagra 2011 IEEE Symposium on Security and Privacy, 363-378, 2011 | 157 | 2011 |
Distributed garbage collection system and method ED Tribble, MS Miller, N Hardy, JY Levy, EC Hill, CT Hibbert US Patent 5,960,087, 1999 | 138 | 1999 |
Intuitive file sharing with transparent security MD Stiegler, AH Karp, MS Miller, TJ Close US Patent App. 12/364,806, 2010 | 121 | 2010 |
Proxies: design principles for robust object-oriented intercession APIs T Van Cutsem, MS Miller ACM Sigplan Notices 45 (12), 59-72, 2010 | 106 | 2010 |
Vulcan: Logical concurrent objects K Kahn, ED Tribble, M Miller, DG Bobrow Research Directions in Object-Oriented Programming, 75-112, 1987 | 106 | 1987 |
Paradigm regained: Abstraction mechanisms for access control MS Miller, JS Shapiro Annual Asian Computing Science Conference, 224-242, 2003 | 100 | 2003 |
Capability-based financial instruments MS Miller, C Morningstar, B Frantz Financial Cryptography: 4th International Conference, FC 2000 Anguilla …, 2001 | 95 | 2001 |
Objects in concurrent logic programming languages K Kahn, ED Tribble, MS Miller, DG Bobrow Conference proceedings on Object-oriented programming systems, languages and …, 1986 | 88 | 1986 |
Polaris: virus-safe computing for Windows XP M Stiegler, AH Karp, KP Yee, T Close, MS Miller Communications of the ACM 49 (9), 83-88, 2006 | 86 | 2006 |
Comparative ecology: A computational perspective MS Miller, KE Drexler The Ecology of Computation. North-Holland, 1988 | 80 | 1988 |
Towards a verified, general-purpose operating system kernel J Shapiro, MS Doerrie, E Northup, S Sridhar, M Miller Klein [10], 1-19, 2004 | 63 | 2004 |
Trustworthy proxies: Virtualizing objects with invariants T Van Cutsem, MS Miller ECOOP 2013–Object-Oriented Programming: 27th European Conference …, 2013 | 60 | 2013 |