Maria Christakis

Registered user since Tue 23 Aug 2016

Name:Maria Christakis
Country:Germany
Affiliation:MPI-SWS

Contributions

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 Input Splitting for Cloud-Based Static Application Security Testing Platforms within the Industry Paper-track
Committee Member in Program Committee within the Research Papers-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
ICSE 2022 Panelist of A view from the trenches within the NFS - New Faculty Symposium-track
Committee Member in Program Committee within the Technical 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 Metamorphic Testing of Datalog Engines within the Research Papers-track
ECOOP 2021 Workshops Co-Chair in Organizing Committee
ECOOP and ISSTA 2021 Workshops Co-Chair in Organizing Committee
Workshop Co-Chair in Workshop Committee within the Workshops-track
ISSTA 2021 Workshops Co-Chair in Organizing Comittee
ICSE 2021 Committee Member in Program Committee within the Technical Track-track
SPLASH 2020 Author of Perfectly Parallel Fairness Certification of Neural Networks within the OOPSLA-track
Author of Perfectly Parallel Fairness Certification of Neural Networks within the OOPSLA Artifacts-track
ESEC/FSE 2020 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
ISSTA 2020 Committee Member in Program Committee within the Technical Papers-track
ICSE 2020 Author of Targeted Greybox Fuzzing with Static Lookahead Analysis within the Technical Papers-track
ASE 2019 Committee Member in Program Committee within the Research Papers-track
ISSTA 2019 Committee Member in Program Committee within the Technical Papers-track
Author of Differentially Testing Soundness and Precision of Program Analyzers within the Technical Papers-track
ECOOP 2019 Artifact Evaluation Co-Chair of ECOOP Awards within the Research Papers-track
Artifact Evaluation Co-Chair in Organizing Committee
Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifacts-track
PLDI 2019 Student Research Competition Co-Chair in Organizing Committee
Co-chair in Student Research Competition (SRC) within the Student Research Competition (SRC)-track
ICSE 2019 Committee Member in Program Committee within the Technical Track-track
ETAPS 2019 Author of Semantic Fault Localization and Suspiciousness Ranking within the Posters-track
TACAS 2019 Committee Member in Program Committee within the TACAS 2019-track
Author of Semantic Fault Localization and Suspiciousness Ranking within the TACAS 2019-track
SPLASH 2018 Committee Member in Review Committee within the OOPSLA-track
ECOOP 2018 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Artifact Evaluation Co-Chair in Organizing Committee
Presenter of Distinguished Artifact Award within the ECOOP Keynotes-track
PLDI 2018 Session Chair of SIGPLAN and SRC Awards (part of PLDI Invited Speakers)
Student Research Competition Chair in Organizing Committee
Student Research Competition Chair in Student Research Competition Committee
Committee Member in External Review Committee
‹Programming› 2018 Committee Member in Program Committee within the Student Research Competition-track
VMCAI 2018 Committee Member in Program Committee within the VMCAI 2018-track
ECOOP 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
PLDI 2017 Committee Member in External Review Committee