@inproceedings{MillerTS05,
  title = {Concurrency Among Strangers},
  author = {Mark Samuel Miller and Eric Dean Tribble and Jonathan S. Shapiro},
  year = {2005},
  doi = {10.1007/11580850_12},
  url = {http://dx.doi.org/10.1007/11580850_12},
  tags = {programming languages, object-oriented programming, meta programming, e-science, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/MillerTS05},
  cites = {0},
  citedby = {0},
  pages = {195-229},
  booktitle = {tgc},
}

@inproceedings{1772764,
  title = {Object views: fine-grained sharing in browsers},
  author = {Meyerovich, Leo A. and Felt, Adrienne Porter and Mark Samuel Miller},
  year = {2010},
  doi = {10.1145/1772690.1772764},
  url = {http://doi.acm.org/10.1145/1772690.1772764},
  tags = {control systems, JavaScript, rule-based, deployment, graph-rewriting, security, access control policies, Meta-Environment, access control, Google, rewriting, role-based access control, meta-objects},
  researchr = {https://researchr.org/publication/1772764},
  cites = {0},
  citedby = {0},
  booktitle = {WWW '10: Proceedings of the 19th international conference on World wide web},
}

@incollection{BobrowFM87,
  title = {Definition Groups: Making Sources into First-Class Objects},
  author = {Daniel G. Bobrow and David S. Fogelsong and Mark Samuel Miller},
  year = {1987},
  tags = {meta-model, source-to-source, Meta-Environment, open-source, meta-objects},
  researchr = {https://researchr.org/publication/BobrowFM87},
  cites = {0},
  citedby = {0},
  pages = {129-146},
  booktitle = {Research Directions in Object-Oriented Programming},
}

@incollection{KahnTMB87,
  title = {Vulcan: Logical Concurrent Objects},
  author = {Kenneth M. Kahn and Eric Dean Tribble and Mark Samuel Miller and Daniel G. Bobrow},
  year = {1987},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/KahnTMB87},
  cites = {0},
  citedby = {0},
  pages = {75-112},
  booktitle = {Research Directions in Object-Oriented Programming},
}

@inproceedings{TribbleMKBAS87,
  title = {Channels: A Generalization of Streams},
  author = {Eric Dean Tribble and Mark Samuel Miller and Kenneth M. Kahn and Daniel G. Bobrow and Curtis Abbott and Ehud Y. Shapiro},
  year = {1987},
  researchr = {https://researchr.org/publication/TribbleMKBAS87},
  cites = {0},
  citedby = {0},
  pages = {839-857},
  booktitle = {ICLP},
}

@incollection{tulloh:abstraction,
  title = {Institutions as Abstraction Boundaries},
  author = {Bill Tulloh and Mark Samuel Miller},
  year = {2006},
  tags = {rule-based, contracts, rules, abstraction, software contracts},
  researchr = {https://researchr.org/publication/tulloh%3Aabstraction},
  cites = {0},
  citedby = {0},
  booktitle = {Humane Economics: Essays in Honor of Don Lavoie},
  address = {Cheltenham, UK},
  publisher = {Edward Elgar Publishing},
}

@inproceedings{KahnTMB86,
  title = {Objects in Concurrent Logic Programming Languages},
  author = {Kenneth M. Kahn and Eric Dean Tribble and Mark Samuel Miller and Daniel G. Bobrow},
  year = {1986},
  tags = {programming languages, object-oriented programming, meta programming, logic programming, programming, subject-oriented programming, logic, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/KahnTMB86},
  cites = {0},
  citedby = {0},
  pages = {242-257},
  booktitle = {OOPSLA},
}

@article{StieglerKYCM06,
  title = {Polaris: virus-safe computing for Windows XP},
  author = {Marc Stiegler and Alan H. Karp and Ka-Ping Yee and Tyler Close and Mark Samuel Miller},
  year = {2006},
  doi = {10.1145/1151033},
  url = {http://doi.acm.org/10.1145/1151033},
  tags = {macros, certification, security, web applications},
  researchr = {https://researchr.org/publication/StieglerKYCM06},
  cites = {0},
  citedby = {0},
  journal = {CACM},
  volume = {49},
  number = {9},
  pages = {83-88},
}

@inproceedings{Miller07:6,
  title = {Tradeoffs in retrofitting security: an experience report},
  author = {Mark Samuel Miller},
  year = {2007},
  doi = {10.1145/1297081.1297082},
  url = {http://doi.acm.org/10.1145/1297081.1297082},
  tags = {JavaScript, rule-based, Java, Perl, security, Meta-Environment, taxonomy, systematic-approach, meta-objects},
  researchr = {https://researchr.org/publication/Miller07%3A6},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {DLS},
}

@inproceedings{MillerS03,
  title = {Paradigm Regained: Abstraction Mechanisms for Access Control},
  author = {Mark Samuel Miller and Jonathan S. Shapiro},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2896&spage=224},
  tags = {control systems, program analysis, meta programming, meta-model, analysis, graph-rewriting, programming paradigms, abstraction, access control policies, Meta-Environment, access control, rewriting},
  researchr = {https://researchr.org/publication/MillerS03},
  cites = {0},
  citedby = {0},
  pages = {224-242},
  booktitle = {asian},
}

@inproceedings{MillerMF00,
  title = {Capability-Based Financial Instruments},
  author = {Mark Samuel Miller and Chip Morningstar and Bill Frantz},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1962/19620349.htm},
  tags = {design science, rule-based, contracts, protocol, principles, security, e-science, logic, abstraction, design},
  researchr = {https://researchr.org/publication/MillerMF00},
  cites = {0},
  citedby = {0},
  pages = {349-378},
  booktitle = {fc},
}

@inproceedings{1869638,
  title = {Proxies: design principles for robust object-oriented intercession APIs},
  author = {Tom Van Cutsem and Mark Samuel Miller},
  year = {2010},
  doi = {10.1145/1869631.1869638},
  url = {http://doi.acm.org/10.1145/1869631.1869638},
  tags = {JavaScript, rule-based, meta-model, language design, principles, Meta-Environment, design, systematic-approach, meta-objects},
  researchr = {https://researchr.org/publication/1869638},
  cites = {0},
  citedby = {0},
  booktitle = {DLS '10: Proceedings of the 6th symposium on Dynamic languages},
}

@inproceedings{MillerTS04,
  title = {The Structure of Authority: Why Security Is Not a Separable Concern},
  author = {Mark Samuel Miller and Bill Tulloh and Jonathan S. Shapiro},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3389&spage=2},
  tags = {programming languages, object-oriented programming, meta programming, functional programming, principles, security, e-science, programming, subject-oriented programming, abstraction, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/MillerTS04},
  cites = {0},
  citedby = {0},
  pages = {2-20},
  booktitle = {moz},
}

@phdthesis{RobustComposition,
  title = {Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control},
  author = {Mark Samuel Miller},
  year = {2006},
  month = {May},
  tags = {control systems, programming languages, object-oriented programming, meta programming, software components, persistent, persistent object, composition, functional programming, software component, programming paradigms, e-science, programming, subject-oriented programming, context-aware, Meta-Environment, safe composition, access control, systematic-approach, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/RobustComposition},
  cites = {0},
  citedby = {0},
  school = {Johns Hopkins University},
  address = {Baltimore, Maryland, USA},
  advisor = {Jonathan S. Shapiro},
}

@inproceedings{MillerBTL87,
  title = {Logical Secrets},
  author = {Mark Samuel Miller and Daniel G. Bobrow and Eric Dean Tribble and Jacob Levy},
  year = {1987},
  researchr = {https://researchr.org/publication/MillerBTL87},
  cites = {0},
  citedby = {0},
  pages = {704-728},
  booktitle = {ICLP},
}