Publications tagged "quals"

Journal, Conference, and Workshop Papers

2007

Type Qualifier Inference for Java
David Greenfieldboyce and Jeffrey S. Foster
In ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pages 321–336, Montreal, Canada, October 2007.
tags: analysis, java, quals, types
[ bibtex | doi ]

2006

Flow-Insensitive Type Qualifiers
Jeffrey S. Foster, Robert Johnson, John Kodumal, and Alex Aiken
ACM Transactions of Programming Languages and Systems (TOPLAS), 28(6):1035–1087, November 2006.
tags: analysis, quals, security, types
[ bibtex | doi ]

2004

Visualizing Type Qualifier Inference with Eclipse
David Greenfieldboyce and Jeffrey S. Foster
In Workshop on Eclipse Technology eXchange (ETX), pages 57–61, Vancouver, British Columbia, Canada, October 2004.
tags: analysis, quals, types
[ bibtex ]

2002

Type Qualifiers: Lightweight Specifications to Improve Software Quality
Jeffrey Scott Foster
PhD thesis, University of California, Berkeley, December 2002.
tags: analysis, quals, security, types
[ bibtex ]

Flow-Sensitive Type Qualifiers
Jeffrey S. Foster, Tachio Terauchi, and Alex Aiken
In Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 1–12, Berlin, Germany, June 2002.
tags: analysis, quals, types
[ bibtex | doi ]

2001

Detecting Format String Vulnerabilities with Type Qualifiers
Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, and David Wagner
In Proceedings of the 10th USENIX Security Symposium, pages 201–218, Washington, D.C., August 2001.
tags: analysis, quals, security, types
[ bibtex ]

1999

A Theory of Type Qualifiers
Jeffrey S. Foster, Manuel Fähndrich, and Alexander Aiken
In Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 192–203, Atlanta, Georgia, May 1999.
tags: analysis, quals, types
[ bibtex | doi ]

Technical Reports

Flow-Sensitive Type Qualifiers
Jeffrey S. Foster, Tachio Terauchi, and Alex Aiken
Technical Report CSD-01-1162, Computer Science Division, University of California, Berkeley, November 2001.
tags: analysis, quals, types
[ bibtex ]