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

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