Google Publications

•    

  Distributed Electronic Rights in JavaScript

  Mark S. Miller, Tom Van Cutsem, Bill Tulloh

  ESOP'13 22nd European Symposium on Programming, Springer (2013) (to appear)

•    

  Trustworthy Proxies: Virtualizing Objects with Invariants

  Tom Van Cutsem, Mark S. Miller

  ECOOP 2013 (to appear)

•    

  LaDeDa: Languages for Debuggable Distributed Algorithms

  Mark S. Miller, Tom Van Cutsem

  Lada 2012: Workshop on Languages for Distributed Algorithms (to appear)

•    

  Robust Trait Composition for JavaScript

  Tom Van Cutsem, Mark S. Miller

  Science of Computer Programming: Special Issue on Advances in Dynamic Languages (2012) (to appear)

•    

  Automated Analysis of Security-Critical JavaScript APIs

  Ankur Taly, Úlfar Erlingsson, John C. Mitchell, Mark S. Miller, Jasvir Nagra

  IEEE Symposium on Security & Privacy (SP), IEEE (2011)

•    

  traits.js: Robust Object Composition and High-integrity Objects for ECMAScript 5

  Tom Van Cutsem, Mark S. Miller

  Plastic 2011: International Workshop on Programming Language And Systems Technologies for Internet Clients, ACM

•    

  Object views: Fine-grained sharing in browsers

  Leo Meyerovich, Adrienne Felt, Mark S. Miller

  Proceedings of the International Conference on World Wide Web, World Wide Web Consortium (2010)

•    

  Proxies: Design Principles for Robust Object-oriented Intercession APIs

  Tom Van Cutsem, Mark S. Miller

  Dynamic Languages Symposium, ACM (2010)

•    

  Causeway: a message-oriented distributed debugger

  Terry Stanley, Tyler Close, Mark S. Miller

  HP Labs (2009)

•    

  Delegating Responsibility in Digital Systems: Horton's

  Mark S. Miller, Jed Donnelley, Alan H. Karp

  2nd USENIX Workshop on Hot Topics in Security, USENIX (2007), pp. 5

•   

  Tradeoffs in Retrofitting Security: An Experience Report

  Mark S. Miller

  Dynamic Languages Symposium, ACM (2007)

Previous Publications

•   

  Institutions as Abstraction Boundaries

  Bill Tulloh, Mark S. Miller

  Humane Economics: Essays in Honor of Don Lavoie, Edward Elgar Publishing, Cheltenham, UK (2006), pp. 136-188

•   

  Polaris: virus-safe computing for Windows XP

  Marc Stiegler, Alan H. Karp, Ka-Ping Yee, Tyler Close, Mark S. Miller

  Commun. ACM, vol. 49 (2006), pp. 83-88

•   

  Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control

  Mark S. Miller

  Ph.D. Thesis, Johns Hopkins University (2006), pp. 229

•   

  Concurrency Among Strangers: Programming in E as Plan Coordination

  Mark S. Miller, E. Dean Tribble, Jonathan S. Shapiro

  Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers, pp. 195-229

•   

  The Structure of Authority: Why Security Is Not a Separable Concern

  Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro

  Multiparadigm Programming in Mozart/Oz: Extended Proc. Second International Conference MOZ 2004, pp. 2-20

•   

  Towards a Verified, General-Purpose Operating System Kernel

  Jonathan S. Shapiro, M. Scott Doerrie, Eric Northup, Swaroop Sridhar, Mark S. Miller

  Proc. NICTA Invitational Workshop on Operating System Verification, National ICT Australia (2004), pp. 1-19

•   

  Capability Myths Demolished

  Mark S. Miller, Ka-Ping Yee, Jonathan S. Shapiro

  Johns Hopkins University, Systems Research Laboratory, Department of Computer Science, Johns Hopkins University (2003)

•   

  Paradigm Regained: Abstraction Mechanisms for Access Control

  Mark S. Miller, Jonathan S. Shapiro

  Proc. Eigth Asian Computing Science Conference, Tata Institute of Fundamental Research, Mumbai, India (2003), pp. 224-242

•   

  The Digital Path: Smart Contracts and the Third World

  Mark S. Miller, Marc Stiegler

  Austrian Perspectives on the Internet Economy, Routledge (2003), pp. 63-88

•   

  A Capability Based Client: The DarpaBrowser

  Marc Stiegler, Mark S. Miller

  Combex, Inc. (2002)

•   

  Capability-based Financial Instruments

  Mark S. Miller, Chip Morningstar, Bill Frantz

  Proc. Financial Cryptography 2000, Springer-Verlag, Anguila, BWI, pp. 349-378

•  

  An Automatic Auction in ATM Network Bandwidth

  Mark S. Miller, David Krieger, Norman Hardy, Chris Hibbert, E. Dean Tribble

  Market-based Control, A Paradigm for Distributed Resource Allocation, World Scientific, Palo Alto, CA (1996)

•   

  Learning Curve

  Mark S. Miller

  Reason (1996)

•   

  Joule: Distributed Application Foundations

  E. Dean Tribble, Mark S. Miller, Norm Hardy, David Krieger

  Agorics Inc., Los Altos (1995)

•   

  The Open Society and its Media

  Mark S. Miller, E. Dean Tribble, Ravi Pandya, Marc Stiegler

  Prospects in Nanotechnology. Proceedings of the 1992 First General Conference on Nanotechnology: Development, Applications, and Opportunities., Wiley (1995)

•   

  Betting, Bribery, and Bankruptcy--A Simulated Economy that Learns to Predict

  Ted Kaehler, Hadon Nash, Mark S. Miller

  IEEE CompCon Proceedings, IEEE (1989), pp. 357-361

•   

  Comparative Ecology: A Computational Perspective

  Mark S. Miller, K. Eric Drexler

  The Ecology of Computation, Elsevier Science Publishers, North Holland (1988), pp. 51-76

•   

  Incentive Engineering for Computational Resource Management

  K. Eric Drexler, Mark S. Miller

  The Ecology of Computation, Elsevier Science Publishers, North Holland (1988), pp. 231-266

•  

  Language Design and Open Systems

  Kenneth M. Kahn, Mark S. Miller

  Ecology of Computation, Elsevier Science Publishers, North Holland (1988)

•   

  Markets and Computation: Agoric Open Systems

  Mark S. Miller, K. Eric Drexler

  The Ecology of Computation, Elsevier Science Publishers, North Holland (1988), pp. 133-176

•  

  Channels: A Generalization of Streams

  E. Dean Tribble, Mark S. Miller, Kenneth M. Kahn, Daniel G. Bobrow, Curtis Abbott, Ehud Y. Shapiro

  International Conference on Logic Programming (1987), pp. 839-857

•   

  Definition Groups: Making Sources into First-Class Objects

  David S. Fogelsong, Daniel G. Bobrow, Mark S. Miller

  Research Directions in Object-Oriented Programming, Mit Press (1987), pp. 129-146

•  

  Logical Secrets

  Mark S. Miller, Daniel G. Bobrow, E. Dean Tribble, Jacob Levy

  International Conference on Logic Programming (1987), pp. 704-728

•  

  Vulcan: Logical Concurrent Objects

  Kenneth M. Kahn, E. Dean Tribble, Mark S. Miller, Daniel G. Bobrow

  Research Directions in Object-Oriented Programming, MIT Press (1987), pp. 75-112

•   

  Objects in Concurrent Logic Programming Languages

  Kenneth M. Kahn, Eric Dean Tribble, Mark S. Miller, Daniel G. Bobrow

  OOPSLA (1986), pp. 242-257