Bernhard Scholz

Registered user since Mon 25 Jan 2016

Name: Bernhard Scholz

Affiliation: University of Sydney, Australia

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

Contributions

CC 2020Committee Member in Program Committee within the Research Papers-track
IC 2019Committee Member in Program Committee within the IC 2019-track
Author of Incremental Datalog Prototype in Soufflé within the IC 2019-track
LCTES 2019Committee Member in Program Committee within the LCTES 2019-track
PPoPP 2019Author of A Specialized B-Tree for Concurrent Datalog Evaluation within the Main Conference-track
LCTES 2018Committee Member in Program Committee
SPLASH 2018Author 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
ICSE 2019Author of Gigahorse: Thorough, Declarative Decompilation of Smart Contracts within the Technical Track-track
SOAP 2017Committee Member in Program Committee within the SOAP-track
Author of An Efficient Tunable Selective Points-to Analysis for Large Codebases within the SOAP-track
LCTES 2017Session Chair of Session 2: Abstraction, Modelling and Scheduling for IoT and Embedded Systems (part of LCTES 2017)
Committee Member in Program Committee
CC 2017Committee Member in Program Committee within the Research Papers-track
FTfJP 2016Author of A Note on the Soundness of Difference Propagation within the FTfJP-track
LCTES 2016Committee Member in Program Committee
PLDI 2017Tutorial organizer of Engineering Static Analyzers with Soufflé within the PLDI Tutorials-track