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

PADL 2023	Author of Automatic Rollback Suggestions for Incremental Datalog Evaluation within the PADL 2023-track
GPCE 2022	General Chair in Organizing Committee within the GPCE -track Session Chair of GPCE Session 4 (part of GPCE )
SAS 2022	Author of Commercial-Grade Static Analyzers in Datalog within the SAS-track Invited Speaker in Invited Speakers
CC 2022	PC Member in Program Committee within the CC Research Papers-track
APLAS 2021	Author of The Choice Construct in the Soufflé Language within the Research Papers-track
PLDI 2021	Author of An Efficient Interpreter for Datalog by De-specializing Relations within the PLDI-track
POPL 2021	Author of Debugging Large-Scale Datalog: A Scalable Provenance Evaluation Strategy within the POPL-track
PLDI 2020	Author of Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities within the PLDI Research Papers-track
SOAP 2020	Author of Explaining Bug Provenance with Trace Witnesses within the SOAP 2020-track Invited Speaker of Tool Talk: Soufflé within the SOAP 2020-track
CC 2020	Committee Member in Program Committee within the Research Papers-track
POPL 2020	Author of Provenance-Guided Synthesis of Datalog Programs within the Research Papers-track
IC 2019	Committee Member in Program Committee within the IC 2019-track Author of Incremental Datalog Prototype in Soufflé within the IC 2019-track
LCTES 2019	Committee Member in Program Committee within the LCTES 2019-track
ICSE 2019	Author of Gigahorse: Thorough, Declarative Decompilation of Smart Contracts within the Technical Track-track
PPoPP 2019	Author of A Specialized B-Tree for Concurrent Datalog Evaluation within the Main Conference-track
SPLASH 2018	Author of MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts within the Posters-track Author of MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts within the OOPSLA-track Committee Member in External Reviewers within the OOPSLA-track
LCTES 2018	Committee Member in Program Committee
PLDI 2017	Tutorial organizer of Engineering Static Analyzers with Soufflé within the PLDI Tutorials-track
LCTES 2017	Session Chair of Session 2: Abstraction, Modelling and Scheduling for IoT and Embedded Systems (part of LCTES 2017) Committee Member in Program Committee
SOAP 2017	Committee Member in Program Committee within the SOAP-track Author of An Efficient Tunable Selective Points-to Analysis for Large Codebases within the SOAP-track
CC 2017	Committee Member in Program Committee within the Research Papers-track
FTfJP 2016	Author of A Note on the Soundness of Difference Propagation within the FTfJP-track
LCTES 2016	Committee Member in Program Committee