메뉴 건너뛰기




Volumn , Issue , 2010, Pages 273-274

Scalable and precise program analysis at NEC

Author keywords

[No Author keywords available]

Indexed keywords

APPLIED RESEARCH; EXTENDED ABSTRACTS; PRECISE ANALYSIS; PROGRAM ANALYSIS; SOFTWARE PROJECT;

EID: 79958708849     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (5)

References (13)
  • 1
    • 70350633625 scopus 로고    scopus 로고
    • 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
  • 5
    • 70350600589 scopus 로고    scopus 로고
    • 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
  • 7
    • 26444440346 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.