-
1
-
-
70350633625
-
Reduction of verification conditions for concurrent system using mutually atomic transactions
-
Malay K. Ganai and Sudipta Kundu. Reduction of verification conditions for concurrent system using mutually atomic transactions. In SPIN, pages 68-87, 2009.
-
(2009)
SPIN
, pp. 68-87
-
-
Ganai, M.K.1
Kundu, S.2
-
3
-
-
33745956208
-
Model checking C programs using F-SOFT
-
DOI 10.1109/ICCD.2005.77, 1524168, Proceedings - 2005 IEEE International Conference on Computer Design: VLSI in Computers and Processors, ICCD 2005
-
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, and Zijiang Yang. Model checking C programs using F-SOFT. In ICCD, pages 297-308, 2005. (Pubitemid 44362405)
-
(2005)
Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors
, vol.2005
, pp. 297-308
-
-
Ivancic, F.1
Shlyakhter, I.2
Gupta, A.3
Ganai, M.K.4
Kahlon, V.5
Wang, C.6
Yang, Z.7
-
4
-
-
26444468031
-
F-SOFT: Software verification platform
-
Computer Aided Verification: 17th International Conference, CAV 2005. Proceedings
-
Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, and Pranav Ashar. F-Soft: Software verification platform. In CAV, pages 301-306, 2005. (Pubitemid 41431743)
-
(2005)
Lecture Notes in Computer Science
, vol.3576
, pp. 301-306
-
-
Ivancic, F.1
Yang, Z.2
Ganai, M.K.3
Gupta, A.4
Shlyakhter, I.5
Ashar, P.6
-
5
-
-
70350600589
-
Boundedness vs. unboundedness of lock chains: Characterizing decidability of pairwise cfl-reachability for threads communicating via locks
-
Vineet Kahlon. Boundedness vs. unboundedness of lock chains: Characterizing decidability of pairwise cfl-reachability for threads communicating via locks. In LICS, pages 27-36, 2009.
-
(2009)
LICS
, pp. 27-36
-
-
Kahlon, V.1
-
6
-
-
33749860080
-
Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions
-
4144 LNCS, Computer Aided Verification - 18th International Conference, CAV 2006, Proceedings
-
Vineet Kahlon, Aarti Gupta, and Nishant Sinha. Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions. In CAV, pages 286-299, 2006. (Pubitemid 44560885)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, pp. 286-299
-
-
Kahlon, V.1
Gupta, A.2
Sinha, N.3
-
7
-
-
26444440346
-
Reasoning about threads communicating via locks
-
Computer Aided Verification: 17th International Conference, CAV 2005. Proceedings
-
Vineet Kahlon, Franjo Ivancic, and Aarti Gupta. Reasoning about threads communicating via locks. In CAV, pages 505-518, 2005. (Pubitemid 41431760)
-
(2005)
Lecture Notes in Computer Science
, vol.3576
, pp. 505-518
-
-
Kahlon, V.1
Ivancic, F.2
Gupta, A.3
-
8
-
-
70350225022
-
Semantic reduction of thread interleavings in concurrent programs
-
Vineet Kahlon, Sriram Sankaranarayanan, and Aarti Gupta. Semantic reduction of thread interleavings in concurrent programs. In TACAS, pages 124-138, 2009.
-
(2009)
TACAS
, pp. 124-138
-
-
Kahlon, V.1
Sankaranarayanan, S.2
Gupta, A.3
-
9
-
-
77955007638
-
Universal causality graphs: A precise happens-before model for detecting bugs in concurrent programs
-
Vineet Kahlon and Chao Wang. Universal causality graphs: A precise happens-before model for detecting bugs in concurrent programs. In CAV, pages 434-449, 2010.
-
(2010)
CAV
, pp. 434-449
-
-
Kahlon, V.1
Chao, W.2
-
10
-
-
77954981310
-
Contessa: Concurrency testing augmented with symbolic analysis
-
Sudipta Kundu, Malay K. Ganai, and Chao Wang. Contessa: Concurrency testing augmented with symbolic analysis. In CAV, pages 127-131, 2010.
-
(2010)
CAV
, pp. 127-131
-
-
Kundu, S.1
Ganai, M.K.2
Wang, C.3
-
11
-
-
77949421686
-
Symbolic pruning of concurrent program executions
-
Chao Wang, Swarat Chaudhuri, Aarti Gupta, and Yu Yang. Symbolic pruning of concurrent program executions. In ESEC/SIGSOFT FSE, pages 23-32, 2009.
-
(2009)
ESEC/SIGSOFT FSE
, pp. 23-32
-
-
Chao, W.1
Chaudhuri, S.2
Gupta, A.3
Yu, Y.4
-
12
-
-
70649106323
-
Symbolic predictive analysis for concurrent programs
-
Chao Wang, Sudipta Kundu, Malay K. Ganai, and Aarti Gupta. Symbolic predictive analysis for concurrent programs. In FM, pages 256-272, 2009.
-
(2009)
FM
, pp. 256-272
-
-
Chao, W.1
Kundu, S.2
Ganai, M.K.3
Gupta, A.4
-
13
-
-
77951590671
-
Trace-based symbolic analysis for atomicity violations
-
Chao Wang, Rhishikesh Limaye, Malay K. Ganai, and Aarti Gupta. Trace-based symbolic analysis for atomicity violations. In TACAS, pages 328-342, 2010.
-
(2010)
TACAS
, pp. 328-342
-
-
Chao, W.1
Limaye, R.2
Ganai, M.K.3
Gupta, A.4
|