Bernhard Scholz -

Registered user since Mon 25 Jan 2016

Name:Bernhard Scholz

Country:Australia

Affiliation:University of Sydney

Personal website: http://sydney.edu.au/engineering/people/bernhard.scholz.php

Contributions

2024

SPLASH

Committee Member in Review Committee within the OOPSLA 2024-track

VMIL

Author of Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine within the VMIL 2024-track

2023

Symposium on Practical Aspects of Declarative Languages

Author of Automatic Rollback Suggestions for Incremental Datalog Evaluation within the PADL 2023-track

2022

GPCE

Static Analysis Symposium

CC

PC Member in Program Committee within the CC Research Papers-track

2021

APLAS

Author of The Choice Construct in the Soufflé Language within the Research Papers-track

PLDI

Author of An Efficient Interpreter for Datalog by De-specializing Relations within the PLDI-track

POPL

Author of Debugging Large-Scale Datalog: A Scalable Provenance Evaluation Strategy within the POPL-track

2020

PLDI

Author of Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities within the PLDI Research Papers-track

SOAP

CC

Committee Member in Program Committee within the Research Papers-track

POPL

Author of Provenance-Guided Synthesis of Datalog Programs within the Research Papers-track

2019

Incremental Computing

LCTES

Committee Member in Program Committee within the LCTES 2019-track

ICSE

Author of Gigahorse: Thorough, Declarative Decompilation of Smart Contracts within the Technical Track-track

Principles and Practice of Parallel Programming

Author of A Specialized B-Tree for Concurrent Datalog Evaluation within the Main Conference-track

2018

SPLASH

LCTES

Committee Member in Program Committee

2017

PLDI

Tutorial organizer of Engineering Static Analyzers with Soufflé within the PLDI Tutorials-track

LCTES

SOAP

CC

Committee Member in Program Committee within the Research Papers-track

2016

FTfJP

Author of A Note on the Soundness of Difference Propagation within the FTfJP-track

LCTES

Committee Member in Program Committee