We stand with Ukraine  

Mark S. Miller

Affiliations:
  • Agoric, San Francisco, CA, USA
  • Google Inc., Mountain View, CA, USA
  • Hewlett-Packard Laboratories, Palo Alto, CA, USA
  • Xerox PARC, Palo Alto, CA, USA
  • Erights.org, Los Altos Hills, CA, USA
  • Xanadu Operating Comany, Palo Alto, CA, USA
  • Johns Hopkins University, Baltimore, MD, USA (PhD 2006)


According to our database1, Mark S. Miller authored at least 26 papers between 1986 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Abstract and Concrete Data Types vs Object Capabilities.
[BibTeX]
[DOI]
James Noble
,
Alex Potanin
,
Toby C. Murray
,
Mark S. Miller
Proceedings of the Principled Software Development, 2018

2017
Uncanny Valleys in Declarative Language Design.
[BibTeX]
[DOI]
Mark S. Miller
,
Daniel von Dincklage
,
Vuk Ercegovac
,
Brian Chin
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

2016
The left hand of equals.
[BibTeX]
[DOI]
James Noble
,
Andrew P. Black
,
Kim B. Bruce
,
Michael Homer
,
Mark S. Miller
Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

The Elements of Decision Alignment.
[BibTeX]
[DOI]
Mark S. Miller
,
Bill Tulloh
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

Permission and Authority Revisited towards a formalisation.
[BibTeX]
[DOI]
Sophia Drossopoulou
,
James Noble
,
Mark S. Miller
,
Toby C. Murray
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

2015
Robust trait composition for Javascript.
[BibTeX]
[DOI]
Tom Van Cutsem
,
Mark S. Miller
Sci. Comput. Program., 2015

Yedalog: Exploring Knowledge at Scale.
[BibTeX]
[DOI]
Brian Chin
,
Daniel von Dincklage
,
Vuk Ercegovac
,
Peter Hawkins
,
Mark S. Miller
,
Franz Josef Och
,
Christopher Olston
,
Fernando Pereira
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World.
[BibTeX]
[DOI]
Sophia Drossopoulou
,
James Noble
,
Mark S. Miller
Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, 2015

2013
Distributed Electronic Rights in JavaScript.
[BibTeX]
[DOI]
Mark S. Miller
,
Tom Van Cutsem
,
Bill Tulloh
Proceedings of the Programming Languages and Systems, 2013

Trustworthy Proxies - Virtualizing Objects with Invariants.
[BibTeX]
[DOI]
Tom Van Cutsem
,
Mark S. Miller
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2011
Automated Analysis of Security-Critical JavaScript APIs.
[BibTeX]
[DOI]
Ankur Taly
,
Úlfar Erlingsson
,
John C. Mitchell
,
Mark S. Miller
,
Jasvir Nagra
Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

2010
Object views: fine-grained sharing in browsers.
[BibTeX]
[DOI]
Leo A. Meyerovich
,
Adrienne Porter Felt
,
Mark S. Miller
Proceedings of the 19th International Conference on World Wide Web, 2010

Proxies: design principles for robust object-oriented intercession APIs.
[BibTeX]
[DOI]
Tom Van Cutsem
,
Mark S. Miller
Proceedings of the 6th Symposium on Dynamic Languages, 2010

2007
Delegating Responsibility in Digital Systems: Horton's "Who Done It?".
[BibTeX]
[DOI]
Mark S. Miller
,
James E. Donnelley
,
Alan H. Karp
Proceedings of the 2nd USENIX Workshop on Hot Topics in Security, 2007

Tradeoffs in retrofitting security: an experience report.
[BibTeX]
[DOI]
Mark Samuel Miller
Proceedings of the 2007 Symposium on Dynamic Languages, 2007

2006
Polaris: virus-safe computing for Windows XP.
[BibTeX]
[DOI]
Marc Stiegler
,
Alan H. Karp
,
Ka-Ping Yee
,
Tyler Close
,
Mark S. Miller
Commun. ACM, 2006

2005
Concurrency Among Strangers.
[BibTeX]
[DOI]
Mark S. Miller
,
Eric Dean Tribble
,
Jonathan S. Shapiro
Proceedings of the Trustworthy Global Computing, International Symposium, 2005

2004
The Structure of Authority: Why Security Is Not a Separable Concern.
[BibTeX]
[DOI]
Mark S. Miller
,
Bill Tulloh
,
Jonathan S. Shapiro
Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

2003
Paradigm Regained: Abstraction Mechanisms for Access Control.
[BibTeX]
[DOI]
Mark S. Miller
,
Jonathan S. Shapiro
Proceedings of the Advances in Computing Science, 2003

2000
Capability-Based Financial Instruments.
[BibTeX]
[DOI]
Mark S. Miller
,
Chip Morningstar
,
Bill Frantz
Proceedings of the Financial Cryptography, 2000

1989
Betting, bribery, and bankruptcy - A simulated economy that learns to predict.
[BibTeX]
[DOI]
Ted Kaehler
,
Hadon Nash
,
Mark S. Miller
Proceedings of the Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage, 1989

1987
Channels: A Generalization of Streams.
[BibTeX]
Eric Dean Tribble
,
Mark S. Miller
,
Kenneth M. Kahn
,
Daniel G. Bobrow
,
Curtis Abbott
,
Ehud Shapiro
Proceedings of the Logic Programming, 1987

Logical Secrets.
[BibTeX]
Mark S. Miller
,
Daniel G. Bobrow
,
Eric Dean Tribble
,
Jacob Levy
Proceedings of the Logic Programming, 1987

Vulcan: Logical Concurrent Objects.
[BibTeX]
Kenneth M. Kahn
,
Eric Dean Tribble
,
Mark S. Miller
,
Daniel G. Bobrow
Proceedings of the Research Directions in Object-Oriented Programming, 1987

Definition Groups: Making Sources into First-Class Objects.
[BibTeX]
Daniel G. Bobrow
,
David S. Fogelsong
,
Mark S. Miller
Proceedings of the Research Directions in Object-Oriented Programming, 1987

1986
Objects in concurrent logic programming languages.
[BibTeX]
[DOI]
Kenneth M. Kahn
,
Eric Dean Tribble
,
Mark S. Miller
,
Daniel G. Bobrow
Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986


  Loading...