Lazy-CSeq: a lazy sequentialization tool for C
Lazy-CSeq: a lazy sequentialization tool for C
We describe a version of the lazy sequentialization schema by La Torre, Madhusudan, and Parlato that is optimized for bounded programs, and avoids the re-computation of the local state of each process at each context switch. Lazy-CSeq implements this sequentialization schema for sequentially consistent C programs using POSIX threads. Experiments show that it is very competitive
978-3-642-54861-1
398-401
Inverso, Omar
1a7b5398-791c-479b-88c9-2442212d0a28
Tomasco, Ermenegildo
7b944585-0193-4dab-861b-8d5cdccf82cd
Fischer, Bernd
0c9575e6-d099-47f1-b3a2-2dbc93c53d18
La Torre, Salvatore
ec51ffc2-65d9-414e-9dd2-f5f342979c10
Parlato, Gennaro
c28428a0-d3f3-4551-a4b5-b79e410f4923
April 2014
Inverso, Omar
1a7b5398-791c-479b-88c9-2442212d0a28
Tomasco, Ermenegildo
7b944585-0193-4dab-861b-8d5cdccf82cd
Fischer, Bernd
0c9575e6-d099-47f1-b3a2-2dbc93c53d18
La Torre, Salvatore
ec51ffc2-65d9-414e-9dd2-f5f342979c10
Parlato, Gennaro
c28428a0-d3f3-4551-a4b5-b79e410f4923
Inverso, Omar, Tomasco, Ermenegildo, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro
(2014)
Lazy-CSeq: a lazy sequentialization tool for C.
20th International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
05 - 13 Apr 2014.
.
(doi:10.1007/978-3-642-54862-8_29).
Record type:
Conference or Workshop Item
(Paper)
Abstract
We describe a version of the lazy sequentialization schema by La Torre, Madhusudan, and Parlato that is optimized for bounded programs, and avoids the re-computation of the local state of each process at each context switch. Lazy-CSeq implements this sequentialization schema for sequentially consistent C programs using POSIX threads. Experiments show that it is very competitive
Text
chp%3A10.1007%2F978-3-642-54862-8_29.pdf_auth66=1403795058_f11101e40d33f08492c04225c1ca92eb&ext=.pdf
- Version of Record
Restricted to Repository staff only
Request a copy
More information
Published date: April 2014
Additional Information:
Competition contribution
Venue - Dates:
20th International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2014-04-05 - 2014-04-13
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 366335
URI: http://eprints.soton.ac.uk/id/eprint/366335
ISBN: 978-3-642-54861-1
PURE UUID: d22efff1-a66c-454d-9d84-3ec16c7d70cf
Catalogue record
Date deposited: 30 Jun 2014 12:01
Last modified: 14 Mar 2024 17:06
Export record
Altmetrics
Contributors
Author:
Omar Inverso
Author:
Ermenegildo Tomasco
Author:
Bernd Fischer
Author:
Salvatore La Torre
Author:
Gennaro Parlato
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics