| |
Content
Research Interests
Current Projects
Teachings
All Publications
|
Armin Größlinger
| 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.
|