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.

Affiliation: ConsenSys

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

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

Contributions

ISSTA 2020 Committee Member in Program Committee within the WoSCA-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
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
ISSTA 2019 Author of Differentially Testing Soundness and Precision of Program Analyzers within the Technical Papers-track
TACAS 2019 Author of Semantic Fault Localization and Suspiciousness Ranking within the TACAS 2019-track
ETAPS 2019 Author of Semantic Fault Localization and Suspiciousness Ranking within the Posters-track
ICSE 2020 Author of Targeted Greybox Fuzzing with Static Lookahead Analysis within the Technical Papers-track