Æȷοì
Vineet Kahlon
Vineet Kahlon
Google, New York.
nec-labs.comÀÇ À̸ÞÀÏ È®ÀεÊ
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Reducing model checking of the many to the few
EA Emerson, V Kahlon
International conference on automated deduction, 236-254, 2000
2942000
Fast and accurate static data-race detection for concurrent programs
V Kahlon, Y Yang, S Sankaranarayanan, A Gupta
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin ¡¦, 2007
1622007
Reasoning about threads communicating via locks
V Kahlon, F Ivančić, A Gupta
Computer Aided Verification: 17th International Conference, CAV 2005 ¡¦, 2005
1452005
Monotonic partial order reduction: An optimal symbolic partial order reduction technique
V Kahlon, C Wang, A Gupta
Computer Aided Verification: 21st International Conference, CAV 2009 ¡¦, 2009
1402009
Model checking C programs using F-Soft
F Ivancic, I Shlyakhter, A Gupta, MK Ganai, V Kahlon, C Wang, Z Yang
2005 International Conference on Computer Design, 297-308, 2005
1322005
Exact and efficient verification of parameterized cache coherence protocols
EA Emerson, V Kahlon
Advanced Research Working Conference on Correct Hardware Design and ¡¦, 2003
1322003
Static data race detection for concurrent programs with asynchronous calls
V Kahlon, N Sinha, E Kruus, Y Zhang
Proceedings of the 7th joint meeting of the European software engineering ¡¦, 2009
1112009
Peephole partial order reduction
C Wang, Z Yang, V Kahlon, A Gupta
International Conference on Tools and Algorithms for the Construction and ¡¦, 2008
1092008
Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis
V Kahlon
ACM SIGPLAN Notices 43 (6), 249-259, 2008
1072008
Universal causality graphs: A precise happens-before model for detecting bugs in concurrent programs
V Kahlon, C Wang
Computer Aided Verification: 22nd International Conference, CAV 2010 ¡¦, 2010
812010
Model checking guarded protocols
EA Emerson, V Kahlon
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings ¡¦, 2003
742003
Parameterized model checking of ring-based message passing systems
EA Emerson, V Kahlon
International Workshop on Computer Science Logic, 325-339, 2004
732004
Model checking large-scale and parameterized resource allocation systems
EA Emerson, V Kahlon
International Conference on Tools and Algorithms for the Construction and ¡¦, 2002
672002
Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions
V Kahlon, A Gupta, N Sinha
Computer Aided Verification: 18th International Conference, CAV 2006 ¡¦, 2006
562006
System and method for generating error traces for concurrency bugs
V Kahlon, S Sankarnarayanan, A Gupta
US Patent 8,527,976, 2013
542013
On the analysis of interacting pushdown systems
V Kahlon, A Gupta
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of ¡¦, 2007
522007
Rapid parameterized model checking of snoopy cache coherence protocols
EA Emerson, V Kahlon
International Conference on Tools and Algorithms for the Construction and ¡¦, 2003
472003
Boundedness vs. unboundedness of lock chains: Characterizing decidability of pairwise cfl-reachability for threads communicating via locks
V Kahlon
2009 24th Annual IEEE Symposium on Logic In Computer Science, 27-36, 2009
462009
Semantic reduction of thread interleavings in concurrent programs
V Kahlon, S Sankaranarayanan, A Gupta
Tools and Algorithms for the Construction and Analysis of Systems: 15th ¡¦, 2009
432009
Alias analysis for concurrent software programs
V Kahlon
US Patent App. 12/499,374, 2010
392010
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20