Books and Book Chapter

  • [B03] Program Assemblers. B. Burgstaller and B. Scholz. Encyclopedia of Computer Science and Engineering, John Wiley & Sons Press, Accepted for publication.
  • [B02] Symbolic Analysis: an Algebra-based Approach. B. Burgstaller, B. Scholz and J. Blieberger. VDM Verlag Dr. Mueller e.K., ISBN 3836481421, Saarbruecken, April 2008.
  • [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

  • [J05] Minimal Placement of Bank Selection Instructions for Partitioned Memory Architectures. B. Scholz, B. Burgstaller, and J. Xue. ACM Transactions on Embedded Computing Systems (TECS), ACM, Vol. 7(2), pp. 1-32, 2008.
  • [J04] Predicated Partial Redundancy Elimination with Cost Analysis. B. Scholz, E. Mehofer, and R. N. Horspool. Parallel Processing Letters (Ed. H. Kosch), World Scientific, Vol. 13(4), pp. 525-536, 2003.
  • [J03] Development and Performance Analysis of Real-World Applications for Distributed and Parallel Architectures. T. Fahringer, P. Blaha, A. Hoessinger, 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.
  • [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.
  • [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.

Refereed Articles

  • [A42] TinyVM: An Efficient Virtual Machine Infrastructure for Sensor Networks. Kirak Hong, Jiin Park, Taekhoon Kim, Sungho Kim, Hwangho Kim, Yousun Ko, Jongtae Park, Bernd Burgstaller, Bernhard Scholz. In the Proc. of the International Conference on Embedded Networked Sensor Systems (SenSys'09), ACM Press, pp. 399-400, Berkeley, California, USA, November 2009.
  • [A41] Progressive Spill Code Placement. Dietmar Ebner, Bernhard Scholz, and Andreas Krall. In the Proc. of the International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES'09), ACM Press, Grenoble, France, October 2009 (to appear).
  • [A40] BegBunch: benchmarking for C bug detection tools. Cifuentes, C., Hoermann, C., Keynes, N., Li, L., Long, S., Mealy, E., Mounteney, M., and Scholz, B. 2009. In Proc. of international Workshop on Defects in Large Software Systems (DEFECTS '09), ACM Press, Chicago, Illinois, July 2009.
  • [A38] An Efficient Mixed-mode Execution Environment for C on Mobile Phone Platforms. Taek-hoon Kim, Sungho Kim, Kirak Hong, Hwangho Kim, Jiin Park, Yousun Ko, Bernd Burgstaller and Bernhard Scholz. In Proc. of the Communications & Mobile Computing Symposium of the 2009 World Congress on Computer Science and Information Engineering, IEEE Computer Society, Los Angeles, Calfornia, March 2009.
  • [A37] Billy get your guns: fast barrel-shift decoding for in-place execution of Huffman-encoded bytecode streams. Hwangho Kim, Kirak Hong, Sungho Kim, Taekhoon Kim, Jiin Park, Yousun Ko, Bernd Burgstaller and Bernhard Scholz. In Proc. of the International Conference on Ubiquitous Information Technologies and Applications,Korea Information Processing Society, IEEE technical co-sponsorship, Ho Chi Minh, Vietnam, December 2008. Best presentation award, out of 150 presentations.
  • [A36] Generalized Instruction Selection using SSA-Graphs. D. Ebner, F. Brandner, B. Scholz, A. Krall, P. Wiedermann, and A. Kadlec. In the Proc. of Conference on Languages, Compilers, and Tools For Embedded Systems (LCTES'08), pp. 31-40, ACM, Tucson, Arizona, 2008.
  • [A35] User-Input Dependence Analysis via Graph Reachability. B. Scholz, C. Zhang, C. Cifuentes. Accepted for publication in the Proc. of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'08), IEEE Press, Beijing, China, 2008.
  • [A34] Parfait - Designing a Scalable Bug Checker. C. Cifuentes and B. Scholz. In the Proc. of the Static Analysis Workshop (SAW'08), pp. 4-11, ACM Digital Library, Tucson, Arizona, 2008.
  • [A33] Event Processing Middleware for Wireless Sensor Networks. S. Selvakennedy, U. Roehm and B. Scholz. In the Proc. of the International Workshop on Ubiquitous Computing for Parallel and Distributed Systems (uPADS'07), pp. 65-, XiAn, China, September 2007.
  • [A32] Minimising semantic drift with Mutual Exclusion Bootstrapping. J. R. Curran, T. Murphy, and B. Scholz, In the Proc. of the Conference of the Pacific Association for Computational Linguistics (PACLING'07), Melbourne, Australia, September 2007. (best paper award)
  • [A31] Efficient Time Triggered Query Processing in Wireless Sensor Networks. B. Scholz, M. M. Gaber, T. Dawborn, R. Khoury, and E. Tse. In the Proc. of the International Conference on Embedded Systems and Software (ICESS-07), Lecture Notes in Computer Science (LNCS), Vol. 4523, pp. 391-402, Springer Press, Daegu, Korea, May 2007.
  • [A30] Integration of Data Stream Clustering into a Query Processor for Wireless Sensor Networks. U. Roehm, B. Scholz, M. M. Gaber. In the Proc. of the Workshop on Data Intensive Sensor Networks (DISN'07), pp. 331-335, IEEE Press, Mannheim, Germany, May 2007.
  • [A29] Optimal Chain Rule Placement for Instruction Selection Based on SSA Graphs. S. Schaefer and B. Scholz. In the Proc. of the International Workshop on Software and Compilers for Embedded Systems (SCOPES'07), pp. 91-100, ACM Press, Nice, France, April 2007.
  • [A28] Computing SSA Form with Matrices. B. Scholz, and Q. Nguyen. In the Proc. of the Workshop on Bytecode Semantics, Verfication, Analysis and Transformation (BYTECODE'07), Electronic Notes in Theoretical Computer Science (ENTCS), pp. 121-132, Volume 190, Issue 1, July 2007, Braga, Portugal, March 2007.
  • [A27] A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees. B. Scholz, and J. Blieberger. In the Proc. of International Conference on Compiler Construction (CC'07), Lecture Notes in Computer Science (LNCS), Vol. 4420, pp 202-217, Springer Press, Braga, Portugal, March 2007.
  • [A26] Minimizing Bank Selection Instructions for Partitioned Memory Architectures. B. Scholz, B. Burgstaller, and J. Xue. In the Proc. of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES'06), pp. 201-211, ACM Press, Seoul, Korea, October 2006.
  • [A25] Symbolic Analysis of Imperative Programming Languages. B. Burgstaller, B. Scholz, and J. Blieberger. In the Proc. of the Joint Modular Languages Conference (JMLC'06), Lecture Notes in Computer Science (LNCS), Vol. 4228, pp. 172-194, Springer Press, Oxford, England, September 2006.
  • [A24] Nearly Optimal Register Allocation with PBQP. L. K. Hames and B. Scholz. In the Proc. of the Joint Modular Languages Conference (JMLC'06), Lecture Notes in Computer Science (LNCS), Vol. 4228, pp. 346-361, Springer Press, Oxford, England, September 2006.
  • [A23] Fast Profile-Based Partial Redundancy Elimination. R. N. Horspool, D. J. Pereira, B. Scholz. In the Proc. of the Joint Modular Languages Conference (JMLC'06), Lecture Notes in Computer Science (LNCS), Vol. 4228, pp. 362-376, Springer Press, Oxford, England, September 2006.
  • [A22] An Embedded Systems Programming Environment for C. B. Burgstaller, B. Scholz, and A. Ertl. In the Proc. of International Conference on Parallel and Distributed Computing (EuroPar'06), Lecture Notes in Computer Science (LNCS), Vol. 4128, pp. 1204-1216, Springer Press, Dresden, Germany, August/September 2006.
  • [A21] Static Analysis Support for Measurement-Based WCET Analysis. Stefan Schaefer, Bernhard Scholz , Stefan M. Petters and Gernot Heiser. In the Proc. of International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06), Work-in-Progress Session, Sydney, Australia, August 2006.
  • [A20] Optimizing for Space and Time Usage with Speculative Partial Redundancy Elimination. B. Scholz, R. N. Horspool, and J. Knoop. In the Proc. of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems (LCTES'04), pp. 221 - 230, ACM Press, Washington, DC, June 2004.
  • [A19] On the Tree Width of Ada Programs. B. Burgstaller, H. Blieberger, and B. Scholz. In the Proc. of the Ada-Europe International Conference on Reliable Software Technologies (ADA'04), Lecture Notes in Computer Science (LNCS), Vol. 3063, pp. 78-90, Springer Press, Palma de Mallorca, Spain, June 2004.
  • [A18] Code Instruction Selection based on SSA-Graphs. E. Eckstein, O. Koenig, and B. Scholz. In the 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).
  • [A17] Partial Redundancy Elimination with Predication Techniques. B. Scholz, E. Mehofer, and R. N. Horspool. In the 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.
  • [A16] Graph Coloring vs. Optimal Register Allocation for Optimizing Compilers. U. Hirnschrott, A. Krall, and B. Scholz. In the 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.
  • [A15] Busy Wait Analysis. J. Blieberger, B. Burgstaller, and B. Scholz. In the 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.
  • [A14] Address Mode Selection. E. Eckstein and B. Scholz. In the Proc. of International Symposium on Code Generation and Optimization (CGO'03), pp. 337-346, IEEE Press, San Francisco, California, USA, March 2003.
  • [A13] Register Liveness Analysis for Optimizing Binary Translation. M. Probst, A. Krall, and B. Scholz. In the Proc. of Working Conference on Reverse Engineering (WCRE'02), pp. 35-44, IEEE Press, Richmond, Virginia, USA, October/November 2002.
  • [A12] Dataflow Frequency Analysis based on Whole Program Paths. B. Scholz and E. Mehofer. In the Proc. of Parallel Architectures and Compilation Techniques (PACT'02), pp. 95-103, IEEE Press, Charlottesville, Virginia, USA, September 2002.
  • [A11] Register Allocation for Irregular Architectures. B. Scholz and E. Eckstein. In the 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.
  • [A10] A Novel Probabilistic Data-Flow Framework. E. Mehofer and B. Scholz. In the 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.
  • [A09] Probabilistic communication optimizations and parallelization for distributed-memory systems. E. Mehofer and B. Scholz. In the Proc. of 9th Euromicro Workshop on Parallel and Distributed Processing (PDP'01), pp. 186-192, IEEE Press, Mantova, Italy, February 2001.
  • [A08] Probabilistic Procedure Cloning for High-Performance Systems. S. Benkner, E. Mehofer , and B. Scholz. In the Proc. of 12th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'2000), pp. 105-111, Sao Pedro, Brazil, October 2000.
  • [A07] Execution-Driven Performance Analysis for Distributed and Parallel Systems. T. Fahringer, B. Scholz, and X. Sun. In the Proc. of 2nd International ACM Sigmetrics Workshop on Software and Performance (WOSP'2000), pp. 204-215, ACM Press, Ottawa, Canada, September 2000.
  • [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.
  • [A05] Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs. J. Blieberger, B. Burgstaller, and B. Scholz. In the 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.
  • [A04] Symbolic Pointer Analysis for Detecting Memory Leaks. B. Scholz, J. Blieberger , and T. Fahringer. In the Proc. of the Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00), pp. 104-113, ACM Press, Boston, MA, USA, January 2000.
  • [A03] Parallelization of a Monte-Carlo Ion Implementation Simulator for Three-Dimensional Crystalline Structures. A. Hoessinger, M. Radi, B. Scholz, T. Fahringer, E. Langer, and S. Selberherr. In the Proc. of International Conference on Simulation of Semiconductor Processes and Devices(SISPAD'99), pp. 103-106, Springer Press, Tokyo, Japan, September 1999.
  • [A02] Interprocedural Symbolic Analysis of Ada Programs with Aliases. J. Blieberger, B. Burgstaller, and B. Scholz. In the 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.
  • [A01] Symbolic Evaluation for Parallelizing Compilers. T. Fahringer and B. Scholz. In the Proc. of the 11th ACM International Conference on Supercomputing (ICS'97), pp. 261-268, ACM Press, Vienna, Austria, July 1997.

Technical Reports and Unrefereed Articles

  • [U1] Program analysis for bug detection using parfait. Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz. Invited talk in the Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'09), pp. 7-8, ACM Press, Savannah, GA, USA, January 2009.
  • [U2] Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture. Raymes Khoury, Bernd Burgstaller, Bernhard Scholz. CoRR abs/0910.2324 (2009)