Abstract is missing.
- Some resources for teaching concurrencyGanesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni. [doi]
- An annotation assistant for interactive debugging of programs with common synchronization idiomsTayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer. [doi]
- A proposal of operation history management system for source-to-source optimization of HPC programsYasushi Negishi, Hiroki Murata, Takao Moriyama. [doi]
- Forcing small models of conditions on program interleaving for detection of concurrent bugsEhud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi. [doi]
- SideTrack: generalizing dynamic atomicity analysisJaeheon Yi, Caitlin Sadowski, Cormac Flanagan. [doi]
- Unit testing for multi-threaded Java programsGabor Szeder. [doi]
- MulticoreSDK: a practical and efficient data race detector for real-world applicationsYao Qi, Raja Das, Zhi Da Luo, Martin Trotter. [doi]
- Understanding the behavior of transactional memory applicationsJoão Lourenço, Ricardo J. Dias, João LuÃs, Miguel Rebelo, Vasco Pessanha. [doi]
- Pattern-driven deadlock avoidanceFancong Zeng. [doi]
- Run-time conformance checking of mobile and distributed systems using executable modelsAhmad A. Saifan, Ernesto Posse, Jürgen Dingel. [doi]
- Clash of the Titans: tools and techniques for hunting bugs in concurrent programsNeha Rungta, Eric G. Mercer. [doi]