PL/Compilers reading group. Spring 2014

February 12. Presenter: Aurangzeb

• * Blackburn and McKinley,"Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance." PLDI, 2008
• Paul Wilson, "Uniprocessor Garbage Collection Techniques." LNCS, 1992.

February 19. Presenter: Jad Hbeika

• * Drechsler and Stadel, "A variation of Knoop, Rüthing, and Steffen's Lazy Code Motion." SIGPLAN Notices 28(5), 1993
• Simpler presentation of same ideas.

February 26. Presenters: Tsung Tai Yeh, Nouraldin Jaber

• * Curtsinger and Berger, "STABILIZER: statistically sound performance evaluation." ASPLOS, 2013
• Mytkowicz et al. Producing wrong data without doing anything obviously wrong!. ASPLOS, 2009

March 5. Presenters: Jiachen Xue, Amit Sabne

• * Sura et al., "Compiler Techniques for High Performance Sequentially Consistent Java Programs." PPoPP, 2005
• Krishnamurthy and Yelick, "Optimizing Parallel SPMD Programs" LCPC, 1995
• Shasha and Snir, "Efficient and correct execution of parallel programs that share memory." TOPLAS, 1988

March 12. Presenters: Abhisek Pan, Nabeel AlSaber

• * Marino et al., "DRFx: A Simple and Efficient Memory Model for Concurrent Programming Languages." PLDI, 2010
• Adve and Boehm, "Memory Models: A Case for Rethinking Parallel Languages and Hardware" CACM, 2010

March 26. Presenter: Hyun Dok Cho

• * Savage et al., "Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs." SOSP, 1997
• * Engler and Ashcraft, "RacerX: effective, static detection of race conditions and deadlocks" SOSP, 2003
• * Elmas et al., "Goldilocks: a race and transaction-aware java runtime" PLDI, 2007

April 2. Presenter: Hamza Bin Sohail

• * Solar-Lezama et al., "Sketching concurrent data structures." PLDI, 2008
• * Solar-Lezama et al., "Programming by sketching for bit-streaming programs" PLDI, 2006
• * Gulwani, "Automating String Processing in Spreadsheets using Input-Output Examples" POPL, 2011

April 9. Presenters: Yusheng Weijiang, Jianqiao Liu

• * Ghiya and Hendren, "Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C" POPL, 1996
• * Sagiv, Reps and Wilhelm, "Solving shape-analysis problems in languages with destructive updating" TOPLAS 1998.

April 16. Presenters: Shruthi Balakrishna and Nikhil Hegde

• * Ghiya et al., "Detecting Parallelism in C Programs with Recursive Data Structures." CC, 1998
• * Rinard and Diniz, "Commutativity analysis: a new analysis technique for parallelizing compilers," TOPLAS, 1997

April 23. Presenters: Hao Lin, Hasan Jamal

• * Mendez-Lojo et al., "Structure-driven Optimizations for Amorphous Data-Parallel Programs." PPoPP, 2010
• * Pingali et al., "The TAO of Parallelism in Algorithms," PLDI, 2011

April 30. Presenter: Fahed Jubair

• Papers TBD

May 7. Presenter: Chenguang Sun

• Papers TBD