2008 | ||
---|---|---|
4 | EE | 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 | EE | Christopher Kumar Anand, Wolfram Kahl: Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code. AGTIVE 2007: 217-232 |
2 | EE | Christopher Kumar Anand, Wolfram Kahl: MultiLoop: efficient software pipelining for modern hardware. CASCON 2007: 260-263 |
2005 | ||
1 | EE | 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] |