Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Maria Christakis
conf.researchr.org general profile
ASE 2019 profile
ECOOP 2019 profile
ECOOP and ISSTA 2018 profile
ECOOP and ISSTA 2021 profile
ESEC/FSE 2020 profile
ESEC/FSE 2021 profile
ESEC/FSE 2022 profile
ETAPS 2019 profile
HILT'22 - Supporting a Rigorous Approach to Software Development profile
ICSE 2019 profile
ICSE 2020 profile
ICSE 2021 profile
ICSE 2022 profile
ICSE 2023 profile
ISSTA 2019 profile
ISSTA 2020 profile
ISSTA 2022 profile
PLDI 2018 profile
PLDI 2019 profile
PLDI 2022 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2018 profile
POPL 2022 profile
SPLASH 2018 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
‹Programming› 2018 profile
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
Share
x
Mon 29 May 21:29