Mark S. Miller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
8
Active years
1986–2016
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ECOOP | Permission and Authority Revisited towards a formalisation. | Sophia Drossopoulou, James Noble, Mark S. Miller, Toby C. Murray |
| 2016 | ECOOP | The Elements of Decision Alignment. | Mark S. Miller, Bill Tulloh |
| 2016 | OOPSLA | The left hand of equals. | James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Mark S. Miller |
| 2015 | ECOOP | Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World. | Sophia Drossopoulou, James Noble, Mark S. Miller |
| 2013 | ECOOP | Trustworthy Proxies - Virtualizing Objects with Invariants. | Tom Van Cutsem, Mark S. Miller |
| 2013 | ESOP | Distributed Electronic Rights in JavaScript. | Mark S. Miller, Tom Van Cutsem, Bill Tulloh |
| 2011 | SP | Automated Analysis of Security-Critical JavaScript APIs. | Ankur Taly, lfar Erlingsson, John C. Mitchell, Mark S. Miller, Jasvir Nagra |
| 2010 | DLS | Proxies: design principles for robust object-oriented intercession APIs. | Tom Van Cutsem, Mark S. Miller |
| 2010 | WWW | Object views: fine-grained sharing in browsers. | Leo A. Meyerovich, Adrienne Porter Felt, Mark S. Miller |
| 2000 | FC | Capability-Based Financial Instruments. | Mark S. Miller, Chip Morningstar, Bill Frantz |
| 1987 | ICLP | Logical Secrets. | Mark S. Miller, Daniel G. Bobrow, Eric Dean Tribble, Jacob Levy |
| 1987 | ICLP | Channels: A Generalization of Streams. | Eric Dean Tribble, Mark S. Miller, Kenneth M. Kahn, Daniel G. Bobrow, Curtis Abbott, Ehud Shapiro |
| 1986 | OOPSLA | Objects in Concurrent Logic Programming Languages. | Kenneth M. Kahn, Eric Dean Tribble, Mark S. Miller, Daniel G. Bobrow |