Bernhard Scholz

125 papers A* 6A 5B 15C 11Misc 7Journal 41Unranked 37
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Fast Ethereum-Compatible Forkless Database.
CoRR
Herbert Jordan, Kamil Jezek, Pavle Subotic, Bernhard Scholz
2025 J jnl
Efficient Forkless Blockchain Databases.
IEEE Access
Herbert Jordan, Kamil Jezek, Pavle Subotic, Bernhard Scholz
2025 J jnl
Efficient Forkless Blockchain Databases.
CoRR
Herbert Jordan, Kamil Jezek, Pavle Subotic, Bernhard Scholz
2025 J jnl
Formal Model Guided Conformance Testing for Blockchains.
CoRR
Filip Drobnjakovic, Amir Kashapov, Matija Kupresanin, Bernhard Scholz, Pavle Subotic
2025 — conf
Formal Verification of a Fail-Safe Cross-Chain Bridge.
FMBC
Filip Maric, Bernhard Scholz, Pavle Subotic
2025 J jnl
Provenance Guided Rollback Suggestions.
CoRR
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
2025 J jnl
Provenance Guided Rollback Suggestions.
Theory Pract. Log. Program.
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
2025 — conf
Reusable Formal Verification of DAG-Based Consensus Protocols.
NFM
Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin, Bernhard Scholz, Pavle Subotic
2024 J jnl
Reusable Formal Verification of DAG-based Consensus Protocols.
CoRR
Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin, Bernhard Scholz, Pavle Subotic
2024 — conf
Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine.
VMIL@SPLASH
Xiaowen Hu, David Zhao, Bernhard Scholz
2023 C conf
Automatic Rollback Suggestions for Incremental Datalog Evaluation.
PADL
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
2023 J jnl
EVMTracer: Dynamic Analysis of the Parallelization and Redundancy Potential in the Ethereum Virtual Machine.
IEEE Access
Xiaowen Hu, Bernd Burgstaller, Bernhard Scholz
2023 A* conf
Efficient Sink-Reachability Analysis via Graph Reduction (Extended Abstract).
ICDE
Jens Dietrich, Lijun Chang, Long Qian, Lyndon M. Henry, Catherine McCartin, Bernhard Scholz
2023 — conf
Julia Cloud Matrix Machine: Dynamic Matrix Language Acceleration on Multicore Clusters in the Cloud.
PMAM@PPoPP
Jay Hwan Lee, Yeonsoo Kim, Younghyun Ryu, Wasuwee Sodsong, Hyunjun Jeon, Jinsik Park, Bernd Burgstaller, Bernhard Scholz
2022 C conf
Building a Join Optimizer for Soufflé.
LOPSTR
Samuel Arch, Xiaowen Hu, David Zhao, Pavle Subotic, Bernhard Scholz
2022 J jnl
Cloud Matrix Machine for Julia and Implicit Parallelization for Matrix Languages.
CoRR
Jay Hwan Lee, Yeonsoo Kim, Younghyun Ryu, Wasuwee Sodsong, Hyunjun Jeon, Jinsik Park, Bernd Burgstaller, Bernhard Scholz
2022 J jnl
Cloudprofiler: TSC-based inter-node profiling and high-throughput data ingestion for cloud streaming workloads.
CoRR
Shinhyung Yang, Jiun Jeong, Bernhard Scholz, Bernd Burgstaller
2022 J jnl
Efficient Sink-Reachability Analysis via Graph Reduction.
IEEE Trans. Knowl. Data Eng.
Jens Dietrich, Lijun Chang, Long Qian, Lyndon M. Henry, Catherine McCartin, Bernhard Scholz
2022 — ch.
Instruction Code Selection.
SSA-based Compiler Design
Dietmar Ebner, Andreas Krall, Bernhard Scholz
2022 B ed.
Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2022, Auckland, New Zealand, December 6-7, 2022
GPCE
Bernhard Scholz, Yukiyoshi Kameyama
2022 J jnl
Runtime and energy constrained work scheduling for heterogeneous systems.
J. Supercomput.
Valon Raca, Seeun William Umboh, Eduard Mehofer, Bernhard Scholz
2022 J jnl
Specializing parallel data structures for Datalog.
Concurr. Comput. Pract. Exp.
Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz
2021 — conf
An Off-The-Chain Execution Environment for Scalable Testing and Profiling of Smart Contracts.
USENIX ATC
Yeonsoo Kim, Seongho Jeong, Kamil Jezek, Bernd Burgstaller, Bernhard Scholz
2021 A* conf
An efficient interpreter for Datalog by de-specializing relations.
PLDI
Xiaowen Hu, David Zhao, Herbert Jordan, Bernhard Scholz
2021 J jnl
The Choice Construct in the Souffle Language.
CoRR
Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz
2021 B conf
The Choice Construct in the Soufflé Language.
APLAS
Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz
2021 C conf
Towards Elastic Incrementalization for Datalog.
PPDP
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
2020 J jnl
Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy.
ACM Trans. Program. Lang. Syst.
David Zhao, Pavle Subotic, Bernhard Scholz
2020 A* conf
Ethainter: a smart contract security analyzer for composite vulnerabilities.
PLDI
Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis
2020 — conf
Explaining bug provenance with trace witnesses.
SOAP@PLDI
Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, Yannis Smaragdakis
2020 J jnl
MadMax: analyzing the out-of-gas world of smart contracts.
Commun. ACM
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
2020 J jnl
Provenance-guided synthesis of Datalog programs.
Proc. ACM Program. Lang.
Mukund Raghothaman, Jonathan Mendelson, David Zhao, Mayur Naik, Bernhard Scholz
2019 B conf
A specialized B-tree for concurrent datalog evaluation.
PPoPP
Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz
2019 — conf
Brie: A Specialized Trie for Concurrent Datalog.
PMAM@PPoPP
Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz
2019 B conf
Fast Parallel Equivalence Relations in a Datalog Compiler.
PACT
Patrick Nappa, David Zhao, Pavle Subotic, Bernhard Scholz
2019 A* conf
Gigahorse: thorough, declarative decompilation of smart contracts.
ICSE
Neville Grech, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
2019 J jnl
Provenance for Large-scale Datalog.
CoRR
David Zhao, Pavle Subotic, Bernhard Scholz
2019 J jnl
The Economics of Smart Contracts.
CoRR
Kirk Baird, Seongho Jeong, Yeonsoo Kim, Bernd Burgstaller, Bernhard Scholz
2019 J jnl
Worst-Case Optimal Radix Triejoin.
CoRR
Alan D. Fekete, Brody Franks, Herbert Jordan, Bernhard Scholz
2018 J jnl
Automatic Index Selection for Large-Scale Datalog Computation.
Proc. VLDB Endow.
Pavle Subotic, Herbert Jordan, Lijun Chang, Alan D. Fekete, Bernhard Scholz
2018 J jnl
MadMax: surviving out-of-gas conditions in Ethereum smart contracts.
Proc. ACM Program. Lang.
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
2018 B conf
Two concurrent data structures for efficient datalog query processing.
PPoPP
Herbert Jordan, Bernhard Scholz, Pavle Subotic
2018 J jnl
Vandal: A Scalable Security Analysis Framework for Smart Contracts.
CoRR
Lexi Brent, Anton Jurisevic, Michael Kong, Eric Liu, François Gauthier, Vincent Gramoli, Ralph Holz, Bernhard Scholz
2017 — conf
An efficient tunable selective points-to analysis for large codebases.
SOAP@PLDI
Behnaz Hassanshahi, Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan, Bernhard Scholz, Yi Lu
2017 B conf
Cauliflower: a Solver Generator for Context-Free Language Reachability.
LPAR
Nicholas Hollingum, Bernhard Scholz
2017 J jnl
Optimal On The Fly Index Selection in Polynomial Time.
CoRR
Herbert Jordan, Bernhard Scholz, Pavle Subotic
2017 J jnl
SPARK: Static Program Analysis Reasoning and Retrieving Knowledge.
CoRR
Wasuwee Sodsong, Bernhard Scholz, Sanjay Chawla
2017 — conf
Towards Memory-Optimal Schedules for SDF.
Euro-Par Workshops
Mitchell Jones, Julián Mestre, Bernhard Scholz
2016 — conf
A Note on the Soundness of Difference Propagation.
FTfJP@ECOOP
Jens Dietrich, Nicholas Hollingum, Bernhard Scholz
2016 B conf
On fast large-scale program analysis in Datalog.
CC
Bernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann
2016 — conf
Soufflé: On Synthesis of Program Analyzers.
CAV (2)
Herbert Jordan, Bernhard Scholz, Pavle Subotic
2015 — conf
A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report.
ASWEC
Bernhard Scholz, Kostyantyn Vorobyov, Padmanabhan Krishnan, Till Westmann
2015 — conf
Combining type-analysis with points-to analysis for analyzing Java library source-code.
SOAP@PLDI
Nicholas Allen, Padmanabhan Krishnan, Bernhard Scholz
2015 J jnl
Computing end-to-end delays in stream query processing.
Sci. Comput. Program.
Vasvi Kakkad, Andrew E. Santosa, Alan D. Fekete, Bernhard Scholz
2015 A conf
Giga-scale exhaustive points-to analysis for Java in under a minute.
OOPSLA
Jens Dietrich, Nicholas Hollingum, Bernhard Scholz
2015 A* conf
LaminarIR: compile-time queues for structured streams.
PLDI
Yousun Ko, Bernd Burgstaller, Bernhard Scholz
2015 B conf
Staged Points-to Analysis for Large Code Bases.
CC
Nicholas Allen, Bernhard Scholz, Padmanabhan Krishnan
2015 B conf
Towards a Scalable Framework for Context-Free Language Reachability.
CC
Nicholas Hollingum, Bernhard Scholz
2014 — conf
Curracurrong cloud: Stream processing in the cloud.
ICDE Workshops
Vasvi Kakkad, Akon Dey, Alan D. Fekete, Bernhard Scholz
2014 J jnl
Curracurrong: a stream programming environment for wireless sensor networks.
Softw. Pract. Exp.
Vasvi Kakkad, Saeed Attar, Andrew E. Santosa, Alan D. Fekete, Bernhard Scholz
2013 C conf
A Scalable Approach for LRT Computation in GPGPU Environments.
APWeb
Linsey Xiaolin Pang, Sanjay Chawla, Bernhard Scholz, Georgina Wilcox
2013 A conf
Parallel from the beginning: the case for multicore programming in thecomputer science undergraduate curriculum.
SIGCSE
Yousun Ko, Bernd Burgstaller, Bernhard Scholz
2012 — conf
A recommendation system based on a subset of raters.
ICUIMC
Bernhard Scholz, Sang-Min Choi, Sang-Ki Ko, Hae-Sung Eom, Yo-Sub Han
2012 J jnl
A symbolic analysis framework for static analysis of imperative programming languages.
J. Syst. Softw.
Bernd Burgstaller, Bernhard Scholz, Johann Blieberger
2012 A conf
Migrating operator placement for compositional stream graphs.
MSWiM
Vasvi Kakkad, Andrew E. Santosa, Bernhard Scholz
2012 — conf
On graphs supporting greedy forwarding for directional wireless networks.
ICC
Weisheng Si, Bernhard Scholz, Joachim Gudmundsson, Guoqiang Mao, Roksana Boreli, Albert Y. Zomaya
2012 B conf
Profile-guided deployment of stream programs on multicores.
LCTES
Sardar M. Farhad, Yousun Ko, Bernd Burgstaller, Bernhard Scholz
2012 J jnl
TinyVM: an energy-efficient execution infrastructure for sensor networks.
Softw. Pract. Exp.
Kirak Hong, Jiin Park, Sungho Kim, Taekhoon Kim, Hwangho Kim, Bernd Burgstaller, Bernhard Scholz
2012 C conf
Translating flowcharts to non-deterministic languages.
PEPM
Surinder Kumar Jain, Chenyi Zhang, Bernhard Scholz
2011 J jnl
Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture.
IEEE Trans. Parallel Distributed Syst.
Raymes Khoury, Bernd Burgstaller, Bernhard Scholz
2011 — conf
Analyzing category correlations for recommendation system.
ICUIMC
Bernhard Scholz, Sang-Min Choi, Sang-Ki Ko, Hae-Sung Eom, Yo-Sub Han
2011 — conf
Object-Based Dynamic Protocol Recovery for Multi-Threading Programs.
WCRE
Bernhard Scholz, Rainer Koschke
2011 A* conf
Orchestration by approximation: mapping stream programs onto multicore architectures.
ASPLOS
Sardar M. Farhad, Yousun Ko, Bernd Burgstaller, Bernhard Scholz
2011 — conf
Treegraph-based Instruction Scheduling for Stack-based Virtual Machines.
Bytecode@ETAPS
Jiin Park, Jinhyung Park, Wonjoon Song, Songwook Yoon, Bernd Burgstaller, Bernhard Scholz
2010 — conf
Corona: Energy-Efficient Multi-query Processing in Wireless Sensor Networks.
DASFAA (2)
Raymes Khoury, Tim Dawborn, Bulat Gafurov, Glen Pink, Edmund Tse, Quincy Tse, Khaled Almiani, Mohamed Medhat Gaber, Uwe Röhm, Bernhard Scholz
2009 J jnl
Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture
CoRR
Raymes Khoury, Bernd Burgstaller, Bernhard Scholz
2009 — conf
An Efficient Mixed-Mode Execution Environment for C on Mobile Phone Platforms.
CSIE (1)
Taekhoon Kim, Sungho Kim, Kirak Hong, Hwangho Kim, Jiin Park, Yousun Ko, Bernd Burgstaller, Bernhard Scholz
2009 C conf
Program analysis for bug detection using parfait: invited talk.
PEPM
Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz
2009 Misc conf
Progressive spill code placement.
CASES
Dietmar Ebner, Bernhard Scholz, Andreas Krall
2009 Misc conf
TinyVM, an efficient virtual machine infrastructure for sensor networks.
SenSys
Kirak Hong, Jiin Park, Taekhoon Kim, Sungho Kim, Hwangho Kim, Yousun Ko, Jongtae Park, Bernd Burgstaller, Bernhard Scholz
2008 B conf
Generalized instruction selection using
LCTES
Dietmar Ebner, Florian Brandner, Bernhard Scholz, Andreas Krall, Peter Wiedermann, Albrecht Kadlec
2008 J jnl
Minimal placement of bank selection instructions for partitioned memory architectures.
ACM Trans. Embed. Comput. Syst.
Bernhard Scholz, Bernd Burgstaller, Jingling Xue
2008 — conf
Parfait - Designing a Scalable Bug Checker.
Scalable Program Analysis
Cristina Cifuentes, Bernhard Scholz
2008 — ch.
Program Assemblers.
Wiley Encyclopedia of Computer Science and Engineering
Bernd Burgstaller, Bernhard Scholz
2008 C conf
User-Input Dependence Analysis via Graph Reachability.
SCAM
Bernhard Scholz, Chenyi Zhang, Cristina Cifuentes
2007 B conf
A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees.
CC
Bernhard Scholz, Johann Blieberger
2007 — conf
Automated Software Testing and Analysis: Techniques, Practices and Tools.
HICSS
Zhiquan Zhou, Bernhard Scholz, Giovanni Denaro
2007 — conf
Computing SSA Form with Matrices.
Bytecode@ETAPS
Quan Hoang Nguyen, Bernhard Scholz
2007 — conf
Efficient Time Triggered Query Processing in Wireless Sensor Networks.
ICESS
Bernhard Scholz, Mohamed Medhat Gaber, Tim Dawborn, Raymes Khoury, Edmund Tse
2007 — conf
Event Processing Middleware for Wireless Sensor Networks.
ICPP Workshops
S. Selvakennedy, Uwe Röhm, Bernhard Scholz
2007 B conf
On the Integration of Data Stream Clustering into a Query Processor for Wireless Sensor Networks.
MDM
Uwe Röhm, Bernhard Scholz, Mohamed Medhat Gaber
2007 C conf
Optimal chain rule placement for instruction selection based on SSA graphs.
SCOPES
Stefan Schäfer, Bernhard Scholz
2006 — conf
An Embedded Systems Programming Environment for C.
Euro-Par
Bernd Burgstaller, Bernhard Scholz, M. Anton Ertl
2006 — conf
Fast Profile-Based Partial Redundancy Elimination.
JMLC
R. Nigel Horspool, David J. Pereira, Bernhard Scholz
2006 Misc conf
Minimizing bank selection instructions for partitioned memory architecture.
CASES
Bernhard Scholz, Bernd Burgstaller, Jingling Xue
2006 — conf
Nearly Optimal Register Allocation with PBQP.
JMLC
Lang Hames, Bernhard Scholz
2006 — conf
Symbolic Analysis of Imperative Programming Languages.
JMLC
Bernd Burgstaller, Bernhard Scholz, Johann Blieberger
2004 Misc conf
On the Tree Width of Ada Programs.
Ada-Europe
Bernd Burgstaller, Johann Blieberger, Bernhard Scholz
2004 B conf
Optimizing for space and time usage with speculative partial redundancy elimination.
LCTES
Bernhard Scholz, R. Nigel Horspool, Jens Knoop
2003 A conf
Addressing Mode Selection.
CGO
Erik Eckstein, Bernhard Scholz
2003 — book
Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization
Thomas Fahringer, Bernhard Scholz
2003 Misc conf
Busy Wait Analysis.
Ada-Europe
Johann Blieberger, Bernd Burgstaller, Bernhard Scholz
2003 C conf
Code Instruction Selection Based on SSA-Graphs.
SCOPES
Erik Eckstein, Oliver König, Bernhard Scholz
2003 — conf
Graph Coloring vs. Optimal Register Allocation for Optimizing Compilers.
JMLC
Ulrich Hirnschrott, Andreas Krall, Bernhard Scholz
2003 — conf
Partial Redundancy Elimination with Predication Techniques.
Euro-Par
Bernhard Scholz, Eduard Mehofer, R. Nigel Horspool
2003 J jnl
Predicated Partial Redundancy Elimination Using A Cost Analysis.
Parallel Process. Lett.
Bernhard Scholz, Eduard Mehofer, R. Nigel Horspool
2002 — conf
Dataflow Frequency Analysis Based on Whole Program Paths.
IEEE PACT
Bernhard Scholz, Eduard Mehofer
2002 — conf
Register Liveness Analysis for Optimizing Dynamic Binary Translation.
WCRE
Mark Probst, Andreas Krall, Bernhard Scholz
2002 — conf
Register allocation for irregular architectures.
LCTES-SCOPES
Bernhard Scholz, Erik Eckstein
2002 J jnl
Towards Virtual Electrical Breast Biopsy: Space-frequency MUSIC for Trans-Admittance Data.
IEEE Trans. Medical Imaging
Bernhard Scholz
2001 B conf
A Novel Probabilistic Data Flow Framework.
CC
Eduard Mehofer, Bernhard Scholz
2001 J jnl
Development and performance analysis of real-world applications for distributed and parallel architectures.
Concurr. Comput. Pract. Exp.
Thomas Fahringer, Peter Blaha, A. Hössinger, J. Luitz, Eduard Mehofer, Hans Moritsch, Bernhard Scholz
2001 C conf
Probabilistic Communication Optimizations and Parallelization for Distributed-Memory Systems.
PDP
Eduard Mehofer, Bernhard Scholz
2000 J jnl
A Unified Symbolic Evaluation Framework for Parallelizing Compilers.
IEEE Trans. Parallel Distributed Syst.
Thomas Fahringer, Bernhard Scholz
2000 — conf
Execution-driven performance analysis for distributed and parallel systems.
Workshop on Software and Performance
Thomas Fahringer, Bernhard Scholz, Xian-He Sun
2000 — conf
Probabilistic data flow system with two-edge profiling.
Dynamo
Eduard Mehofer, Bernhard Scholz
2000 J jnl
Symbolic Cache Analysis for Real-Time Systems.
Real Time Syst.
Johann Blieberger, Thomas Fahringer, Bernhard Scholz
2000 Misc conf
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs.
Ada-Europe
Johann Blieberger, Bernd Burgstaller, Bernhard Scholz
2000 C conf
Symbolic Pointer Analysis for Detecting Memory Leaks.
PEPM
Bernhard Scholz, Johann Blieberger, Thomas Fahringer
1999 Misc conf
Interprocedural Symbolic Evaluation of Ada Programs with Aliases.
Ada-Europe
Johann Blieberger, Bernd Burgstaller, Bernhard Scholz
1997 A conf
Symbolic Evaluation for Parallelizing Compilers.
International Conference on Supercomputing
Thomas Fahringer, Bernhard Scholz
1996 J jnl
Generalized Wiener estimation of three-dimensional current distribution from biomagnetic measurements.
IEEE Trans. Biomed. Eng.
Kensuke Sekihara, Bernhard Scholz
1995 J jnl
Average-intensity reconstruction and Wiener reconstruction of bioelectric current distribution based on its estimated covariance matrix.
IEEE Trans. Biomed. Eng.
Kensuke Sekihara, Bernhard Scholz
1994 J jnl
Probability-based current dipole localization from biomagnetic fields.
IEEE Trans. Biomed. Eng.
Bernhard Scholz, Günter Schwierz
1994 J jnl
Reconstructing current distributions from biomagnetic measurements under large external noise disturbances.
IEEE Trans. Medical Imaging
Kensuke Sekihara, Bernhard Scholz, Herbert Bruder