BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
fenc (5)
check (4)
insert (3)
model (3)
effici (2)

Stem tso$ (all stems)

18 papers:

ESOPESOP-2015-AbdullaAP #performance
The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO (PAA, MFA, NTP), pp. 308–332.
FASEFASE-2015-BouajjaniCDM #lazy evaluation #reachability
Lazy TSO Reachability (AB, GC, ED, RM), pp. 267–282.
TACASTACAS-2015-AbdullaAAJLS #model checking
Stateless Model Checking for TSO and PSO (PAA, SA, MFA, BJ, CL, KFS), pp. 353–367.
PLDIPLDI-2015-GammieHE #garbage collection #on the fly
Relaxing safely: verified on-the-fly garbage collection for x86-TSO (PG, ALH, KE), pp. 99–109.
OOPSLAOOPSLA-2015-DemskyL #model checking #named
SATCheck: SAT-directed stateless model checking for SC and TSO (BD, PL), pp. 20–36.
ASPLOSASPLOS-2015-MorrisonA #bound #symmetry
Temporally Bounding TSO for Fence-Free Asymmetric Synchronization (AM, YA), pp. 45–58.
IFMIFM-2014-DerrickSD #architecture #verification
Verifying Linearizability on TSO Architectures (JD, GS, BD), pp. 341–356.
ASPLOSASPLOS-2014-MorrisonA #bound
Fence-free work stealing on bounded TSO processors (AM, YA), pp. 413–426.
HPCAHPCA-2014-ElverN #consistency #named
TSO-CC: Consistency directed cache coherence for TSO (ME, VN), pp. 165–176.
ESOPESOP-2013-BouajjaniDM #robust
Checking and Enforcing Robustness against TSO (AB, ED, RM), pp. 533–553.
TACASTACAS-2013-AbdullaACLR #automation #precise
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO (PAA, MFA, YFC, CL, AR), pp. 530–536.
PLDIPLDI-2013-RajaramNSE #implementation #performance #semantics
Fast RMWs for TSO: semantics and implementation (BR, VN, SS, ME), pp. 61–72.
ASPLOSASPLOS-2013-WangW #hardware #named #optimisation #performance
TSO_ATOMICITY: efficient hardware primitive for TSO-preserving region optimizations (CW, YW), pp. 509–520.
ESOPESOP-2012-BurckhardtGMY #concurrent #correctness #library #memory management
Concurrent Library Correctness on the TSO Memory Model (SB, AG, MM, HY), pp. 87–107.
Counter-Example Guided Fence Insertion under TSO (PAA, MFA, YFC, CL, AR), pp. 204–219.
CAVCAV-2011-AtigBP #analysis
Getting Rid of Store-Buffers in TSO Analysis (MFA, AB, GP), pp. 99–115.
ECOOPECOOP-2010-Owens #abstraction #concurrent #implementation #reasoning
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO (SO), pp. 478–503.
DACDAC-1976-Lerman #design #using
Computer aided design of printed circuit boards using remote graphics and TSO (HNL), pp. 104–108.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.