Associate Professor Bernhard Scholz

Associate Professor
School of Computer Science

J12 - Computer Science Building
The University of Sydney


Website School of Computer Science

Computer, software and electronic engineering

Teaching and supervision

COMP3109 - Programming Languages and Paradigms

Current research students

Project title Research student
Souffle On The HPC Lyndon HENRY
Novel Data Structures for Advanced Computational Movement Analysis John PFEIFER

In the media

    Selected grants

    2018

    • A programming language toolchain for smart contracts; Scholz B; Fantom Operations Ltd/Research Project.
    • Taipan: A Blockchain with Democratic Consensus and Validated Contracts; Gramoli V, Raynal M, Fekete A, Holz R, Scholz B; Australian Research Council (ARC)/Discovery Projects (DP).

    2013

    • Finding Concurrency Bugs in Multithreaded Software; Xue J, Gramoli V, 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 Projects (DP).

    2005

    • Collaborative Community Networks - TITAN; Selvadurai S, Landfeldt B, Greenhalgh A, McLachlan T, Zomaya A, Zhou B, Scholz B, Everitt D, Viglas A; Smart Services Cooperative Research Centre./Research Support.
    • 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)/Research Networks (ARCRN).
    • Speculative Partial Redundancy Elimination; Scholz B; University of Sydney/Early Career Researcher.
    • Compilation Techniques for embedded systems; Scholz B; Australian Research Council (ARC)/Discovery Projects (DP).

    2004

    • JIT Code Generation; Scholz B, HU T, Hansen D; Oracle Corporation/BLO Project.

    Selected publications

    Download citations: PDF RTF Endnote

    Books

    • Burgstaller, B., Scholz, B., Blieberger, J. (2008). Symbolic Analysis: An Algebra-Based Approach. Germany: VDM Verlag Dr Muller.

    Edited Books

    • Fahringer, T., Scholz, B. (2003). Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization. Berlin: Springer.

    Book Chapters

    • Allen, N., Scholz, B., Krishnan, P. (2015). Staged Points-to Analysis for Large Code Bases. In Bjorn Franke (Eds.), Compiler Construction, (pp. 131-150). Heidelberg: Springer-Verlag.
    • Hollingum, N., Scholz, B. (2015). Towards a Scalable Framework for Context-Free Language Reachability. In Bjorn Franke (Eds.), Compiler Construction, (pp. 193-211). Heidelberg: Springer-Verlag. [More Information]
    • Burgstaller, B., Scholz, B. (2009). Program Assemblers. In Wah, Benjamin B (Eds.), Wiley Encyclopedia of Computer Science and Engineering, 5 Volume set, (pp. 2233-2243). Hoboken: John Wiley & Sons.

    Journals

    • Grech, N., Kong, M., Jurisevic, A., Brent, L., Scholz, B., Smaragdakis, Y. (2018). MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts. Proceedings of the ACM on Programming Languages, 2(OOPSLA), 116:1-116:27. [More Information]
    • Kakkad, V., Santosa, A., Fekete, A., Scholz, B. (2015). Computing end-to-end delays in stream query processing. Science of Computer Programming, 105, 124-144. [More Information]
    • Kakkad, V., Attar, S., Santosa, A., Fekete, A., Scholz, B. (2014). Curracurrong: a stream programming environment for wireless sensor networks. Software: Practice and Experience, 44(2), 175-199. [More Information]
    • Burgstaller, B., Scholz, B., Blieberger, J. (2012). A symbolic analysis framework for static analysis of imperative programming languages. The Journal of Systems and Software, 85(6), 1418-1439. [More Information]
    • Farhad, S., Ko, Y., Burgstaller, B., Scholz, B. (2012). Orchestration by Approximation: Mapping Stream Programs onto Multicore Architectures. ACM SIGPLAN Notices, 47(4, June), 357-367. [More Information]
    • Hong, K., Park, J., Kim, S., Kim, T., Kim, H., Burgstaller, B., Scholz, B. (2012). TinyVM: An energy-efficient execution infrastructure for sensor networks. Software: Practice and Experience, 42(10), 1193-1209. [More Information]
    • Khoury, R., Burgstaller, B., Scholz, B. (2011). Accelerating the Execution of Matrix languages on the Cell Broadband Engine Architecture. IEEE Transactions on Parallel and Distributed Systems, 22(1), 7-21. [More Information]
    • Park, J., Park, J., Song, W., Yoon, S., Burgstaller, B., Scholz, B. (2011). Treegraph-based Instruction Scheduling for Stack-based Virtual Machines. Electronic Notes in Theoretical Computer Science, 279(1), 33-45. [More Information]
    • Scholz, B., Burgstaller, B., Xue, J. (2008). Minimal Placement of Bank Selection Instructions for Partitioned Memory Architectures. ACM Transactions on Embedded Computing Systems, 7(2), 12:1-12:32. [More Information]
    • Scholz, B., Mehofer, E., Horspool, R. (2003). Predicated Partial Redundancy Elimination using a Cost Analysis. Parallel Processing Letters, 13(4), 525-536. [More Information]
    • Fahringer, T., Blaha, P., Hoessinger, A., Luitz, J., Mehofer, E., Moritsch, H., Scholz, B. (2001). Development and performance analysis of real-world applications for distributed and parallel architectures. Concurrency and Computation: Practice and Experience, 13(10), 841-868.

    Conferences

    • Subotic, P., Jordan, H., Chang, L., Fekete, A., Scholz, B. (2018). Automatic index selection for large-scale datalog computation. 45th International Conference on Very Large Data Bases, Los Angeles: Association for Computing Machinery (ACM). [More Information]
    • Jordan, H., Scholz, B., Subotic, P. (2018). POSTER: Two concurrent data structures for efficient datalog query processing. 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2018), New York: Association for Computing Machinery (ACM). [More Information]
    • Jones, M., Mestre, J., Scholz, B. (2018). Towards Memory-Optimal Schedules for SDF. European Conference on Parallel Processing: EURO-PAR 2017, Cham: Springer. [More Information]
    • Hassanshahi, B., Ramesh, R., Krishnan, P., Scholz, B., Lu, Y. (2017). An efficient tunable selective points-to analysis for large codebases. 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis (SOAP 2017), New York: Association for Computing Machinery (ACM). [More Information]
    • Dietrich, J., Hollingum, N., Scholz, B. (2016). A note on the soundness of difference propagation. 18th Workshop on Formal Techniques for Java-like Programs (FTfJP 2016), New York: Association for Computing Machinery (ACM). [More Information]
    • Scholz, B., Jordan, H., Subotic, P., Westmann, T. (2016). On fast large-scale program analysis in Datalog. 25th International Conference on Compiler Construction (CC 2016), New York: ACM. [More Information]
    • Jordan, H., Scholz, B., Subotic, P. (2016). Souffle: On synthesis of program analyzers. 28th International Conference on Computer Aided Verification (CAV 2016), Toronto: Springer. [More Information]
    • Scholz, B., Vorobyov, K., Krishnan, P., Westmann, T. (2015). A Datalog Source-To-Source Translator for Static Program Analysis: An Experience Report. 24th Australasian Software Engineering Conference (ASWEC) 2015, Adelaide: Institute of Electrical and Electronics Engineers (IEEE). [More Information]
    • Allen, N., Krishnan, P., Scholz, B. (2015). Combining type-analysis with points-to analysis for analyzing Java library source-code. SOAP 2015 - 4th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis. ACM Digital Library. [More Information]
    • Dietrich, J., Hollingum, N., Scholz, B. (2015). Giga-scale exhaustive points-to analysis for Java in under a minute. 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2015), New York: Association for Computing Machinery (ACM). [More Information]
    • Ko, Y., Burgstaller, B., Scholz, B. (2015). LaminarIR: compile-time queues for structured streams. The 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, New York: Association for Computing Machinery (ACM). [More Information]
    • Kakkad, V., Dey, A., Fekete, A., Scholz, B. (2014). Curracurrong cloud: Stream processing in the cloud. 2014 IEEE 30th International Conference on Data Engineering Workshops (ICDEW 2014), Chicago, Illinois, USA: Institute of Electrical and Electronics Engineers (IEEE). [More Information]
    • Pang, X., Chawla, S., Scholz, B., Wilcox, G. (2013). A Scalable Approach for LRT Computation in GPGPU Environments. 15th Asia-Pacific Web Conference on Web Technologies and Applications (APWeb 2013), Berlin: Springer. [More Information]
    • Ko, Y., Burgstaller, B., Scholz, B. (2013). Parallel from the beginning: The case for multicore programming in the computer science undergraduate curriculum. 44th ACM Technical Symposium on Computer Science Education (SIGCSE 2013), Denver, United States: Association for Computing Machinery (ACM).
    • Scholz, B., Choi, S., Ko, S., Eom, H., Han, Y. (2012). A Recommendation System Based on a Subset of Raters. 6th International Conference on Ubiquitous Information Management and Communication, ICUIMC12, New York, NY, USA: ACM Digital Library. [More Information]
    • Kakkad, V., Santosa, A., Scholz, B. (2012). Migrating Operator Placement for Compositional Stream Graphs. The 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM12), New York: Association for Computing Machinery (ACM). [More Information]
    • Si, W., Scholz, B., Gudmundsson, J., Mao, G., Boreli, R., Zomaya, A. (2012). On Graphs Supporting Greedy Forwarding for Directional Wireless Networks. 2012 IEEE International Conference on Communications (ICC 2012), Ottawa, Canada: Institute of Electrical and Electronics Engineers (IEEE). [More Information]
    • Farhad, S., Ko, Y., Burgstaller, B., Scholz, B. (2012). Profile-Guided Deployment of Stream Programs on Multicores. 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES 2012), New York: Association for Computing Machinery (ACM). [More Information]
    • Jain, S., Zhang, C., Scholz, B. (2012). Translating Flowcharts to Non-Deterministic Languages. ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM12, colocated with POPL 12 The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New York, NY, USA: ACM Digital Library.
    • Scholz, B., Choi, S., Ko, S., Eom, H., Han, Y. (2011). Analyzing category correlations for recommendation system. 5th International Conference on Ubiquitous Information Management and Communication, ICUIMC 2011, New York, USA: ACM Digital Library. [More Information]
    • Farhad, S., Ko, Y., Burgstaller, B., Scholz, B. (2011). Orchestration by approximation: mapping stream programs onto multicore architectures. 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011), New York, USA: Association for Computing Machinery (ACM). [More Information]
    • Khoury, R., Dawborn, T., Gafurov, B., Pink, G., Tse, E., Tse, Q., Almi'ani, K., Gaber, M., Roehm, U., Scholz, B. (2010). Corona: Energy-Efficient Multi-query Processing in Wireless Sensor Networks. 15th International Conference on Database Systems for Advanced Applications (DASFAA 2010), Berlin: Springer. [More Information]
    • Kim, T., Kim, S., Hong, K., Kim, H., Park, J., Ko, Y., Burgstaller, B., Scholz, B. (2009). An Efficient Mixed-mode Execution Environment for C on Mobile Phone Platforms. 2009 WRI World Congress on Computer Science and Information Engineering, USA: Institute of Electrical and Electronics Engineers (IEEE). [More Information]
    • Cifuentes, C., Palmer, D., Keynes, N., Li, L., Long, S., Mealy, E., Mounteney, M., Scholz, B. (2009). BegBunch - Benchmarking for C Bug Detection Tools. 2nd International Workshop on Defects in Large Software Systems DEFECTS 2009, United States: Association for Computing Machinery (ACM).
    • Cifuentes, C., Keynes, N., Li, L., Scholz, B. (2009). Program Analysis for Bug Dectection using Parfait. ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation PEPM 2009, United States: Association for Computing Machinery (ACM).
    • Ebner, D., Scholz, B., Krall, A. (2009). Progressive Spill Code Placement. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems CASES 2009, United States: Association for Computing Machinery (ACM). [More Information]
    • Hong, K., Park, J., Kim, T., Kim, S., Kim, H., Ko, Y., Park, J., Burgstaller, B., Scholz, B. (2009). TinyVM, an Efficient Virtual Machine Infrastructure for Sensor Networks. 7th ACM Conference on Embedded Networked Sensor Systems (SenSys 2009), USA: Association for Computing Machinery (ACM).
    • Kim, H., Hong, K., Kim, S., Kim, T., Park, J., Ko, Y., Burgstaller, B., Scholz, B. (2008). Billy get your guns: fast barrel-shift decoding for in-place execution of Huffman-encoded bytecode streams. The 3rd International Conference on Ubiquitous Information Technologies & Applications (2008 ICUT).
    • Ebner, D., Bradner, F., Scholz, B., Krall, A., Wiedermann, P., Kadlec, A. (2008). Generalized Instruction Selection using SSA-Graphs. ACM SIGPLAN-SIGBED 2008 Conference on Languages, Compilers and Tools for Embedded Systems (LCTES08), New York, USA: Association for Computing Machinery (ACM).
    • Cifuentes, C., Scholz, B. (2008). Parfait - Designing a Scalable Bug Checker. Static Analysis Workshop (SAW 2008), USA: Association for Computing Machinery (ACM). [More Information]
    • Scholz, B., Zhang, C., Cifuentes, C. (2008). User-Input Dependence Analysis via Graph Reachability. Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), USA: Institute of Electrical and Electronics Engineers (IEEE). [More Information]
    • Scholz, B., Blieberger, J. (2007). A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees. CC 2007 16th International Conference on Compiler Construction - ETAPS 2007 European Joint Conference on Theory And Practice of Software, Berlin, Germany: Springer. [More Information]
    • Nguyen, Q., Scholz, B. (2007). Computing SSA Form with Matrices. Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2007). Elsevier.
    • Scholz, B., Gaber, M., Dawborn, T., Khoury, R., Tse, E. (2007). Efficient Time Triggered Query Processing in Wireless Sensor Networks. Third International Conference on Embedded Software and Systems (ICESS 2007), Berlin, Germany: Springer. [More Information]
    • Selvadurai, S., Roehm, U., Scholz, B. (2007). Event Processing Middleware for Wireless Sensor Networks. 2007 International Conference on Parallel Processing (ICPP 2007), NJ, USA: Institute of Electrical and Electronics Engineers (IEEE).
    • Curran, J., Murphy, T., Scholz, B. (2007). Minimising semantic drift with Mutual Exclusion Bootstraping. 10th Conference of the Pacific Association for Computational Linguistics (pacling 2007), Australia: Pacific Association for Computation Linguistics.
    • Roehm, U., Scholz, B., Gaber, M. (2007). On the Integration of Data Stream Clustering into a Query Processor for Wireless Sensor Networks. Eighth International Conference on Mobile Data Management (MDM 2007), USA: Institute of Electrical and Electronics Engineers (IEEE).
    • Schafer, S., Scholz, B. (2007). Optimal Chain Rule Placement for Instruction Selection Based on SSA Graphs. 10th International Workshop on Software & Compilers for Embedded Systems (SCOPES) 2007, New York City, United States: Association for Computing Machinery (ACM).
    • Burgstaller, B., Scholz, B., Ertl, A. (2006). An Embedded Systems Programming Environment for C*. Euro-Par 2006 Parallel Processing: 12th International Euro-Par Conference, Germany: Springer.
    • Horspool, R., Pereira, D., Scholz, B. (2006). Fast Profile-Based Partial Redundancy Elimination. JMLC 2006 - 7th Joint Modular Languages Conference 2006, Germany: Springer.
    • Scholz, B., Burgstaller, B., Xue, J. (2006). Minimizing Bank Selection Instructions for Partitioned Memory Architectures. CASES 2006 - The IEEE International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, New York: Association for Computing Machinery (ACM).
    • Hames, L., Scholz, B. (2006). Nearly Optimal Register Allocation with PBQP*. JMLC 2006 - 7th Joint Modular Languages Conference 2006, Germany: Springer.
    • Burgstaller, B., Scholz, B., Blieberger, J. (2006). Symbolic Analysis of Imperative Programming Languages. JMLC 2006 - 7th Joint Modular Languages Conference 2006, Germany: Springer.
    • Burgstaller, B., Blieberger, J., Scholz, B. (2004). On The Tree Width Of Ada Programs. 9th Ada-Europe International Conference on Reliable Software Technologies, Berlin: Springer.
    • Scholz, B., Horspool, R., Knoop, J. (2004). Optimizing For Space And Time Usage With Speculative Partial Redundancy Elimination. 2004 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '04), New York, USA: Association for Computing Machinery (ACM).
    • Eckstein, E., Scholz, B. (2003). Addressing Mode Selection. International Symposium on Code Generation and Optimization (CGO'03), USA: Institute of Electrical and Electronics Engineers (IEEE).
    • Blieberger, J., Burgstaller, B., Scholz, B. (2003). Busy Wait Analysis. 8th International Conference on Reliable Software Technologies Ada-Europe 2003, Toulouse, France: Springer.
    • Eckstein, E., Konig, O., Scholz, B. (2003). Code Instruction Selection Based on SSA-Graphs. 7th International Workshop on Software and Compilers for Embedded Systems, Vienna: Springer.
    • Hirnschott, U., Krall, A., Scholz, B. (2003). Graph Coloring vs. Optimal Register Allocation for Optimizing Compilers. JMLC 2006 - 7th Joint Modular Languages Conference 2006, Germany: Springer.
    • Scholz, B., Mehofer, E., Horspool, R. (2003). Partial Redundancy Elimination with Predication Techniques. 9th International Euro-Par Conference, Berlin: Springer.
    • Scholz, B., Mehofer, E. (2002). Dataflow Frequency Analysis based on Whole Program Paths. 11th International Conference on Parallel Architectures and Compilation Techniques (PACT'02), USA: Institute of Electrical and Electronics Engineers (IEEE).
    • Scholz, B., Eckstein, E. (2002). Register Allocation for Irregular Architectures. Joint-Conference on Languages, Compilers, and Tools for Embedded Systems and Software and Compilers for Embedded Systems (LCTES/SCOPES'02), New York, USA: Association for Computing Machinery (ACM).
    • Probst, M., Krall, A., Scholz, B. (2002). Register Liveness Analysis for Optimizing Dynamic Binary Translation. Ninth Working Conference on Reverse Engineering, 2002, Virginia, USA: Institute of Electrical and Electronics Engineers (IEEE).
    • Mehofer, E., Scholz, B. (2001). A Novel Probabilistic Data Flow Framework. 10th International Conference, Compiler Construction 2001, Berlin: Springer.
    • Mehofer, E., Scholz, B. (2001). Probabilistic Communication Optimizations and Parallelization for Distributed-Memory Systems. 9th Euromicro Workshop on Parallel and Distributed Processing (PDP'01), USA: Institute of Electrical and Electronics Engineers (IEEE).

    2018

    • Subotic, P., Jordan, H., Chang, L., Fekete, A., Scholz, B. (2018). Automatic index selection for large-scale datalog computation. 45th International Conference on Very Large Data Bases, Los Angeles: Association for Computing Machinery (ACM). [More Information]
    • Grech, N., Kong, M., Jurisevic, A., Brent, L., Scholz, B., Smaragdakis, Y. (2018). MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts. Proceedings of the ACM on Programming Languages, 2(OOPSLA), 116:1-116:27. [More Information]
    • Jordan, H., Scholz, B., Subotic, P. (2018). POSTER: Two concurrent data structures for efficient datalog query processing. 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2018), New York: Association for Computing Machinery (ACM). [More Information]
    • Jones, M., Mestre, J., Scholz, B. (2018). Towards Memory-Optimal Schedules for SDF. European Conference on Parallel Processing: EURO-PAR 2017, Cham: Springer. [More Information]

    2017

    • Hassanshahi, B., Ramesh, R., Krishnan, P., Scholz, B., Lu, Y. (2017). An efficient tunable selective points-to analysis for large codebases. 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis (SOAP 2017), New York: Association for Computing Machinery (ACM). [More Information]

    2016

    • Dietrich, J., Hollingum, N., Scholz, B. (2016). A note on the soundness of difference propagation. 18th Workshop on Formal Techniques for Java-like Programs (FTfJP 2016), New York: Association for Computing Machinery (ACM). [More Information]
    • Scholz, B., Jordan, H., Subotic, P., Westmann, T. (2016). On fast large-scale program analysis in Datalog. 25th International Conference on Compiler Construction (CC 2016), New York: ACM. [More Information]
    • Jordan, H., Scholz, B., Subotic, P. (2016). Souffle: On synthesis of program analyzers. 28th International Conference on Computer Aided Verification (CAV 2016), Toronto: Springer. [More Information]

    2015

    • Scholz, B., Vorobyov, K., Krishnan, P., Westmann, T. (2015). A Datalog Source-To-Source Translator for Static Program Analysis: An Experience Report. 24th Australasian Software Engineering Conference (ASWEC) 2015, Adelaide: Institute of Electrical and Electronics Engineers (IEEE). [More Information]
    • Allen, N., Krishnan, P., Scholz, B. (2015). Combining type-analysis with points-to analysis for analyzing Java library source-code. SOAP 2015 - 4th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis. ACM Digital Library. [More Information]
    • Kakkad, V., Santosa, A., Fekete, A., Scholz, B. (2015). Computing end-to-end delays in stream query processing. Science of Computer Programming, 105, 124-144. [More Information]
    • Dietrich, J., Hollingum, N., Scholz, B. (2015). Giga-scale exhaustive points-to analysis for Java in under a minute. 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2015), New York: Association for Computing Machinery (ACM). [More Information]
    • Ko, Y., Burgstaller, B., Scholz, B. (2015). LaminarIR: compile-time queues for structured streams. The 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, New York: Association for Computing Machinery (ACM). [More Information]
    • Allen, N., Scholz, B., Krishnan, P. (2015). Staged Points-to Analysis for Large Code Bases. In Bjorn Franke (Eds.), Compiler Construction, (pp. 131-150). Heidelberg: Springer-Verlag.
    • Hollingum, N., Scholz, B. (2015). Towards a Scalable Framework for Context-Free Language Reachability. In Bjorn Franke (Eds.), Compiler Construction, (pp. 193-211). Heidelberg: Springer-Verlag. [More Information]

    2014

    • Kakkad, V., Dey, A., Fekete, A., Scholz, B. (2014). Curracurrong cloud: Stream processing in the cloud. 2014 IEEE 30th International Conference on Data Engineering Workshops (ICDEW 2014), Chicago, Illinois, USA: Institute of Electrical and Electronics Engineers (IEEE). [More Information]
    • Kakkad, V., Attar, S., Santosa, A., Fekete, A., Scholz, B. (2014). Curracurrong: a stream programming environment for wireless sensor networks. Software: Practice and Experience, 44(2), 175-199. [More Information]

    2013

    • Pang, X., Chawla, S., Scholz, B., Wilcox, G. (2013). A Scalable Approach for LRT Computation in GPGPU Environments. 15th Asia-Pacific Web Conference on Web Technologies and Applications (APWeb 2013), Berlin: Springer. [More Information]
    • Ko, Y., Burgstaller, B., Scholz, B. (2013). Parallel from the beginning: The case for multicore programming in the computer science undergraduate curriculum. 44th ACM Technical Symposium on Computer Science Education (SIGCSE 2013), Denver, United States: Association for Computing Machinery (ACM).

    2012

    • Scholz, B., Choi, S., Ko, S., Eom, H., Han, Y. (2012). A Recommendation System Based on a Subset of Raters. 6th International Conference on Ubiquitous Information Management and Communication, ICUIMC12, New York, NY, USA: ACM Digital Library. [More Information]
    • Burgstaller, B., Scholz, B., Blieberger, J. (2012). A symbolic analysis framework for static analysis of imperative programming languages. The Journal of Systems and Software, 85(6), 1418-1439. [More Information]
    • Kakkad, V., Santosa, A., Scholz, B. (2012). Migrating Operator Placement for Compositional Stream Graphs. The 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM12), New York: Association for Computing Machinery (ACM). [More Information]
    • Si, W., Scholz, B., Gudmundsson, J., Mao, G., Boreli, R., Zomaya, A. (2012). On Graphs Supporting Greedy Forwarding for Directional Wireless Networks. 2012 IEEE International Conference on Communications (ICC 2012), Ottawa, Canada: Institute of Electrical and Electronics Engineers (IEEE). [More Information]
    • Farhad, S., Ko, Y., Burgstaller, B., Scholz, B. (2012). Orchestration by Approximation: Mapping Stream Programs onto Multicore Architectures. ACM SIGPLAN Notices, 47(4, June), 357-367. [More Information]
    • Farhad, S., Ko, Y., Burgstaller, B., Scholz, B. (2012). Profile-Guided Deployment of Stream Programs on Multicores. 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES 2012), New York: Association for Computing Machinery (ACM). [More Information]
    • Hong, K., Park, J., Kim, S., Kim, T., Kim, H., Burgstaller, B., Scholz, B. (2012). TinyVM: An energy-efficient execution infrastructure for sensor networks. Software: Practice and Experience, 42(10), 1193-1209. [More Information]
    • Jain, S., Zhang, C., Scholz, B. (2012). Translating Flowcharts to Non-Deterministic Languages. ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM12, colocated with POPL 12 The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New York, NY, USA: ACM Digital Library.

    2011

    • Khoury, R., Burgstaller, B., Scholz, B. (2011). Accelerating the Execution of Matrix languages on the Cell Broadband Engine Architecture. IEEE Transactions on Parallel and Distributed Systems, 22(1), 7-21. [More Information]
    • Scholz, B., Choi, S., Ko, S., Eom, H., Han, Y. (2011). Analyzing category correlations for recommendation system. 5th International Conference on Ubiquitous Information Management and Communication, ICUIMC 2011, New York, USA: ACM Digital Library. [More Information]
    • Farhad, S., Ko, Y., Burgstaller, B., Scholz, B. (2011). Orchestration by approximation: mapping stream programs onto multicore architectures. 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011), New York, USA: Association for Computing Machinery (ACM). [More Information]
    • Park, J., Park, J., Song, W., Yoon, S., Burgstaller, B., Scholz, B. (2011). Treegraph-based Instruction Scheduling for Stack-based Virtual Machines. Electronic Notes in Theoretical Computer Science, 279(1), 33-45. [More Information]

    2010

    • Khoury, R., Dawborn, T., Gafurov, B., Pink, G., Tse, E., Tse, Q., Almi'ani, K., Gaber, M., Roehm, U., Scholz, B. (2010). Corona: Energy-Efficient Multi-query Processing in Wireless Sensor Networks. 15th International Conference on Database Systems for Advanced Applications (DASFAA 2010), Berlin: Springer. [More Information]

    2009

    • Kim, T., Kim, S., Hong, K., Kim, H., Park, J., Ko, Y., Burgstaller, B., Scholz, B. (2009). An Efficient Mixed-mode Execution Environment for C on Mobile Phone Platforms. 2009 WRI World Congress on Computer Science and Information Engineering, USA: Institute of Electrical and Electronics Engineers (IEEE). [More Information]
    • Cifuentes, C., Palmer, D., Keynes, N., Li, L., Long, S., Mealy, E., Mounteney, M., Scholz, B. (2009). BegBunch - Benchmarking for C Bug Detection Tools. 2nd International Workshop on Defects in Large Software Systems DEFECTS 2009, United States: Association for Computing Machinery (ACM).
    • Cifuentes, C., Keynes, N., Li, L., Scholz, B. (2009). Program Analysis for Bug Dectection using Parfait. ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation PEPM 2009, United States: Association for Computing Machinery (ACM).
    • Burgstaller, B., Scholz, B. (2009). Program Assemblers. In Wah, Benjamin B (Eds.), Wiley Encyclopedia of Computer Science and Engineering, 5 Volume set, (pp. 2233-2243). Hoboken: John Wiley & Sons.
    • Ebner, D., Scholz, B., Krall, A. (2009). Progressive Spill Code Placement. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems CASES 2009, United States: Association for Computing Machinery (ACM). [More Information]
    • Hong, K., Park, J., Kim, T., Kim, S., Kim, H., Ko, Y., Park, J., Burgstaller, B., Scholz, B. (2009). TinyVM, an Efficient Virtual Machine Infrastructure for Sensor Networks. 7th ACM Conference on Embedded Networked Sensor Systems (SenSys 2009), USA: Association for Computing Machinery (ACM).

    2008

    • Kim, H., Hong, K., Kim, S., Kim, T., Park, J., Ko, Y., Burgstaller, B., Scholz, B. (2008). Billy get your guns: fast barrel-shift decoding for in-place execution of Huffman-encoded bytecode streams. The 3rd International Conference on Ubiquitous Information Technologies & Applications (2008 ICUT).
    • Ebner, D., Bradner, F., Scholz, B., Krall, A., Wiedermann, P., Kadlec, A. (2008). Generalized Instruction Selection using SSA-Graphs. ACM SIGPLAN-SIGBED 2008 Conference on Languages, Compilers and Tools for Embedded Systems (LCTES08), New York, USA: Association for Computing Machinery (ACM).
    • Scholz, B., Burgstaller, B., Xue, J. (2008). Minimal Placement of Bank Selection Instructions for Partitioned Memory Architectures. ACM Transactions on Embedded Computing Systems, 7(2), 12:1-12:32. [More Information]
    • Cifuentes, C., Scholz, B. (2008). Parfait - Designing a Scalable Bug Checker. Static Analysis Workshop (SAW 2008), USA: Association for Computing Machinery (ACM). [More Information]
    • Burgstaller, B., Scholz, B., Blieberger, J. (2008). Symbolic Analysis: An Algebra-Based Approach. Germany: VDM Verlag Dr Muller.
    • Scholz, B., Zhang, C., Cifuentes, C. (2008). User-Input Dependence Analysis via Graph Reachability. Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), USA: Institute of Electrical and Electronics Engineers (IEEE). [More Information]

    2007

    • Scholz, B., Blieberger, J. (2007). A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees. CC 2007 16th International Conference on Compiler Construction - ETAPS 2007 European Joint Conference on Theory And Practice of Software, Berlin, Germany: Springer. [More Information]
    • Nguyen, Q., Scholz, B. (2007). Computing SSA Form with Matrices. Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2007). Elsevier.
    • Scholz, B., Gaber, M., Dawborn, T., Khoury, R., Tse, E. (2007). Efficient Time Triggered Query Processing in Wireless Sensor Networks. Third International Conference on Embedded Software and Systems (ICESS 2007), Berlin, Germany: Springer. [More Information]
    • Selvadurai, S., Roehm, U., Scholz, B. (2007). Event Processing Middleware for Wireless Sensor Networks. 2007 International Conference on Parallel Processing (ICPP 2007), NJ, USA: Institute of Electrical and Electronics Engineers (IEEE).
    • Curran, J., Murphy, T., Scholz, B. (2007). Minimising semantic drift with Mutual Exclusion Bootstraping. 10th Conference of the Pacific Association for Computational Linguistics (pacling 2007), Australia: Pacific Association for Computation Linguistics.
    • Roehm, U., Scholz, B., Gaber, M. (2007). On the Integration of Data Stream Clustering into a Query Processor for Wireless Sensor Networks. Eighth International Conference on Mobile Data Management (MDM 2007), USA: Institute of Electrical and Electronics Engineers (IEEE).
    • Schafer, S., Scholz, B. (2007). Optimal Chain Rule Placement for Instruction Selection Based on SSA Graphs. 10th International Workshop on Software & Compilers for Embedded Systems (SCOPES) 2007, New York City, United States: Association for Computing Machinery (ACM).

    2006

    • Burgstaller, B., Scholz, B., Ertl, A. (2006). An Embedded Systems Programming Environment for C*. Euro-Par 2006 Parallel Processing: 12th International Euro-Par Conference, Germany: Springer.
    • Horspool, R., Pereira, D., Scholz, B. (2006). Fast Profile-Based Partial Redundancy Elimination. JMLC 2006 - 7th Joint Modular Languages Conference 2006, Germany: Springer.
    • Scholz, B., Burgstaller, B., Xue, J. (2006). Minimizing Bank Selection Instructions for Partitioned Memory Architectures. CASES 2006 - The IEEE International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, New York: Association for Computing Machinery (ACM).
    • Hames, L., Scholz, B. (2006). Nearly Optimal Register Allocation with PBQP*. JMLC 2006 - 7th Joint Modular Languages Conference 2006, Germany: Springer.
    • Burgstaller, B., Scholz, B., Blieberger, J. (2006). Symbolic Analysis of Imperative Programming Languages. JMLC 2006 - 7th Joint Modular Languages Conference 2006, Germany: Springer.

    2004

    • Burgstaller, B., Blieberger, J., Scholz, B. (2004). On The Tree Width Of Ada Programs. 9th Ada-Europe International Conference on Reliable Software Technologies, Berlin: Springer.
    • Scholz, B., Horspool, R., Knoop, J. (2004). Optimizing For Space And Time Usage With Speculative Partial Redundancy Elimination. 2004 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '04), New York, USA: Association for Computing Machinery (ACM).

    2003

    • Eckstein, E., Scholz, B. (2003). Addressing Mode Selection. International Symposium on Code Generation and Optimization (CGO'03), USA: Institute of Electrical and Electronics Engineers (IEEE).
    • Fahringer, T., Scholz, B. (2003). Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization. Berlin: Springer.
    • Blieberger, J., Burgstaller, B., Scholz, B. (2003). Busy Wait Analysis. 8th International Conference on Reliable Software Technologies Ada-Europe 2003, Toulouse, France: Springer.
    • Eckstein, E., Konig, O., Scholz, B. (2003). Code Instruction Selection Based on SSA-Graphs. 7th International Workshop on Software and Compilers for Embedded Systems, Vienna: Springer.
    • Hirnschott, U., Krall, A., Scholz, B. (2003). Graph Coloring vs. Optimal Register Allocation for Optimizing Compilers. JMLC 2006 - 7th Joint Modular Languages Conference 2006, Germany: Springer.
    • Scholz, B., Mehofer, E., Horspool, R. (2003). Partial Redundancy Elimination with Predication Techniques. 9th International Euro-Par Conference, Berlin: Springer.
    • Scholz, B., Mehofer, E., Horspool, R. (2003). Predicated Partial Redundancy Elimination using a Cost Analysis. Parallel Processing Letters, 13(4), 525-536. [More Information]

    2002

    • Scholz, B., Mehofer, E. (2002). Dataflow Frequency Analysis based on Whole Program Paths. 11th International Conference on Parallel Architectures and Compilation Techniques (PACT'02), USA: Institute of Electrical and Electronics Engineers (IEEE).
    • Scholz, B., Eckstein, E. (2002). Register Allocation for Irregular Architectures. Joint-Conference on Languages, Compilers, and Tools for Embedded Systems and Software and Compilers for Embedded Systems (LCTES/SCOPES'02), New York, USA: Association for Computing Machinery (ACM).
    • Probst, M., Krall, A., Scholz, B. (2002). Register Liveness Analysis for Optimizing Dynamic Binary Translation. Ninth Working Conference on Reverse Engineering, 2002, Virginia, USA: Institute of Electrical and Electronics Engineers (IEEE).

    2001

    • Mehofer, E., Scholz, B. (2001). A Novel Probabilistic Data Flow Framework. 10th International Conference, Compiler Construction 2001, Berlin: Springer.
    • Fahringer, T., Blaha, P., Hoessinger, A., Luitz, J., Mehofer, E., Moritsch, H., Scholz, B. (2001). Development and performance analysis of real-world applications for distributed and parallel architectures. Concurrency and Computation: Practice and Experience, 13(10), 841-868.
    • Mehofer, E., Scholz, B. (2001). Probabilistic Communication Optimizations and Parallelization for Distributed-Memory Systems. 9th Euromicro Workshop on Parallel and Distributed Processing (PDP'01), USA: Institute of Electrical and Electronics Engineers (IEEE).

    For support on your academic profile contact .