- SIMD Code Generation in Data-Parallel Programming
N. Fritz
Universität des Saarlandes, 2009.
[bib]
@phdthesis{Fritz09,
author = {Nicolas Fritz},
title = {{SIMD} Code Generation in Data-Parallel Programming},
school = {Universit\"at des Saarlandes},
year = {2009},
}
- Fast Liveness Checking for SSA-Form Programs (Best Paper Award)
B. Boissinot, S. Hack, D. Grund, B. Dupont-De-Dinechin, and F. Rastello
CGO '08: Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization, 2008.
[doi]
[pdf]
[bib]
@inproceedings{Boissinot08,
author = {Benoit Boissinot and Sebastian Hack and Daniel Grund and Beno\^it Dupont-De-Dinechin and Fabrice Rastello},
title = {Fast Liveness Checking for {SSA}-Form Programs},
booktitle = {CGO '08: Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization},
year = {2008},
pages = {35--44},
address = {New York, NY, USA},
month = {April},
publisher = {ACM},
award = {Best Paper Award},
doi = {10.1145/1356058.1356064},
isbn = {978-1-59593-978-4},
location = {Boston, MA, USA},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/cgo08-liveness.pdf}
}
- A Fast Cutting-Plane Algorithm for Optimal Coalescing (EAPLS Best Paper Award)
D. Grund, and S. Hack
Compiler Construction - CC 2007, 2007.
[doi]
[pdf]
[slides]
[bib]
@inproceedings{Grund07,
author = {Daniel Grund and Sebastian Hack},
title = {A Fast Cutting-Plane Algorithm for Optimal Coalescing},
booktitle = {Compiler Construction - CC 2007},
year = {2007},
editor = {Shriram Krishnamurthi and Martin Odersky},
volume = {4420},
series = {Lecture Notes In Computer Science},
pages = {111--125},
month = {March},
publisher = {Springer Verlag},
note = {Braga, Portugal},
award = {EAPLS Best Paper Award},
doi = {10.1007/978-3-540-71229-9_8},
slides = {https://www.rw.cdl.uni-saarland.de/people/grund/private/talks/cc07-opt_coalescing-talk.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/cc07-opt_coalescing.pdf}
}
- Fast Liveness Checking for SSA-Form Programs
B. Boissinot, S. Hack, D. Grund, B. Dupont-De-Dinechin, and F. Rastello
Technical Report, INRIA, 2007.
[url]
[bib]
@techreport{Boissinot07,
author = {Benoit Boissinot and Sebastian Hack and Daniel Grund and Beno\^it Dupont-De-Dinechin and Fabrice Rastello},
title = {Fast Liveness Checking for {SSA}-Form Programs},
institution = {INRIA},
year = {2007},
number = {RR-2007-45},
month = {November},
url = {http://hal.inria.fr/inria-00192219/en/}
}
- Register Allocation for Programs in SSA Form
S. Hack, D. Grund, and G. Goos
Compiler Construction - CC 2006, 2006.
[doi]
[pdf]
[bib]
@inproceedings{Hack06a,
author = {Sebastian Hack and Daniel Grund and Gerhard Goos},
title = {Register Allocation for Programs in {SSA} Form},
booktitle = {Compiler Construction - CC 2006},
year = {2006},
editor = {Andreas Zeller and Alan Mycroft},
volume = {3923},
series = {Lecture Notes In Computer Science},
month = {March},
publisher = {Springer Verlag},
note = {Vienna, Austria},
doi = {10.1007/11688839_20},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/cc06-ra_ssa.pdf}
}
- Kopienminimierung in einem SSA-basierten Registerzuteiler
D. Grund
Universität Karlsruhe, 2005.
[pdf]
[bib]
@mastersthesis{Grund05,
author = {Daniel Grund},
title = {{K}opienminimierung in einem {SSA}-basierten {R}egisterzuteiler},
school = {Universit\"at Karlsruhe},
year = {2005},
month = {August},
institution = {IPD Goos},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/da05_grund.pdf}
}
- Towards Register Allocation for Programs in SSA Form
S. Hack, D. Grund, and G. Goos
Technical Report, University of Karlsruhe, 2005.
[pdf]
[bib]
@techreport{Hack05a,
author = {Sebastian Hack and Daniel Grund and Gerhard Goos},
title = {Towards Register Allocation for Programs in {SSA} Form},
institution = {University of Karlsruhe},
year = {2005},
month = {September},
organization = {Universit\"at Karlsruhe},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/tr05_ra_ssa.pdf}
}
- Generic Software Pipelining at the Assembly Level
M. Pister, and D. Kästner
Proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2005), 2005.
[pdf]
[bib]
@inproceedings{Pister05a,
author = {Markus Pister and Daniel K\"astner},
title = {Generic Software Pipelining at the Assembly Level},
booktitle = {Proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2005)},
year = {2005},
pages = {50--62},
address = {Dallas/Texas (USA)},
month = oct,
publisher = {ACM},
url = {https://www.rw.cdl.uni-saarland.de/people/pister/private/papers/scopes2005.pdf}
}
- Exploring the Performance Potential of Itanium Processors with ILP-based Scheduling
S. Winkel
Proceedings of the Second IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2004.
[bib]
@inproceedings{Winkel04,
author = {Sebastian Winkel},
title = {Exploring the Performance Potential of {Itanium} Processors with {ILP}-based Scheduling},
booktitle = {Proceedings of the Second IEEE/ACM International Symposium on Code Generation and Optimization (CGO)},
year = {2004},
address = {Palo Alto},
month = mar,
}
- Post-Pass Compaction Techniques
B. De Bus, D. Kästner, D. Chanet, L. V. Put, and B. De Sutter
Communications of the ACM, 46 (8), 2003.
[bib]
@article{Bus03,
author = {B. De Bus and Daniel K\"astner and D. Chanet and L. Van Put and B. De Sutter},
title = {Post-Pass Compaction Techniques},
journal = {Communications of the ACM},
year = {2003},
volume = {46},
pages = {41--46},
number = {8},
month = aug,
}
- Reconstructing Control Flow from Predicated Assembly Code
B. Decker, and D. Kästner
Proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2003), 2003.
[bib]
@inproceedings{Decker03,
author = {Bj\"orn Decker and Daniel K\"astner},
title = {Reconstructing Control Flow from Predicated Assembly Code},
booktitle = {Proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2003)},
year = {2003},
volume = {2826},
series = {LNCS},
pages = {81--100},
publisher = {Springer Verlag},
}
- TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyzes
D. Kästner
Proceedings of the 2nd International Conference of Generative Programming and Component Engineering, GPCE 2003, 2003.
[bib]
@inproceedings{Kastner03,
author = {Daniel K\"astner},
title = {{TDL}: A Hardware Description Language for Retargetable Postpass Optimizations and Analyzes},
booktitle = {Proceedings of the 2nd International Conference of Generative Programming and Component Engineering, GPCE 2003},
year = {2003},
volume = {2830},
series = {LNCS},
pages = {18--36},
publisher = {Springer Verlag},
}
- Compiler Optimizations by ILP-Based Approximations
D. Kästner
SIAM Conference on Optimization, 2002.
[bib]
@article{Kastner02,
author = {Daniel K\"astner},
title = {Compiler Optimizations by {ILP}-Based Approximations},
journal = {SIAM Conference on Optimization},
year = {2002},
address = {Toronto},
}
- Generic Control Flow Reconstruction from Assembly Code
D. Kästner, and S. Wilhelm
Proceedings of the ACM SIGPLAN Joined Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'02) and Software and Compilers for Embedded Systems (SCOPES'02), in SIGPLAN Notices, 37 (7), 2002.
[bib]
@article{Kastner02a,
author = {Daniel K\"astner and Stephan Wilhelm},
title = {Generic Control Flow Reconstruction from Assembly Code},
journal = {Proceedings of the ACM SIGPLAN Joined Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'02) and Software and Compilers for Embedded Systems (SCOPES'02), in SIGPLAN Notices},
year = {2002},
volume = {37},
number = {7},
month = jun,
publisher = {ACM SIGPLAN Notices}
}
- Optimal Global Scheduling for Itanium Processor Family
S. Winkel
Proceedings of the EPIC-2 Workshop, 2002.
[pdf]
[bib]
@inproceedings{Winkel02,
author = {Sebastian Winkel},
title = {Optimal Global Scheduling for {Itanium} Processor Family},
booktitle = {Proceedings of the EPIC-2 Workshop},
year = {2002},
address = {Istanbul},
month = nov,
url = {https://www.rw.cdl.uni-saarland.de/people/sewi/private/EPIC-2.pdf}
}
- ILP-Based Approximations for Retargetable Code Optimization
D. Kästner
Proceedings of the 5th International Conference on Optimization: Techniques and Applications (ICOTA 2001), 2001.
[bib]
@inproceedings{Kastner01,
author = {Daniel K\"astner},
title = {{ILP}-Based Approximations for Retargetable Code Optimization},
booktitle = {Proceedings of the 5th International Conference on Optimization: Techniques and Applications (ICOTA 2001)},
year = {2001},
address = {Hong Kong},
}
- ILP-Based Instruction Scheduling for IA-64
D. Kästner, and S. Winkel
Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, 2001.
[pdf]
[bib]
@inproceedings{Kastner01a,
author = {Daniel K\"astner and Sebastian Winkel},
title = {{ILP}-Based Instruction Scheduling for {IA-64}},
booktitle = {Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems},
year = {2001},
address = {Snowbird},
month = jun,
url = {https://www.rw.cdl.uni-saarland.de/people/sewi/private/lctes01-2.pdf}
}
- PROPAN: A Retargetable System for Postpass Optimisations and Analyses
D. Kästner
Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, 2000.
[bib]
@article{Kastner00a,
author = {Daniel K\"astner},
title = {{PROPAN}: A Retargetable System for Postpass Optimisations and Analyses},
journal = {Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems},
year = {2000},
month = jun,
}
- A Retargetable System for Postpass Optimisations and Analyses
D. Kästner
Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tools for Embedded Systems, 2000.
[bib]
@inproceedings{Kastner00b,
author = {Daniel K\"astner},
title = {A Retargetable System for Postpass Optimisations and Analyses},
booktitle = {Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tools for Embedded Systems},
year = {2000},
}
- TDL—A Hardware and Assembly Description Language
D. Kästner
Technical Report, Universität des Saarlandes, 2000.
[bib]
@techreport{Kastner00c,
author = {Daniel K\"astner},
title = {{TDL}---A Hardware and Assembly Description Language},
institution = {Universit\"at des Saarlandes},
year = {2000},
}
- TDL: A Hardware and Assembly Description Language
D. Kästner
Technical Report, Transferbereich 14, University of Saarland, 1999.
[bib]
@techreport{Kastner99,
author = {Daniel K\"astner},
title = {{TDL}: A Hardware and Assembly Description Language},
institution = {Transferbereich 14, University of Saarland},
year = {1999},
number = {TDL1.4},
}
- TDL – Eine Architekturbeschreibungssprache für Postpassoptimierungen und -analysen
D. Kästner
Proceedings of the DSP Deutschland, 1999.
[bib]
@article{Kastner99a,
author = {Daniel K\"astner},
title = {{TDL} -- {E}ine {A}rchitekturbeschreibungssprache f\"ur {P}ostpassoptimierungen und -analysen},
journal = {Proceedings of the DSP Deutschland},
year = {1999},
}
- Code Optimization by Integer Linear Programming
D. Kästner, and M. Langenbach
Proceedings of the 8th International Conference on Compiler Construction CC99, 1999.
[bib]
@inproceedings{Kastnerniel99,
author = {Daniel K\"astner and Marc Langenbach},
title = {Code Optimization by Integer Linear Programming},
booktitle = {Proceedings of the 8th International Conference on Compiler Construction CC99},
year = {1999},
editor = {Stefan J\"ahnichen},
volume = {1575},
series = {LNCS},
pages = {122--136},
month = {March},
publisher = {Springer Verlag},
}
- Integer Linear Programming vs. Graph Based Methods in Code Generation
D. Kästner, and M. Langenbach
Technical Report, University of the Saarland, Saarbrücken, Germany, 1998.
[bib]
@techreport{Kastnerniel98,
author = {Daniel K\"astner and Marc Langenbach},
title = {Integer Linear Programming vs. Graph Based Methods in Code Generation},
institution = {University of the Saarland},
year = {1998},
number = {A/01/98},
address = {Saarbr\"ucken, Germany},
month = jan,
}
- Operations Research Methods in Compiler Backends
D. Kästner, and R. Wilhelm
Mathematical Communications, 3 (2), 1998.
[bib]
@article{Kastner98,
author = {Daniel K\"astner and Reinhard Wilhelm},
title = {Operations Research Methods in Compiler Backends},
journal = {Mathematical {C}ommunications},
year = {1998},
volume = {3},
pages = {159--183},
number = {2},
}
- Tree Automata for Code Selection
C. Ferdinand, H. Seidl, and R. Wilhelm
Code Generation – Concepts, Tools, Techniques, 1992.
[bib]
@inproceedings{Ferdinand92,
author = {Christian Ferdinand and Helmut Seidl and Reinhard Wilhelm},
title = {Tree Automata for Code Selection},
booktitle = {Code Generation -- Concepts, Tools, Techniques},
year = {1992},
editor = {R. Giegerich and S. L. Graham},
volume = {1},
pages = {31--50},
month = {May},
publisher = {Springer Verlag},
}
- Baumautomaten zur Codeselektion
C. Ferdinand, H. Seidl, and R. Wilhelm
Festschrift zum 60. Geburtstag von Guenter Hotz, 1992.
[bib]
@inproceedings{Ferdinand92a,
author = {Christian Ferdinand and Helmut Seidl and Reinhard Wilhelm},
title = {{B}aumautomaten zur {C}odeselektion},
booktitle = {Festschrift zum 60. Geburtstag von Guenter Hotz},
year = {1992},
editor = {J. Buchmann and H. Ganzinger and W. J. Paul},
pages = {121--144},
address = {Saarbruecken, Germany},
}