| 2023 |
|
A. Fried, M. Stemmer-Grabow, J. Wachter:
Register Allocation for Compressed ISAs in LLVM.
CC '23 |
| 2020 |
|
S. Rheindt, A. Fried, O. Lenke, L. Nolte, T. Twardzik, T. Wild, A. Herkersdorf:
X-CEL: A Method to Estimate Near-Memory Acceleration Potential in Tile-based MPSoCs.
ARCS 2020 |
| 2019 |
|
A. E. Lehmann:
Schleifenausrollen mit nicht konstanten Grenzen in FIRM.
|
|
J. Schwabe:
Frühzeitige Ausführung von parallelize-mem.
|
|
S. Rheindt, A. Fried, O. Lenke, L. Nolte, T. Wild, A. Herkersdorf:
NEMESYS: Near-Memory Graph Copy Enhanced System-Software.
MEMSYS 2019 |
| 2018 |
|
P. Heyken:
Identifying and Extracting Recurring Program Structures.
|
|
J. Bucher:
SSA-basierte Doppelregisterallokation.
|
|
S. Buchwald, A. Fried, S. Hack:
Synthesizing an Instruction Selection Rule Library from Semantic Specifications.
CGO '18 |
| 2017 |
|
D. Krüger:
Optimierungen in einer funktionalen Sprache mit Firm.
|
|
M. Wagner, D. Lohner:
Minimal Static Single Assignment Form.
AFP 2017 |
|
M. Mohr, C. Tradowsky:
Pegasus: Efficient Data Transfers for PGAS Languages on Non-Cache-Coherent Many-Cores.
DATE 2017 |
| 2016 |
|
M. Weinreuter:
Implementation and Evaluation of Link Time Optimization with libFirm.
|
|
J. Haag:
Exception Support in Graph-Based Intermediate Representation.
|
|
S. Ullrich, D. Lohner:
Verified Construction of Static Single Assignment Form.
AFP 2016 |
|
F. Sperber:
Strategien für Datenflussanalysen auf Steuerflussgraphen.
|
|
S. Buchwald, D. Lohner, S. Ullrich:
Verified Construction of Static Single Assignment Form.
CC 2016 |
| 2015 |
|
P. Serrer:
Verbesserte Implementierung von Interface-Aufrufen.
|
|
V. Pfautz:
Normalisierung Graph-basierter Zwischensprachen.
|
|
S. Buchwald, M. Mohr, A. Zwinkau:
Malleable Invasive Applications.
ATPS 2015 |
|
S. Buchwald:
Optgen: A Generator for Local Optimizations.
CC 2015 |
| 2014 |
|
B. Scheirle:
Stack-Allokation mittels Escape-Analyse.
|
|
M. Hoff:
Bedingte Anwendung lokaler Optimierungen unter Berücksichtigung gemeinsamer Teilausdrücke.
|
|
M. Braun, S. Buchwald, M. Mohr, A. Zwinkau:
Dynamic X10: Resource-Aware Programming for Higher Efficiency.
|
| 2013 |
|
T. Rapp:
Verbesserung der libFirm Inline-Optimierung.
|
|
A. Seltenreich:
Minimizing bit width using data flow analysis in libFirm.
|
|
M. Mohr, A. Grudnitsky, T. Modschiedler, L. Bauer, S. Hack, J. Henkel:
Hardware Acceleration for Programs in SSA Form.
CASES 2013 |
|
M. Braun, S. Buchwald, S. Hack, R. Leißa, C. Mallon, A. Zwinkau:
Simple and Efficient Construction of Static Single Assignment Form.
CC 2013 |
| 2012 |
|
C. Frieler:
Repräsentation von Alias-Information in der Programmgraphstruktur.
|
|
C. Helmer:
SSA-basierte Eliminierung partieller Redundanzen.
|
|
T. Bersch:
Generierung lokaler Optimierungen.
|
|
R. Redeker:
Entwurf und Implementierung eines AMD64 Backend.
|
|
J. Oppermann:
Optimierung einer funktionalen und referentiell transparenten Zwischendarstellung.
|
|
M. Braun, S. Buchwald, M. Mohr, A. Zwinkau:
An X10 Compiler for Invasive Architectures.
|
|
A. Zwinkau:
Resource Awareness for Efficiency in High-Level Programming Languages.
|
| 2011 |
|
O. Liebe:
Eine funktionale, vollständige und referentiell transparente Zwischendarstellung für Übersetzer.
|
|
S. Buchwald, A. Zwinkau, T. Bersch:
SSA-Based Register Allocation with PBQP.
CC '11 |
|
M. Braun, S. Buchwald, A. Zwinkau:
Firm---A Graph-Based Intermediate Representation.
|
| 2010 |
|
S. Buchwald, A. Zwinkau:
Instruction Selection by Graph Transformation.
CASES '10 |
|
C. Helmer:
Entwicklung von Kriterien zur Anwendung von Schleifenoptimierungen
im Kontext SSA-basierter Zwischensprachen.
|
|
H. Rapp:
Entwurf und Implementierung eines SPARC Backends.
|
|
J. Fietz:
Deriving Restrictions on Value Types.
|
|
T. Bersch:
SSA-basierte Registerzuteilung mit integrierter Kopienminimierung.
|
|
M. Braun, C. Mallon, S. Hack:
Preference-Guided Register Assignment.
CC 2010 |
|
O. Liebe:
Transformation SSA-basierter Zwischensprachen.
|
| 2009 |
|
J. Franz:
Eine Systematik für lokale Optimierungen.
|
|
M. Braun, S. Hack:
Register Spilling and Live-Range Splitting for SSA-Form Programs.
CC 2009 |
| 2008 |
|
S. Buchwald, A. Zwinkau:
Befehlsauswahl auf expliziten Abhängigkeitsgraphen.
|
|
B. Boissinot, S. Hack, D. Grund, B. D. d. Dinechin, F. Rastello:
Fast liveness checking for ssa-form programs.
|
|
A. Schösser, R. Geiß:
Graph Rewriting for Hardware Dependent Program Optimizations.
|
|
S. Hack, G. Goos:
Register Coalescing by Graph Recoloring.
PLDI 2008 |
| 2007 |
|
A. Schösser:
Graphersetzungsregelgewinnung aus Hochsprachen und deren Anwendung.
|
|
D. Grund, S. Hack:
A Fast Cutting-Plane Algorithm for Optimal Coalescing.
CC 2007 |
|
C. Würdig:
Entwurf und Implementierung eines Firm-basierten Backends für die
Synchrone Transfer-Architektur.
|
|
C. Mallon:
If-Konversion auf SSA.
|
| 2006 |
|
M. Braun:
Heuristisches Auslagern in einem SSA-basierten Registerzuteiler.
|
|
J. Spallek:
Effiziente Speicherung und Repräsentation von Konfliktgraphen.
|
|
C. Würdig:
Entwurf und Implementierung eines SSA-basierten x86-Backends.
|
|
A. M. Szalkowski:
Rematerialisierung mittels ganzzahliger linearer Optimierung in einem
SSA-basierten Registerzuteiler.
|
|
S. Hack, D. Grund, G. Goos:
Register Allocation for Programs in SSA-Form.
CC 2006 |
|
F. Liekweg:
Compiler-Directed Automatic Memory Management.
|
| 2005 |
|
S. Hack, D. Grund, G. Goos:
Towards Register Allocation for Programs in SSA-Form.
|
|
D. Grund:
Kopienminimierung in einem SSA-basierten Registerzuteiler.
|
|
G. Lindenmaier, M. Beck, B. Boesler, R. Geiß:
Firm, an Intermediate Language for Compiler Research.
|
|
G. Lindenmaier:
Structure Splitting and Inheritance.
|
|
G. V. Batz:
Graphersetzung für eine Zwischendarstellung im Übersetzerbau.
|
| 2004 |
|
H. Jakschitsch:
Befehlsauswahl auf SSA-Graphen.
|
|
T. Riedel:
Ausnahmebehandlung in einem optimierenden Java Übersetzer.
|
| 2002 |
|
G. Lindenmaier:
libFIRM -- A Library for Compiler Optimization Research Implementing
FIRM.
|
|
H. Schmid:
Explizite Interprozedurale Abhängigkeitsgraphen.
|
| 2001 |
|
M. Trapp:
Optimierung objektorientierter Programme. Übersetzungstechniken, Analysen und Transformationen..
|
