Mark S. Miller

Publication Activity (10 Years)

Years Active: 1986-2018
Publications (10 Years): 8

Top Topics

Declarative Language

Decision Processes

Top Venues

Sci. Comput. Program.

Publications

James Noble, Alex Potanin, Toby C. Murray, Mark S. Miller
Abstract and Concrete Data Types vs Object Capabilities. Principled Software Development (2018)
Mark S. Miller, Daniel von Dincklage, Vuk Ercegovac, Brian Chin
Uncanny Valleys in Declarative Language Design. SNAPL (2017)
James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Mark S. Miller
The left hand of equals. Onward! (2016)
Sophia Drossopoulou, James Noble, Mark S. Miller, Toby C. Murray
Permission and Authority Revisited towards a formalisation. FTfJP@ECOOP (2016)
Mark S. Miller, Bill Tulloh
The Elements of Decision Alignment. ECOOP (2016)
Sophia Drossopoulou, James Noble, Mark S. Miller
Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World. PLAS@ECOOP (2015)
Tom Van Cutsem, Mark S. Miller
Robust trait composition for Javascript. Sci. Comput. Program. 98 (2015)
Brian Chin, Daniel von Dincklage, Vuk Ercegovac, Peter Hawkins, Mark S. Miller, Franz Josef Och, Christopher Olston, Fernando Pereira
Yedalog: Exploring Knowledge at Scale. SNAPL (2015)
Mark S. Miller, Tom Van Cutsem, Bill Tulloh
Distributed Electronic Rights in JavaScript. ESOP (2013)
Tom Van Cutsem, Mark S. Miller
Trustworthy Proxies - Virtualizing Objects with Invariants. ECOOP (2013)
Ankur Taly, Úlfar Erlingsson, John C. Mitchell, Mark S. Miller, Jasvir Nagra
Automated Analysis of Security-Critical JavaScript APIs. IEEE Symposium on Security and Privacy (2011)
Tom Van Cutsem, Mark S. Miller
Proxies: design principles for robust object-oriented intercession APIs. DLS (2010)
Leo A. Meyerovich, Adrienne Porter Felt, Mark S. Miller
Object views: fine-grained sharing in browsers. WWW (2010)
Mark S. Miller, James E. Donnelley, Alan H. Karp
Delegating Responsibility in Digital Systems: Horton's "Who Done It?". HotSec (2007)
Marc Stiegler, Alan H. Karp, Ka-Ping Yee, Tyler Close, Mark S. Miller
Polaris: virus-safe computing for Windows XP. Commun. ACM 49 (9) (2006)
Mark S. Miller, Eric Dean Tribble, Jonathan S. Shapiro
Concurrency Among Strangers. TGC (2005)
Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro
The Structure of Authority: Why Security Is Not a Separable Concern. MOZ (2004)
Mark S. Miller, Jonathan S. Shapiro
Paradigm Regained: Abstraction Mechanisms for Access Control. ASIAN (2003)
Mark S. Miller, Chip Morningstar, Bill Frantz
Capability-Based Financial Instruments. Financial Cryptography (2000)
Ted Kaehler, Hadon Nash, Mark S. Miller
Betting, bribery, and bankruptcy - A simulated economy that learns to predict. COMPCON (1989)
Mark S. Miller, Daniel G. Bobrow, Eric Dean Tribble, Jacob Levy
Logical Secrets. ICLP (1987)
Eric Dean Tribble, Mark S. Miller, Kenneth M. Kahn, Daniel G. Bobrow, Curtis Abbott, Ehud Shapiro
Channels: A Generalization of Streams. ICLP (1987)
Kenneth M. Kahn, Eric Dean Tribble, Mark S. Miller, Daniel G. Bobrow
Objects in Concurrent Logic Programming Languages. OOPSLA (1986)
Kenneth M. Kahn, Eric Dean Tribble, Mark S. Miller, Daniel G. Bobrow
Objects in concurrent logic programming languages. ACM SIGPLAN Notices 21 (10) (1986)