A verification technique for deterministic parallel programs

Marieke Huisman

doi:10.1145/3131851.3131852

A verification technique for deterministic parallel programs

Marieke Huisman

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

49 Downloads (Pure)

Abstract

Software is omnipresent, and software failures can have tremendous costs for society and economy. Therefore, we need techniques to improve the quality of software, and to prevent software failures. Program verification can help to improve this situation, as it allows to check properties on all possible behaviours of a program. We focus in particular on the verification of concurrent software, which is even more error-prone, because of the possible interleavings between the different threads.

Original language	English
Title of host publication	Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017
Editors	Wim Vanhoof, Brigitte Pientka
Publisher	ACM/Sheridan
Pages	3-3
Number of pages	1
ISBN (Print)	978-1-4503-5291-8
DOIs	https://doi.org/10.1145/3131851.3131852
Publication status	Published - 2017
Event	19th International Conference on Principles and Practice of Declarative Programming (PPDP 2017) - Namur, Belgium Duration: 9 Oct 2017 → 11 Oct 2017

Conference

Conference	19th International Conference on Principles and Practice of Declarative Programming (PPDP 2017)
Abbreviated title	PPDP 2017
Country/Territory	Belgium
City	Namur
Period	9/10/17 → 11/10/17

Keywords

2023 OA procedure

Access to Document

10.1145/3131851.3131852

AbstractFinal published version, 463 KBLicence: Taverne

Cite this

@inproceedings{9389b71f709e4935a645a609539c46ac,

title = "A verification technique for deterministic parallel programs",

abstract = "Software is omnipresent, and software failures can have tremendous costs for society and economy. Therefore, we need techniques to improve the quality of software, and to prevent software failures. Program verification can help to improve this situation, as it allows to check properties on all possible behaviours of a program. We focus in particular on the verification of concurrent software, which is even more error-prone, because of the possible interleavings between the different threads.",

keywords = "2023 OA procedure",

author = "Marieke Huisman",

note = "Invited abstract; 19th International Conference on Principles and Practice of Declarative Programming (PPDP 2017), PPDP 2017 ; Conference date: 09-10-2017 Through 11-10-2017",

year = "2017",

doi = "10.1145/3131851.3131852",

language = "English",

isbn = "978-1-4503-5291-8",

pages = "3--3",

editor = "Wim Vanhoof and Brigitte Pientka",

booktitle = "Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017",

publisher = "ACM/Sheridan",

}

Huisman, M 2017, A verification technique for deterministic parallel programs. in W Vanhoof & B Pientka (eds), Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. ACM/Sheridan, pp. 3-3, 19th International Conference on Principles and Practice of Declarative Programming (PPDP 2017), Namur, Belgium, 9/10/17. https://doi.org/10.1145/3131851.3131852

A verification technique for deterministic parallel programs. / Huisman, Marieke.
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. ed. / Wim Vanhoof; Brigitte Pientka. ACM/Sheridan, 2017. p. 3-3.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

TY - GEN

T1 - A verification technique for deterministic parallel programs

AU - Huisman, Marieke

N1 - Invited abstract

PY - 2017

Y1 - 2017

N2 - Software is omnipresent, and software failures can have tremendous costs for society and economy. Therefore, we need techniques to improve the quality of software, and to prevent software failures. Program verification can help to improve this situation, as it allows to check properties on all possible behaviours of a program. We focus in particular on the verification of concurrent software, which is even more error-prone, because of the possible interleavings between the different threads.

AB - Software is omnipresent, and software failures can have tremendous costs for society and economy. Therefore, we need techniques to improve the quality of software, and to prevent software failures. Program verification can help to improve this situation, as it allows to check properties on all possible behaviours of a program. We focus in particular on the verification of concurrent software, which is even more error-prone, because of the possible interleavings between the different threads.

KW - 2023 OA procedure

U2 - 10.1145/3131851.3131852

DO - 10.1145/3131851.3131852

M3 - Conference contribution

SN - 978-1-4503-5291-8

SP - 3

EP - 3

BT - Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017

A2 - Vanhoof, Wim

A2 - Pientka, Brigitte

PB - ACM/Sheridan

T2 - 19th International Conference on Principles and Practice of Declarative Programming (PPDP 2017)

Y2 - 9 October 2017 through 11 October 2017

ER -

A verification technique for deterministic parallel programs

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this