This is an outdated home-page! Please visit my new one http://www.cs.usyd.edu.au/~scholz .

TU-Logo

Publications

Institut für Computersprachen E185/1
Home


Research

Teaching / Lehre

Publications

Invited Talks

Professional Activities







PGP Key

Library

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]

ACM and IEEE-mandated Copyright Notice

The documents listed above are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


[TU Wien] [Institut für Computersprachen] [Home] last update: 13 Feb 2004