BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Italy
3 × USA
Collaborated with:
M.K.Ramanathan S.Jagannathan O.Tripp D.Kim M.C.Rinard
Talks about:
deadlock (3) synthes (3) detect (3) test (3) multithread (2) synthesi (2) dynam (2) reproduct (1) detector (1) librari (1)

Person: Malavika Samak

DBLP DBLP: Samak:Malavika

Contributed to:

ESEC/FSE 20152015
PLDI 20152015
FSE 20142014
OOPSLA 20142014
PPoPP 20142014
OOPSLA 20162016
POPL 20202020

Wrote 7 papers:

ESEC-FSE-2015-SamakR #detection #testing
Synthesizing tests for detecting atomicity violations (MS, MKR), pp. 131–142.
PLDI-2015-SamakRJ #testing
Synthesizing racy tests (MS, MKR, SJ), pp. 175–185.
FSE-2014-SamakR #concurrent #detection #java #library #parallel #precise #thread
Omen+: a precise dynamic deadlock detector for multithreaded Java libraries (MS, MKR), pp. 735–738.
OOPSLA-2014-SamakR #concurrent #detection #parallel #synthesis #thread
Multithreaded test synthesis for deadlock detection (MS, MKR), pp. 473–489.
PPoPP-2014-SamakR #concurrent #detection
Trace driven dynamic deadlock detection and reproduction (MS, MKR), pp. 29–42.
OOPSLA-2016-SamakTR #concurrent #synthesis
Directed synthesis of failing concurrent executions (MS, OT, MKR), pp. 430–446.
Synthesizing replacement classes (MS, DK, MCR), p. 33.

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.