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

Eric Goubault; Emmanuel Haucourt

doi:10.1007/11539452_38

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

CEA/UVSQ/CNRS
Laboratoire de Probabilités et Modèles Aléatoires

Research output: Contribution to journal › Conference article › peer-review

20 Citations (Scopus)

Abstract

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.

Original language	English
Pages (from-to)	503-517
Number of pages	15
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3653
DOIs	https://doi.org/10.1007/11539452_38
Publication status	Published - 1 Jan 2005
Externally published	Yes
Event	16th International Conference on Concurrency Theory, CONCUR 2005 - San Francisco, CA, United States Duration: 23 Aug 2005 → 26 Aug 2005

Access to Document

10.1007/11539452_38

Cite this

@article{a48a29e4d794421191f378816f2a039a,

title = "A practical application of geometric semantics to static analysis of concurrent programs",

abstract = "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.",

author = "Eric Goubault and Emmanuel Haucourt",

year = "2005",

month = jan,

day = "1",

doi = "10.1007/11539452\_38",

language = "English",

volume = "3653",

pages = "503--517",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "16th International Conference on Concurrency Theory, CONCUR 2005 ; Conference date: 23-08-2005 Through 26-08-2005",

}

A practical application of geometric semantics to static analysis of concurrent programs. / Goubault, Eric ; Haucourt, Emmanuel.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3653, 01.01.2005, p. 503-517.

Research output: Contribution to journal › Conference article › peer-review

TY - JOUR

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

AU - Goubault, Eric

AU - Haucourt, Emmanuel

PY - 2005/1/1

Y1 - 2005/1/1

N2 - 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.

AB - 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.

U2 - 10.1007/11539452_38

DO - 10.1007/11539452_38

M3 - Conference article

AN - SCOPUS:27244455254

SN - 0302-9743

VL - 3653

SP - 503

EP - 517

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - 16th International Conference on Concurrency Theory, CONCUR 2005

Y2 - 23 August 2005 through 26 August 2005

ER -

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

Abstract

Access to Document

Fingerprint

Cite this