Concurrent Test Generation using Concolic Multi-Trace Analysis. Niloofar Razavi, Franjo Ivancic, Vineet Kahlon and Aarti Gupta 10th Asian Symposium on Programming Languages and Systems (APLAS). Kyoto, Japan. Dec 2012.
Semantic Reduction of Thread Interleavings for Concurrent
V. Kahlon, S. Sankaranarayan and A. Gupta Fifteenth International Conference on
Tools and Algorithms for
Construction and Analysis of Systems (TACAS), York, UK. March
Peephole Partial Order Reduction C. Wang, Z. Yang, V.
Kahlon and A. Gupta 14th International Conference on Tools and Algorithms for
Construction and Analysis of Systems (TACAS),
Hungary. April 2008.
On the Analysis of Interacting Pushdown Systems
V. Kahlon and A. Gupta. The Thirty Fourth Annual Symposium on
Principles of Programming Languages (POPL), Nice, France. January
An Automata Theoretic Approach for Model Checking Threads for
V. Kahlon and A. Gupta. Twenty First Annual IEEE Symposium on
Logic in Computer Science (LICS), Seattle, USA. August
Symbolic Model Checking of Concurrent Programs
using Partial Orders and On-the-fly Transactions V. Kahlon,
A. Gupta and N. Sinha. 18th International Conference on
Computer Aided Verification
(CAV), Seattle, USA. August 2006.