| 2008 | ||
|---|---|---|
| 4 | Jacques Carette, Spencer Smith, John McCutchan, Christopher Kumar Anand, Alexandre Korobkine: Case Studies in Model Manipulation for Scientific Computing. AISC/MKM/Calculemus 2008: 24-37 | |
| 2007 | ||
| 3 | Christopher Kumar Anand, Wolfram Kahl: Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code. AGTIVE 2007: 217-232 | |
| 2 | Christopher Kumar Anand, Wolfram Kahl: MultiLoop: efficient software pipelining for modern hardware. CASCON 2007: 260-263 | |
| 2005 | ||
| 1 | Wolfram Kahl, Christopher Kumar Anand, Jacques Carette: Control-Flow Semantics for Assembly-Level Data-Flow Graphs. RelMiCS 2005: 147-160 | |
| 1 | Jacques Carette | [1] [4] |
| 2 | Wolfram Kahl | [1] [2] [3] |
| 3 | Alexandre Korobkine | [4] |
| 4 | John McCutchan | [4] |
| 5 | Spencer Smith | [4] |