메뉴 건너뛰기




Volumn , Issue , 2009, Pages 27-36

Boundedness vs. Unboundedness of lock chains characterizing decidability of cfl-reachability for threads communicating via locks

Author keywords

[No Author keywords available]

Indexed keywords

BOUNDEDNESS; CONCURRENT PROGRAM; CORE PROBLEMS; DEVICE DRIVER; MUTEXES; NESTEDNESS; NEW RESULTS; REACHABILITY; RECURSIONS; SCHEDULING CONSTRAINTS; SYNCHRONIZATION PRIMITIVE; USAGE PATTERNS;

EID: 70350600589     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.2009.45     Document Type: Conference Paper
Times cited : (41)

References (14)
  • 1
    • 70350612282 scopus 로고    scopus 로고
    • www.cs.utexas.edu/users/kahlon/locks.
  • 2
    • 84944409047 scopus 로고    scopus 로고
    • Reachability analysis of pushdown automata: Application to model-checking
    • LNCS 1243
    • A. Bouajjani, J. Esparza, and O. Maler. Reachability analysis of pushdown automata: Application to model-checking. In CONCUR, LNCS 1243, pages 135-150, 1997.
    • (1997) CONCUR , pp. 135-150
    • Bouajjani, A.1    Esparza, J.2    Maler, O.3
  • 3
    • 33846506572 scopus 로고    scopus 로고
    • Reachability analysis of multithreaded software with asynchronous communication
    • A. Bouajjani, J. Esparza, S. Schwoon, and J. Strejcek. Reachability analysis of multithreaded software with asynchronous communication. In FSTTCS, 2005.
    • (2005) FSTTCS
    • Bouajjani, A.1    Esparza, J.2    Schwoon, S.3    Strejcek, J.S.4
  • 4
    • 26444574396 scopus 로고    scopus 로고
    • A generic approach to the static analysis of concurrent programs with procedures
    • A. Bouajjani, J. Esparza, and T. Touili. A generic approach to the static analysis of concurrent programs with procedures. In IJFCS, volume 14(4), pages 551-, 2003.
    • (2003) IJFCS , vol.14 , Issue.4 , pp. 551
    • Bouajjani, A.1    Esparza, J.2    Touili, T.3
  • 5
    • 34548293706 scopus 로고    scopus 로고
    • Interprocedural analysis of asynchronous programs
    • R. Jhala and R. Majumdar. Interprocedural analysis of asynchronous programs. In POPL, 2007.
    • (2007) POPL
    • Jhala, R.1    Majumdar, R.2
  • 7
    • 35748944952 scopus 로고    scopus 로고
    • On the analysis of interacting pushdown systems
    • V. Kahlon and A. Gupta. On the Analysis of Interacting Pushdown Systems. In POPL, 2007.
    • (2007) POPL
    • Kahlon, V.1    Gupta, A.2
  • 8
    • 33745770907 scopus 로고    scopus 로고
    • Reasoning about threads communicating via locks
    • V. Kahlon, F. Ivančić, and A. Gupta. Reasoning about threads communicating via locks. In CAV, 2005.
    • (2005) CAV
    • Kahlon, V.1    Ivančić, F.2    Gupta, A.3
  • 9
    • 26444480872 scopus 로고    scopus 로고
    • Extended weighted pushdown systems
    • A. Lal, G. Balakrishnan, and T. Reps. Extended weighted pushdown systems. In CAV, 2005.
    • (2005) CAV
    • Lal, A.1    Balakrishnan, G.2    Reps, T.3
  • 10
    • 70350229465 scopus 로고    scopus 로고
    • Interprocedural dataflow analysis of concurrent programs under a context bound
    • A. Lal, T. Touili, N. Kidd, and T. Reps. Interprocedural Dataflow Analysis of Concurrent Programs Under a Context Bound. In TACAS, 2008.
    • (2008) TACAS
    • Lal, A.1    Touili, T.2    Kidd, N.3    Reps, T.4
  • 11
    • 26444588312 scopus 로고    scopus 로고
    • Context-bounded model checking of concurrent software
    • S. Qadeer and J. Rehof. Context-bounded model checking of concurrent software. In TACAS, 2005.
    • (2005) TACAS
    • Qadeer, S.1    Rehof, J.2
  • 12
    • 29144449454 scopus 로고    scopus 로고
    • Context-sensitive synchronization-sensitive analysis is undecidable
    • G. Ramalingam. Context-sensitive synchronization-sensitive analysis is undecidable. In ACM TOPLAS, 2000.
    • (2000) ACM TOPLAS
    • Ramalingam, G.1
  • 13
    • 70350615410 scopus 로고    scopus 로고
    • Model checking multithreaded programs with asynchronous atomic methods
    • Koushik Sen and Mahesh Viswanathan. Model checking multithreaded programs with asynchronous atomic methods. In CAV, 2006.
    • (2006) CAV
    • Sen, K.1    Viswanathan, M.2


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