On Sequentializing Concurrent Programs-Reference-Cited by-同舟云学术

On Sequentializing Concurrent Programs

Published:2011 Issue: Volume: Page:129-145
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Bouajjani Ahmed,Emmi Michael,Parlato Gennaro

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-23702-7_13

Reference25 articles.

1. Atig, M.F., Bouajjani, A., Touili, T.: Analyzing asynchronous programs with preemption. In: FSTTCS 2008: Proc. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. LIPIcs, vol. 2, pp. 37–48. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2008)

2. Lecture Notes in Computer Science;M.F. Atig,2009

3. Ball, T., Rajamani, S.K.: The slam project: debugging system software via static analysis. In: POPL 2002: Proc. 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 1–3. ACM, New York (2002)

4. Bouajjani, A., Emmi, M., Parlato, G.: On sequentializing concurrent programs (2011), http://hal.archives-ouvertes.fr/hal-00597415/en/

5. Chaudhuri, S.: Subcubic algorithms for recursive state machines. In: POPL 2008: Proc. 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 159–169. ACM, New York (2008)

Cited by 22 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Sequentialization Procedure for Fault-Tolerant Protocols;Lecture Notes in Computer Science;2023

2. Verifying Programs by Bounded Tree-Width Behavior Graphs;Multi-Agent Systems;2023

3. Bounded Verification of Multi-threaded Programs via Lazy Sequentialization;ACM Transactions on Programming Languages and Systems;2022-03-31

4. Interprocedural Context-Unbounded Program Analysis Using Observation Sequences;ACM Transactions on Programming Languages and Systems;2020-12-31

5. Reachability of scope-bounded multistack pushdown systems;Information and Computation;2020-12