Scalable and precise program analysis at NEC
暂无分享,去创建一个
Sriram Sankaranarayanan | Chao Wang | Weihong Li | Gogul Balakrishnan | Vineet Kahlon | Aarti Gupta | Malay K. Ganai | Franjo Ivancic | Naoto Maeda | Nishant Sinha | Nadia Papakonstantinou | Aarti Gupta | Vineet Kahlon | Franjo Ivancic | S. Sankaranarayanan | Chao Wang | Weihong Li | N. Papakonstantinou | Naoto Maeda | Gogul Balakrishnan | Nishant Sinha
[1] Swarat Chaudhuri,et al. Symbolic pruning of concurrent program executions , 2009, ESEC/FSE '09.
[2] Chao Wang,et al. Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs , 2010, CAV.
[3] Chao Wang,et al. Model checking C programs using F-Soft , 2005, 2005 International Conference on Computer Design.
[4] Vineet Kahlon. Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks , 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.
[5] Chao Wang,et al. Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs , 2010, RV.
[6] Zijiang Yang,et al. F-Soft: Software Verification Platform , 2005, CAV.
[7] Chao Wang,et al. Symbolic Predictive Analysis for Concurrent Programs , 2009, FM.
[8] Malay K. Ganai,et al. Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions , 2009, SPIN.
[9] Vineet Kahlon,et al. Reasoning About Threads Communicating via Locks , 2005, CAV.
[10] Chao Wang,et al. Contessa: Concurrency Testing Augmented with Symbolic Analysis , 2010, CAV.
[11] Chao Wang,et al. Trace-Based Symbolic Analysis for Atomicity Violations , 2010, TACAS.
[12] Sriram Sankaranarayanan,et al. Semantic Reduction of Thread Interleavings in Concurrent Programs , 2009, TACAS.
[13] Vineet Kahlon,et al. Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions , 2006, CAV.