Current Research in Programming Languages and Compilers

Organization

If you want to participate, please register with Ralf Karrenberg until 2010-03-31.

Modus Operandi

• Informal meeting
• Every meeting, a recent research paper is presented and discussed
• Use the black board. No slides necessary
• Every student participating obtains 2 credit points (free section) iff he/she misses at most two meetings and presents at least one paper

Papers

• 2010-04-21: Complete Removal of Redundant Expressions
• 2010-04-28: Making Context-sensitive Points-to Analysis Practical for the Real World
• 2010-05-05: Cloning-based context-sensitive pointer alias analysis using binary decision diagrams
• 2010-05-12: Dataflow Analysis of Array and Scalar References
• 2010-05-19: Liquid Types
• 2010-05-26: Z-Rays: Divide Arrays and Conquer Speed and Flexibility
• 2010-06-02: Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance
• 2010-06-09: Equality Saturation: a new Approach to Optimization
• 2010-06-16: Perflint: A Context Sensitive Performance Advisor for C++ Programs
• 2010-06-23: Optimizing Stream Programs Using Linear State Space Analysis
• 2010-07-07: Compositional shape analysis by means of bi-abduction
• 2010-07-21: Snugglebug: A Powerful Approach To Weakest Preconditions