Probability-based current dipole localization from biomagnetic fields. - Bernhard Scholz; Günter Schwierz (IEEE Trans. Biomed. Eng., 1994)

Reconstructing current distributions from biomagnetic measurements under large external noise disturbances. - Kensuke Sekihara; Bernhard Scholz; Herbert Bruder (IEEE Trans. Medical Imaging, 1994)

Average-intensity reconstruction and Wiener reconstruction of bioelectric current distribution based on its estimated covariance matrix. - Kensuke Sekihara; Bernhard Scholz (IEEE Trans. Biomed. Eng., 1995)

Generalized Wiener estimation of three-dimensional current distribution from biomagnetic measurements. - Kensuke Sekihara; Bernhard Scholz (IEEE Trans. Biomed. Eng., 1996)

Symbolic Evaluation for Parallelizing Compilers. - Thomas Fahringer; Bernhard Scholz (International Conference on Supercomputing, 1997)

Interprocedural Symbolic Evaluation of Ada Programs with Aliases. - Johann Blieberger; Bernd Burgstaller; Bernhard Scholz (Ada-Europe, 1999)

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs. - Johann Blieberger; Bernd Burgstaller; Bernhard Scholz (Ada-Europe, 2000)

Probabilistic data flow system with two-edge profiling. - Eduard Mehofer; Bernhard Scholz (Dynamo, 2000)

Symbolic Pointer Analysis for Detecting Memory Leaks. - Bernhard Scholz; Johann Blieberger; Thomas Fahringer (PEPM, 2000)

Execution-driven performance analysis for distributed and parallel systems. - Thomas Fahringer; Bernhard Scholz; Xian-He Sun (Workshop on Software and Performance, 2000)

Symbolic Cache Analysis for Real-Time Systems. - Johann Blieberger; Thomas Fahringer; Bernhard Scholz (Real Time Syst., 2000)

A Unified Symbolic Evaluation Framework for Parallelizing Compilers. - Thomas Fahringer; Bernhard Scholz (IEEE Trans. Parallel Distributed Syst., 2000)

A Novel Probabilistic Data Flow Framework. - Eduard Mehofer; Bernhard Scholz (CC, 2001)

Probabilistic Communication Optimizations and Parallelization for Distributed-Memory Systems. - Eduard Mehofer; Bernhard Scholz (PDP, 2001)

Development and performance analysis of real-world applications for distributed and parallel architectures. - Thomas Fahringer; Peter Blaha; A. Hössinger; J. Luitz; Eduard Mehofer; Hans Moritsch; Bernhard Scholz (Concurr. Comput. Pract. Exp., 2001)

Dataflow Frequency Analysis Based on Whole Program Paths. - Bernhard Scholz; Eduard Mehofer (IEEE PACT, 2002)

Register allocation for irregular architectures. - Bernhard Scholz; Erik Eckstein (LCTES-SCOPES, 2002)

Register Liveness Analysis for Optimizing Dynamic Binary Translation. - Mark Probst; Andreas Krall; Bernhard Scholz (WCRE, 2002)

Towards Virtual Electrical Breast Biopsy: Space-frequency MUSIC for Trans-Admittance Data. - Bernhard Scholz (IEEE Trans. Medical Imaging, 2002)

Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization - Thomas Fahringer; Bernhard Scholz (Springer, 2003)

Busy Wait Analysis. - Johann Blieberger; Bernd Burgstaller; Bernhard Scholz (Ada-Europe, 2003)

Addressing Mode Selection. - Erik Eckstein; Bernhard Scholz (CGO, 2003)

Partial Redundancy Elimination with Predication Techniques. - Bernhard Scholz; Eduard Mehofer; R. Nigel Horspool (Euro-Par, 2003)

Graph Coloring vs. Optimal Register Allocation for Optimizing Compilers. - Ulrich Hirnschrott; Andreas Krall; Bernhard Scholz (JMLC, 2003)

Code Instruction Selection Based on SSA-Graphs. - Erik Eckstein; Oliver König; Bernhard Scholz (SCOPES, 2003)

Predicated Partial Redundancy Elimination Using A Cost Analysis. - Bernhard Scholz; Eduard Mehofer; R. Nigel Horspool (Parallel Process. Lett., 2003)

On the Tree Width of Ada Programs. - Bernd Burgstaller; Johann Blieberger; Bernhard Scholz (Ada-Europe, 2004)

Optimizing for space and time usage with speculative partial redundancy elimination. - Bernhard Scholz; R. Nigel Horspool; Jens Knoop (LCTES, 2004)

Minimizing bank selection instructions for partitioned memory architecture. - Bernhard Scholz; Bernd Burgstaller; Jingling Xue (CASES, 2006)

An Embedded Systems Programming Environment for C. - Bernd Burgstaller; Bernhard Scholz; M. Anton Ertl (Euro-Par, 2006)

Symbolic Analysis of Imperative Programming Languages. - Bernd Burgstaller; Bernhard Scholz; Johann Blieberger (JMLC, 2006)

Nearly Optimal Register Allocation with PBQP. - Lang Hames; Bernhard Scholz (JMLC, 2006)

Fast Profile-Based Partial Redundancy Elimination. - R. Nigel Horspool; David J. Pereira; Bernhard Scholz (JMLC, 2006)

A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees. - Bernhard Scholz; Johann Blieberger (CC, 2007)

Automated Software Testing and Analysis: Techniques, Practices and Tools. - Zhiquan Zhou; Bernhard Scholz; Giovanni Denaro (HICSS, 2007)

Efficient Time Triggered Query Processing in Wireless Sensor Networks. - Bernhard Scholz; Mohamed Medhat Gaber; Tim Dawborn; Raymes Khoury; Edmund Tse (ICESS, 2007)

Event Processing Middleware for Wireless Sensor Networks. - S. Selvakennedy; Uwe Röhm; Bernhard Scholz (ICPP Workshops, 2007)

On the Integration of Data Stream Clustering into a Query Processor for Wireless Sensor Networks. - Uwe Röhm; Bernhard Scholz; Mohamed Medhat Gaber (MDM, 2007)

Optimal chain rule placement for instruction selection based on SSA graphs. - Stefan Schäfer; Bernhard Scholz (SCOPES, 2007)

Computing SSA Form with Matrices. - Quan Hoang Nguyen 001; Bernhard Scholz (Bytecode@ETAPS, 2007)

Parfait - Designing a Scalable Bug Checker. - Cristina Cifuentes; Bernhard Scholz (Scalable Program Analysis, 2008)

Generalized instruction selection using SSA-graphs. - Dietmar Ebner; Florian Brandner; Bernhard Scholz; Andreas Krall; Peter Wiedermann; Albrecht Kadlec (LCTES, 2008)

User-Input Dependence Analysis via Graph Reachability. - Bernhard Scholz; Chenyi Zhang 001; Cristina Cifuentes (SCAM, 2008)

Minimal placement of bank selection instructions for partitioned memory architectures. - Bernhard Scholz; Bernd Burgstaller; Jingling Xue (ACM Trans. Embed. Comput. Syst., 2008)

Program Assemblers. - Bernd Burgstaller; Bernhard Scholz (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Progressive spill code placement. - Dietmar Ebner; Bernhard Scholz; Andreas Krall (CASES, 2009)

An Efficient Mixed-Mode Execution Environment for C on Mobile Phone Platforms. - Taekhoon Kim; Sungho Kim; Kirak Hong; Hwangho Kim; Jiin Park; Yousun Ko 001; Bernd Burgstaller; Bernhard Scholz (CSIE (1), 2009)

Program analysis for bug detection using parfait: invited talk. - Cristina Cifuentes; Nathan Keynes; Lian Li; Bernhard Scholz (PEPM, 2009)

TinyVM, an efficient virtual machine infrastructure for sensor networks. - Kirak Hong; Jiin Park; Taekhoon Kim; Sungho Kim; Hwangho Kim; Yousun Ko 001; Jongtae Park; Bernd Burgstaller; Bernhard Scholz (SenSys, 2009)

Corona: Energy-Efficient Multi-query Processing in Wireless Sensor Networks. - Raymes Khoury; Tim Dawborn; Bulat Gafurov; Glen Pink; Edmund Tse; Quincy Tse; Khaled Almiani; Mohamed Medhat Gaber; Uwe Röhm; Bernhard Scholz (DASFAA (2), 2010)

Orchestration by approximation: mapping stream programs onto multicore architectures. - Sardar M. Farhad; Yousun Ko 001; Bernd Burgstaller; Bernhard Scholz (ASPLOS, 2011)

Analyzing category correlations for recommendation system. - Bernhard Scholz; Sang-Min Choi; Sang-Ki Ko; Hae-Sung Eom; Yo-Sub Han (ICUIMC, 2011)

Object-Based Dynamic Protocol Recovery for Multi-Threading Programs. - Bernhard Scholz; Rainer Koschke (WCRE, 2011)

Treegraph-based Instruction Scheduling for Stack-based Virtual Machines. - Jiin Park; Jinhyung Park; Wonjoon Song; Songwook Yoon; Bernd Burgstaller; Bernhard Scholz (Bytecode@ETAPS, 2011)

Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture. - Raymes Khoury; Bernd Burgstaller; Bernhard Scholz (IEEE Trans. Parallel Distributed Syst., 2011)

On graphs supporting greedy forwarding for directional wireless networks. - Weisheng Si; Bernhard Scholz; Joachim Gudmundsson; Guoqiang Mao; Roksana Boreli; Albert Y. Zomaya (ICC, 2012)

A recommendation system based on a subset of raters. - Bernhard Scholz; Sang-Min Choi; Sang-Ki Ko; Hae-Sung Eom; Yo-Sub Han (ICUIMC, 2012)

Profile-guided deployment of stream programs on multicores. - Sardar M. Farhad; Yousun Ko 001; Bernd Burgstaller; Bernhard Scholz (LCTES, 2012)

Migrating operator placement for compositional stream graphs. - Vasvi Kakkad; Andrew E. Santosa; Bernhard Scholz (MSWiM, 2012)

Translating flowcharts to non-deterministic languages. - Surinder Kumar Jain; Chenyi Zhang 001; Bernhard Scholz (PEPM, 2012)

A symbolic analysis framework for static analysis of imperative programming languages. - Bernd Burgstaller; Bernhard Scholz; Johann Blieberger (J. Syst. Softw., 2012)

TinyVM: an energy-efficient execution infrastructure for sensor networks. - Kirak Hong; Jiin Park; Sungho Kim; Taekhoon Kim; Hwangho Kim; Bernd Burgstaller; Bernhard Scholz (Softw. Pract. Exp., 2012)

A Scalable Approach for LRT Computation in GPGPU Environments. - Linsey Xiaolin Pang; Sanjay Chawla; Bernhard Scholz; Georgina Wilcox (APWeb, 2013)

Parallel from the beginning: the case for multicore programming in thecomputer science undergraduate curriculum. - Yousun Ko 001; Bernd Burgstaller; Bernhard Scholz (SIGCSE, 2013)

Curracurrong cloud: Stream processing in the cloud. - Vasvi Kakkad; Akon Dey; Alan D. Fekete; Bernhard Scholz (ICDE Workshops, 2014)

Curracurrong: a stream programming environment for wireless sensor networks. - Vasvi Kakkad; Saeed Attar; Andrew E. Santosa; Alan D. Fekete; Bernhard Scholz (Softw. Pract. Exp., 2014)

A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report. - Bernhard Scholz; Kostyantyn Vorobyov; Padmanabhan Krishnan; Till Westmann (ASWEC, 2015)

Staged Points-to Analysis for Large Code Bases. - Nicholas Allen; Bernhard Scholz; Padmanabhan Krishnan (CC, 2015)

Towards a Scalable Framework for Context-Free Language Reachability. - Nicholas Hollingum; Bernhard Scholz (CC, 2015)

Giga-scale exhaustive points-to analysis for Java in under a minute. - Jens Dietrich 001; Nicholas Hollingum; Bernhard Scholz (OOPSLA, 2015)

Combining type-analysis with points-to analysis for analyzing Java library source-code. - Nicholas Allen; Padmanabhan Krishnan; Bernhard Scholz (SOAP@PLDI, 2015)

LaminarIR: compile-time queues for structured streams. - Yousun Ko 001; Bernd Burgstaller; Bernhard Scholz (PLDI, 2015)

Computing end-to-end delays in stream query processing. - Vasvi Kakkad; Andrew E. Santosa; Alan D. Fekete; Bernhard Scholz (Sci. Comput. Program., 2015)

Soufflé: On Synthesis of Program Analyzers. - Herbert Jordan; Bernhard Scholz; Pavle Subotic (CAV (2), 2016)

On fast large-scale program analysis in Datalog. - Bernhard Scholz; Herbert Jordan; Pavle Subotic; Till Westmann (CC, 2016)

A Note on the Soundness of Difference Propagation. - Jens Dietrich 001; Nicholas Hollingum; Bernhard Scholz (FTfJP@ECOOP, 2016)

Towards Memory-Optimal Schedules for SDF. - Mitchell Jones; Julián Mestre; Bernhard Scholz (Euro-Par Workshops, 2017)

Cauliflower: a Solver Generator for Context-Free Language Reachability. - Nicholas Hollingum; Bernhard Scholz (LPAR, 2017)

An efficient tunable selective points-to analysis for large codebases. - Behnaz Hassanshahi; Raghavendra Kagalavadi Ramesh; Padmanabhan Krishnan; Bernhard Scholz; Yi Lu 003 (SOAP@PLDI, 2017)

Optimal On The Fly Index Selection in Polynomial Time. - Herbert Jordan; Bernhard Scholz; Pavle Subotic (CoRR, 2017)

SPARK: Static Program Analysis Reasoning and Retrieving Knowledge. - Wasuwee Sodsong; Bernhard Scholz; Sanjay Chawla (CoRR, 2017)

Two concurrent data structures for efficient datalog query processing. - Herbert Jordan; Bernhard Scholz; Pavle Subotic (PPoPP, 2018)

Vandal: A Scalable Security Analysis Framework for Smart Contracts. - Lexi Brent; Anton Jurisevic; Michael Kong; Eric Liu; François Gauthier 001; Vincent Gramoli; Ralph Holz; Bernhard Scholz (CoRR, 2018)

MadMax: surviving out-of-gas conditions in Ethereum smart contracts. - Neville Grech; Michael Kong; Anton Jurisevic; Lexi Brent; Bernhard Scholz; Yannis Smaragdakis (Proc. ACM Program. Lang., 2018)

Automatic Index Selection for Large-Scale Datalog Computation. - Pavle Subotic; Herbert Jordan; Lijun Chang; Alan D. Fekete; Bernhard Scholz (Proc. VLDB Endow., 2018)

Fast Parallel Equivalence Relations in a Datalog Compiler. - Patrick Nappa; David Zhao 001; Pavle Subotic; Bernhard Scholz (PACT, 2019)

Gigahorse: thorough, declarative decompilation of smart contracts. - Neville Grech; Lexi Brent; Bernhard Scholz; Yannis Smaragdakis (ICSE, 2019)

A specialized B-tree for concurrent datalog evaluation. - Herbert Jordan; Pavle Subotic; David Zhao 001; Bernhard Scholz (PPoPP, 2019)

Brie: A Specialized Trie for Concurrent Datalog. - Herbert Jordan; Pavle Subotic; David Zhao 001; Bernhard Scholz (PMAM@PPoPP, 2019)

Provenance for Large-scale Datalog. - David Zhao 001; Pavle Subotic; Bernhard Scholz (CoRR, 2019)

The Economics of Smart Contracts. - Kirk Baird; Seongho Jeong; Yeonsoo Kim; Bernd Burgstaller; Bernhard Scholz (CoRR, 2019)

Worst-Case Optimal Radix Triejoin. - Alan D. Fekete; Brody Franks; Herbert Jordan; Bernhard Scholz (CoRR, 2019)

Ethainter: a smart contract security analyzer for composite vulnerabilities. - Lexi Brent; Neville Grech; Sifis Lagouvardos; Bernhard Scholz; Yannis Smaragdakis (PLDI, 2020)

Explaining bug provenance with trace witnesses. - Jixiang Shen; Xi Wu 005; Neville Grech; Bernhard Scholz; Yannis Smaragdakis (SOAP@PLDI, 2020)

MadMax: analyzing the out-of-gas world of smart contracts. - Neville Grech; Michael Kong; Anton Jurisevic; Lexi Brent; Bernhard Scholz; Yannis Smaragdakis (Commun. ACM, 2020)

Provenance-guided synthesis of Datalog programs. - Mukund Raghothaman; Jonathan Mendelson; David Zhao 001; Mayur Naik; Bernhard Scholz (Proc. ACM Program. Lang., 2020)

Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy. - David Zhao 001; Pavle Subotic; Bernhard Scholz (ACM Trans. Program. Lang. Syst., 2020)

The Choice Construct in the Soufflé Language. - Xiaowen Hu; Joshua Karp; David Zhao 001; Abdul Zreika; Xi Wu 005; Bernhard Scholz (APLAS, 2021)

An efficient interpreter for Datalog by de-specializing relations. - Xiaowen Hu; David Zhao 001; Herbert Jordan; Bernhard Scholz (PLDI, 2021)

Towards Elastic Incrementalization for Datalog. - David Zhao 001; Pavle Subotic; Mukund Raghothaman; Bernhard Scholz (PPDP, 2021)

An Off-The-Chain Execution Environment for Scalable Testing and Profiling of Smart Contracts. - Yeonsoo Kim; Seongho Jeong; Kamil Jezek; Bernd Burgstaller; Bernhard Scholz (USENIX ATC, 2021)

Instruction Code Selection. - Dietmar Ebner; Andreas Krall; Bernhard Scholz (SSA-based Compiler Design, 2022)

Building a Join Optimizer for Soufflé. - Samuel Arch; Xiaowen Hu; David Zhao 001; Pavle Subotic; Bernhard Scholz (LOPSTR, 2022)

Specializing parallel data structures for Datalog. - Herbert Jordan; Pavle Subotic; David Zhao 001; Bernhard Scholz (Concurr. Comput. Pract. Exp., 2022)

Cloud Matrix Machine for Julia and Implicit Parallelization for Matrix Languages. - Jay Hwan Lee; Yeonsoo Kim; Younghyun Ryu; Wasuwee Sodsong; Hyunjun Jeon; Jinsik Park; Bernd Burgstaller; Bernhard Scholz (CoRR, 2022)

Cloudprofiler: TSC-based inter-node profiling and high-throughput data ingestion for cloud streaming workloads. - Shinhyung Yang; Jiun Jeong; Bernhard Scholz; Bernd Burgstaller (CoRR, 2022)

Runtime and energy constrained work scheduling for heterogeneous systems. - Valon Raca; Seeun William Umboh; Eduard Mehofer; Bernhard Scholz (J. Supercomput., 2022)

Efficient Sink-Reachability Analysis via Graph Reduction. - Jens Dietrich 001; Lijun Chang; Long Qian; Lyndon M. Henry; Catherine McCartin; Bernhard Scholz (IEEE Trans. Knowl. Data Eng., 2022)

Efficient Sink-Reachability Analysis via Graph Reduction (Extended Abstract). - Jens Dietrich 001; Lijun Chang; Long Qian; Lyndon M. Henry; Catherine McCartin; Bernhard Scholz (ICDE, 2023)

Automatic Rollback Suggestions for Incremental Datalog Evaluation. - David Zhao 001; Pavle Subotic; Mukund Raghothaman; Bernhard Scholz (PADL, 2023)

Julia Cloud Matrix Machine: Dynamic Matrix Language Acceleration on Multicore Clusters in the Cloud. - Jay Hwan Lee; Yeonsoo Kim; Younghyun Ryu; Wasuwee Sodsong; Hyunjun Jeon; Jinsik Park; Bernd Burgstaller; Bernhard Scholz (PMAM@PPoPP, 2023)

EVMTracer: Dynamic Analysis of the Parallelization and Redundancy Potential in the Ethereum Virtual Machine. - Xiaowen Hu; Bernd Burgstaller; Bernhard Scholz (IEEE Access, 2023)

Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine. - Xiaowen Hu; David Zhao 001; Bernhard Scholz (VMIL@SPLASH, 2024)

Formal Verification of a Fail-Safe Cross-Chain Bridge. - Filip Maric; Bernhard Scholz; Pavle Subotic (FMBC, 2025)

Reusable Formal Verification of DAG-Based Consensus Protocols. - Nathalie Bertrand 001; Pranav Ghorpade; Sasha Rubin; Bernhard Scholz; Pavle Subotic (NFM, 2025)

Provenance Guided Rollback Suggestions. - David Zhao 001; Pavle Subotic; Mukund Raghothaman; Bernhard Scholz (Theory Pract. Log. Program., 2025)

Formal Model Guided Conformance Testing for Blockchains. - Filip Drobnjakovic; Amir Kashapov; Matija Kupresanin; Bernhard Scholz; Pavle Subotic (CoRR, 2025)