- 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}
}
- CAMA: Cache-Aware Memory Allocation for WCET Analysis
J. Herter, J. Reineke, and R. Wilhelm
Proceedings Work-In-Progress Session of the 20th Euromicro Conference on Real-Time Systems, 2008.
[pdf]
[slides]
[bib]
@inproceedings{Herter08a,
author = {J\"org Herter and Jan Reineke and Reinhard Wilhelm},
title = {{CAMA}: Cache-Aware Memory Allocation for {WCET} Analysis},
booktitle = {Proceedings Work-In-Progress Session of the 20th Euromicro Conference on Real-Time Systems},
year = {2008},
editor = {Marco Caccamo},
pages = {24--27},
month = {July},
slides = {https://www.rw.cdl.uni-saarland.de/people/jherter/private/talks/ecrtswip08.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/jherter/private/papers/camaecrts08.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/}
}
- 05451 Group 5 – Bananas, Dark Worlds, and AspectH
S. Breu, M. Schlickling, and N. M. F. Rodrigues
Beyond Program Slicing, 2006.
[url]
[bib]
@inproceedings{Breu06,
author = {Silvia Breu and Marc Schlickling and Nuno Miguel Feixa Rodrigues},
title = {05451 Group 5 -- Bananas, Dark Worlds, and Aspect{H}},
booktitle = {Beyond Program Slicing},
year = {2006},
editor = {David W. Binkley and Mark Harman and Jens Krinke},
number = {05451},
series = {Dagstuhl Seminar Proceedings},
address = {Dagstuhl, Germany},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
issn = {1862-4405},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/491}
}
- Polynomial Precise Interval Analysis Revisited
T. Gawlitza, J. Reineke, H. Seidl, and R. Wilhelm
Technical Report, TU München, Germany, 2006.
[bib]
@techreport{Gawlitza06,
author = {Thomas Gawlitza and Jan Reineke and Helmut Seidl and Reinhard Wilhelm},
title = {Polynomial Precise Interval Analysis Revisited},
institution = {TU M\"unchen, Germany},
year = {2006},
}
- Experimental Comparison of Call String and Functional Approaches to Interprocedural Analysis
F. Martin
Proceedings of the 8th International Conference on Compiler Construction, 1999.
[bib]
@inproceedings{Martin99,
author = {Florian Martin},
title = {Experimental Comparison of Call String and Functional Approaches to Interprocedural Analysis},
booktitle = {Proceedings of the 8th International Conference on Compiler Construction},
year = {1999},
editor = {Stephan Jaehnichen},
series = {LNCS},
publisher = {Springer Verlag},
}
- PAG—An Efficient Program Analyzer Generator
F. Martin
International Journal on Software Tools for Technology Transfer, 2 (1), 1998.
[bib]
@article{Martin98,
author = {Florian Martin},
title = {{PAG}---An Efficient Program Analyzer Generator},
journal = {International Journal on Software Tools for Technology Transfer},
year = {1998},
volume = {2},
number = {1},
editor = {Chris Hankin},
publisher = {Springer Verlag}
}
- Analysis of Loops
F. Martin, M. Alt, R. Wilhelm, and C. Ferdinand
Proceedings of the 7th International Conference on Compiler Construction, 1998.
[bib]
@inproceedings{Martin98a,
author = {Florian Martin and Martin Alt and Reinhard Wilhelm and Christian Ferdinand},
title = {Analysis of Loops},
booktitle = {Proceedings of the 7th International Conference on Compiler Construction},
year = {1998},
editor = {Kai Koskimies},
volume = {1383},
series = {LNCS},
publisher = {Springer Verlag},
}
- Practical Comparison of Call String and Functional Approach in Data Flow Analysis
M. Alt, and F. Martin
Arbeitstagung Programmiersprachen, 1997.
[ps]
[bib]
@inproceedings{Alt97a,
author = {Martin Alt and Florian Martin},
title = {Practical Comparison of Call String and Functional Approach in Data Flow Analysis},
booktitle = {Arbeitstagung Programmiersprachen},
year = {1997},
editor = {Herbert Kuchen},
volume = {58},
series = {Arbeitsberichte des Institutes f\"ur Wirtschaftsinformatik},
month = {July},
publisher = {Westf\"alische Wilhelms-Universit\"at M\"unster},
url = {https://www.rw.cdl.uni-saarland.de/people/martin/private/gi.ps}
}
- PAG Manual
S. Thesing, F. Martin, and M. Alt
[bib]
@manual{Thesing97,
title = {{PAG} Manual},
author = {Stephan Thesing and Florian Martin and Martin Alt},
organization = {Universit\"at des Saarlandes},
year = {1997},
}
- Parallel Implementation of Functional Languages
R. Wilhelm, M. Alt, F. Martin, and M. Raber
5th LOMAPS Workshop, Analysis and Verification of Multiple-Agent Languages, 1997.
[ps]
[bib]
@inproceedings{Wilhelm97,
author = {Reinhard Wilhelm and Martin Alt and Florian Martin and Martin Raber},
title = {Parallel Implementation of Functional Languages},
booktitle = {5th LOMAPS Workshop, Analysis and Verification of Multiple-Agent Languages},
year = {1997},
editor = {Mads Dam},
volume = {1192},
series = {LNCS},
month = {June},
publisher = {Springer Verlag},
url = {https://www.rw.cdl.uni-saarland.de/people/martin/private/lomaps.ps}
}
- Generation of Efficient Interprocedural Analyzers with PAG
M. Alt, and F. Martin
Proceedings of SAS'95, Static Analysis Symposium, 1995.
[bib]
@inproceedings{Alt95,
author = {Martin Alt and Florian Martin},
title = {Generation of Efficient Interprocedural Analyzers with {PAG}},
booktitle = {Proceedings of SAS'95, Static Analysis Symposium},
year = {1995},
editor = {A. Mycroft},
volume = {983},
series = {LNCS},
publisher = {Springer Verlag},
}
- Generating Analyzers with PAG
M. Alt, and F. Martin
Technical Report, Universität des Saarlandes, 1995.
[bib]
@techreport{Alt95a,
author = {Martin Alt and Florian Martin},
title = {Generating Analyzers with {PAG}},
institution = {Universit\"at des Saarlandes},
year = {1995},
bibtype = {TECHREPORT},
volume = {A10/95}
}
- Generating Dataflow Analyzers with PAG
M. Alt, F. Martin, and R. Wilhelm
Technical Report, Universität des Saarlandes, 1995.
[bib]
@techreport{Alt95b,
author = {Martin Alt and Florian Martin and Reinhard Wilhelm},
title = {Generating Dataflow Analyzers with {PAG}},
institution = {Universit\"at des Saarlandes},
year = {1995},
type = {Technical {R}eport},
number = {A10-95},
}
- Die Generierung von Datenflußanalysatoren
F. Martin
Technical Report, Universität des Saarlandes, 1995.
[bib]
@techreport{Martin95,
author = {Florian Martin},
title = {{D}ie {G}enerierung von {D}atenflu{\ss}analysatoren},
institution = {Universit\"at des Saarlandes},
year = {1995},
type = {Diploma Thesis},
}
- PAG Reference Manual
F. Martin
[bib]
@manual{Martin95a,
title = {{PAG} Reference Manual},
author = {Florian Martin},
organization = {Universit\"at des Saarlandes},
year = {1995},
}