This is a list of Stephen McCamant's PAG-related publications.
Also see all PAG authors, all PAG publications by date, all PAG publications by topic.
“Quantitative information flow as network flow capacity”
by Stephen McCamant and Michael D. Ernst.
In PLDI 2008, Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, (Tucson, AZ, USA), June 9-11, 2008, pp. 193-205.
Details.
Download:
PDF,
PostScript,
Flowcheck implementation.
A previous version appeared as MIT Computer Science and Artificial Intelligence Laboratory technical report MIT-CSAIL-TR-2007-057, (Cambridge, MA), December 10, 2007.
A previous version appeared as
“Quantitative information-flow tracking for C and related languages”
by Stephen McCamant and Michael D. Ernst.
MIT Computer Science and Artificial Intelligence Laboratory technical report MIT-CSAIL-TR-2006-076, (Cambridge, MA), November 17, 2006.
“Quantitative Information-Flow Tracking for Real Systems”
by Stephen Andrew McCamant.
Ph.D. dissertation, MIT Department of Electrical Engineering and Computer Science, (Cambridge, MA), May 2008.
Details.
Download:
PDF,
PostScript,
Flowcheck implementation.
“The Daikon system for dynamic detection of likely invariants”
by Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, and Chen Xiao.
Science of Computer Programming, vol. 69, no. 1--3, Dec. 2007, pp. 35-45.
Details.
Download:
PDF,
Daikon implementation.
“A simulation-based proof technique for dynamic information flow”
by Stephen McCamant and Michael D. Ernst.
In PLAS 2007: ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, (San Diego, California, USA), June 14, 2007, pp. 41-46.
Details.
Download:
PDF,
PostScript.
“Evaluating SFI for a CISC Architecture”
by Stephen McCamant and Greg Morrisett.
In 15th USENIX Security Symposium, (Vancouver, BC, Canada), August 2-4, 2006, pp. 209-224.
Details.
Download:
PDF,
PostScript.
A previous version appeared as
“Efficient, verifiable binary sandboxing for a CISC architecture”
by Stephen McCamant and Greg Morrisett.
MIT Computer Science and Artificial Intelligence Laboratory technical report 2005-030, (Cambridge, MA), May 2005. (also MIT LCS TR #988).
“Inference and enforcement of data structure consistency specifications”
by Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, and Martin Rinard.
In ISSTA 2006, Proceedings of the 2006 International Symposium on Software Testing and Analysis, (Portland, ME, USA), July 18-20, 2006, pp. 233-243.
Details.
Download:
PDF,
PostScript.
“Dynamic inference of abstract types”
by Philip J. Guo, Jeff H. Perkins, Stephen McCamant, and Michael D. Ernst.
In ISSTA 2006, Proceedings of the 2006 International Symposium on Software Testing and Analysis, (Portland, ME, USA), July 18-20, 2006, pp. 255-265.
Details.
Download:
PDF,
PostScript,
DynComp implementation (distributed as part of Daikon).
“A Machine-Checked Safety Proof for a CISC-Compatible SFI Technique”
by Stephen McCamant.
MIT Computer Science and Artificial Intelligence Laboratory technical report 2006-035, (Cambridge, MA), May 2006.
Details.
Download:
PDF,
PostScript,
DSpace.
“Formalizing lightweight verification of software component composition”
by Stephen McCamant and Michael D. Ernst.
In SAVCBS 2004: Specification and Verification of Component-Based Systems, (Newport Beach, CA, USA), October 31-November 1, 2004, pp. 47-54.
Details.
Download:
PDF,
PostScript.
“Early identification of incompatibilities in multi-component upgrades”
by Stephen McCamant and Michael D. Ernst.
In ECOOP 2004 — Object-Oriented Programming, 18th European Conference, (Oslo, Norway), June 16-18, 2004, pp. 440-464.
Details.
Download:
PDF,
PostScript.
An extended version appeared as
“Predicting problems caused by component upgrades”
by Stephen McCamant and Michael D. Ernst.
MIT Laboratory for Computer Science technical report 941, (Cambridge, MA), Mar. 2004. Revision of first author's Master's thesis.
An extended version appeared as
“Predicting problems caused by component upgrades”
by Stephen McCamant.
Masters thesis, MIT Department of Electrical Engineering and Computer Science, (Cambridge, MA), January 15, 2004.
“Predicting problems caused by component upgrades”
by Stephen McCamant and Michael D. Ernst.
In ESEC/FSE 2003: Proceedings of the 9th European Software Engineering Conference and the 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering, (Helsinki, Finland), September 3-5, 2003, pp. 287-296.
Details.
Download:
PDF,
PostScript.
An extended version appeared as MIT Laboratory for Computer Science technical report 941, (Cambridge, MA), Mar. 2004. Revision of first author's Master's thesis.
An extended version appeared as
“Predicting problems caused by component upgrades”
by Stephen McCamant.
Masters thesis, MIT Department of Electrical Engineering and Computer Science, (Cambridge, MA), January 15, 2004.
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 webpage was created with bibtex2web.)
Back to Program Analysis Group authors