Interprocedural Analysis of Concurrent Programs Under a Context Bound
Abstract elided by the publisher.
Related papers
- CUBA: interprocedural Context-UnBounded Analysis of concurrent programs PLDI 2018
- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis CAV 2008
- Interprocedural Context-Unbounded Program Analysis Using Observation Sequences TOPLAS 2021
- Context-Bounded Analysis for POWER TACAS 2017
- Verification of programs under the release-acquire semantics PLDI 2019
- An improved bound for call strings based interprocedural analysis of bit vector frameworks TOPLAS 2007
- Precise interprocedural analysis through linear algebra POPL 2004
- Context-Bounded Analysis of Concurrent Queue Systems TACAS 2008