conf.researchr.org / Maria Christakis
Registered user since Wed 7 Jun 2023
Name:Maria Christakis
Country:Austria
Affiliation:TU Wien
Personal website: https://mariachris.github.io/
Contributions
2024
ASE
- Author of Constraint-Based Test Oracles for Program Analyzers within the Research Papers-track
- Author of Interrogation Testing of Program Analyzers for Soundness and Precision Issues within the Artifact Evaluation Track-track
- Author of Olympia: Fuzzer Benchmarking for Solidity within the Tool Demonstrations-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
2023
2022
ESEC/FSE
ICSE
2021
Static Analysis Symposium
ECOOP/ISSTA
2020
SPLASH
ESEC/FSE
- Author of DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks within the Research Papers-track
- Author of Harvey: A Greybox Fuzzer for Smart Contracts within the Industry Papers-track
- Author of Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing within the Research Papers-track