Martin Griebl

Armin Größlinger, Martin Griebl, Christian Lengauer: Quantifier elimination in automatic loop parallelization. J. Symb. Comput. 41(11): 1206-1221 (2006)

Michael Classen, Martin Griebl: Automatic code generation for distributed memory architectures in the polytope model. IPDPS 2006

Armin Größlinger, Martin Griebl, Christian Lengauer: Quantifier Elimination in Automatic Loop Parallelization. Algorithmic Algebra and Logic 2005: 123-128

Albert Cohen, Michael F. P. O'Boyle, Martin Griebl, José Moreira: Topic 4 - Compilers for High Performance. Euro-Par 2005: 323

Martin Griebl, Peter Faber, Christian Lengauer: Space-time mapping and tiling: a helpful combination. Concurrency and Computation: Practice and Experience 16(2-3): 221-246 (2004)

Peter Faber, Martin Griebl, Christian Lengauer: Replicated Placements in the Polyhedron Model. Euro-Par 2003: 303-308

Martin Griebl: Compilers for High Performance (Compilation and Parallelization Techniques). Euro-Par 2002: 253-254

Martin Griebl, Paul Feautrier, Armin Größlinger: Forward Communication Only Placements and Their Use for Parallel Program Construction. LCPC 2002: 16-30

Peter Faber, Martin Griebl, Christian Lengauer: Loop-Carried Code Placement. Euro-Par 2001: 230-234

Martin Griebl: On tiling space-time mapped loop nests. SPAA 2001: 322-323

Martin Griebl, Paul Feautrier, Christian Lengauer: Index Set Splitting. International Journal of Parallel Programming 28(6): 607-631 (2000)

Peter Faber, Martin Griebl, Christian Lengauer: Issues of the Automatic Generation of HPF Loop Programs. LCPC 2000: 359-362

Max Geigl, Martin Griebl, Christian Lengauer: Termination detection in parallel loop nests with while loops. Parallel Computing 25(12): 1489-1510 (1999)

Martin Griebl, Paul Feautrier, Christian Lengauer: On Index Set Splitting. IEEE PACT 1999: 274-282

Nils Ellmenreich, Christian Lengauer, Martin Griebl: Application of the Polytope Model to Functional Programs. LCPC 1999: 219-235

Jean-Francois Collard, Martin Griebl: A Precise Fixpoint Reaching Definition Analysis for Arrays. LCPC 1999: 286-302

Martin Griebl, Christian Lengauer, Sabine Wetzel: Code Generation in the Polytope Model. IEEE PACT 1998: 106-111

Jean-Francois Collard, Martin Griebl: Array Dataflow Analysis for Explicitly Parallel Programs. Parallel Processing Letters 7(2): 117-131 (1997)

Christian Lengauer, Martin Griebl, Sergei Gorlatch (Eds.): Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings. Lecture Notes in Computer Science 1300, Springer 1997, isbn 3-540-63440-1

Jean-Francois Collard, Martin Griebl: Array Dataflow Analysis for Explicitly Parallel Programs. Euro-Par, Vol. I 1996: 406-413

Martin Griebl, Christian Lengauer: Classifying Loops for Space-Time Mapping. Euro-Par, Vol. I 1996: 467-474

Martin Griebl, Christian Lengauer: The Loop Parallelizer LooPo-Announcement. LCPC 1996: 603-604

Martin Griebl, Christian Lengauer: A communication scheme for the distributed execution of loop nests with while loops. International Journal of Parallel Programming 23(5): 471-496 (1995)

Martin Griebl, Jean-Francois Collard: Generation of Synchronous Code for Automatic Parallelization of while Loops. Euro-Par 1995: 315-326

Martin Griebl, Christian Lengauer: On the Space-Time Mapping of While-Loops. Parallel Processing Letters 4: 221-232 (1994)

Martin Griebl, Christian Lengauer: On Scanning Space-Time Mapped While Loops. CONPAR 1994: 677-688