BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × India
1 × Luxembourg
1 × Singapore
1 × Spain
1 × USA
2 × France
Collaborated with:
V.Wüstholz K.F.Sagonas P.Müller P.Godefroid C.Bird K.R.M.Leino W.Schulte A.Gotovos K.Ferles I.Dillig A.Bugariu P.M.0001
Talks about:
test (5) program (4) detect (4) static (3) analysi (2) erlang (2) error (2) use (2) experiment (1) parameter (1)

Person: Maria Christakis

DBLP DBLP: Christakis:Maria

Contributed to:

VMCAI 20152015
FM 20142014
SEFM 20142014
ICST 20132013
FM 20122012
PADL 20112011
PADL 20102010
ASE 20162016
ESEC/FSE 20172017
ASE 20182018

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.