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

  •    

    Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World

    Sophia Drossopoulou, James Noble, Mark S. Miller

    Tenth Workshop on Programming Languages and Analysis for Security (PLAS 2015), ACM

  •    

    Yedalog: Exploring Knowledge at Scale

    Brian Chin, Daniel von Dincklage, Vuk Ercegovac, Peter Hawkins, Mark S. Miller, Franz Och, Chris Olston, Fernando Pereira

    1st Summit on Advances in Programming Languages (SNAPL 2015), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, pp. 63-78

  •    

    Distributed Electronic Rights in JavaScript

    Mark S. Miller, Tom Van Cutsem, Bill Tulloh

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

  •    

    Trustworthy Proxies: Virtualizing Objects with Invariants

    Tom Van Cutsem, Mark S. Miller

    ECOOP 2013

  •    

    LaDeDa: Languages for Debuggable Distributed Algorithms

    Mark S. Miller, Tom Van Cutsem

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

  •    

    On the design of the ECMAScript Reflection API

    Tom Van Cutsem, Mark S. Miller

    TOPLAS (Transactions on Programming Languages and Systems) (2012)

  •    

    Robust Trait Composition for JavaScript

    Tom Van Cutsem, Mark S. Miller

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

  •    

    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