| 2023 | ICDE | Efficient Sink-Reachability Analysis via Graph Reduction (Extended Abstract). | Jens Dietrich, Lijun Chang, Long Qian, Lyndon M. Henry, Catherine McCartin, Bernhard Scholz |
| 2023 | PADL | Automatic Rollback Suggestions for Incremental Datalog Evaluation. | David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz |
| 2023 | PPoPP | 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 |
| 2022 | LOPSTR | Building a Join Optimizer for Souffl. | Samuel Arch, Xiaowen Hu, David Zhao, Pavle Subotic, Bernhard Scholz |
| 2021 | APLAS | The Choice Construct in the Souffl Language. | Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz |
| 2021 | PLDI | An efficient interpreter for Datalog by de-specializing relations. | Xiaowen Hu, David Zhao, Herbert Jordan, Bernhard Scholz |
| 2021 | PPDP | Towards Elastic Incrementalization for Datalog. | David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz |
| 2021 | USENIX | An Off-The-Chain Execution Environment for Scalable Testing and Profiling of Smart Contracts. | Yeonsoo Kim, Seongho Jeong, Kamil Jezek, Bernd Burgstaller, Bernhard Scholz |
| 2020 | PLDI | Ethainter: a smart contract security analyzer for composite vulnerabilities. | Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis |
| 2020 | PLDI | Explaining bug provenance with trace witnesses. | Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, Yannis Smaragdakis |
| 2019 | ICSE | Gigahorse: thorough, declarative decompilation of smart contracts. | Neville Grech, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis |
| 2019 | PPoPP | A specialized B-tree for concurrent datalog evaluation. | Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz |
| 2019 | PPoPP | Brie: A Specialized Trie for Concurrent Datalog. | Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz |
| 2018 | PPoPP | Two concurrent data structures for efficient datalog query processing. | Herbert Jordan, Bernhard Scholz, Pavle Subotic |
| 2017 | EuroPar | Towards Memory-Optimal Schedules for SDF. | Mitchell Jones, Julin Mestre, Bernhard Scholz |
| 2017 | LPAR | Cauliflower: a Solver Generator for Context-Free Language Reachability. | Nicholas Hollingum, Bernhard Scholz |
| 2017 | PLDI | An efficient tunable selective points-to analysis for large codebases. | Behnaz Hassanshahi, Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan, Bernhard Scholz, Yi Lu |
| 2016 | CAV | Souffl: On Synthesis of Program Analyzers. | Herbert Jordan, Bernhard Scholz, Pavle Subotic |
| 2016 | CC | On fast large-scale program analysis in Datalog. | Bernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann |
| 2016 | ECOOP | A Note on the Soundness of Difference Propagation. | Jens Dietrich, Nicholas Hollingum, Bernhard Scholz |
| 2015 | CC | Staged Points-to Analysis for Large Code Bases. | Nicholas Allen, Bernhard Scholz, Padmanabhan Krishnan |
| 2015 | CC | Towards a Scalable Framework for Context-Free Language Reachability. | Nicholas Hollingum, Bernhard Scholz |
| 2015 | OOPSLA | Giga-scale exhaustive points-to analysis for Java in under a minute. | Jens Dietrich, Nicholas Hollingum, Bernhard Scholz |
| 2015 | PLDI | Combining type-analysis with points-to analysis for analyzing Java library source-code. | Nicholas Allen, Padmanabhan Krishnan, Bernhard Scholz |
| 2015 | PLDI | LaminarIR: compile-time queues for structured streams. | Yousun Ko, Bernd Burgstaller, Bernhard Scholz |
| 2014 | ICDE | Curracurrong cloud: Stream processing in the cloud. | Vasvi Kakkad, Akon Dey, Alan D. Fekete, Bernhard Scholz |
| 2013 | APWEB | A Scalable Approach for LRT Computation in GPGPU Environments. | Linsey Xiaolin Pang, Sanjay Chawla, Bernhard Scholz, Georgina Wilcox |
| 2013 | SIGCSE | Parallel from the beginning: the case for multicore programming in thecomputer science undergraduate curriculum. | Yousun Ko, Bernd Burgstaller, Bernhard Scholz |
| 2012 | MSWIM | Migrating operator placement for compositional stream graphs. | Vasvi Kakkad, Andrew E. Santosa, Bernhard Scholz |
| 2012 | PEPM | Translating flowcharts to non-deterministic languages. | Surinder Kumar Jain, Chenyi Zhang, Bernhard Scholz |
| 2011 | ASPLOS | Orchestration by approximation: mapping stream programs onto multicore architectures. | Sardar M. Farhad, Yousun Ko, Bernd Burgstaller, Bernhard Scholz |
| 2010 | DASFAA | 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 Rhm, Bernhard Scholz |
| 2009 | CASES | Progressive spill code placement. | Dietmar Ebner, Bernhard Scholz, Andreas Krall |
| 2009 | PEPM | Program analysis for bug detection using parfait: invited talk. | Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz |
| 2009 | SENSYS | TinyVM, an efficient virtual machine infrastructure for sensor networks. | Kirak Hong, Jiin Park, Taekhoon Kim, Sungho Kim, Hwangho Kim, Yousun Ko, Jongtae Park, Bernd Burgstaller, Bernhard Scholz |
| 2008 | SCAM | User-Input Dependence Analysis via Graph Reachability. | Bernhard Scholz, Chenyi Zhang, Cristina Cifuentes |
| 2007 | CC | A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees. | Bernhard Scholz, Johann Blieberger |
| 2007 | MDM | On the Integration of Data Stream Clustering into a Query Processor for Wireless Sensor Networks. | Uwe Rhm, Bernhard Scholz, Mohamed Medhat Gaber |
| 2007 | SCOPES | Optimal chain rule placement for instruction selection based on SSA graphs. | Stefan Schfer, Bernhard Scholz |
| 2006 | CASES | Minimizing bank selection instructions for partitioned memory architecture. | Bernhard Scholz, Bernd Burgstaller, Jingling Xue |
| 2006 | EuroPar | An Embedded Systems Programming Environment for C. | Bernd Burgstaller, Bernhard Scholz, M. Anton Ertl |
| 2003 | CGO | Addressing Mode Selection. | Erik Eckstein, Bernhard Scholz |
| 2003 | EuroPar | Partial Redundancy Elimination with Predication Techniques. | Bernhard Scholz, Eduard Mehofer, R. Nigel Horspool |
| 2003 | SCOPES | Code Instruction Selection Based on SSA-Graphs. | Erik Eckstein, Oliver Knig, Bernhard Scholz |
| 2001 | CC | A Novel Probabilistic Data Flow Framework. | Eduard Mehofer, Bernhard Scholz |
| 2001 | PDP | Probabilistic Communication Optimizations and Parallelization for Distributed-Memory Systems. | Eduard Mehofer, Bernhard Scholz |
| 2000 | PEPM | Symbolic Pointer Analysis for Detecting Memory Leaks. | Bernhard Scholz, Johann Blieberger, Thomas Fahringer |
| 1997 | ICS | Symbolic Evaluation for Parallelizing Compilers. | Thomas Fahringer, Bernhard Scholz |