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 × 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.
POPL-2020-SamakKR
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.