Source: http://www.cs.utexas.edu/users/kahlon/
Timestamp: 2019-04-24 16:50:11+00:00

Document:
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.
Automatic Lock Insertion in Concurrent Programs. V. Kahlon. Formal Methods in Computer-Aided Design (FMCAD). Cambridge, UK. Oct 2012.
Efficient Probabilistic Model Checking of Systems with Ranged Probabilities. K. Ghorbal, P. S. Duggirala, V. Kahlon, F. Ivancic and A. Gupta. 6th International workshop on Reachability Problems (RP). Bordeaux, France. Sept 2012.
Schedule Insensitivity Reduction V. Kahlon. 15th International Conference on Fundamental Approaches to Software Engineering(FASE), Tallinn, Estonia. March 2012.
Semantic Reduction of Thread Interleavings for Concurrent Programs. V. Kahlon, S. Sankaranarayan and A. Gupta Fifteenth International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), York, UK. March 2009.
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), Budapest, 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 2007.
An Automata Theoretic Approach for Model Checking Threads for LTL Properties V. Kahlon and A. Gupta. Twenty First Annual IEEE Symposium on Logic in Computer Science (LICS), Seattle, USA. August 2006.
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.
Debugging Concurrent Programs 21st International Workshop on Logic & Synthesis (IWLS), UC Berkeley. July 2012.
PC Member. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Tallinn, Estonia. March 2012.
PC Member. Second International Symposium on Games, Automata, Logics and Formal Verification (GandALF) , Minori, Italy. June 2011.
PC Member. Twenty Sixth Annual IEEE Symposium on Logic in Computer Science (LICS), Toronto, Canada. June 2011.
PC Member. Formal Methods in Computer Aided Design (FMCAD), Lugano, Switzerland. October 2010.
PC Member. 22nd International Conference on Computer Aided Verification (CAV), Edinburgh. July 2010.
PC Member. Sixteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Cyprus. March 2010.
PC Member. Haifa Verification Conference 2009 (HVC), October 2009.
Co-Organizer. Exploiting Concurrency Efficiently and Correctly -- (EC)2, CAV 2009 Workshop, Grenoble, France. June, 2009.
Co-Organizer. Exploiting Concurrency Efficiently and Correctly -- (EC)2, CAV 2008 Workshop, Princeton, USA. June 2008.
Co-Organizer. INFINITY 2007 - 9th International Workshop on Verification of Infinite-State Systems, Lisbon, Portugal, September 2007.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V.