| Date | Paper | Presenter |
|---|
| Sept 27 | A new explanation of the glitch phenomenon by Anderson and Gouda |
| A methodology for creating fast wait-free data structures by Kogan and Petrank | Mingyuan Xia |
| Oct 2 | FastTrack: efficient and precise dynamic race detection by Flanagan and Freund | |
| Adversarial memory for detecting destructive races by Flanagan and Freund | Simon Lemay |
| Race detection for web applications by Petrov, Vechev, Sridharan, and Dolby | Emil Dafinov |
| Oct 4 | Scalable and precise dynamic datarace detection for structured parallelism by Raman, Zhao, Sarkar, Vechev, and Yahav | Geoff King |
| Shared Memory Consistency Models: A Tutorial by Adve and Gharachorloo | Louis-Philippe Thibodeau-Bellemare |
| A Theory of Memory Models by Saraswat, Jagadeesan, Michael, and von Praun | |
| Oct 9 | The Java memory model by Manson, Pugh, Adve |
| On Validity of Program Transformations in the Java Memory Model by Ševčík and Aspinall |
| Foundations of the C++ concurrency memory model by Boehm and Adve |
| Oct 11 | Compiler techniques for high performance sequentially consistent java programs by Sura, Fang, Wong, Midkiff, Lee, Padua |
| A case for an SC-preserving compiler by Marino, Singh, Millstein, Musuvathi, and Narayanasamy |
| Safe optimisations for shared-memory concurrent programs by Ševčík |
| Extended sequential reasoning for data-race-free programs by Effinger-Dean, Boehm, Chakrabarti, Joisha | Simon Lemay |
| Oct 16 | Complete formal specification of the OpenMP memory model by Bronevetsky and de Supinski |
| Incorporation of OpenMP memory consistency into conventional dataflow analysis by Basumallik and Eigenmann |
| JaMP: an implementation of OpenMP for a Java DSM: Research Articles by Klemm, Bezold, Veldema, and Philippsen |
| JOMP—an OpenMP-like interface for Java by Bull and Kambites |
| Oct 18 | Introduction to UPC and Language Specification by Carlson, Draper, Culler, Yelick, Brooks, and Warren | Jayanth Krishnamurthy |
| Making Sequential Consistency Practical in Titanium by Kamil, Su, and Yelick |
| A New Vision for Coarray Fortran by Mellor-Crummey, Adhianto, Scherer III, and Jin |
| Oct 23 | X10: an object-oriented approach to non-uniform cluster computing by Charles, Grothoff, Saraswat, Donawa, Kielstra, Ebcioglu, von Praun, and Sarkar | Simon Lemay |
| Compiling X10 to Java by Takeuchi, Makino, Kawachiya, Horii, Suzumura, Suganuma, and Onodera |
| Parallel Programmability and the Chapel Language by Chamberlain, Callahan, and Zima |
| Oct 25 | Enabling primitives for compiling parallel languages by Goldstein, Schauser, and Culler |
| Using memory mapping to support cactus stacks in work-stealing runtime systems by Lee, Boyd-Wickizer, Huang, and Leiserson |
| Oct 30 | Component-Based Lock Allocation by Halpert, Pickett, and Verbrugge | Jayanth Krishnamurthy |
| Keep off the grass: locking the right path for atomicity by Cunningham, Gudka, and Eisenbach | Louis-Philippe Thibodeau-Bellemare |
| Inferring locks for atomic sections by Cherem, Chilimbi, and Gulwani | |
| Nov 1 | Transactional memory: architectural support for lock-free data structures by Herlihy and Moss | Emil Dafinov |
| Design and implementation of transactional constructs for C/C++ by Ni, Welc, Adl-Tabatabai, Bach, Berkowits, Cownie, Geva, Kozhukow, Narayanaswamy, Olivier, Preis, Saha, Tal, and Tian |
| Transactional memory with strong atomicity using off-the-shelf memory protection hardware by Abadi, Harris, and Mehrara |
|
| Nov 8 | The Atomos transactional programming language by Carlstrom, McDonald, Chafi, Chung, Minh, Kozyrakis, and Olukotun | Geoff King |
| The Multiscalar Architecture by Franklin | Jayanth Krishnamurthy |
| Exploiting Method-Level Parallelism in Single-Threaded Java Programs by Chen and Olukotun | |
| Nov 13 | The Jrpm system for dynamically parallelizing Java programs by Chen and Olukotun | Mingyuan Xia |
| The STAMPede approach to thread-level speculation by Steffan, Colohan, Zhai, and Mowry |
| Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices by Quiñones, Madriles, Sánchez, Marcuello, González, and Tullsen |
| Nov 15 | Guest speakers: The Unique Challenge of Producing Compilers for GPUs, Andrew Richards and Daan Nijs from Codeplay | |
| Nov 20 | SableSpMT: a software framework for analysing speculative multithreading in Java by Pickett and Verbrugge |
| Adaptive Software Return Value Prediction by Pickett, Verbrugge, and Kielstra |
| The role of return value prediction in exploiting speculative method-level parallelism by Hu, Bhargava, and John | Louis-Philippe Thibodeau-Bellemare |
| Tradeoffs in buffering speculative memory state for thread-level speculation in multiprocessors by Garzarán, Prvulovic, Llabería, Viñals, Rauchwerger, and Torrellas |
| A cost-driven compilation framework for speculative parallelization of sequential programs by Du, Lim, Li, Yang, Zhao, and Ngai |
| A compiler cost model for speculative parallelization by Dou and Cintra, |
| Loop Selection for Thread-Level Speculation by Wang, Dai, Yellajyosula, Zhai, and Yew |
| Heuristics for Profile-Driven Method-Level Speculative Parallelization by Whaley and Kozyrakis |
| Nov 22 | Software behavior oriented parallelization by Ding, Shen, Kelsey, Tice, Huang, and Zhang | Geoff King |
| Safe futures for Java by Welc, Jagannathan, and Hosking | |
| Optimistic parallelism requires abstractions by Kulkarni, Pingali, Walter, Ramanarayanan, Bala, and Chew | Emil Dafinov |
| Nov 27 | POSH: a TLS compiler that exploits program structure by Liu, Tuck, Ceze, Ahn, Strauss, Renau, and Torrellas |
| Dynamic parallelization of JavaScript applications using an ultra-lightweight speculation mechanism by Mehrara, Hsu, Samadi, and Mahlke |
| Structure-driven optimizations for amorphous data-parallel programs by Méndez-Lojo, Nguyen, Prountzos, Sui, Hassaan, Kulkarni, Burtscher, and Pingali |
| Dthreads: Efficient Deterministic Multithreading by Liu, Curtsinger, and Berger | Mingyuan Xia |
| Nov 29 | How much parallelism is there in irregular applications? by Kulkarni, Burtscher, Inkulu, Pingali, and Casçaval |
| In Search of Speculative Thread-Level Parallelism by Oplinger, Heine, and Lam |
| Limit Study of JavaScript Parallelism by Fortuna, Anderson, Ceze, and Eggers |