Associate Professor Bernhard Scholz
Associate Professor
J12 - The School of Information Technologies
The University of Sydney
|
|
Selected grants
2013
- Finding Concurrency Bugs in Multithreaded Software; Scholz B; Australian Research Council (ARC)/Discovery Projects (DP).
2010
- Computing with nearly-consistent data; Fekete A, Scholz B; Australian Research Council (ARC)/Discovery Projects (DP).
2006
- Distributed Data Processing for Wireless Sensor Networkers; Selvadurai S, Scholz B, Viglas A, Roehm U; Australian Research Council (ARC)/Discovery Project.
2005
- Collaborative Community Networks - TITAN; Selvadurai S, Landfeldt B, Greenhalgh A, McLachlan T, Zomaya A, Zhou B, Scholz B, Everitt D, Viglas A; Smart Internet Technology Cooperative Research Centre/Research Support.
- Compilation Techniques for embedded systems; Scholz B; Australian Research Council (ARC)/Discovery Project.
- Speculative Partial Redundancy Elimination; Scholz B; University of Sydney/Early Career Researcher.
- Wireless Sensor Networks Enriches Large-Scale Information Systems; Roehm U, Scholz B, Viglas A, Kulik L, Kotagiri R, Selvadurai S, Zomaya A, Tanin E; Australian Research Council (ARC)/National EII Taskforce Grant.
2004
- JIT Code Generation; Scholz B, HU T, Hansen D; Sun Microsystem (USA)/BLO Project.
Selected publications
-
Symbolic Analysis: An Algebra-Based Approach (VDM Verlag Dr Muller ,2008)
-
Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization (Springer,2003)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|


