System-level State Equality Detection for the Dynamic Verification of Distributed Applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

System-level State Equality Detection for the Dynamic Verification of Distributed Applications

Marion Guthmuller
  • Function : Author
  • PersonId : 891939
Algorithms for the Grid
Martin Quinson
Algorithms for the Grid
CV

Abstract

This poster presents our solution to detect state equality of legacy MPI applications directly at system level, which is important to formally verify these applications.

Domains

Distributed, Parallel, and Cluster Computing [cs.DC] Symbolic Computation [cs.SC] Operating Systems [cs.OS]
Fichier principal
Vignette du fichier
2014-eurosys-abstract.pdf (26.07 Ko) Télécharger le fichier
2014-eurosys.pdf (616.4 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Format : Other

Martin Quinson  : Connect in order to contact the contributor

https://inria.hal.science/hal-00997941

Submitted on : Thursday, May 29, 2014-6:11:40 PM

Last modification on : Monday, September 11, 2023-5:41:18 PM

Long-term archiving on: Friday, August 29, 2014-10:46:25 AM

Download

Dates and versions

hal-00997941 , version 1 (29-05-2014)

Identifiers

  • HAL Id : hal-00997941 , version 1

Cite

Marion Guthmuller, Martin Quinson. System-level State Equality Detection for the Dynamic Verification of Distributed Applications. EuroSys - 9th European Conference on Computer Systems, Apr 2014, Amsterdam, Netherlands. ⟨hal-00997941⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-RENNES UNIV-LORRAINE INRIA2 LORIA LORIA-NSS UNIV-RENNES ANR
183 View
88 Download

Share

Gmail Facebook X LinkedIn More