Person: Maria Christakis

DBLP: Christakis:Maria

Contributed to:

2015

2014

2014

2013

2012

2011

2010

2016

2017

2018

Wrote 11 papers:

VMCAI-2015-Christakis0W #evaluation

An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer (MC, PM, VW), pp. 336–354.

VMCAI-2015-ChristakisG #composition #image #memory management #parsing #proving #safety #testing #using

Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing (MC, PG), pp. 373–392.

FM-2014-ChristakisLS #formal method #verification

Formalizing and Verifying a Modern Build Language (MC, KRML, WS), pp. 643–657.

SEFM-2014-ChristakisMW #detection #invariant #testing

Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations (MC, PM, VW), pp. 65–80.

ICST-2013-ChristakisGS #concurrent #detection #erlang #fault #source code #testing

Systematic Testing for Detecting Concurrency Errors in Erlang Programs (MC, AG, KFS), pp. 154–163.

FM-2012-ChristakisMW #collaboration #testing #verification

Collaborative Verification and Testing with Explicit Assumptions (MC, PM, VW), pp. 132–146.

PADL-2011-ChristakisS #detection #fault #message passing #static analysis #using

Detection of Asynchronous Message Passing Errors Using Static Analysis (MC, KFS), pp. 5–18.

PADL-2010-ChristakisS #detection #erlang #static analysis

Static Detection of Race Conditions in Erlang (MC, KFS), pp. 119–133.

ASE-2016-ChristakisB #developer #empirical #program analysis #what

What developers want and need from program analysis: an empirical study (MC, CB), pp. 332–343.

ESEC-FSE-2017-FerlesWCD

Failure-directed program trimming (KF, VW, MC, ID), pp. 174–185.

ASE-2018-BugariuWC0 #abstract domain #automation #implementation #testing

Automatically testing implementations of numerical abstract domains (AB, VW, MC, PM0), pp. 768–778.