Type qualifiers: lightweight specifications to improve software quality

Checking and inferring local non-aliasing

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation

Visualizing type qualifier inference with Eclipse

eclipse '04 Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange

Type-based confinement

Journal of Functional Programming

Flow-insensitive type qualifiers

ACM Transactions on Programming Languages and Systems (TOPLAS)

Large-scale analysis of format string vulnerabilities in Debian Linux

Proceedings of the 2007 workshop on Programming languages and analysis for security

Liquid types

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation

Security Assessment Framework Using Static Analysis and Fault Injection

ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues

Extending type systems in a library: Type-safe XML processing in C++

Science of Computer Programming

Using type qualifiers to analyze untrusted integers and detecting security flaws in c programs

DIMVA'06 Proceedings of the Third international conference on Detection of Intrusions and Malware & Vulnerability Assessment

A model for security vulnerability pattern

ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part III

Automatic detection of printf format string vulnerabilities in software applications using static analysis

Proceedings of the CUBE International Information Technology Conference