Mark S. Miller - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2018

Abstract and Concrete Data Types vs Object CapabilitiesJames Noble 0001, Alex Potanin, Toby C. Murray, Mark S. Miller. BIRTHDAY 2018: 221-240 [doi]

2017

Uncanny Valleys in Declarative Language DesignMark S. Miller, Daniel von Dincklage, Vuk Ercegovac, Brian Chin. SNAPL 2017: [doi]

2016

2015

2013

Trustworthy Proxies - Virtualizing Objects with InvariantsTom Van Cutsem, Mark S. Miller. ECOOP 2013: 154-178 [doi]

Distributed Electronic Rights in JavaScriptMark S. Miller, Tom Van Cutsem, Bill Tulloh. ESOP 2013: 1-20 [doi]

2011

Automated Analysis of Security-Critical JavaScript APIsAnkur Taly, Úlfar Erlingsson, John C. Mitchell, Mark S. Miller, Jasvir Nagra. sp 2011: 363-378 [doi]

2010

Proxies: design principles for robust object-oriented intercession APIsTom Van Cutsem, Mark S. Miller. DLS 2010: 59-72 [doi]

Object views: fine-grained sharing in browsersLeo A. Meyerovich, Adrienne Porter Felt, Mark S. Miller. WWW 2010: 721-730 [doi]

2007

Delegating Responsibility in Digital Systems: Horton's "Who Done It?"Mark S. Miller, James E. Donnelley, Alan H. Karp. uss 2007: [doi]

2006

Polaris: virus-safe computing for Windows XPMarc Stiegler, Alan H. Karp, Ka-Ping Yee, Tyler Close, Mark Samuel Miller. CACM, 49(9):83-88, 2006. [doi]

Institutions as Abstraction BoundariesBill Tulloh, Mark Samuel Miller. In Humane Economics: Essays in Honor of Don Lavoie. Edward Elgar Publishing, Cheltenham, UK, 2006.

2005

Concurrency Among StrangersMark Samuel Miller, Eric Dean Tribble, Jonathan S. Shapiro. tgc 2005: 195-229 [doi]

2004

The Structure of Authority: Why Security Is Not a Separable ConcernMark Samuel Miller, Bill Tulloh, Jonathan S. Shapiro. moz 2005: 2-20 [doi]

2003

Paradigm Regained: Abstraction Mechanisms for Access ControlMark Samuel Miller, Jonathan S. Shapiro. asian 2003: 224-242 [doi]

2000

Capability-Based Financial InstrumentsMark Samuel Miller, Chip Morningstar, Bill Frantz. fc 2001: 349-378 [doi]

1989

Betting, bribery, and bankruptcy - A simulated economy that learns to predictTed Kaehler, Hadon Nash, Mark S. Miller. compcon 1989: 361 [doi]

1987

1986

Objects in Concurrent Logic Programming LanguagesKenneth M. Kahn, Eric Dean Tribble, Mark Samuel Miller, Daniel G. Bobrow. OOPSLA 1986: 242-257

Objects in concurrent logic programming languagesKenneth M. Kahn, Eric Dean Tribble, Mark S. Miller, Daniel G. Bobrow. SIGPLAN, 21(10):29-38, 1986. [doi]

Sign in or sign up to see more results.

runs on WebDSL