Bernhard Scholz

According to our database1, Bernhard Scholz authored at least 94 papers between 1994 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy.
ACM Trans. Program. Lang. Syst., 2020

Provenance-guided synthesis of Datalog programs.
Proc. ACM Program. Lang., 2020

MadMax: analyzing the out-of-gas world of smart contracts.
Commun. ACM, 2020

Explaining bug provenance with trace witnesses.
Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020

Ethainter: a smart contract security analyzer for composite vulnerabilities.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019
Worst-Case Optimal Radix Triejoin.
CoRR, 2019

The Economics of Smart Contracts.
CoRR, 2019

Provenance for Large-scale Datalog.
CoRR, 2019

Brie: A Specialized Trie for Concurrent Datalog.
Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores, 2019

A specialized B-tree for concurrent datalog evaluation.
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Gigahorse: thorough, declarative decompilation of smart contracts.
Proceedings of the 41st International Conference on Software Engineering, 2019

Fast Parallel Equivalence Relations in a Datalog Compiler.
Proceedings of the 28th International Conference on Parallel Architectures and Compilation Techniques, 2019

2018
Automatic Index Selection for Large-Scale Datalog Computation.
Proc. VLDB Endow., 2018

MadMax: surviving out-of-gas conditions in Ethereum smart contracts.
Proc. ACM Program. Lang., 2018

Vandal: A Scalable Security Analysis Framework for Smart Contracts.
CoRR, 2018

Two concurrent data structures for efficient datalog query processing.
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

2017
SPARK: Static Program Analysis Reasoning and Retrieving Knowledge.
CoRR, 2017

Optimal On The Fly Index Selection in Polynomial Time.
CoRR, 2017

An efficient tunable selective points-to analysis for large codebases.
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017

Cauliflower: a Solver Generator for Context-Free Language Reachability.
Proceedings of the LPAR-21, 2017

Towards Memory-Optimal Schedules for SDF.
Proceedings of the Euro-Par 2017: Parallel Processing Workshops, 2017

2016
A Note on the Soundness of Difference Propagation.
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

On fast large-scale program analysis in Datalog.
Proceedings of the 25th International Conference on Compiler Construction, 2016

Soufflé: On Synthesis of Program Analyzers.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Computing end-to-end delays in stream query processing.
Sci. Comput. Program., 2015

LaminarIR: compile-time queues for structured streams.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Combining type-analysis with points-to analysis for analyzing Java library source-code.
Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2015

Giga-scale exhaustive points-to analysis for Java in under a minute.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Towards a Scalable Framework for Context-Free Language Reachability.
Proceedings of the Compiler Construction - 24th International Conference, 2015

Staged Points-to Analysis for Large Code Bases.
Proceedings of the Compiler Construction - 24th International Conference, 2015

A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report.
Proceedings of the 24th Australasian Software Engineering Conference, 2015

2014
Curracurrong: a stream programming environment for wireless sensor networks.
Softw. Pract. Exp., 2014

Curracurrong cloud: Stream processing in the cloud.
Proceedings of the Workshops Proceedings of the 30th International Conference on Data Engineering Workshops, 2014

2013
Parallel from the beginning: the case for multicore programming in thecomputer science undergraduate curriculum.
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

A Scalable Approach for LRT Computation in GPGPU Environments.
Proceedings of the Web Technologies and Applications - 15th Asia-Pacific Web Conference, 2013

2012
TinyVM: an energy-efficient execution infrastructure for sensor networks.
Softw. Pract. Exp., 2012

A symbolic analysis framework for static analysis of imperative programming languages.
J. Syst. Softw., 2012

Translating flowcharts to non-deterministic languages.
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

Migrating operator placement for compositional stream graphs.
Proceedings of the 15th ACM International Conference on Modeling, 2012

Profile-guided deployment of stream programs on multicores.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2012

A recommendation system based on a subset of raters.
Proceedings of the 6th International Conference on Ubiquitous Information Management and Communication, 2012

On graphs supporting greedy forwarding for directional wireless networks.
Proceedings of IEEE International Conference on Communications, 2012

2011
Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture.
IEEE Trans. Parallel Distributed Syst., 2011

Treegraph-based Instruction Scheduling for Stack-based Virtual Machines.
Electron. Notes Theor. Comput. Sci., 2011

Object-Based Dynamic Protocol Recovery for Multi-Threading Programs.
Proceedings of the 18th Working Conference on Reverse Engineering, 2011

Analyzing category correlations for recommendation system.
Proceedings of the 5th International Conference on Ubiquitous Information Management and Communication, 2011

Orchestration by approximation: mapping stream programs onto multicore architectures.
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010
Corona: Energy-Efficient Multi-query Processing in Wireless Sensor Networks.
Proceedings of the Database Systems for Advanced Applications, 2010

2009
TinyVM, an efficient virtual machine infrastructure for sensor networks.
Proceedings of the 7th International Conference on Embedded Networked Sensor Systems, 2009

Program analysis for bug detection using parfait: invited talk.
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

An Efficient Mixed-Mode Execution Environment for C on Mobile Phone Platforms.
Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

Progressive spill code placement.
Proceedings of the 2009 International Conference on Compilers, 2009

2008
Program Assemblers.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Minimal placement of bank selection instructions for partitioned memory architectures.
ACM Trans. Embed. Comput. Syst., 2008

User-Input Dependence Analysis via Graph Reachability.
Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

Generalized instruction selection using <i>SSA</i>-graphs.
Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

Parfait - Designing a Scalable Bug Checker.
Proceedings of the Scalable Program Analysis, 13.04. - 18.04.2008, 2008

2007
Computing SSA Form with Matrices.
Electron. Notes Theor. Comput. Sci., 2007

Optimal chain rule placement for instruction selection based on SSA graphs.
Proceedings of the 10th International Workshop on Software and Compilers for Embedded Systems, 2007

On the Integration of Data Stream Clustering into a Query Processor for Wireless Sensor Networks.
Proceedings of the 8th International Conference on Mobile Data Management (MDM 2007), 2007

Event Processing Middleware for Wireless Sensor Networks.
Proceedings of the 2007 International Conference on Parallel Processing Workshops (ICPP Workshops 2007), 2007

Efficient Time Triggered Query Processing in Wireless Sensor Networks.
Proceedings of the Embedded Software and Systems, [Third] International Conference, 2007

Automated Software Testing and Analysis: Techniques, Practices and Tools.
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees.
Proceedings of the Compiler Construction, 16th International Conference, 2007

2006
Fast Profile-Based Partial Redundancy Elimination.
Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

Nearly Optimal Register Allocation with PBQP.
Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

Symbolic Analysis of Imperative Programming Languages.
Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

An Embedded Systems Programming Environment for C.
Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006

Minimizing bank selection instructions for partitioned memory architecture.
Proceedings of the 2006 International Conference on Compilers, 2006

2004
Optimizing for space and time usage with speculative partial redundancy elimination.
Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, 2004

On the Tree Width of Ada Programs.
Proceedings of the Reliable Software Technologies, 2004

2003
Predicated Partial Redundancy Elimination Using A Cost Analysis.
Parallel Process. Lett., 2003

Code Instruction Selection Based on SSA-Graphs.
Proceedings of the Software and Compilers for Embedded Systems, 7th International Workshop, 2003

Graph Coloring vs. Optimal Register Allocation for Optimizing Compilers.
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003

Partial Redundancy Elimination with Predication Techniques.
Proceedings of the Euro-Par 2003. Parallel Processing, 2003

Addressing Mode Selection.
Proceedings of the 1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003), 2003

Busy Wait Analysis.
Proceedings of the Reliable Software Technologies, 2003

Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization
Lecture Notes in Computer Science 2628, Springer, ISBN: 3-540-01185-4, 2003

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

Register Liveness Analysis for Optimizing Dynamic Binary Translation.
Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October, 2002

Register allocation for irregular architectures.
Proceedings of the 2002 Joint Conference on Languages, 2002

Dataflow Frequency Analysis Based on Whole Program Paths.
Proceedings of the 2002 International Conference on Parallel Architectures and Compilation Techniques (PACT 2002), 2002

2001
Development and performance analysis of real-world applications for distributed and parallel architectures.
Concurr. Comput. Pract. Exp., 2001

Probabilistic Communication Optimizations and Parallelization for Distributed-Memory Systems.
Proceedings of the Ninth Euromicro Workshop on Parallel and Distributed Processing, 2001

A Novel Probabilistic Data Flow Framework.
Proceedings of the Compiler Construction, 10th International Conference, 2001

2000
A Unified Symbolic Evaluation Framework for Parallelizing Compilers.
IEEE Trans. Parallel Distributed Syst., 2000

Symbolic Cache Analysis for Real-Time Systems.
Real Time Syst., 2000

Execution-driven performance analysis for distributed and parallel systems.
Proceedings of the Second International Workshop on Software and Performance, 2000

Symbolic Pointer Analysis for Detecting Memory Leaks.
Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), 2000

Probabilistic data flow system with two-edge profiling.
Proceedings of ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization (Dynamo 2000), 2000

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs.
Proceedings of the Reliable Software Technologies, 2000

1999
Interprocedural Symbolic Evaluation of Ada Programs with Aliases.
Proceedings of the Reliable Software Technologies, 1999

1997
Symbolic Evaluation for Parallelizing Compilers.
Proceedings of the 11th international conference on Supercomputing, 1997

1994
Reconstructing current distributions from biomagnetic measurements under large external noise disturbances.
IEEE Trans. Medical Imaging, 1994


  Loading...