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:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
0
1
2
3
4
5
2
1
1
1
1
3
2
2
1
2
2
1
1
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on youtube.com
-
on github.com
-
on erights.org
-
on caplet.com
-
on dl.acm.org
On csauthors.net:
Bibliography
2018
Proceedings of the Principled Software Development, 2018
2017
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017
2016
Proceedings of the 2016 ACM International Symposium on New Ideas, 2016
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016
2015
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.
Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, 2015
2013
Proceedings of the Programming Languages and Systems, 2013
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013
2011
Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011
2010
Proceedings of the 19th International Conference on World Wide Web, 2010
Proceedings of the 6th Symposium on Dynamic Languages, 2010
2007
Proceedings of the 2nd USENIX Workshop on Hot Topics in Security, 2007
Proceedings of the 2007 Symposium on Dynamic Languages, 2007
2006
2005
Proceedings of the Trustworthy Global Computing, International Symposium, 2005
2004
Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004
2003
Proceedings of the Advances in Computing Science, 2003
2000
Proceedings of the Financial Cryptography, 2000
1989
Proceedings of the Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage, 1989
1987
Channels: A Generalization of Streams.
Proceedings of the Logic Programming, 1987
Logical Secrets.
Proceedings of the Logic Programming, 1987
Vulcan: Logical Concurrent Objects.
Proceedings of the Research Directions in Object-Oriented Programming, 1987
Definition Groups: Making Sources into First-Class Objects.
Proceedings of the Research Directions in Object-Oriented Programming, 1987
1986
Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986