| 2009 |
|---|
| 40 | EE | Cristina Cifuentes,
Nathan Keynes,
Lian Li,
Bernhard Scholz:
Program analysis for bug detection using parfait: invited talk.
PEPM 2009: 7-8 |
| 2008 |
|---|
| 39 | EE | Dietmar Ebner,
Florian Brandner,
Bernhard Scholz,
Andreas Krall,
Peter Wiedermann,
Albrecht Kadlec:
Generalized instruction selection using SSA-graphs.
LCTES 2008: 31-40 |
| 38 | EE | Bernhard Scholz,
Chenyi Zhang,
Cristina Cifuentes:
User-Input Dependence Analysis via Graph Reachability.
SCAM 2008: 25-34 |
| 37 | EE | Bernd Burgstaller,
Bernhard Scholz:
Program Assemblers.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 36 | EE | Bernhard Scholz,
Bernd Burgstaller,
Jingling Xue:
Minimal placement of bank selection instructions for partitioned memory architectures.
ACM Trans. Embedded Comput. Syst. 7(2): (2008) |
| 2007 |
|---|
| 35 | EE | Bernhard Scholz,
Johann Blieberger:
A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees.
CC 2007: 202-217 |
| 34 | EE | Zhiquan Zhou,
Bernhard Scholz,
Giovanni Denaro:
Automated Software Testing and Analysis: Techniques, Practices and Tools.
HICSS 2007: 260 |
| 33 | EE | Bernhard Scholz,
Mohamed Medhat Gaber,
Tim Dawborn,
Raymes Khoury,
Edmund Tse:
Efficient Time Triggered Query Processing in Wireless Sensor Networks.
ICESS 2007: 391-402 |
| 32 | EE | S. Selvakennedy,
Uwe Röhm,
Bernhard Scholz:
Event Processing Middleware for Wireless Sensor Networks.
ICPP Workshops 2007: 65 |
| 31 | EE | Uwe Röhm,
Bernhard Scholz,
Mohamed Medhat Gaber:
On the Integration of Data Stream Clustering into a Query Processor for Wireless Sensor Networks.
MDM 2007: 331-335 |
| 30 | EE | Stefan Schäfer,
Bernhard Scholz:
Optimal chain rule placement for instruction selection based on SSA graphs.
SCOPES 2007: 91-100 |
| 29 | EE | Quan Hoang Nguyen,
Bernhard Scholz:
Computing SSA Form with Matrices.
Electr. Notes Theor. Comput. Sci. 190(1): 121-132 (2007) |
| 2006 |
|---|
| 28 | EE | Bernhard Scholz,
Bernd Burgstaller,
Jingling Xue:
Minimizing bank selection instructions for partitioned memory architecture.
CASES 2006: 201-211 |
| 27 | EE | Bernd Burgstaller,
Bernhard Scholz,
M. Anton Ertl:
An Embedded Systems Programming Environment for C.
Euro-Par 2006: 1204-1216 |
| 26 | EE | Bernd Burgstaller,
Bernhard Scholz,
Johann Blieberger:
Symbolic Analysis of Imperative Programming Languages.
JMLC 2006: 172-194 |
| 25 | EE | Lang Hames,
Bernhard Scholz:
Nearly Optimal Register Allocation with PBQP.
JMLC 2006: 346-361 |
| 24 | EE | R. Nigel Horspool,
David J. Pereira,
Bernhard Scholz:
Fast Profile-Based Partial Redundancy Elimination.
JMLC 2006: 362-376 |
| 2004 |
|---|
| 23 | EE | Bernd Burgstaller,
Johann Blieberger,
Bernhard Scholz:
On the Tree Width of Ada Programs.
Ada-Europe 2004: 78-90 |
| 22 | EE | Bernhard Scholz,
R. Nigel Horspool,
Jens Knoop:
Optimizing for space and time usage with speculative partial redundancy elimination.
LCTES 2004: 221-230 |
| 2003 |
|---|
| 21 | | Thomas Fahringer,
Bernhard Scholz:
Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization
Springer 2003 |
| 20 | EE | Johann Blieberger,
Bernd Burgstaller,
Bernhard Scholz:
Busy Wait Analysis.
Ada-Europe 2003: 142-152 |
| 19 | EE | Erik Eckstein,
Bernhard Scholz:
Addressing Mode Selection.
CGO 2003: 337-346 |
| 18 | EE | Bernhard Scholz,
Eduard Mehofer,
R. Nigel Horspool:
Partial Redundancy Elimination with Predication Techniques.
Euro-Par 2003: 242-250 |
| 17 | EE | Ulrich Hirnschrott,
Andreas Krall,
Bernhard Scholz:
Graph Coloring vs. Optimal Register Allocation for Optimizing Compilers.
JMLC 2003: 202-213 |
| 16 | EE | Erik Eckstein,
Oliver König,
Bernhard Scholz:
Code Instruction Selection Based on SSA-Graphs.
SCOPES 2003: 49-65 |
| 15 | EE | Bernhard Scholz,
Eduard Mehofer,
R. Nigel Horspool:
Predicated Partial Redundancy Elimination Using A Cost Analysis.
Parallel Processing Letters 13(4): 525-536 (2003) |
| 2002 |
|---|
| 14 | EE | Bernhard Scholz,
Eduard Mehofer:
Dataflow Frequency Analysis Based on Whole Program Paths.
IEEE PACT 2002: 95-103 |
| 13 | EE | Bernhard Scholz,
Erik Eckstein:
Register allocation for irregular architectures.
LCTES-SCOPES 2002: 139-148 |
| 12 | EE | Mark Probst,
Andreas Krall,
Bernhard Scholz:
Register Liveness Analysis for Optimizing Dynamic Binary Translation.
WCRE 2002: 35-44 |
| 11 | | Bernhard Scholz:
Towards Virtual Electrical Breast Biopsy: Space-frequency MUSIC for Trans-Admittance Data.
IEEE Trans. Med. Imaging 21(6): 588-595 (2002) |
| 2001 |
|---|
| 10 | EE | Eduard Mehofer,
Bernhard Scholz:
A Novel Probabilistic Data Flow Framework.
CC 2001: 37-51 |
| 9 | | Thomas Fahringer,
P. Blaha,
A. Hössinger,
J. Luitz,
Eduard Mehofer,
Hans Moritsch,
Bernhard Scholz:
Development and performance analysis of real-world applications for distributed and parallel architectures.
Concurrency and Computation: Practice and Experience 13(10): 841-868 (2001) |
| 2000 |
|---|
| 8 | | Johann Blieberger,
Bernd Burgstaller,
Bernhard Scholz:
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs.
Ada-Europe 2000: 225-237 |
| 7 | EE | Eduard Mehofer,
Bernhard Scholz:
Probabilistic data flow system with two-edge profiling.
Dynamo 2000: 65-72 |
| 6 | EE | Bernhard Scholz,
Johann Blieberger,
Thomas Fahringer:
Symbolic Pointer Analysis for Detecting Memory Leaks.
PEPM 2000: 104-113 |
| 5 | EE | Thomas Fahringer,
Bernhard Scholz,
Xian-He Sun:
Execution-driven performance analysis for distributed and parallel systems.
Workshop on Software and Performance 2000: 204-215 |
| 4 | EE | Thomas Fahringer,
Bernhard Scholz:
A Unified Symbolic Evaluation Framework for Parallelizing Compilers.
IEEE Trans. Parallel Distrib. Syst. 11(11): 1105-1125 (2000) |
| 3 | | Johann Blieberger,
Thomas Fahringer,
Bernhard Scholz:
Symbolic Cache Analysis for Real-Time Systems.
Real-Time Systems 18(2/3): 181-215 (2000) |
| 1999 |
|---|
| 2 | EE | Johann Blieberger,
Bernd Burgstaller,
Bernhard Scholz:
Interprocedural Symbolic Evaluation of Ada Programs with Aliases.
Ada-Europe 1999: 136-145 |
| 1997 |
|---|
| 1 | EE | Thomas Fahringer,
Bernhard Scholz:
Symbolic Evaluation for Parallelizing Compilers.
International Conference on Supercomputing 1997: 261-268 |
