+@inproceedings{clockvector,
+ author = "Friedemann Mattern",
+ title = "Virtual Time and Global States of Distributed Systems",
+ booktitle = "Workshop on Parallel and Distributed Algorithms",
+ year = "1989"
+}
+
+@article{scmemorymodel,
+ author = {Lamport, Leslie},
+ title = { How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs},
+ journal = {IEEE Transactions on Computers},
+ issue_date = {September 1979},
+ volume = {28},
+ number = {9},
+ month = sep,
+ year = {1979},
+ pages = {690--691}
+}
+
+@article{cantin,
+ author = {Cantin, Jason F. and Lipasti, Mikko H. and Smith, James E.},
+ title = {The Complexity of Verifying Memory Coherence and Consistency},
+ journal = {IEEE Transactions on Parallel and Distributed Systems},
+ issue_date = {July 2005},
+ volume = {16},
+ number = {7},
+ month = jul,
+ year = {2005},
+ issn = {1045-9219},
+ pages = {663--671}
+}
+
+@inproceedings{roycav,
+ author = {Roy, Amitabha and Zeisset, Stephan and Fleckenstein, Charles J. and Huang, John C.},
+ title = {Fast and Generalized Polynomial Time Memory Consistency Verification},
+ booktitle = {Proceedings of the 18th International Conference on Computer Aided Verification},
+ year = {2006}
+}
+
+
+@INPROCEEDINGS{qbornotqb,
+ author = {Ganesh Gopalakrishnan and Yue Yang and Hemanthkumar Sivaraj},
+ title = {{QB} or not {QB}: An efficient execution verification tool for memory orderings},
+ booktitle = cav04,
+ year = {2004},
+ pages = {401--413}
+}
+
+@Article{testsm,
+ author = {Phillip B. Gibbons and Ephraim Korach},
+ title = {Testing Shared Memories},
+ journal = {SIAM Journal on Computing},
+ year = {1997},
+ volume = {26},
+ number = {4},
+ pages = {1208-1244},
+ month = {August}
+}
+
+
+
+@inproceedings{koushiksc,
+ author = {Burnim, Jabob and Sen, Koushik and Stergiou, Christos},
+ title = {Sound and complete monitoring of sequential consistency for relaxed memory models},
+ booktitle = tacas11,
+ year = {2011}
+}
+
+@inproceedings{burckhardtverif,
+ author = {Burckhardt, Sebastian and Musuvathi, Madanlal},
+ title = {Effective Program Verification for Relaxed Memory Models},
+ booktitle = cav08,
+ year = {2008}
+}
+
+@inproceedings{checkfence,
+ author = {Burckhardt, Sebastian and Alur, Rajeev and Martin, Milo M. K.},
+ title = {CheckFence: Checking consistency of concurrent data types on relaxed memory models},
+ booktitle = pldi07,
+ year = {2007}
+}
+
+@inproceedings{cdschecker,
+ author = {Norris, Brian and Demsky, Brian},
+ title = {{CDSChecker}: Checking Concurrent Data Structures Written with {C/C++} Atomics},
+ booktitle = oopsla13,
+ year = {2013}
+}
+
+@inproceedings{poplabstraction,
+ author = {Batty, Mark and Dodds, Mike and Gotsman, Alexey},
+ title = {Library abstraction for {C/C++} concurrency},
+ booktitle = popl13,
+ year = {2013}
+}
+
+
+@inproceedings{mspcboehm,
+ author = {Boehm, Hans},
+ title = {Can seqlocks get along with programming language memory models?},
+ booktitle = mspc12,
+ year = {2012},
+}
+
+
+@inproceedings{pldisc,
+ author={Daniel Marino and Abhayendra Singh and Todd Millstein and Madanlal Musuvathi and Satish Narayanasamy},
+ title={A Case for an SC-Preserving Compiler},
+ booktitle=pldi11,
+ year={2011}
+}
+
+@inproceedings{ppoppworkstealing,
+ author = {L\^{e}, Nhat Minh and Pop, Antoniu and Cohen, Albert and Zappa Nardelli, Francesco},
+ title = {Correct and efficient work-stealing for weak memory models},
+ booktitle = ppopp13,
+ year = {2013}
+}
+
+
+@inproceedings{adversarialmemory,
+ author = {Flanagan, Cormac and Freund, Stephen N.},
+ title = {Adversarial memory for detecting destructive races},
+ booktitle = pldi10,
+ year = {2010}
+}
+
+
+@inproceedings{verisoft,
+ author = {Godefroid, Patrice},
+ title = {Model checking for programming languages using {VeriSoft}},
+ booktitle = popl97,
+ year = {1997}
+}
+
+
+@ARTICLE{dillmodel,
+ author = {Seungjoon Park and David L. Dill},
+ title = {An Executable Specification and Verifier for Relaxed Memory Order},
+ journal = ieeetc,
+ year = {1999},
+ volume = {48}
+}
+
+@inproceedings{vechevpartialcoherence11,
+ author = {Kuperstein, Michael and Vechev, Martin and Yahav, Eran},
+ title = {Partial-coherence abstractions for relaxed memory models},
+ booktitle = pldi11,
+ year = {2011}
+}
+
+@inproceedings{vechevfmcad,
+ author = {Kuperstein, Michael and Vechev, Martin and Yahav, Eran},
+ title = {Automatic inference of memory fences},
+ booktitle = fcad10,
+ year = {2010}
+}
+
+
+@article{sparcmodel,
+ author = {Jonsson, Bengt},
+ title = {State-space exploration for concurrent algorithms under weak memory orderings},
+ journal = {SIGARCH Computer Architecture News},
+ issue_date = {December 2008},
+ volume = {36},
+ number = {5},
+ month = jun,
+ year = {2009},
+ pages = {65--71},
+ numpages = {7},
+}
+
+
+@inproceedings{inspect1,
+ author = {Yang, Yu and Chen, Xiaofang and Gopalakrishnan, Ganesh and Wang, Chao},
+ title = {Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis},
+ booktitle = spin09,
+ year = {2009},
+ location = {Grenoble, France},
+ pages = {279--295}
+}
+
+
+@article{sleepset,
+ author = {Godefroid, Patrice},
+ title = {Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem},
+ year = {1996},
+ journal = lncs,
+ vol = {1032}
+}
+
+@Article{inspect2,
+ author = {Chao Wang and Yu Yang and Aarti Gupta and Ganesh Gopalakrishnan},
+ title = {Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions},
+ journal = {ATVA LNCS},
+ year={2008},
+ number = {126--140}
+}
+
+
+
+@InProceedings{inspect3,
+ author = {Yu Yang and Xiaofang Chen and Ganesh Gopalakrishnan and Robert M. Kirby},
+ title = {Efficient Stateful Dynamic Partial Order Reduction},
+ booktitle = spin08,
+ year = {2008}
+}
+
+
+@inproceedings{inspect4,
+ author = {Yang, Yu and Chen, Xiaofang and Gopalakrishnan, Ganesh and Kirby, Robert M.},
+ title = {Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software},
+ booktitle = spin07,
+ year = {2007},
+ pages = {58--75}
+}
+
+@Article{savage1997,
+ author = {Savage, Stefan and Burrows, Michael and Nelson, Greg and Sobalvarro, Patrick and Anderson, Thomas},
+ title = {Eraser: A Dynamic Data Race Detector for Multithreaded Programs},
+ journal = tocs,
+ volume = {15},
+ issue = {4},
+ month = {Nov.},
+ year = {1997},
+ pages = {391--411},
+}
+
+@inproceedings{Zhou2007,
+ author = {Zhou, Pin and Teodorescu, Radu and Zhou, Yuanyuan},
+ title = {{HARD}: Hardware-Assisted Lockset-based Race Detection},
+ booktitle = hpca07,
+ year = {2007},
+ pages = {121--132}
+}
+
+@article{Gait1986,
+ author = {Gait, Jason},
+ title = {A probe effect in concurrent programs},
+ journal = {Software Practice and Experience},
+ volume = {16},
+ issue = {3},
+ month = {March},
+ year = {1986},
+ pages = {225--233}
+}
+
+
+@inproceedings{Gupta2009,
+ author = {Gupta, Shantanu and Sultan, Florin and Cadambi, Srihari and Ivancic, Franjo and Rotteler, Martin},
+ title = {Using Hardware Transactional Memory for Data Race Detection},
+ booktitle = ipdps09,
+ year = {2009},
+ pages = {1--11},
+}
+
+@inproceedings{Kudrjavets2006,
+ author = {Kudrjavets, Gunnar and Nagappan, Nachiappan and Ball, Thomas},
+ title = {Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation},
+ booktitle = {Proceedings of the 17th International Symposium on Software Reliability Engineering},
+ year = {2006},
+ pages = {204--212}
+}
+
+@inproceedings{lockfreequeue,
+ author = {Michael, Maged M. and Scott, Michael L.},
+ title = {Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms},
+ booktitle = podc96,
+ year = {1996}
+}
+
+@inproceedings{testera,
+ author = {Marinov, Darko and Khurshid, Sarfraz},
+ title = {TestEra: A Novel Framework for Automated Testing of {Java} Programs},
+ booktitle = {Proceedings of the 16th IEEE International Conference on Automated Software Engineering},
+ year = {2001}
+}
+
+@article{alloy,
+ author = {Jackson, Daniel},
+ title = {Alloy: A Lightweight Object Modelling Notation},
+ journal = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
+ volume = {11},
+ issue = {2},
+ month = {April},
+ year = {2002},
+ pages = {256--290}
+}
+
+
+@InProceedings{ltl,
+ author = {Amir Pnueli},
+ title = {The Temporal Logic of Programs},
+ booktitle = {Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS)},
+ pages = {46--57},
+ Tyear = {1977}
+}
+
+@inproceedings{boehmpldi,
+ author = {Boehm, Hans J. and Adve, Sarita V.},
+ title = {Foundations of the {C++} concurrency memory model},
+ booktitle = pldi08,
+ year = {2008}
+}
+
+@Misc{cpp11spec,
+ title = {{ISO/IEC 14882:2011}, {Information} Technology -- Programming Languages -- {C++}},
+}
+
+@Misc{c11spec,
+ title = {{ISO/IEC 9899:2011}, {Information} Technology -- Programming Languages -- {C}},
+}
+
+@Misc{ieee1850,
+ title = {1850-2005 {IEEE} Standard for Property Specification Language ({PSL})},
+}
+
+@Misc{c1xspec,
+ title = {N1548: Programming languages -- {C}},
+ howpublished = {\url{http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1548.pdf}},
+ month = {December},
+ year = {2010},
+}
+
+@InProceedings{fadinew1,
+ author = {Lu, Shan and Park, Soyeon and Seo, Eunsoo and Zhou, Yuanyuan},
+ title = {Learning from Mistakes -- A Comprehensive Study on Real World Concurrency Bug Characteristics},
+ booktitle = pldi08,
+ year = {2008}
+}
+
+
+@Article{fadinew2,
+ author = {Netzer, Robert H. B. and Miller, Barton P.},
+ title = {What are Race Conditions?: Some Issues and Formalizations},
+ journal = {ACM Letters on Programming Languages and Systems},
+ year = {1992},
+ volume = {1},
+ number = {1},
+ pages = {74--88},
+ month = {March}
+}
+
+@InProceedings{fadinew3,
+ author = {Jinpeng Wei and Carlton Pu},
+ title = {Multiprocessors May Reduce System Dependability under File-based Race Condition Attacks},
+ booktitle = {Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks},
+ year = {2007}
+}
+
+@Article{rcu,
+ author = {Mathie Desnoyers and Paul E McKenney and Alan S Stern and Michel R Dagenais and Jonathan Walpole},
+ title = {User-Level Implementations of Read-Copy Update},
+ journal = tpds,
+ year = {2011}
+}
+
+@InProceedings{crugiso,
+ author = {Guoliang Jin and Aditya Thakur and Ben Liblit and
+ Shan Lu},
+ title = {Instrumentation and Sampling Strategies for
+ {Cooperative} {Concurrency} {Bug} {Isolation}},
+ booktitle = oopsla10,
+ year = 2010
+}
+
+@inproceedings{incrementalhashing,
+ author = {Nguyen, Viet Yen and Ruys, Theo C.},
+ title = {Incremental Hashing for {SPIN}},
+ booktitle = spin08,
+ year = {2008}
+}
+
+@inproceedings{racetrack,
+ author = {Yu, Yuan and Rodeheffer, Tom and Chen, Wei},
+ title = {RaceTrack: Efficient Detection of Data Race Conditions via Adaptive Tracking},
+ booktitle = sosp05,
+ year = {2005}
+}
+
+
+@inproceedings{nitpicking,
+ author = {Blanchette, Jasmin Christian and Weber, Tjark and Batty, Mark and Owens, Scott and Sarkar, Susmit},
+ title = {Nitpicking {C++} concurrency},
+ booktitle = ppdp11,
+ year = {2011}
+}
+
+
+@inproceedings{c11popl,
+ author = {Batty, Mark and Owens, Scott and Sarkar, Susmit and Sewell, Peter and Weber, Tjark},
+ title = {Mathematizing {C++} Concurrency},
+ booktitle = popl11,
+ year = {2011}
+}
+
+@inproceedings{fairstateless,
+ author = {Musuvathi, Madanlal and Qadeer, Shaz},
+ title = {Fair stateless model checking},
+ booktitle = pldi08,
+ year = {2008}
+}
+
+@Misc{javaConcurrentHashMap,
+ author = {Doug Lea},
+ title = {util.concurrent.{ConcurrentHashMap} in java.util.concurrent the {Java Concurrency Package}},
+ howpublished = {\url{http://docs.oracle.com/javase/8/docs/api/java/util/concurrent/ConcurrentHashMap.html}}
+}
+
+@Misc{clickhashtable,
+ author = {Cliff Click},
+ title = {A Lock-Free Hash Table},
+ howpublished = {\url{http://www.azulsystems.com/events/javaone_2007/2007_LockFreeHash.pdf}},
+ month = {May},
+ year = {2007}
+}
+
+@inproceedings{racerx,
+ author = {Engler, Dawson and Ashcraft, Ken},
+ title = {{RacerX}: Effective, Static Detection of Race Conditions and Deadlocks},
+ booktitle = sosp03,
+ year = {2003}
+}
+
+@inproceedings{conflictexceptions,
+ author = {Lucia, Brandon and Ceze, Luis and Strauss, Karin and Qadeer, Shaz and Boehm, Hans},
+ title = {Conflict Exceptions: Simplifying Concurrent Language Semantics with Precise Hardware Exceptions for Data-Races},
+ booktitle = isca10,
+ year = {2010}
+}
+
+
+@inproceedings{fasttrack,
+ author = {Flanagan, Cormac and Freund, Stephen N.},
+ title = {{FastTrack}: Efficient and Precise Dynamic Race Detection},
+ booktitle = pldi09,
+ year = {2009}
+}
+
+
+@inproceedings{goldilocks,
+ author = {Elmas, Tayfun and Qadeer, Shaz and Tasiran, Serdar},
+ title = {Goldilocks: A Race and Transaction-Aware {Java} Runtime},
+ booktitle = pldi07,
+ year = {2007}
+}
+
+@inproceedings{boyapati,
+ author = {Chandrasekhar Boyapati and Robert Lee and Martin Rinard},
+ title = {{Ownership Types for Safe Programming: Preventing Data Races and Deadlocks}},
+ booktitle = oopsla02,
+ year = {2002}
+ }
+
+
+@Misc{relacy,
+ author = {Dmitriy Vyukov},
+ title = {Relacy Race Detector},
+ howpublished = {\url{http://relacy.sourceforge.net/}},
+ month = {2011},
+ year = {Oct.}
+}
+
+@Book{spinmodel,
+ author = {Gerard J. Holzmann},
+ title = {The {SPIN} Model Checker: Primer and Reference Manual},
+ publisher = {Addison-Wesley Professional},
+ year = {2003},
+ edition = {1st}
+}
+
+@Book{multiprocessorprogramming,
+ author = {Maurice Herlihy and Nir Shavit},
+ title = {The Art of Multiprocessor Programming},
+ publisher = {Morgan Kaufmamn},
+ year = {2012},
+ edition = {Revised 1st}
+}
+
+@InProceedings{dpor,
+ author = {Cormac Flanagan and Patrice Godefroid},
+ title = {Dynamic Partial-Order Reduction for Model Checking Software},
+ booktitle = popl05,
+ month = {Jan.},
+ year = {2005}
+}
+
+@Article{shavitcacm,
+ author = {Nir Shavit},
+ title = {Data Structures in the Multicore Age},
+ journal = cacm,
+ year = {2011},
+ volume = {54},
+ number = {3},
+ month = {March}
+}
+% pages = {76--84},
+
+@inproceedings{chess,
+ author = {Madanlal Musuvathi and Shaz Qadeer and Piramanayagam Arumuga Nainar and Thomas Ball and Gerard Basler and Iulian Neamtiu},
+ title = {Finding and Reproducing {Heisenbugs} in Concurrent Programs},
+ year = {2008},
+ booktitle=osdi08
+}
+
+
+@inproceedings{lineup,
+ author = {Burckhardt, Sebastian and Dern, Chris and Musuvathi, Madanlal and Tan, Roy},
+ title = {Line-up: A Complete and Automatic Linearizability Checker},
+ booktitle = pldi10,
+ year = {2010}
+}
+
+@inproceedings{berger-grace-09,
+ author = {Berger, Emery D. and Yang, Ting and Liu, Tongping and Novark, Gene},
+ title = {Grace: Safe multithreaded programming for {C}/{C}++},
+ booktitle = oopsla09,
+ year = {2009},
+}
+
+@INPROCEEDINGS{charisma,
+author = {Chao Huang and Laxmikant V. Kale},
+title = {Charisma: Orchestrating Migratable Parallel Objects},
+booktitle = hpdc07,
+year = {2007}
+}
+
+
+@inproceedings{ding-bop-07,
+ author = {Ding, Chen and Shen, Xipeng and Kelsey, Kirk and Tice, Chris and Huang, Ruke and Zhang, Chengliang},
+ title = {Software behavior oriented parallelization},
+ booktitle = pldi07,
+ year = {2007},
+}
+
+@Misc{tilepro64,
+ key = {tilera},
+ title = {TILEPro64 Processor},
+ howpublished = {\url{http://tilera.com/products/processors/TILEPRO64}},
+ month = {December},
+ year = {2010}
+}
+
+@Misc{magnycour,
+ key = {amd},
+ title = {{AMD} {Opteron} 6000 Series Platform},
+ howpublished = {\url{http://www.amd.com/us/products/server/processors/6000-series-platform/pages/6000-series-platform.aspx}},
+ month = {December},
+ year = {2010}
+}
+
+@inproceedings{delaunay,
+ author = {Guibas, Leonidas J. and Knuth, Donald E. and Sharir, Micha},
+ title = {Randomized Incremental Construction of {Delaunay} and {Voronoi} Diagrams},
+ booktitle = {Proceedings of the Seventeenth International Colloquium on Automata, Languages and Programming},
+ year = {1990},
+ location = {Warwick University, England},
+ pages = {414--431},
+ numpages = {18},
+ publisher = {Springer-Verlag New York, Inc.},
+ address = {New York, NY, USA},
+}
+
+@inproceedings{1000core,
+ author = {Borkar, Shekhar},
+ title = {Thousand Core Chips: A Technology Perspective},
+ booktitle = dac07,
+ year = {2007}
+ }
+
+@PhDThesis{r-cilk-98,
+ author = {Keith H. Randall},
+ title = {Cilk: Efficient Multithreaded Computing},
+ school = {Massachusetts Institute of Technology},
+ year = 1998,
+}
+
+@InProceedings{dll-jcilk-05,
+ author = {John S. Danaher and I-Ting Angelina Lee and Charles E. Leiserson},
+ title = {The {JCilk} Language for Multithreaded Computing},
+ booktitle = scool05,
+ year = 2005,
+}
+
+@inproceedings{java-grande,
+ author = {Smith, L. A. and Bull, J. M. and Obdrz\'{a}lek, J.},
+ title = {A Parallel {J}ava {G}rande Benchmark Suite},
+ booktitle = sc01,
+ year = {2001}
+}
+
+@inproceedings{spin-commit-atomicity,
+ author = {Flanagan, Cormac},
+ title = {Verifying Commit-Atomicity using Model-Checking},
+ booktitle = spin04,
+ year = {2004}
+}
+
+@Article{linearizableref,
+ author = {Maurice Herlihy and Jeannette Wing},
+ title = {Linearizability: a correctness condition for concurrent objects},
+ journal = {ACM Transactions on Programming Languages and Systems},
+ year = {1990},
+ volume = {12},
+ number = {3},
+ pages = {463-492},
+ month = {July}
+}
+
+@Article{refinement-mapping,
+ author = {Abadi, Martine and Lamport, Leslie},
+ title = {The existence of Refinement Mapping},
+ journal = {Theoretical Computer Science},
+ year = {1991},
+ volume = {82},
+ number = {2},
+ pages = {253-284},
+ month = {May}
+}
+
+@inproceedings{abstraction-linearizability,
+ author = {Amit, D. and Rinetzky, N. and Reps, T. and Sagiv, M. and Yahav, E. },
+ title = {Comparison under Abstraction for Verifying Linearizability},
+ booktitle = cav07,
+ year = {2007}
+}
+
+@inproceedings{formal-verification-set,
+ author = {Colvin, R. and Groves, L. and Luchangco, V. and Moir, M.},
+ title = {Formal Verification of a Lazy Concurrent List-Based Set Algorithm},
+ booktitle = cav06,
+ year = {2006}
+}
+
+@inproceedings{concurrit,
+ author = {Elmas, T. and Burnim, J. and Necula, G. and Sen, K.},
+ title = {{CONCURRIT}: A Domain Specific Language for Reproducing Concurrency Bugs},
+ booktitle = pldi13,
+ year = {2013}
+}
+
+@inproceedings{gambit,
+ author = {Coons, K. E. and Burckhardt, S. and Musuvathi, M.},
+ title = {{GAMBIT}: Effective Unit Testing for Concurrency Libraries},
+ booktitle = ppopp10,
+ year = {2010}
+}
+
+@inproceedings{memtest,
+ author = {Burnim, J. and Sen, K. and Stergiou, C.},
+ title = {Testing Concurrent Programs on Relaxed Memory Models},
+ booktitle = issta11,
+ year = {2011}
+}
+
+@inproceedings{ndetermin,
+ author = {Burnim, J. and Elmas, T. and Necula, G. and Sen, K.},
+ title = {{NDetermin}: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness},
+ booktitle = ppopp12,
+ year = {2012}
+}
+
+@inproceedings{vyrd,
+ author = {Elmas, T. and Tasiran, S. and Qadeer, S.},
+ title = {{VYRD}: VerifYing Concurrent Programs by Runtime Refinement-Violation Detection},
+ booktitle = pldi05,
+ year = {2005}
+}
+
+@inproceedings{thread-quantification,
+ author = {Berdine, J. and Lev-Ami, T. and Manivich, R. and Ramalingam, G. and Sagiv, M.},
+ title = {Thread Quantification for Concurrent Shape Analysis},
+ booktitle = cav08,
+ year = {2008}
+}
+
+@inproceedings{VechevMCLinear,
+ author = {Vechev, Martin and Yahav, Eran and Yorsh, Greta},
+ title = {Experience with Model Checking Linearizability},
+ booktitle = "International SPIN Workshop on Model Checking Software",
+ year = {2009}
+}
+
+@inproceedings{shape-value-abstraction,
+ author = {Vafeiadis, Viktor},
+ title = {Shape-Value Abstraction for Verifying Linearizability},
+ booktitle = vmcai09,
+ year = {2009}
+}
+
+@Article{test-verify-concurrent-objects,
+ author = {Wing, Jeannette M. and Gong, Chun},
+ title = {Testing and Verifying Concurrent Objects},
+ journal = {Journal of Parallel and Distributed Computing - Special issue on parallel I/O systems},
+ year = {1993},
+ volume = {17},
+ number = {1-2},
+ pages = {164-182},
+ month = {Jan./Feb.}
+}
+
+@inproceedings{stamp,
+ title = {{STAMP}: Stanford Transactional Applications for Multi-Processing},
+ author = {Cao Minh, Chi and Chung, JaeWoong and Kozyrakis, Christos and Olukotun, Kunle},
+ booktitle = iiswc08,
+ year = {2008}
+}
+
+@article{l-clocks,
+ author = {Lamport, Leslie},
+ title = {Time, clocks, and the ordering of events in a distributed system},
+ journal = cacm,
+ issue_date = {July 1978},
+ volume = {21},
+ number = {7},
+ month = jul,
+ year = {1978},
+ pages = {558--565},
+ numpages = {8},
+ acmid = {359563},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {clock synchronization, computer networks, distributed systems, multiprocess systems},
+}
+
+@inproceedings{reverse-execution,
+ author = {Pan, Douglas Z. and Linton, Mark A.},
+ title = {Supporting reverse execution for parallel programs},
+ booktitle = padd88,
+ year = {1988}
+}
+
+@misc{linux,
+ title = {Linux Kernel v3.6},
+ howpublished = {\url{http://kernel.org/}},
+ month = {September},
+ year = {2012},
+}
+
+@inproceedings{mcs-lock,
+ author = {Mellor-Crummey, John M. and Scott, Michael L.},
+ title = {Synchronization without contention},
+ booktitle = asplos91,
+ year = {1991},
+ location = {Santa Clara, California, United States},
+ pages = {269--278},
+ numpages = {10},
+ acmid = {106999},
+}
+
+@misc{barrier-url,
+ howpublished = {\url{http://stackoverflow.com/questions/8115267/writing-a-spinning-thread-barrier-using-c11-atomics}},
+ note = {Oct. 2012},
+}
+
+@misc{mcs-lock-url,
+ howpublished = {\url{http://cbloomrants.blogspot.com/2011/07/07-18-11-mcs-list-based-lock\_18.html}},
+ note = {Oct. 2012},
+}
+
+@misc{spsc-queue-url,
+ howpublished = {\url{https://groups.google.com/forum/#!msg/comp.programming.threads/nSSFT9vKEe0/7eD3ioDg6nEJ}},
+ note = {Oct. 2012},
+}
+
+@misc{mpmc-queue-url,
+ howpublished = {\url{http://cbloomrants.blogspot.com/2011/07/07-30-11-look-at-some-bounded-queues.html}},
+ note = {Oct. 2012},
+}
+
+@misc{dekker-url,
+ howpublished = {\url{http://www.justsoftwaresolutions.co.uk/threading/}},
+ note = {Dec. 2012},
+}
projects / cdsspec-compiler.git / blobdiff