Travelled to:1 × Austria
1 × Brazil
1 × China
1 × France
1 × Italy
1 × Japan
1 × Russia
1 × Spain
6 × USA
Collaborated with:M.Samak S.Jagannathan A.Grama M.Dhok R.Mudduluru S.V.Poluri S.McPeak C.Gros O.Tripp M.Koyutürk K.Sen R.Barik M.Sridharan M.Chabbi
Talks about:detect (7) test (5) infer (4) multithread (3) protocol (3) deadlock (3) version (3) program (3) static (3) across (3)
Person: Murali Krishna Ramanathan
DBLP: Ramanathan:Murali_Krishna
Contributed to:
2015
2015
2015
2015
2014
2014
2014
20142013
2008
2008
20072007
20062006201620162019Wrote 18 papers:
- ESEC-FSE-2015-SamakR #detection #testing
- Synthesizing tests for detecting atomicity violations (MS, MKR), pp. 131–142.
- ICSME-2015-PoluriR #concurrent #detection
- Deterministic dynamic race detection across program versions (SVP, MKR), pp. 181–190.
- ISSTA-2015-DhokMR #automation #named #parallel #thread
- Pegasus: automatic barrier inference for stable multithreaded systems (MD, RM, MKR), pp. 153–164.
- PLDI-2015-SamakRJ #testing
- Synthesizing racy tests (MS, MKR, SJ), pp. 175–185.
- FASE-2014-MudduluruR #abstraction #incremental #performance #static analysis #using
- Efficient Incremental Static Analysis Using Path Abstraction (RM, MKR), pp. 125–139.
- 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.
- ESEC-FSE-2013-McPeakGR #debugging #detection #incremental #scalability
- Scalable and incremental software bug detection (SM, CHG, MKR), pp. 554–564.
- SAC-2008-RamanathanKGJ #framework #graph #named #testing
- PHALANX: a graph-theoretic framework for test case prioritization (MKR, MK, AG, SJ), pp. 667–673.
- SAS-2008-RamanathanSGJ #protocol #using
- Protocol Inference Using Static Path Profiles (MKR, KS, AG, SJ), pp. 78–92.
- ICSE-2007-RamanathanGJ #precedence #protocol
- Path-Sensitive Inference of Function Precedence Protocols (MKR, AG, SJ), pp. 240–250.
- PLDI-2007-RamanathanGJ #mining #specification #using
- Static specification inference using predicate mining (MKR, AG, SJ), pp. 123–134.
- ASE-2006-RamanathanGJ #automation #detection #named
- Sieve: A Tool for Automatically Detecting Variations Across Program Versions (MKR, AG, SJ), pp. 241–252.
- FASE-2006-RamanathanJG #alias #memory management
- Trace-Based Memory Aliasing Across Program Versions (MKR, SJ, AG), pp. 381–395.
- FSE-2016-DhokR #detection #generative #testing
- Directed test generation to detect loop inefficiencies (MD, MKR), pp. 895–907.
- OOPSLA-2016-SamakTR #concurrent #synthesis
- Directed synthesis of failing concurrent executions (MS, OT, MKR), pp. 430–446.
- OOPSLA-2019-BarikSRC #optimisation #protocol
- Optimization of swift protocols (RB, MS, MKR, MC), p. 27.