Publications
-
Verifying the Safety of User Pointer Dereferences.
S. Bugrara and A. Aiken.
Proceedings of the IEEE Symposium on Security and Privacy,
pages 325-338, May 2008.
-
An Overview of the Saturn Project.
A. Aiken, S. Bugrara, I. Dillig, T. Dillig, P. Hawkins and B. Hackett.
Proceedings of the Workshop on Program Analysis for Software Tools and Engineering, pages 43-48, June 2007.
- Static Error Detection Using Semantic Inconsistency Inference. I. Dillig, T. Dillig, and A. Aiken. Proceedings of the Conference on Programming Language Design and Implementation, pages 435-446, June 2007.
- How is Aliasing Used in Systems Software?
B. Hackett and A. Aiken.
In Proceedings of the International Symposium on Foundations of Software Engineering,
pages 69-80,
November 2006.
-
Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability.
Y. Xie and A. Aiken.
Transactions on Programming Languages and Systems,
to appear.
-
Context- and Path-Sensitive Memory Leak Detection. (distinguished paper award)
Y. Xie and A. Aiken.
In Proceedings of the 5th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of
Software Engineering,
pages 115-125, September 2005.
-
Saturn: A SAT-Based Tool for Bug Detection.
Y. Xie and A. Aiken.
In Proceedings of the 17th International Conference on Computer Aided Verification,
pages 139-143, July 2005.
-
Scalable Error Detection using Boolean Satisfiability.
Y. Xie and A. Aiken.
Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages,
p. 351-363,
January 2005.
Related Papers