Bernhard Scholz

IEEE Access, 2023

Julia Cloud Matrix Machine: Dynamic Matrix Language Acceleration on Multicore Clusters in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 14th International Workshop on Programming Models and Applications for Multicores and Manycores, 2023

Automatic Rollback Suggestions for Incremental Datalog Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2023

Efficient Sink-Reachability Analysis via Graph Reduction (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE International Conference on Data Engineering, 2023

2022

Efficient Sink-Reachability Analysis via Graph Reduction.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2022

Runtime and energy constrained work scheduling for heterogeneous systems.

[BibT_eX]

[DOI]

J. Supercomput., 2022

Cloudprofiler: TSC-based inter-node profiling and high-throughput data ingestion for cloud streaming workloads.

[BibT_eX]

[DOI]

CoRR, 2022

Cloud Matrix Machine for Julia and Implicit Parallelization for Matrix Languages.

[BibT_eX]

[DOI]

CoRR, 2022

Specializing parallel data structures for Datalog.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2022

Building a Join Optimizer for Soufflé.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2022

Instruction Code Selection.

[BibT_eX]

[DOI]

Dietmar Ebner

Proceedings of the SSA-based Compiler Design, 2022

2021

An Off-The-Chain Execution Environment for Scalable Testing and Profiling of Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the 2021 USENIX Annual Technical Conference, 2021

Towards Elastic Incrementalization for Datalog.

[BibT_eX]

[DOI]

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

An efficient interpreter for Datalog by de-specializing relations.

[BibT_eX]

[DOI]

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

The Choice Construct in the Soufflé Language.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy.

[BibT_eX]

[DOI]

David Zhao

ACM Trans. Program. Lang. Syst., 2020

Provenance-guided synthesis of Datalog programs.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

MadMax: analyzing the out-of-gas world of smart contracts.

[BibT_eX]

[DOI]

Commun. ACM, 2020

Explaining bug provenance with trace witnesses.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Worst-Case Optimal Radix Triejoin.

[BibT_eX]

[DOI]

CoRR, 2019

The Economics of Smart Contracts.

[BibT_eX]

[DOI]

CoRR, 2019

Provenance for Large-scale Datalog.

[BibT_eX]

[DOI]

David Zhao

CoRR, 2019

Brie: A Specialized Trie for Concurrent Datalog.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores, 2019

A specialized B-tree for concurrent datalog evaluation.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Gigahorse: thorough, declarative decompilation of smart contracts.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

Fast Parallel Equivalence Relations in a Datalog Compiler.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Parallel Architectures and Compilation Techniques, 2019

2018

Automatic Index Selection for Large-Scale Datalog Computation.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2018

MadMax: surviving out-of-gas conditions in Ethereum smart contracts.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Vandal: A Scalable Security Analysis Framework for Smart Contracts.

[BibT_eX]

[DOI]

CoRR, 2018

Two concurrent data structures for efficient datalog query processing.

[BibT_eX]

[DOI]

Herbert Jordan

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

2017

SPARK: Static Program Analysis Reasoning and Retrieving Knowledge.

[BibT_eX]

[DOI]

Wasuwee Sodsong

Sanjay Chawla

CoRR, 2017

Optimal On The Fly Index Selection in Polynomial Time.

[BibT_eX]

[DOI]

Herbert Jordan

Raghavendra Kagalavadi Ramesh

CoRR, 2017

An efficient tunable selective points-to analysis for large codebases.

[BibT_eX]

[DOI]

Behnaz Hassanshahi

Padmanabhan Krishnan

Yi Lu

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.

[BibT_eX]

[DOI]

Proceedings of the LPAR-21, 2017

Towards Memory-Optimal Schedules for SDF.

[BibT_eX]

[DOI]

Mitchell Jones

Julián Mestre

Proceedings of the Euro-Par 2017: Parallel Processing Workshops, 2017

2016

A Note on the Soundness of Difference Propagation.

[BibT_eX]

[DOI]

Jens Dietrich

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

On fast large-scale program analysis in Datalog.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Compiler Construction, 2016

Soufflé: On Synthesis of Program Analyzers.

[BibT_eX]

[DOI]

Herbert Jordan

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Computing end-to-end delays in stream query processing.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

LaminarIR: compile-time queues for structured streams.

[BibT_eX]

[DOI]

Yousun Ko

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.

[BibT_eX]

[DOI]

Nicholas Allen

Padmanabhan Krishnan

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.

[BibT_eX]

[DOI]

Jens Dietrich

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Towards a Scalable Framework for Context-Free Language Reachability.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction - 24th International Conference, 2015

Staged Points-to Analysis for Large Code Bases.

[BibT_eX]

[DOI]

Nicholas Allen

Padmanabhan Krishnan

Proceedings of the Compiler Construction - 24th International Conference, 2015

A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the 24th Australasian Software Engineering Conference, 2015

2014

Curracurrong: a stream programming environment for wireless sensor networks.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2014

Curracurrong cloud: Stream processing in the cloud.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Yousun Ko

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

A Scalable Approach for LRT Computation in GPGPU Environments.

[BibT_eX]

[DOI]

Proceedings of the Web Technologies and Applications - 15th Asia-Pacific Web Conference, 2013

2012

TinyVM: an energy-efficient execution infrastructure for sensor networks.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2012

A symbolic analysis framework for static analysis of imperative programming languages.

[BibT_eX]

[DOI]

J. Syst. Softw., 2012

Translating flowcharts to non-deterministic languages.

[BibT_eX]

[DOI]

Surinder Kumar Jain

Chenyi Zhang

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

Migrating operator placement for compositional stream graphs.

[BibT_eX]

[DOI]

Vasvi Kakkad

Andrew E. Santosa

Proceedings of the 15th ACM International Conference on Modeling, 2012

Profile-guided deployment of stream programs on multicores.

[BibT_eX]

[DOI]

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2012

A recommendation system based on a subset of raters.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Ubiquitous Information Management and Communication, 2012

On graphs supporting greedy forwarding for directional wireless networks.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2012

2011

Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture.

[BibT_eX]

[DOI]

Raymes Khoury

IEEE Trans. Parallel Distributed Syst., 2011

Treegraph-based Instruction Scheduling for Stack-based Virtual Machines.

[BibT_eX]

[DOI]

Proceedings of the Sixth Workshop on Bytecode Semantics, 2011

Object-Based Dynamic Protocol Recovery for Multi-Threading Programs.

[BibT_eX]

[DOI]

Rainer Koschke

Proceedings of the 18th Working Conference on Reverse Engineering, 2011

Analyzing category correlations for recommendation system.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Ubiquitous Information Management and Communication, 2011

Orchestration by approximation: mapping stream programs onto multicore architectures.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Database Systems for Advanced Applications, 2010

2009

TinyVM, an efficient virtual machine infrastructure for sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Embedded Networked Sensor Systems, 2009

Program analysis for bug detection using parfait: invited talk.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

Progressive spill code placement.

[BibT_eX]

[DOI]

Dietmar Ebner

Proceedings of the 2009 International Conference on Compilers, 2009

2008

Program Assemblers.

[BibT_eX]

[DOI]

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Minimal placement of bank selection instructions for partitioned memory architectures.

[BibT_eX]

[DOI]

Jingling Xue

ACM Trans. Embed. Comput. Syst., 2008

User-Input Dependence Analysis via Graph Reachability.

[BibT_eX]

[DOI]

Chenyi Zhang

Cristina Cifuentes

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.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

Parfait - Designing a Scalable Bug Checker.

[BibT_eX]

[DOI]

Cristina Cifuentes

Proceedings of the Scalable Program Analysis, 13.04. - 18.04.2008, 2008

2007

Computing SSA Form with Matrices.

[BibT_eX]

[DOI]

Quan Hoang Nguyen

Proceedings of the Second Workshop on Bytecode Semantics, 2007

Optimal chain rule placement for instruction selection based on SSA graphs.

[BibT_eX]

[DOI]

Stefan Schäfer

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.

[BibT_eX]

[DOI]

Uwe Röhm

Mohamed Medhat Gaber

Proceedings of the 8th International Conference on Mobile Data Management (MDM 2007), 2007

Event Processing Middleware for Wireless Sensor Networks.

[BibT_eX]

[DOI]

S. Selvakennedy

Uwe Röhm

Proceedings of the 2007 International Conference on Parallel Processing Workshops (ICPP Workshops 2007), 2007

Efficient Time Triggered Query Processing in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software and Systems, [Third] International Conference, 2007

Automated Software Testing and Analysis: Techniques, Practices and Tools.

[BibT_eX]

[DOI]

Zhiquan Zhou

Giovanni Denaro

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.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 16th International Conference, 2007

2006

Fast Profile-Based Partial Redundancy Elimination.

[BibT_eX]

[DOI]

David J. Pereira

Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

Nearly Optimal Register Allocation with PBQP.

[BibT_eX]

[DOI]

Lang Hames

Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

Symbolic Analysis of Imperative Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

An Embedded Systems Programming Environment for C.

[BibT_eX]

[DOI]

M. Anton Ertl

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.

[BibT_eX]

[DOI]

Jingling Xue

Proceedings of the 2006 International Conference on Compilers, 2006

2004

Optimizing for space and time usage with speculative partial redundancy elimination.

[BibT_eX]

[DOI]

Jens Knoop

Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, 2004

On the Tree Width of Ada Programs.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2004

2003

Predicated Partial Redundancy Elimination Using A Cost Analysis.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2003

Code Instruction Selection Based on SSA-Graphs.

[BibT_eX]

[DOI]

Erik Eckstein

Oliver König

Proceedings of the Software and Compilers for Embedded Systems, 7th International Workshop, 2003

Graph Coloring vs. Optimal Register Allocation for Optimizing Compilers.

[BibT_eX]

[DOI]

Ulrich Hirnschrott

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003

Partial Redundancy Elimination with Predication Techniques.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

Addressing Mode Selection.

[BibT_eX]

[DOI]

Erik Eckstein

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

Busy Wait Analysis.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2003

Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Medical Imaging, 2002

[BibT_eX]

[DOI]

Mark Probst

Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October, 2002

[BibT_eX]

[DOI]

Erik Eckstein

Proceedings of the 2002 Joint Conference on Languages, 2002

Dataflow Frequency Analysis Based on Whole Program Paths.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2001

Probabilistic Communication Optimizations and Parallelization for Distributed-Memory Systems.

[BibT_eX]

[DOI]

Proceedings of the Ninth Euromicro Workshop on Parallel and Distributed Processing, 2001

A Novel Probabilistic Data Flow Framework.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 10th International Conference, 2001

2000

A Unified Symbolic Evaluation Framework for Parallelizing Compilers.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2000

Symbolic Cache Analysis for Real-Time Systems.

[BibT_eX]

[DOI]

Real Time Syst., 2000

Execution-driven performance analysis for distributed and parallel systems.

[BibT_eX]

[DOI]

Xian-He Sun

Proceedings of the Second International Workshop on Software and Performance, 2000

Symbolic Pointer Analysis for Detecting Memory Leaks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2000

1999

Interprocedural Symbolic Evaluation of Ada Programs with Aliases.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 1999

1997

Symbolic Evaluation for Parallelizing Compilers.

[BibT_eX]

[DOI]

Proceedings of the 11th international conference on Supercomputing, 1997

1996

Generalized Wiener estimation of three-dimensional current distribution from biomagnetic measurements.

[BibT_eX]

[DOI]

Kensuke Sekihara

IEEE Trans. Biomed. Eng., 1996

1995

Average-intensity reconstruction and Wiener reconstruction of bioelectric current distribution based on its estimated covariance matrix.

[BibT_eX]

[DOI]

Kensuke Sekihara

IEEE Trans. Biomed. Eng., 1995

1994

Reconstructing current distributions from biomagnetic measurements under large external noise disturbances.

[BibT_eX]

[DOI]

Kensuke Sekihara

Herbert Bruder

IEEE Trans. Medical Imaging, 1994

Probability-based current dipole localization from biomagnetic fields.

[BibT_eX]

[DOI]