Current Research in Programming Languages and Compilers
Reading GroupOrganization
When | Wednesdays, 12-14 c.t. |
Where | E1 3, Room 401 |
Start | 2010-04-15 |
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