References of paper.seoul.ps.gz

[ATG96]

Ali-Reza Adl-Tabatabai and Thomas Gross.
Source-Level Debugging of Scalar Optimized Code.
In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1996.

[CG92]

Christina Cifuentes and K. John Gough.
A New Approach to Debugging Optimized Code.
In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1992.

[CG95]

Christina Cifuentes and K. John Gough.
Decompilation of Binary Programs.
Software---Practice and Experience, 25(9), 1995.

[Fer97]

Christian Ferdinand.
Cache Behavior Prediction for Real-Time Systems.
PhD Thesis, Universität der Saarlandes, 1997.

[FKL⁺99]

Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, and Reinhard Wilhelm.
Run-Time Guarantees for Real-Time Systems --- The USES Approach.
In Proceedings of Informatik '99 -- Arbeitstagung Programmiersprachen, Paderborn, 1999.

[FMW98]

Christian Ferdinand, Florian Martin, and Reinhard Wilhelm.
Cache Behavior Prediction by Abstract Interpretation.
Science of Computer Programming, 1998. Ausgewählt für Sonderband SAS'96.

[IBM97]

IBM. PPC403GCX Embedded Controller, User's Manual, first edition, 1997.

[Käs00a]

Daniel Kästner.
A Retargetable System for Postpass Optimisations and Analyses.
In Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tools for Embedded Systems, 2000.

[Käs00b]

Daniel Kästner.
TDL - A Hardware and Assembly Description Language.
Technical report, Universität d. Saarlandes, 2000.

[KMH96]

S. Kim, S. Min, and R. Ha.
Efficient Worst Case Timing Analysis of Data Caching.
In Proceedings of the 1996 IEEE Real-Time Technology and Applications Symposium, 1996.

[Lan98]

Marc Langenbach.
CRL -- A Uniform Representation for Control Flow.
Technical report, Universität d. Saarlandes, 1998.

[LMW96]

Yau-Tsun Steven Li, Sharad Malik, and Andrew Wolfe.
Cache Modeling for Real-Time Software: Beyond Direct Mapped Instruction Caches.
In Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS), 1996.

[LS95]

James R. Larus and Eric Schnarr.
EEL: Machine-Independent Executable Editing.
In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1995.

[Mar99]

Florian Martin.
Generation of Program Analyzers. PhD thesis, Universität d. Saarlandes, 1999.

[Ram00]

G. Ramalingam.
On Loops, Dominators, and Dominance Frontier.
In Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation (PLDI), 2000.

[San94]

Georg Sander.
Graph layout through the vcg tool.
In Proceedings of the DIMACS International Workshop on Graph Drawing, volume 894 of Lecture Notes in Computer Science. Springer-Verlag, 1994.

[SBB⁺00]

B. De Sutter, B. De Bus, K. De Bosschere, P. Keyngnaert, and B. Demoen.
On the Static Analysis of Indirect Control Transfers in Binaries.
In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA), 2000.

[SF99]

Jörn Schneider and Christian Ferdinand.
Pipeline Behaviour Prediction for Superscalar Processors by Abstract Interpretation.
In In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, 1999.

[SGL96]

Vugranam C. Sreedhar, Guang R. Gao, and Yong-Fong Lee.
Identifying Loops Using DJ Graphs.
ACM Transactions on Programming Languages and Systems (TOPLAS), 18(6), 1996.

[Sic97]

Martin Sicks.
Adre\ss bestimmung zur Vorhersage des Verhaltens von Daten-Caches.
Diploma Thesis, Universität d. Saarlandes, 1997.

[TF98]

Henrik Theiling and Christian Ferdinand.
Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis.
In Proceedings of the 19th IEEE Real-Time Systems Symposium (RTSS), Madrid, Spain, 1998.

[TG98]

Caroline Tice and Susan L. Graham.
OPTVIEW: A New Approach for Examining Optimized Code.
In Proceedings of the 1998 Workshop on Program Analysis for Software Tools and Engineering, Montreal, 1998.

[The98]

Henrik Theiling.
Über die Verwendung ganzzahliger linearer Programmierung zur Suche nach längsten Programmpfaden.
Diploma Thesis, Universität d. Saarlandes, 1998.

Visited: