conf.researchr.org / 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:Austria
Affiliation:ConsenSys
Personal website: http://www.wuestholz.com/
Research interests:program analysis, formal methods, software security, software engineering
Contributions
2024
ASE
- Author of Constraint-Based Test Oracles for Program Analyzers within the Research Papers-track
- Author of Constraint-Based Test Oracles for Program Analyzers - Artifact Submission within the Artifact Evaluation Track-track
- Author of Interrogation Testing of Program Analyzers for Soundness and Precision Issues within the Research Papers-track
- Author of Olympia: Fuzzer Benchmarking for Solidity within the Tool Demonstrations-track
- Author of Interrogation Testing of Program Analyzers for Soundness and Precision Issues within the Artifact Evaluation Track-track