Dr.-Ing. Andreas Zwinkau

	Contact	IPD Prof. Snelting Room 030, Building 50.34 Am Fasanengarten 5 76131 Karlsruhe Germany
	Consultation Hours: no

Also see my personal website

Research interests

Compiler, language design, distributed and parallel computing, graph transformation

Board member of the doctoral convent of the KIT faculty for Computer Science

Advised thesis projects

finished

• Invasive Rust, bachelor thesis
• FirmSmith: test generation for compiler optimizations, bachelor thesis
• Better Benchmarking, bachelor thesis
• Jump Threading in LibFirm, masters thesis
• Invasive Distributed Job Queue Framework, masters thesis
• Invasive SSCA1 Benchmark, bachelor thesis
• Communicating Thread Pools, bachelor thesis
• Optimization of Dynamic Dispatch via Rapid Type Analysis, study thesis
• Improving the libFirm Inlining Optimization, bachelor thesis
• Implementing a Distributed Breadth-First Search in X10, bachelor thesis
• Representing alias information in the program graph structure, Diploma thesis
• Bit-size Minimization by Data Flow Analysis, study thesis
• AMD64 Backend, study thesis

Publications

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

Projects

• InvasIC
• libFirm

Courses

• Laboratory: Programm analysis via clicking , Sommersemester 2017
• Lecture: Software Engineering Practice , Wintersemester 2016/2017
• Laboratory: Automatic Team Scheduling for PSE , Wintersemester 2016/2017
• Lecture: Language Technology and Compilers , Sommersemester 2016, Beste Wahlveranstaltung
• Lecture: Software Engineering Practice , Sommersemester 2016
• Lecture: Software Engineering Practice , Sommersemester 2015
• Project Laboratory: PSE: Lambda the Game , Wintersemester 2014/2015
• Project Laboratory: PSE: Sudoku , Sommersemester 2014
• Project Laboratory: PSE: Alligators teach Lambda , Wintersemester 2013/2014
• Laboratory: Compilerpraktikum , Wintersemester 2012/2013
• Lecture: Language Technology and Compiler , Sommersemester 2012
• Lecture: Programming Paradigms , Wintersemester 2011/2012
• Common Excercises: Programming Paradigms - Exercises , Wintersemester 2010/2011
• Seminary: Languages for Parallel Programming , Sommersemester 2010