Mark S. Miller

Mark S. Miller is the main designer of the E and Dr. SES distributed object-capability programming languages, inventor of Miller Columns, a pioneer of agoric (market-based secure distributed) computing, an architect of the Xanadu hypertext publishing system, and a representative to the EcmaScript committee.

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