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

Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

20 Citations (Scopus)

Résumé

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.

langue originale	Anglais
Pages (de - à)	503-517
Nombre de pages	15
journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3653
Les DOIs	https://doi.org/10.1007/11539452_38
état	Publié - 1 janv. 2005
Modification externe	Oui
Evénement	16th International Conference on Concurrency Theory, CONCUR 2005 - San Francisco, CA, États-Unis Durée: 23 août 2005 → 26 août 2005

Accès au document

10.1007/11539452_38

Contient cette citation

@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.
Dans: 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.

Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

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

Résumé

Accès au document

Empreinte digitale

Contient cette citation