Back to Results
First PageMeta Content
Cilk / Concurrency / Charles E. Leiserson / Parallel computing / Algorithm / Lock / Linearizability / Concurrency control / Computing / Concurrent computing


Algorithms for Data-Race Detection in Multithreaded Programs by Guang-Ien Cheng
Add to Reading List

Document Date: 2014-09-16 08:27:49


Open Document

File Size: 561,98 KB

Share Result on Facebook

Company

Sun Microsystems / Supercomputing Technologies Group / /

Facility

MASSACHUSETTS INSTITUTE OF TECHNOLOGY June / Engineering Massachusetts Institute of Technology / Killian Court / /

IndustryTerm

racefree locking protocols / /

Organization

Department Committee / Killian Court / Defense Advanced Research Projects Agency / Department of Electrical / MIT Lab for Computer Science / Massachusetts Institute of Technology / Department of Electrical Engineering and Computer Science / EECS Department / /

Person

Nate Kushman / Victor Luchangco / Keith Randall / Irena Sebeda / Don Dailey / Arthur C. Smith / Phil Lisiecki / Lawrence Chang / Guang-Ien Cheng Submitted / Alice Wang / Mingdong Feng / Charles E. Leiserson / Guang-Ien Cheng / Anne Hunter / Nora Chen / Matteo Frigo / Andy Stark / /

Position

author / guard / Chairman / advisors / Thesis supervisor / Enter-Guard and Exit-Guard / Professor of Computer Science / programmer / /

ProgrammingLanguage

Cilk / L / /

ProvinceOrState

Massachusetts / /

Technology

Brelly algorithm / Brelly-Shared algorithm / 13 3.1 The All-Sets algorithm / All-Sets algorithm / All-Sets-Shared algorithm / Review-Guards-Shared algorithm / Graduate Theses Algorithms / Exit-Guard The Review-Guards algorithm / 3.3 The All-Sets-Shared algorithm / statements The Review-Guards algorithm / following algorithms / shared memory / Review-Guards algorithm / racefree locking protocols / two algorithms / /

SocialTag