A practical application of geometric semantics to static analysis of concurrent programs

被引：0
|
作者：
Goubault, E [1 ]
Haucourt, E
机构：
[1] CEA Technol Avancees, LIST, DTSI SOL, F-91191 Gif Sur Yvette, France
[2] Univ Paris 07, F-75013 Paris, France
来源：
CONCUR 2005 - CONCURRENCY THEORY, PROCEEDINGS | 2005年 / 3653卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we show how to compress efficiently the state-space of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that model). The technology used here is based on research on geometric semantics by the authors and collaborators [1]. It has been implemented in a abstract interpretation based static analyzer (ALCOOL), and we show some preliminary results and benchmarks.
引用
收藏
页码：503 / 517
页数：15
相关论文
共 50 条
  • [41] Semantics and Analysis of Instruction List Programs
    Huuck, Ralf
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 115 : 3 - 18
  • [42] Static Data Race Detection for Concurrent Programs with Asynchronous Calls
    Kahlon, Vineet
    Sinha, Nishant
    Kruus, Erik
    Zhang, Yun
    [J]. 7TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2009, : 13 - 22
  • [43] An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs
    Huang, Jeff
    Zhang, Charles
    [J]. STATIC ANALYSIS, 2011, 6887 : 163 - 179
  • [44] Geometric analysis of nondeterminacy in dynamical systemsTowards a geometric analysis of concurrent systems
    Rafael Wisniewski
    Martin Raussen
    [J]. Acta Informatica, 2007, 43 : 501 - 519
  • [45] Static Analysis of Dynamic Schedules and Its Application to Optimization of Parallel Programs
    Angerer, Christoph M.
    Gross, Thomas R.
    [J]. LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2011, 6548 : 16 - 30
  • [46] PRACTICAL STATIC-MODE ANALYSES OF CONCURRENT LOGIC LANGUAGES
    TICK, E
    [J]. PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, 1994, 50 : 205 - 214
  • [47] A formal semantics for debugging synchronous message passing-based concurrent programs
    He Li
    Jie Luo
    Wei Li
    [J]. Science China Information Sciences, 2014, 57 : 1 - 18
  • [48] A formal semantics for debugging synchronous message passing-based concurrent programs
    LI He
    LUO Jie
    LI Wei
    [J]. Science China(Information Sciences), 2014, 57 (12) : 198 - 215
  • [49] A formal semantics for debugging synchronous message passing-based concurrent programs
    Li He
    Luo Jie
    Li Wei
    [J]. SCIENCE CHINA-INFORMATION SCIENCES, 2014, 57 (12) : 1 - 18
  • [50] Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs
    Lanese, Ivan
    Palacios, Adrian
    Vidal, German
    [J]. FUNDAMENTA INFORMATICAE, 2021, 178 (03) : 229 - 266
12345