Kontakt |
IPD Prof. Snelting Raum 030, Gebäude 50.34 Am Fasanengarten 5 76131 Karlsruhe Deutschland |
Sprechzeiten: no |
Siehe auch persönliche Website
Arbeitsgebiete
Compiler, Sprachdesign, Verteiltes und nebenläufiges Rechnen, Graphtransformation
Vorstandsmitglied des Doktorandenkonvent Informatik
Betreute Studien- und Abschlussarbeiten
abgeschlossen
- Invasives Rust, Bachelorarbeit
- FirmSmith: Testgenerierung für Compiler-Optimierungen, Bachelorarbeit
- Besser Benchmarken, Bachelorarbeit
- Jump Threading in LibFirm, Masterarbeit
- Invasives Verteiltes Job Queue Framework, Masterarbeit
- Invasiver SSCA1 Benchmark, Bachelorarbeit
- Kommunizierende Thread Pools, Bachelorarbeit
- Optimierung von Dynamic Dispatch mit Rapid Type Analysis, Studienarbeit
- Verbesserung der libFirm Inline-Optimierung, Bachelorarbeit
- Implementierung einer verteilten Breitensuche in X10, Bachelorarbeit
- Repräsentation von Alias-Information in der Programmgraphstruktur, Diplomarbeit
- Bitbreitenminimierung per Datenflussanalyse, Studienarbeit
- Entwurf und Implementierung eines AMD64 Backend, Studienarbeit
Veröffentlichungen
2018
-
Resource-aware Programming in a High-level Language -- Improved performance with manageable effort on clustered MPSoCs
April 2018 : A. Zwinkau
2016
-
An X10 Memory Model
Proceedings of the sixth ACM SIGPLAN X10 Workshop June 2016 : A. Zwinkau -
Invasive Computing for Timing-Predictable Stream Processing on MPSOCS
it -- Information Technology 2016, pp. 267--280 : S. Wildermann, M. Bader, L. Bauer, M. Damschen, D. Gabriel, M. Gerndt, M. Glaß, J. Henkel, J. Paul, A. Pöppl, S. Roloff, T. Schwarzer, G. Snelting, W. S. a
2015
-
Adaptive fault tolerance through invasive computing
Adaptive Hardware and Systems (AHS), 2015 NASA/ESA Conference on June 2015, pp. 1-8 : M. Witterauf, A. Tanase, J. Teich, V. Lari, A. Zwinkau, G. Snelting -
Cutting Out the Middleman: OS-Level Support for X10 Activities
Proceedings of the fifth ACM SIGPLAN X10 Workshop 2015, pp. 13--18 : M. Mohr, S. Buchwald, A. Zwinkau, C. Erhardt, B. Oechslein, J. Schedel, D. Lohmann -
Malleable Invasive Applications
Proceedings of the 8th Working Conference on Programming Languages (ATPS'15) 2015 (ATPS 2015) : S. Buchwald, M. Mohr, A. Zwinkau
2014
-
CAP: Communication Aware Programming
Design Automation Conference (DAC), 2014 51th ACM / EDAC / IEEE 2014 : J. Heisswolf, A. Zaib, A. Zwinkau, S. Kobbe, A. Weichslgartner, J. Teich, J. Henkel, G. Snelting, A. Herkersdorf, J. Becker -
Dynamic X10: Resource-Aware Programming for Higher Efficiency
Karlsruhe Reports in Informatics 2014 : M. Braun, S. Buchwald, M. Mohr, A. Zwinkau
2013
-
Invasive computing in HPC with X10
Proceedings of the third ACM SIGPLAN X10 Workshop 2013, pp. 12--19 : H. Bungartz, C. Riesinger, M. Schreiber, G. Snelting, A. Zwinkau -
Simple and Efficient Construction of Static Single Assignment Form
Compiler Construction 2013, pp. 102--122 (CC 2013) : M. Braun, S. Buchwald, S. Hack, R. Leißa, C. Mallon, A. Zwinkau -
InvadeX10 Documentation v0.5
Karlsruhe Reports in Informatics 2013 : A. Zwinkau, S. Buchwald, G. Snelting
2012
-
AutoTunium: An Evolutionary Tuner for General-Purpose Multicore Applications
2012 (ICPADS 2012) : A. Zwinkau, V. Pankratius -
An X10 Compiler for Invasive Architectures
Karlsruhe Reports in Informatics 2012 : M. Braun, S. Buchwald, M. Mohr, A. Zwinkau -
Resource Awareness for Efficiency in High-Level Programming Languages
Karlsruhe Reports in Informatics 2012 : A. Zwinkau
2011
-
Resource-aware programming and simulation of MPSoC architectures through extension of X10
Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems June 2011, pp. 48--55 (SCOPES 2011) : F. Hannig, S. Roloff, G. Snelting, J. Teich, A. Zwinkau -
SSA-Based Register Allocation with PBQP
Compiler Construction 2011, pp. 42--61 (CC '11) : S. Buchwald, A. Zwinkau, T. Bersch -
Firm---A Graph-Based Intermediate Representation
Karlsruhe Reports in Informatics 2011 : M. Braun, S. Buchwald, A. Zwinkau
2010
-
Instruction Selection by Graph Transformation
Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems October 2010, pp. 31--40 (CASES '10) : S. Buchwald, A. Zwinkau
2008
-
Befehlsauswahl auf expliziten Abhängigkeitsgraphen
December 2008 : S. Buchwald, A. Zwinkau
Projekte
Lehre
- Praktikum: Programmanalyse zum Durchklicken , Sommersemester 2017
- Vorlesung: Praxis der Softwareentwicklung , Wintersemester 2016/2017
- Praktikum: Automatische Teameinteilung für PSE , Wintersemester 2016/2017
- Vorlesung: Praxis der Softwareentwicklung , Sommersemester 2016
- Vorlesung: Sprachtechnologie und Compiler , Sommersemester 2016, Beste Wahlveranstaltung
- Vorlesung: Praxis der Softwareentwicklung , Sommersemester 2015
- Projektpraktikum: PSE: Lambda das Spiel , Wintersemester 2014/2015
- Projektpraktikum: PSE: Sudoku , Sommersemester 2014
- Projektpraktikum: PSE: Alligatoren lehren Lambda , Wintersemester 2013/2014
- Praktikum: Compilerpraktikum , Wintersemester 2012/2013
- Vorlesung: Sprachtechnologie und Compiler , Sommersemester 2012
- Vorlesung: Programmierparadigmen , Wintersemester 2011/2012
- Übung: Programmierparadigmen - Übungen , Wintersemester 2010/2011
- Seminar: Sprachen für Parallelprogrammierung , Sommersemester 2010