In this paper, we present a new two-stage analysis which completely separates intra- and inter-thread reasoning. The first stage uses sequential program ...
ABSTRACT. Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together.
This paper presents a new two-stage analysis which completely separates intra- and inter-thread reasoning, and shows that avoiding redundant bi-modal ...
ABSTRACT. Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together.
Staged Concurrent Program Analysis* www.nec-labs.com. Nishant Sinha. Joint work with Chao Wang. System Analysis and Verification Group,. NEC Labs, Princeton, NJ.
Staged Concurrent Program Analysis www.nec-labs.com. Nishant Sinha. Chao Wang. System Analysis and Verification Group,. NEC Labs, Princeton, NJ. Page 2 ...
Duration: 1:21:50
Posted: Apr 21, 2011
Posted: Apr 21, 2011
People also ask
What are 3 techniques of program analysis?
What is concurrent data analysis?
Staged concurrent program analysis · Cited by 42 publications · References 31 publications.
Staged concurrent program analysis. N. Sinha, and C. Wang. SIGSOFT FSE, page 47-56. ACM, (2010 ). 1. 1. Meta data. BibTeX key: conf/sigsoft/SinhaW10; entry type ...
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev. Hosted as a part of SLEBOK on ...