Publications (PDF)
Books
| [B01] |
Advanced
Symbolic Analysis for Compilers. T. Fahringer and B. Scholz. State-of-the-Art Survey, Lecture Notes in Computer Science (LNCS), Vol. 2628, Springer Press, 2003. |
 |
Journals
| [J04] | Predicated Partial Redundancy
Elimination with Cost Analysis. B. Scholz, E. Mehofer, and N. Horspool. Parallel Processing Letters (Ed. H. Kosch), World Scientific, Vol. 13(4), pp. ??-??, 2003. [pdf] |
| [J03] |
Development and Performance Analysis of Real-World
Applications for Distributed and Parallel Architectures. T. Fahringer, P. Blaha, A. Hössinger, J. Luitz, E. Mehofer, H. Moritsch, and B. Scholz. Concurrency: Practice and Experience (Ed. Geoffrey Fox), John Wiley & Sons Press, Vol. 13(10), pp. 841-868, 2001. [ps.gz] |
| [J02] |
Symbolic Cache Analysis for Real-Time Systems. J. Blieberger, T.Fahringer, and B. Scholz. Real-Time Systems, Special Issue on Worst-Case Execution Time Analysis, Kluwer Press, Vol. 18(2/3), pp. 181-215, 2000. [ps.gz] |
| [J01] |
A Unified Symbolic Evaluation Framework for Parallelizing
Compilers. T. Fahringer and B. Scholz. IEEE Transactions on Parallel and Distributed Systems (TPDS), IEEE Press, Vol. 11(11), pp. 1105-1125, 2000. [ps.gz] |
Refereed Articles
| [A18] |
Code Instruction Selection based on
SSA-Graphs. E. Eckstein, O. König, and B. Scholz. In Proc. of International Workshop on Software and Compilers for Embedded Systems (SCOPES'03), Lecture Notes in Computer Science (LNCS), Vol. 2826, pp. 49-65, Springer Press, Vienna, Austria, September 2003. (best paper award). [pdf] |
| [A17] |
Partial Redundancy Elimination with Predication Techniques. B. Scholz, E. Mehofer, and N. Horspool. In Proc. of International Conference on Parallel and Distributed Computing (EuroPar'03), Lecture Notes in Computer Science (LNCS), Vol. 2790, pp. 242-250, Springer Press, Klagenfurt, Austria, August 2003. [pdf] |
| [A16] |
Graph Coloring vs. Optimal Register Allocation for
Optimizing Compilers. U. Hirnschrott, A. Krall, and B. Scholz. In Proc. of the Joint Modular Languages Conference (JMLC'03), Lecture Notes in Computer Science (LNCS), Vol. 2789, pp. 202-213, Springer Press, Klagenfurt, Austria, August 2003. [pdf] |
| [A15] |
Busy Wait Analysis. J. Blieberger, B. Burgstaller, and B. Scholz. In Proc. of the Ada-Europe International Conference on Reliable Software Technologies (ADA'03), Lecture Notes in Computer Science (LNCS), Vol. 2655, pp. 142-152, Springer Press, Toulouse, France, June 2003. [pdf] |
| [A14] |
Address Mode Selection. E. Eckstein and B. Scholz. In Proc. of International Symposium on Code Generation and Optimization (CGO'03), pp. 337-346, IEEE Press, San Francisco, California, USA, March 2003. [pdf] |
| [A13] |
Register Liveness Analysis for Optimizing Binary
Translation. M. Probst, A. Krall, and B. Scholz. In Proc. of Working Conference on Reverse Engineering (WCRE'02), pp. 35-44, IEEE Press, Richmond, Virginia, USA, October/November 2002. [ps.gz] |
| [A12] |
Dataflow Frequency Analysis based on Whole Program Paths. B. Scholz and E. Mehofer In Parallel Architectures and Compilation Techniques (PACT'02), pp. 95-103, IEEE Press, Charlottesville, Virginia, USA, September 2002. [ps.gz] |
| [A11] |
Register Allocation for Irregular Architectures. B. Scholz and E. Eckstein. In Proc. of Joint-Conference on Languages, Compilers, and Tools for Embedded Systems and Software and Compilers for Embedded Systems (LCTES/SCOPES'02), pp. 139-148, ACM Press, Berlin, Germany, June 2002. [ps.gz] |
| [A10] |
A Novel Probabilistic Data-Flow Framework. E. Mehofer and B. Scholz. In Proc. of International Conference on Compiler Construction (CC'01), Lecture Notes in Computer Science (LNCS), Vol. 2027, pp. 37-51, Springer Press, Genova, Italy, April 2001. [ps.gz] |
| [A09] |
Probabilistic communication optimizations and
parallelization for distributed-memory systems. E. Mehofer and B. Scholz. In Proc. of 9th Euromicro Workshop on Parallel and Distributed Processing (PDP'01), pp. 186-192, IEEE Press, Mantova, Italy, February 2001. [ps.gz] |
| [A08] |
Probabilistic Procedure Cloning for High-Performance
Systems. S. Benkner, E. Mehofer, and B. Scholz. In Proc. of 12th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'2000), pp. 105-111, Sao Pedro, Brazil, October 2000. [ps.gz] |
| [A07] |
Execution-Driven Performance Analysis for Distributed and
Parallel Systems. T. Fahringer, B. Scholz, and X. Sun. In Proc. of 2nd International ACM Sigmetrics Workshop on Software and Performance (WOSP'2000), pp. 204-215, ACM Press, Ottawa, Canada, September 2000. [ps.gz] |
| [A06] |
Probabilistic Data Flow System with Two-Edge Profiling. E. Mehofer and B. Scholz. In Proc. of Workshop on Dynamic and Adaptive Compilation and Optimization (Dynamo'00), ACM SIGPLAN Notices, Vol. 35(7), pp. 65 - 72, ACM Press, Boston, Massachusetts, January 2000. [ps.gz] |
| [A05] |
Symbolic Data Flow Analysis for Detecting Deadlocks in
Ada Tasking Programs. J. Blieberger, B. Burgstaller, and B. Scholz. In Proc. of the Ada-Europe International Conference on Reliable Software Technologies (ADA'00), Lecture Notes in Computer Science (LNCS), Vol. 1845, pp. 136-145, Springer Press, Potsdam, Germany, June 2000. [pdf] |
| [A04] |
Symbolic Pointer Analysis for Detecting Memory Leaks. B. Scholz, J. Blieberger, and T. Fahringer. In Proc. of the Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00), pp. 104-113, ACM Press, Boston, MA, USA, January 2000. [pdf] |
| [A03] |
Parallelization of a Monte-Carlo Ion Implementation
Simulator for Three-Dimensional Crystalline Structures. A. Hössinger, M. Radi, B. Scholz, T. Fahringer, E. Langer, and S. Selberherr. In Proc. of International Conference on Simulation of Semiconductor Processes and Devices(SISPAD'99), pp. 103-106, Springer Press, Tokyo, Japan, September 1999. [ps.gz] |
| [A02] |
Interprocedural Symbolic Analysis of Ada Programs with
Aliases. J. Blieberger, B. Burgstaller, and B. Scholz. In Proc. of the Ada-Europe International Conference on Reliable Software Technologies (ADA'99), Lecture Notes in Computer Science (LNCS), Vol. 1622, pp. 136-145, Springer Press, Santander, Spain, June 1999. [pdf] |
| [A01] |
Symbolic Evaluation for Parallelizing Compilers. T. Fahringer and B. Scholz. In Proc. of the 11th ACM International Conference on Supercomputing (ICS'97), pp. 261-268, ACM Press, Vienna, Austria, July 1997. [ps.gz] |