Content

• Research Interests
  
• Current Projects
  
• Teachings
  
• Doctoral Thesis
  
• All Publications

Dr. Armin Größlinger

• Loop parallelization just in time
• Loop parallelization in the polyhedron model and in more general models
• Domain-specific languages and optimization
• Virtual machines
• Compilation and optimization techniques for general-purpose GPU computing (GPGPU)

• PolyJIT, just in time polyhedral loop parallelization
• ExaStencils, advanced stencil-code engineering
• Polly, a Polyhedral optimization framework for LLVM
• CADGen, a loop code generator for semi-algebraic iteration sets (i.e., iteration sets bounded by polynomials in the variables and parameters) based on cylindrical algebraic decomposition.

• IEEE Cluster 2018 program committee member
• PDP 2014, 2016, 2017 program committee member
• DLMCS 2016 program committee member
• HiStencils 2014-16 program co-chair
• IMPACT 2012, 2014, 2015, 2017, 2021 program committe member
• SCOPES 2014, 2016, 2017, 2020, 2021 technical program committee member
• M-SCOPES 2013 program committee member
• DATE 2013 member of the Technical Program Committee for the Real-Time, Networked and Dependable Systems (E1) Track
• IMPACT 2013 program co-chair

• Siehe Stud.IP

• Armin Größlinger. The Challenges of Non-linear Parameters and Variables in Automatic Loop Parallelisation. Doctoral thesis, University of Passau, December 2009. Slides of the defense ("Rigorosum"): rigorosum-slides.pdf

• 2011 Preis für gute Lehre der Universität Passau, gestiftet von der Sparda-Bank Ostbayern e.G.
  
• 2010 Dissertationspreis der CommuniGate Kommunikationsservice GmbH
  

• Peter Faber and Armin Größlinger. A Comparison of GPGPU Computing Frameworks on Embedded Systems. IFAC-PapersOnLine, 48(4):240–245, 2015. 13th IFAC and IEEE Conference on Programmable Devices and Embedded Systems (PDeS) 2015.
   
• Christian Lengauer, Sven Apel, Matthias Bolten, Armin Größlinger, Frank Hannig, Harald Köstler, Ulrich Rüde, Jürgen Teich, Alexander Grebhahn, Stefan Kronawitter, Sebastian Kuckuk, Hannah Rittich, and Christian Schmitt. ExaStencils: Advanced Stencil-Code Engineering. In Luis Lopes et al., editors, Euro-Par 2014: Parallel Processing Workshops, Part II, volume 8806 of Lecture Notes in Computer Science, pages 553–564. Springer, 2014.
   
• Armin Größlinger and Harald Köstler. Guest Editors' Note: Special Issue On High-Performance Stencil Computations. Parallel Processing Letters, 24(3):Article 1042002, 1 page, September 2014.
   
• Christian Lengauer, Sven Apel, Matthias Bolten, Armin Größlinger, Frank Hannig, Harald Köstler, Ulrich Rüde, Jürgen Teich, Alexander Grebhahn, Stefan Kronawitter, Sebastian Kuckuk, Hannah Rittich, and Christian Schmitt. ExaStencils: Advanced Stencil-Code Engineering – First Project Report. Technical Report MIP-1401, Department of Computer Science and Mathematics, University of Passau, June 2014. 12 pages.
   
• Sven Apel, Matthias Bolten, Armin Größlinger, Franz Hannig, Harald Köstler, Christian Lengauer, Ulrich Rüde, and Jürgen Teich. ExaStencils: Advanced Stencil-Code Engineering. inSiDE, 12(2):60–63, 2014.
   
• Andreas Simbürger and Armin Größlinger. On the Variety of Static Control Parts in Real-World Programs: from Affine via Multi-dimensional to Polynomial and Just-in-Time. In Sanjay Rajopadhye and Sven Verdoolaege, editors, Proceedings of the 4th International Workshop on Polyhedral Compilation Techniques (IMPACT), Vienna, Austria, January 2014. 10 pages.
   
• Andreas Simbürger, Sven Apel, Armin Größlinger, and Christian Lengauer. The Potential of Polyhedral Optimization: An Empirical Study. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 508–518. IEEE Computer Society, November 2013. Acceptance rate (full papers): 16% (51 / 317).
   
• Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Größlinger, and Dirk Beyer. Strategies for Product-Line Verification: Case Studies and Experiments. In Proceedings of the IEEE/ACM International Conference on Software Engineering (ICSE), pages 482–491. IEEE Computer Society, May 2013. Acceptance rate: 19% (85 / 461).
   
• Andreas Simbürger, Sven Apel, Armin Größlinger, and Christian Lengauer. The Potential of Polyhedral Optimization. Technical Report MIP-1301, Department of Informatics and Mathematics, University of Passau, March 2013. 10 pages.
   
• Armin Größlinger and Louis-Noël Pouchet, editors. Proceedings of the 3rd International Workshop on Polyhedral Compilation Techniques, Berlin, Germany, January 2013. http://impact.gforge.inria.fr/impact2013/.
   
• Tobias Grosser, Armin Größlinger, and Christian Lengauer. Polly—Performing Polyhedral Optimizations on a Low-Level Intermediate Representation. Parallel Processing Letters, 22(4):Article 1250010, 28 pages, December 2012.
   
• Tobias Grosser, Hongbin Zheng, Ragesh Aloor, Andreas Simbürger, Armin Größlinger, and Louis-Noël Pouchet. Polly – Polyhedral Optimization in LLVM. In Christophe Alias and Cédric Bastoul, editors, Proceedings of the First International Workshop on Polyhedral Compilation Techniques (IMPACT). INRIA Grenoble Rhône-Alpes, April 2011. 6 pages.
   
• Soufiane Baghdadi, Armin Größlinger, and Albert Cohen. Putting Automatic Polyhedral Compilation for GPGPU to Work. In Proc. of Compilers for Parallel Computers (CPC), 2010.
   
• Sven Apel, Christian Kästner, Armin Größlinger, and Christian Lengauer. Type Safety for Feature-Oriented Product Lines. Automated Software Engineering, 17(3):251–300, September 2010.
   
• 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), volume 5501 of Lecture Notes in Computer Science, pages 236–250. Springer-Verlag, 2009.
   
• Sven Apel, Christian Kästner, Armin Größlinger, and Christian Lengauer. Type-Safe Feature-Oriented Product Lines. Computing Research Repository (CoRR), Number abs/1001.3604, December 2009.
   
• Armin Größlinger. The Challenges of Non-linear Parameters and Variables in Automatic Loop Parallelisation. doctoral thesis, Department of Informatics and Mathematics, University of Passau, December 2009.
   
• 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).
   
• 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.
   
• 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.
   
• 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 and Stefan Schuster. On Computing Solutions of Linear Diophantine Equations with One Non-linear Parameter. In Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008), pages 69–76. IEEE Computer Society Press, September 2008.
   
• 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.
   
• 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. 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.
   
• 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.
   
• Armin Größlinger. Extending the Polyhedron Model to Inequality Systems with Non-linear Parameters using Quantifier Elimination. Master's thesis, Department of Informatics and Mathematics, University of Passau, 2003.