 |
Systems Analysis & Verification
Other Publications
2009
R. Chang, G. Jiang, F. Ivancic, S. Sankaranarayanan, and V. Shmatikov
Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities,
22nd IEEE Computer Security Foundations Symposium (CSF22), Port Jefferson, NY, July 2009.
S. Gupta, F. Sultan, S. Cadambi, F. Ivancic, and M. Roetteler.
Using Hardware Transactional Memory for Data Race Detection,
23rd IEEE International Parallel and Distributed Processing Symposium (IPDPS), Rome, Italy, May 2009.
2008
Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, and Martin Roetteler:
RaceTM: Detecting Data Races using Transactional Memory,
20th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), Munich, Germany, June 2008 (short paper)
2006
Sriram Sankaranarayanan, Michael A. Colon, Henny B. Sipma, and Zohar Manna:
Efficient Strongly Relational Polyhedral Analysis.
In Proceedings of VMCAI, January 2006.
C. Wang, B. Li, H. Jin, G. D. Hachtel and F. Somenzi.
Improved Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement.
In IEEE Trans. on Computer-Aided Design (T-CAD),25(11):2297-2316, (2006).
C. Wang, R. Bloem, K. Ravi, G. D. Hachtel and F. Somenzi.
Compositional SCC analysis for Language Emptiness Checking.
In Journal on Formal Methods in Systems Design. 28(1):5-26 (2006)
2005
B. Li, C. Wang and F. Somenzi.
Abstraction Refinement in Symbolic Model Checking Using Satisfiability as the Only Decision Procedure.
In Journal on Software Tools for Technology Transfer (STTT), 7(2):143-155 (2005).
Aarti Gupta, Ali A. Bayazit and Yogesh Mahajan:
Verification Languages.
In The Industrial Information Technology Handbook, R. Zurawski (Ed.), CRC Press, 2005.
Publications in Other Areas:
|
