Travelled to:1 × Austria
1 × Brazil
1 × Japan
1 × Spain
3 × USA
Collaborated with:M.K.Ramanathan S.Jagannathan M.Koyutürk K.Sen S.Ma Y.Liu W.Lee X.Zhang
Talks about:infer (3) framework (2) protocol (2) version (2) program (2) static (2) across (2) path (2) use (2) differenti (1)
Person: Ananth Grama
DBLP: Grama:Ananth
Contributed to:
2008
2008
2007
2007
2006
2006
2003
2018Wrote 8 papers:
- 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.
- KDD-2003-KoyuturkG #dataset #framework #named
- PROXIMUS: a framework for analyzing very high dimensional discrete-attributed datasets (MK, AG), pp. 147–156.
- ESEC-FSE-2018-MaLLZG #analysis #automation #debugging #difference #named #network
- MODE: automated neural network model debugging via state differential analysis and input selection (SM, YL, WCL, XZ, AG), pp. 175–186.