compilers.cs.uni-saarland.de
SSA Construction - Compiler Design Lab, Saarland University
http://compilers.cs.uni-saarland.de/projects/ssaconstr
Unix for Unix/Linux Beginners (in German). Simple and Efficient Construction of Static Single Assignment Form. We present a simple SSA construction algorithm, which allows. Simple and Efficient Construction of Static Single Assignment Form - CC 2013. Braun, M., Buchwald, S., Hack, S., Leißa, R., Mallon, C. and Zwinkau, A. Pages 102-122, Springer Berlin Heidelberg, 2013. [doi]. A C language family frontend for LLVM. Our patches to clang available in our Redmine repository. A C compiler using our technique.
compilers.cs.uni-saarland.de
Johannes Doerfert - Compiler Design Lab, Saarland University
http://compilers.cs.uni-saarland.de/people/doerfert
Unix for Unix/Linux Beginners (in German). Automatic and speculative parallelization. Generalized Task Parallism - TACO 2015. Streit, K., Hammacher, C., Doerfert, J., Hack, S. and Zeller, A. ACM Transactions on Architecture and Code Optimiziation. 12 (1), 2015. [bib]. Input Space Splitting for OpenCL - CC 2016. Moll, S., Doerfert, J. and Hack, S. Proceedings of the 25th International Conference on Compiler Construction. Pages 251–260, ACM, 2016. [doi]. Runtime Pointer Disambiguation - OOPSLA 2015. Confer...
compilers.cs.uni-saarland.de
Whole-Function Vectorization - Compiler Design Lab, Saarland University
http://compilers.cs.uni-saarland.de/projects/wfv
Unix for Unix/Linux Beginners (in German). Automatically transform arbitrary scalar functions into their SIMD equivalents. Integrate into any data-parallel language to exploit SIMD instruction sets. Implemented in LLVM: source-language and target-platform independent. We have successfully integrated libWFV into various applications, including our own shading system and OpenCL driver as well as commercial systems of industry partners. We have integrated libWFV into AnySL, a shading system for real-time ra...
compilers.cs.uni-saarland.de
Bachelor/Master Seminar - Compiler Design Lab, Saarland University
http://compilers.cs.uni-saarland.de/teaching/masterseminar
Unix for Unix/Linux Beginners (in German). In this seminar, members and guests of our group as well as students preparing a bachelor or master thesis in our group meet weekly to present their work. If you want to do a thesis in our group, you will have to attend this seminar. For UdS students: This seminar counts as the Bachelor/Masterseminar. Thursdays at 14:00 (sine tempore). Room 401, E1 3. Note that due to public holidays individual sessions may be scheduled to a different slot. The first time you s...
compilers.cs.uni-saarland.de
Teaching - Compiler Design Lab, Saarland University
http://compilers.cs.uni-saarland.de/teaching
Unix for Unix/Linux Beginners (in German). Unix for Unix/Linux Beginners (in German). Unix for Unix/Linux Beginners (in German). Unix for Unix/Linux Beginners (in German). Unix for Unix/Linux Beginners (in German). Unix for Unix/Linux Beginners (in German). Unix for Unix/Linux Beginners (in German). Unix for Unix/Linux Beginners (in German). Automatic Parallelization in the Polyhedral Model. Unix Course: Unix for Unix/Linux Beginners. Compilers and Programming Languages. Unix for Unix/Linux Beginners.
compilers.cs.uni-saarland.de
Michael Jacobs - Compiler Design Lab, Saarland University
http://compilers.cs.uni-saarland.de/people/jacobs
Unix for Unix/Linux Beginners (in German). Michael Jacobs M.Sc. XML Processing / XSLT. Since Winter Term 2014. WCET Optimization in a Shared Bus Scenario. BSc Thesis, Saarland University, 2013. [pdf]. BACHELORSTHESIS{John:2013:BSc, author = { Max John }, title = { {WCET} {O}ptimization in a {S}hared {B}us {S}cenario }, school = {Saarland University}, year = { 2013 }, month = {April}, webpdf = {http:/ www.cdl.uni-saarland.de/publications/theses/john bsc.pdf}, }. Hahn, S., Jacobs, M. and Reineke, J. Impact...
compilers.cs.uni-saarland.de
Noise - Compiler Design Lab, Saarland University
http://compilers.cs.uni-saarland.de/projects/noise
Unix for Unix/Linux Beginners (in German). Specify custom optimization strategies for specific parts of your code. Implemented in Clang/LLVM: source-language and target-platform independent. Example realization in C/C via attributes. Void foo(int x, int* in, int* out) { NOISE("inline(bar) wfv(8) unroll(4)") for (int i=0; i<x; i) { out[i] = in[i] bar(x); } }. Therefore, it is desirable to have a language feature that allows to apply custom optimization strategies to specific code segments. Noise is ...
compilers.cs.uni-saarland.de
Sandra Neumann - Compiler Design Lab, Saarland University
http://compilers.cs.uni-saarland.de/people/neumann
Unix for Unix/Linux Beginners (in German). Compiler Design Lab. Last modified: 01 March 2013.
compilers.cs.uni-saarland.de
Christoph Mallon - Compiler Design Lab, Saarland University
http://compilers.cs.uni-saarland.de/people/mallon
Unix for Unix/Linux Beginners (in German). Christoph Mallon Dipl.-Inform. Compilers, code generation, program analysis. Core Lecture: Compiler Construction. Proseminar: 13 Sprachen in 13 Wochen. Preference-Guided Register Assignment - CC 2010. Braun, M., Mallon, C. and Hack, S. Pages 205–223, Springer, 2010. [doi]. Generating Test Cases for Specification Mining - ISSTA 2010. Dallmeier, V., Knopp, N., Mallon, C., Hack, S. and Zeller, A. International Symposium on Software Testing and Analysis.
compilers.cs.uni-saarland.de
Marcel Köster - Compiler Design Lab, Saarland University
http://compilers.cs.uni-saarland.de/people/koester
Unix for Unix/Linux Beginners (in German). Marcel Köster M.Sc. Compiler Construction (Intermediate Representations, Code Generation, Automatic Parallelization and Vectorization). Computer Graphics (Shading Languages, Real-time Rendering, Ray Tracing). A Framework for rapid development of domain-specific languages. Course: Game Space (Interactive 3D Games). Advanced Lecture: Scientific Visualization. Programming 2 (Summer 2011). Mathematical preparation course (Winter 2010). Programming 1 (Summer 2010).