Correction to: An integrated specification and verification technique for highly concurrent data structures

Specification And Verification

An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-016-0415-4 ◽

2016 ◽

Vol 19 (5) ◽

pp. 549-563 ◽

Cited By ~ 4

Author(s):

Parosh Aziz Abdulla ◽

Frédéric Haziza ◽

Lukáš Holík ◽

Bengt Jonsson ◽

Ahmed Rezine

Keyword(s):

Data Structures ◽

Specification And Verification

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

An Integrated Specification and Verification Technique for Highly Concurrent Data Structures

10.1007/978-3-642-36742-7_23 ◽

2013 ◽

pp. 324-338 ◽

Cited By ~ 30

Author(s):

Parosh Aziz Abdulla ◽

Frédéric Haziza ◽

Lukáš Holík ◽

Bengt Jonsson ◽

Ahmed Rezine

Keyword(s):

Data Structures ◽

Specification And Verification

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '18 ◽

Two concurrent data structures for efficient datalog query processing

10.1145/3178487.3178525 ◽

2018 ◽

Author(s):

Herbert Jordan ◽

Bernhard Scholz ◽

Pavle Subotic

Keyword(s):

Query Processing ◽

Data Structures ◽

Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing - PODC '96 ◽

Testing concurrent data structures

10.1145/248052.248074 ◽

1996 ◽

Author(s):

John L. Bruno ◽

Phillip B. Gibbons ◽

Steven Phillips

Keyword(s):

Data Structures ◽

2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE) ◽

Proving Concurrent Data Structures Linearizable

10.1109/issre.2016.31 ◽

2016 ◽

Cited By ~ 1

Author(s):

Vineet Singh ◽

Iulian Neamtiu ◽

Rajiv Gupta

Keyword(s):

Data Structures ◽

Relaxing the Correctness Conditions on Concurrent Data Structures for Multicore CPUs. A Numerical Case Study

Parallel Processing and Applied Mathematics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-78054-2_3 ◽

2018 ◽

pp. 25-36

Author(s):

Giuliano Laccetti ◽

Marco Lapegna ◽

Valeria Mele ◽

Raffaele Montella

Keyword(s):

Data Structures ◽

Numerical Case Study ◽

Multicore Cpus

Using relaxed concurrent data structures for contention minimization in multithreaded MPI programs

Journal of Physics Conference Series ◽

10.1088/1742-6596/1399/3/033037 ◽

2019 ◽

Vol 1399 ◽

pp. 033037

Author(s):

Andrey V Tabakov ◽

Alexey A Paznikov

Keyword(s):

Data Structures ◽

Advances in Computing and Information — ICCI '90 - Lecture Notes in Computer Science ◽

Concurrent data structures

10.1007/3-540-53504-7_92 ◽

1990 ◽

pp. 346-355

Author(s):

Adrian Colbrook ◽

Colin Smythe

Keyword(s):

Data Structures ◽

Optimal Instrumentation of Data-flow in Concurrent Data Structures

Lecture Notes in Computer Science - Principles of Distributed Systems ◽

10.1007/978-3-642-25873-2_34 ◽

2011 ◽

pp. 497-512 ◽

Cited By ~ 1

Author(s):

Samaneh Navabpour ◽

Borzoo Bonakdarpour ◽

Sebastian Fischmeister

Keyword(s):

Data Structures ◽

Data Flow ◽

A VLSI Architecture for Concurrent Data Structures

10.1007/978-1-4613-1995-5 ◽

1987 ◽

Cited By ~ 76

Author(s):

William J. Dally

Keyword(s):

Data Structures ◽

Vlsi Architecture ◽