Context-bounded verification of liveness properties for multithreaded shared-memory programs

Pascal Baumann; Rupak Majumdar; Ramanathan S. Thinniyam; Georg Zetzsche

doi:10.1145/3434325

Context-bounded verification of liveness properties for multithreaded shared-memory programs

Proceedings of the ACM on Programming Languages ◽

10.1145/3434325 ◽

2021 ◽

Vol 5 (POPL) ◽

pp. 1-31

Author(s):

Pascal Baumann ◽

Rupak Majumdar ◽

Ramanathan S. Thinniyam ◽

Georg Zetzsche

Keyword(s):

Shared Memory ◽

Liveness Properties

Shared-memory parallel multi-target tracking

Journal of Computer Applications ◽

10.3724/sp.j.1087.2008.02303 ◽

2009 ◽

Vol 28 (9) ◽

pp. 2303-2305

Author(s):

Xiao-gang WANG ◽

Xiao-juan WU ◽

Xin ZHOU ◽

Xiao-yan ZHANG

Keyword(s):

Target Tracking ◽

Shared Memory ◽

Multi Target Tracking

Atomic Snapshots of Shared Memory

10.21236/ada222765 ◽

1990 ◽

Cited By ~ 22

Author(s):

Yehunda Afek ◽

Hagit Attiya ◽

Danny Dolev ◽

Eli Gafni ◽

Michael Merritt

Keyword(s):

Shared Memory

The Effects of Block Size on the Performance of Coherent Caches in Shared-Memory Multiprocessors

10.21236/ada272838 ◽

1993 ◽

Cited By ~ 3

Author(s):

Cezary Dubnicki

Keyword(s):

Shared Memory ◽

Block Size ◽

Shared Memory Multiprocessors

Fast Accurate Simulation of Large Shared Memory Multiprocessors (Revised version)

10.21236/ada604322 ◽

1993 ◽

Cited By ~ 4

Author(s):

Bob Boothe

Keyword(s):

Shared Memory ◽

Shared Memory Multiprocessors

Restructuring a parallel simulation to improve cache behavior in a shared-memory multiprocessor

ACM SIGSIM Simulation Digest ◽

10.1145/174134.158480 ◽

1993 ◽

Vol 23 (1) ◽

pp. 159-162

Author(s):

David R. Cheriton ◽

Hendrik A. Goosen ◽

Hugh Holbrook ◽

Philip Machanick

Keyword(s):

Shared Memory ◽

Parallel Simulation ◽

Shared Memory Multiprocessor

An algorithm for all-du-path testing coverage of shared memory parallel programs

Proceedings Sixth Asian Test Symposium (ATS'97) ◽

10.1109/ats.1997.643968 ◽

2002 ◽

Cited By ~ 1

Author(s):

C.-S.D. Yang ◽

L.L. Pollock

Keyword(s):

Shared Memory ◽

Parallel Programs ◽

Path Testing ◽

Testing Coverage

Performance of a shared memory system for vector multiprocessors

Proceedings of the 2nd international conference on Supercomputing - ICS '88 ◽

10.1145/55364.55395 ◽

1988 ◽

Cited By ~ 6

Author(s):

S. W. Turner ◽

A. V. Veidenbaum

Keyword(s):

Shared Memory ◽

Memory System ◽

Shared Memory System

Deep Learning Framework using Scalable Shared Memory Buffer Framework

2021 International Conference on Electronics, Information, and Communication (ICEIC) ◽

10.1109/iceic51217.2021.9369801 ◽

2021 ◽

Author(s):

Eun-Ji Lim ◽

Shin-Young Ahn

Keyword(s):

Deep Learning ◽

Shared Memory ◽

Learning Framework ◽

Memory Buffer

Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech

2020 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl50818.2020.9232942 ◽

2020 ◽

Cited By ~ 1

Author(s):

F. Gretz ◽

F-J. Grosch ◽

M. Mendler ◽

S. Scheele

Keyword(s):

Shared Memory ◽

Formal Semantics ◽

Procedural Abstraction

Information-Theoretic Lower Bounds on the Storage Cost of Shared Memory Emulation

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing - PODC '16 ◽

10.1145/2933057.2933118 ◽

2016 ◽

Cited By ~ 5

Author(s):

Viveck R. Cadambe ◽

Zhiying Wang ◽

Nancy Lynch

Keyword(s):

Shared Memory ◽

Lower Bounds ◽

Information Theoretic ◽

Storage Cost