From typestate verification to interpretable deep models (invited talk abstract).
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019
Field-sensitive program dependence analysis.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010
Effective typestate verification in the presence of aliasing.
ACM Trans. Softw. Eng. Methodol., 2008
Customization change impact analysis for erp professionals via program slicing.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008
Combined static and dynamic analysis for inferring program dependencies using a pattern language.
Proceedings of the 2006 conference of the Centre for Advanced Studies on Collaborative Research, 2006
Automatic Verification of Strongly Dynamic Software Systems.
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Verified Software: Theories, 2005
Numeric Domains with Summarized Dimensions.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
Software validation via scalable path-sensitive value flow analysis.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004
Automatic verification of program cleanness
PhD thesis, 2003
CSSV: towards a realistic tool for statically detecting all buffer overflows in C.
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003
Cleanness Checking of String Manipulations in C Programs via Integer Analysis.
Proceedings of the Static Analysis, 8th International Symposium, 2001
Checking Cleanness in Linked Lists.
Proceedings of the Static Analysis, 7th International Symposium, 2000
Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience).
Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 1998