default search action
Mark S. Miller
Person information
- affiliation: Agoric, San Francisco, CA, USA
- affiliation: Google Inc., Mountain View, CA, USA
- affiliation: Hewlett-Packard Laboratories, Palo Alto, CA, USA
- affiliation: Xerox PARC, Palo Alto, CA, USA
- affiliation: Erights.org, Los Altos Hills, CA, USA
- affiliation: Xanadu Operating Comany, Palo Alto, CA, USA
- affiliation (PhD 2006): Johns Hopkins University, Baltimore, MD, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
- [c23]James Noble, Alex Potanin, Toby C. Murray, Mark S. Miller:
Abstract and Concrete Data Types vs Object Capabilities. Principled Software Development 2018: 221-240 - 2017
- [c22]Mark S. Miller, Daniel von Dincklage, Vuk Ercegovac, Brian Chin:
Uncanny Valleys in Declarative Language Design. SNAPL 2017: 9:1-9:12 - 2016
- [c21]Sophia Drossopoulou, James Noble, Mark S. Miller, Toby C. Murray:
Permission and Authority Revisited towards a formalisation. FTfJP@ECOOP 2016: 10 - [c20]Mark S. Miller, Bill Tulloh:
The Elements of Decision Alignment. ECOOP 2016: 17:1-17:5 - [c19]James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Mark S. Miller:
The left hand of equals. Onward! 2016: 224-237 - 2015
- [j2]Tom Van Cutsem, Mark S. Miller:
Robust trait composition for Javascript. Sci. Comput. Program. 98: 422-438 (2015) - [c18]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: 2-15 - [c17]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: 63-78 - 2013
- [c16]Tom Van Cutsem, Mark S. Miller:
Trustworthy Proxies - Virtualizing Objects with Invariants. ECOOP 2013: 154-178 - [c15]Mark S. Miller, Tom Van Cutsem, Bill Tulloh:
Distributed Electronic Rights in JavaScript. ESOP 2013: 1-20 - 2011
- [c14]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: 363-378 - 2010
- [c13]Tom Van Cutsem, Mark S. Miller:
Proxies: design principles for robust object-oriented intercession APIs. DLS 2010: 59-72 - [c12]Leo A. Meyerovich, Adrienne Porter Felt, Mark S. Miller:
Object views: fine-grained sharing in browsers. WWW 2010: 721-730 - [e1]Tom Van Cutsem, Mark S. Miller:
Proceedings First International Workshop on Decentralized Coordination of Distributed Processes, DCDP 2010, Amsterdam, The Netherlands, 10th June 2010. EPTCS 27, 2010 [contents]
2000 – 2009
- 2007
- [c11]Mark Samuel Miller:
Tradeoffs in retrofitting security: an experience report. DLS 2007: 1 - [c10]Mark S. Miller, James E. Donnelley, Alan H. Karp:
Delegating Responsibility in Digital Systems: Horton's "Who Done It?". HotSec 2007 - 2006
- [j1]Marc Stiegler, Alan H. Karp, Ka-Ping Yee, Tyler Close, Mark S. Miller:
Polaris: virus-safe computing for Windows XP. Commun. ACM 49(9): 83-88 (2006) - 2005
- [c9]Mark S. Miller, Eric Dean Tribble, Jonathan S. Shapiro:
Concurrency Among Strangers. TGC 2005: 195-229 - 2004
- [c8]Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro:
The Structure of Authority: Why Security Is Not a Separable Concern. MOZ 2004: 2-20 - 2003
- [c7]Mark S. Miller, Jonathan S. Shapiro:
Paradigm Regained: Abstraction Mechanisms for Access Control. ASIAN 2003: 224-242 - 2000
- [c6]Mark S. Miller, Chip Morningstar, Bill Frantz:
Capability-Based Financial Instruments. Financial Cryptography 2000: 349-378
1980 – 1989
- 1989
- [c5]Ted Kaehler, Hadon Nash, Mark S. Miller:
Betting, bribery, and bankruptcy - A simulated economy that learns to predict. COMPCON 1989: 361- - 1987
- [c4]Mark S. Miller, Daniel G. Bobrow, Eric Dean Tribble, Jacob Levy:
Logical Secrets. ICLP 1987: 704-728 - [c3]Eric Dean Tribble, Mark S. Miller, Kenneth M. Kahn, Daniel G. Bobrow, Curtis Abbott, Ehud Shapiro:
Channels: A Generalization of Streams. ICLP 1987: 839-857 - [p2]Kenneth M. Kahn, Eric Dean Tribble, Mark S. Miller, Daniel G. Bobrow:
Vulcan: Logical Concurrent Objects. Research Directions in Object-Oriented Programming 1987: 75-112 - [p1]Daniel G. Bobrow, David S. Fogelsong, Mark S. Miller:
Definition Groups: Making Sources into First-Class Objects. Research Directions in Object-Oriented Programming 1987: 129-146 - 1986
- [c2]Kenneth M. Kahn, Eric Dean Tribble, Mark S. Miller, Daniel G. Bobrow:
Objects in Concurrent Logic Programming Languages. OOPSLA 1986: 242-257 - [c1]Kenneth M. Kahn, Eric Dean Tribble, Mark S. Miller, Daniel G. Bobrow:
Objects in concurrent logic programming languages. OOPWORK 1986: 29-38
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 20:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint