Maria Christakis

According to our database1, Maria Christakis authored at least 37 papers between 2010 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Perfectly parallel fairness certification of neural networks.
Proc. ACM Program. Lang., 2020

Automatically Tailoring Static Analysis to Custom Usage Scenarios.
CoRR, 2020

RAID: Randomized Adversarial-Input Detection for Neural Networks.
CoRR, 2020

DeepSearch: a simple and effective blackbox attack for deep neural networks.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Harvey: a greybox fuzzer for smart contracts.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Detecting critical bugs in SMT solvers using blackbox mutational fuzzing.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Synthesizing Tasks for Block-based Programming.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Targeted greybox fuzzing with static lookahead analysis.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019
Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.
Dagstuhl Artifacts Ser., 2019

DeepSearch: Simple and Effective Blackbox Fuzzing of Deep Neural Networks.
CoRR, 2019

Semantic Fault Localization and Suspiciousness Ranking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Differentially testing soundness and precision of program analyzers.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018
Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.
Dagstuhl Artifacts Ser., 2018

Learning Inputs in Greybox Fuzzing.
CoRR, 2018

Specification Mining for Smart Contracts with Automatic Abstraction Tuning.
CoRR, 2018

Automatically testing implementations of numerical abstract domains.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

CFar: A Tool to Increase Communication, Productivity, and Review Quality in Collaborative Code Reviews.
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

2017
On narrowing the gap between verification and systematic testing.
it Inf. Technol., 2017

Failure-Directed Program Trimming (Extended Version).
CoRR, 2017

Failure-directed program trimming.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

A general framework for dynamic stub injection.
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
Integrated Environment for Diagnosing Verification Errors.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Bounded Abstract Interpretation.
Proceedings of the Static Analysis - 23rd International Symposium, 2016

What developers want and need from program analysis: an empirical study.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Guiding dynamic symbolic execution toward unverified program executions.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

IC-Cut: A Compositional Search Strategy for Dynamic Test Generation.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Brückenschlag zwischen Verifikation und systematischem Testen.
Proceedings of the Ausgezeichnete Informatikdissertationen 2015, 2015

2014
Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Dynamic Test Generation with Static Fields and Initializers.
Proceedings of the Runtime Verification - 5th International Conference, 2014

Formalizing and Verifying a Modern Build Language.
Proceedings of the FM 2014: Formal Methods, 2014

2013
Systematic Testing for Detecting Concurrency Errors in Erlang Programs.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012
Collaborative Verification and Testing with Explicit Assumptions.
Proceedings of the FM 2012: Formal Methods, 2012

2011
Detection of Asynchronous Message Passing Errors Using Static Analysis.
Proceedings of the Practical Aspects of Declarative Languages, 2011

Test-driven development of concurrent programs using concuerror.
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011

2010
Static Detection of Race Conditions in Erlang.
Proceedings of the Practical Aspects of Declarative Languages, 2010


  Loading...