Mark S. Miller

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