Maria Christakis -

Registered user since Tue 23 Aug 2016

Name:Maria Christakis

Country:Germany

Affiliation:MPI-SWS

Personal website:https://mariachris.github.io/

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