Valentin Wüstholz -

Registered user since Thu 31 Jan 2019

Name:Valentin Wüstholz

Bio:

Valentin is a software security researcher at ConsenSys Diligence and has held positions both in academia (at ETH Zürich and UT Austin) and in industry (at Microsoft and Google). He is passionate about developing tools and techniques that allow us to produce more reliable and correct software.

Country:Germany

Affiliation:ConsenSys

Personal website:http://www.wuestholz.com/

Research interests:program analysis, formal methods, software security, software engineering

Contributions

ISSTA 2023	Author of Green Fuzzer Benchmarking within the Technical Papers-track Author of Dependency-Aware Metamorphic Testing of Datalog Engines within the Technical Papers-track
SPLASH 2022	Author of Compositional Verification of Smart Contracts Through Communication Abstraction within the COVID Time Papers In Person-track
ESEC/FSE 2022	Author of Estimating Residual Risk in Greybox Fuzzing within the ESEC/FSE 2021-track
ISSTA 2022	Author of Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing within the Technical Papers-track
PLDI 2022	Author of (OOPSLA 2020) Perfectly Parallel Fairness Certification of Neural Networks within the SIGPLAN Track-track
VMCAI 2022	Author of Verifying Solidity Smart Contracts Via Communication Abstraction in SmartACE within the VMCAI 2022-track
SAS 2021	Author of Compositional Verification of Smart Contracts Through Communication Abstraction within the SAS-track
ESEC/FSE 2021	Author of Estimating Residual Risk in Greybox Fuzzing within the Research Papers-track Author of Metamorphic Testing of Datalog Engines within the Research Papers-track
SPLASH 2020	Author of Perfectly Parallel Fairness Certification of Neural Networks within the OOPSLA Artifacts-track Author of Perfectly Parallel Fairness Certification of Neural Networks within the OOPSLA-track
ESEC/FSE 2020	Panelist of Conversations on Fuzzing within the Research Papers-track Author of Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing within the Research Papers-track Author of Harvey: A Greybox Fuzzer for Smart Contracts within the Industry Papers-track
ISSTA 2020	Committee Member in Program Committee within the WoSCA-track
ICSE 2020	Author of Targeted Greybox Fuzzing with Static Lookahead Analysis within the Technical Papers-track
ISSTA 2019	Author of Differentially Testing Soundness and Precision of Program Analyzers within the Technical Papers-track
ETAPS 2019	Author of Semantic Fault Localization and Suspiciousness Ranking within the Posters-track
TACAS 2019	Author of Semantic Fault Localization and Suspiciousness Ranking within the TACAS 2019-track