Programming Methodology Group publications by Andrew C. Myers

Also see all authors, all publications by date, all publications by topic.

Copyright notice.


JFlow: Practical Mostly-Static Information Flow Control
by Andrew C. Myers.
In Symposium on Principles of Programming Languages (POPL), (San Antonio, Texas), Jan. 1999, pp. 228-241.
Details. Download: pdf, ps.

Complete, Safe Information Flow with Decentralized Labels
by Andrew C. Myers and Barbara Liskov.
In 19th IEEE Symposium on Research in Security and Privacy (RSP), (Oakland, California), May 1998.
Details. Download: pdf, ps .

Parameterized Types for Java
by Andrew C. Myers, Joseph A. Bank, and Barbara Liskov.
In 24th ACM Symposium on Principles of Programming Languages (POPL), (New York, NY), 1997, pp. 132-145.
Details.

HAC: Hybrid Adaptive Caching for Distributed Storage Systems
by Miguel Castro, Atul Adya, Barbara Liskov, and Andrew C. Myers.
In ACM Symposium on Operating Systems Principles (SOSP), (Saint Malo, France), Oct. 1997, pp. 102-115.
Details. Download: pdf, ps.

A Decentralized Model for Information Flow Control
by Andrew C. Myers and Barbara Liskov.
In ACM Symposium on Operating Systems Principles (SOSP), (Saint Malo, France), Oct. 1997, pp. 129-142.
Details. Download: pdf, ps.

Bidirectional Object Layout for Separate Compilation
by Andrew C. Myers.
In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), (Austin, TX), Oct. 1995, pp. 124-139.
Details.


Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

This page was generated Wed May 1 12:49:48 2013 by bibtex2web

Programming Methodology Group