UniLogo    FMI    Lehrstuhl für Programmierung
 

Content

  • Research Interests
  • Current Projects
  • Teachings
  • All Publications
  • Armin Größlinger


    University of Passau
    Department of Informatics and Mathematics
    Programming Group
    Parcel address:   Universität Passau, Innstraße 33, 94032 Passau, Room 103
    Letter address:   Universität Passau, D-94030 Passau
    Phone:   +49(0)851/509-3073
    Fax:   +49(0)851/509-3092
    E-mail:   armin.groesslinger@uni-passau.de
    OpenPGP key:   groesslinger-pubkey.asc

    Research Interests:
    • Loop parallelization in the polyhedron model
    Current Projects:
    Teachings (in German):
    All Publications:
    • Sven Apel, Christian Kästner, Armin Größlinger, and Christian Lengauer. Feature (De)composition in Functional Programming. In Proceedings of the International Conference on Software Composition (SC), number 5634 in Lecture Notes in Computer Science, pages 9–26. Springer-Verlag, July 2009. Acceptance rate: 33% (10 / 30).
       
    • Sven Apel, Christian Kästner, Armin Größlinger, and Christian Lengauer. Type-Safe Feature-Oriented Product Lines. Technical Report MIP-0909, Department of Informatics and Mathematics, University of Passau, June 2009.
       
    • Armin Größlinger and Stefan Schuster. On Computing Solutions of Linear Diophantine Equations with One Non-linear Parameter. In Proceedings of SYNASC 2008, 2009. To appear.
       
    • Armin Größlinger. Precise Management of Scratchpad Memories for Localising Array Accesses in Scientific Codes. In O. de Moor and M. Schwartzbach, editors, Proceedings of the International Conference on Compiler Construction (CC 2009), number 5501 in Lecture Notes in Computer Science, pages 236–250. Springer-Verlag, 2009.
       
    • Sven Apel, Christian Kästner, Armin Größlinger, and Christian Lengauer. On Feature Orientation and Functional Programming. Technical Report MIP-0806, Department of Informatics and Mathematics, University of Passau, November 2008.
       
    • Armin Größlinger. Scanning Index Sets with Polynomial Bounds Using Cylindrical Algebraic Decomposition. Technical Report MIP-0803, Fakultät für Informatik und Mathematik, Universität Passau, 2008.
       
    • Armin Größlinger. Some Experiments on Tiling Loop Programs for Shared-Memory Multicore Architectures. In Albert Cohen, María J. Garzarán, Christian Lengauer, and Samuel P. Midkiff, editors, Programming Models for Ubiquitous Parallelism, number 07361 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2008. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany.
       
    • Stefan Schuster and Armin Größlinger. On Computing Solutions of Linear Diophantine Equations with One Non-linear Parameter. Extended abstract presented at MACIS 2007: http://www-spiral.lip6.fr/MACIS2007/schedule.html (unpublished), December 2007.
       
    • Armin Größlinger, Martin Griebl, and Christian Lengauer. Quantifier Elimination in Automatic Loop Parallelization. Journal of Symbolic Computation, 41(11):1206–1221, November 2006. doi:10.1016/j.jsc.2005.09.012.
       
    • Armin Größlinger, Martin Griebl, and Christian Lengauer. Quantifier Elimination in Automatic Loop Parallelization. In Andreas Dolzmann, Andreas Seidl, and Thomas Sturm, editors, Algorithmic Algebra and Logic (A3L 2005), pages 123–128. Books on Demand GmbH, Norderstedt, April 2005.
       
    • Martin Griebl, Paul Feautrier, and Armin Größlinger. Forward Communication Only Placements and their Use for Parallel Program Construction. In Languages and Compilers for Parallel Computing, 15th International Workshop, LCPC'02. Revised Papers, Lecture Notes in Computer Science 2481, pages 16–30. Springer-Verlag, 2005. doi:10.1007/11596110_2.
       
    • Armin Größlinger, Martin Griebl, and Christian Lengauer. Introducing Non-linear Parameters to the Polyhedron Model. In Michael Gerndt and Edmond Kereku, editors, Proceedings of the 11th Workshop on Compilers for Parallel Computers (CPC 2004), Research Report Series LRR-TUM, pages 1–12. Technische Universität München, 2004.