Back to Results
First PageMeta Content
Computing / Data / Linearizability / Serializability / Transactional memory / Lock / Thread safety / Non-blocking algorithm / Atomicity / Concurrency control / Transaction processing / Data management


Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula
Add to Reading List

Document Date: 2013-05-12 14:18:02

Open Document

File Size: 361,53 KB

Share Result on Facebook

City

Newport Beach / /

Company

Oracle / Linearizable / /

Country

United States / /

Currency

USD / /

/

Facility

Multithreaded Programs Jacob Burnim George Necula Koushik Sen University of California / /

IndustryTerm

larger applications / online errata / multicore processors / parallel applications / well-tested and widely-used software / bank account / concurrent applications / parallel branchand-bound search / depth-first search / parallel branch-and-bound search / verification tools / parallel software / search space / exhaustive search / branch-and-bound search / transactional memory hardware / proposed using transactional memory hardware / /

Organization

University of California / Berkeley / /

Person

Scott / Michael / George Necula Koushik / /

/

Position

author / parallel head / systematic random scheduler / thread scheduler / scheduler / General / head / judge / programmer / /

Product

CalFuzzer / /

ProgrammingLanguage

Java / Java bytecode / /

ProvinceOrState

California / /

RadioStation

Core / /

Technology

Java / API / schedule Algorithm / ATM / checking algorithm / multicore processors / html / shared memory / Terms Algorithms / /

URL

http /

SocialTag