The Elements of Decision Alignment

Authors Mark S. Miller, Bill Tulloh

Thumbnail PDF


  • Filesize: 412 kB
  • 5 pages

Document Identifiers

Author Details

Mark S. Miller
Bill Tulloh

Cite AsGet BibTex

Mark S. Miller and Bill Tulloh. The Elements of Decision Alignment. In 30th European Conference on Object-Oriented Programming (ECOOP 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 56, pp. 17:1-17:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


When one object makes a request of another, why do we expect that the second object's behavior correctly satisfies the first object's wishes? The need to cope with such principal-agent problems shapes programming practice as much as it shapes human organizations and economies. However, the literature about such plan coordination issues among humans is almost disjoint from the literature about these issues among objects. Even the terms used are unrelated. These fields have much to learn from each other---both from their similarities and from the causes of their differences. We propose a framework for thinking about decision alignment as a bridge between these disciplines.
  • economics
  • law
  • contracts
  • principal-agent problem
  • incentive alignment
  • least authority
  • verification


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. Kathleen M. Eisenhardt. Agency theory: An assessment and review. The Academy of Management Review, 14(1):57-74, 1989. URL:
  2. Friedrich A. Hayek. The use of knowledge in society. The American economic review, pages 519-530, 1945. Google Scholar
  3. Friedrich A. Hayek. Competition as a discovery procedure. New Studies in Philosophy, Politics, Economics and the History of Ideas, 1978. Google Scholar
  4. Laffont Jean-Jacques and David Martimort. The theory of incentives. the principal-agent model. Princeton, NJ: Princeton Univ, 2001. Google Scholar
  5. Ludwig M. Lachmann. Capital and its Structure. Ludwig von Mises Institute, 1956. Google Scholar
  6. Mark Samuel Miller. Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control. PhD thesis, Johns Hopkins University, Baltimore, Maryland, USA, May 2006. Google Scholar
  7. Toby S. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Carmen Lewis, Xin Gao, and Gary Klein. sel4: from general purpose to a proof of information flow enforcement. In Security and Privacy (SP), 2013 IEEE Symposium on, pages 415-429. IEEE, 2013. Google Scholar
  8. David L. Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM, 15(12):1053-1058, 1972. Google Scholar
  9. Jerome H. Saltzer and Michael D. Schroeder. The protection of information in computer systems. Proceedings of the IEEE, 63(9):1278-1308, 1975. Google Scholar
  10. Bill Tulloh and Mark S. Miller. Institutions as abstraction boundaries. Social Learning: Essays in Honor of Don Lavoie, 2002. Google Scholar
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail