HOME | ENGLISH | IMPRESSUM | KIT

libFirm

Veröffentlichungen

2017
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..