Bernhard Scholz

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 40

Top Venues

CoRR

SOAP@PLDI

PLDI

Publications

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

Bernhard Scholz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernhard Scholz