Concepedia

Maria Christakis

MC

Statistics

Publications

15

Citations

671

H-Index

14

Active since

2011

Affiliations

Max Planck Institute for Software Systems(Current)

Microsoft (United States)

Maria Christakis is an author at Max Planck Institute for Software Systems specializing in engineering, computer science, and software engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringSoftware TestingFormal MethodsFormal VerificationVerificationSoftware Design

Publications per year

2011–2022

15

Publications

15

What developers want and need from program analysis: an empirical study

Maria Christakis, Christian Bird · 2016 · 212 citations

Software Maintenance, Empirical Software Engineering Research, Engineering +14

Guiding dynamic symbolic execution toward unverified program executions

Maria Christakis, Peter Müller, Valentin Wüstholz · 2016 · 92 citations · Full text

Program Checking, Engineering, Arithmetic Overflow +17

Perfectly parallel fairness certification of neural networks

Caterina Urban, Maria Christakis, Valentin Wüstholz et al. · Proceedings of the ACM on Programming Languages · 2020 · 61 citations · Full text

Artificial Intelligence, Parallel Fairness Certification, Engineering +17

Systematic Testing for Detecting Concurrency Errors in Erlang Programs

Maria Christakis, Alkis Gotovos, Konstantinos Sagonas · 2013 · 51 citations

Software Maintenance, Engineering, Verification +18

Detecting critical bugs in SMT solvers using blackbox mutational fuzzing

Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz et al. · 2020 · 43 citations · Full text

Software Maintenance, Engineering, Mature Solvers +21

1–5 of 15