Travelled to:1 × Estonia
1 × France
1 × Korea
1 × South Africa
2 × Hungary
2 × Spain
4 × United Kingdom
5 × USA
Collaborated with:T.W.Reps A.Gupta F.Ivancic N.Maeda M.K.Ganai J.Lim A.Lal S.Sankaranarayanan R.Gruian T.Teitelbaum P.Garg K.Ghorbal N.Arora C.Wang P.Prabhu A.V.Thakur O.Wei X.Xiao D.Chhetri J.Yang N.Sinha N.Sharma H.Tokuoka T.Imoto Y.Miyazaki N.Kidd D.Melski S.H.Yong C.Chen
Talks about:execut (7) analysi (5) analyz (4) code (4) program (3) abstract (2) surfer (2) memori (2) domain (2) access (2)
Person: Gogul Balakrishnan
DBLP: Balakrishnan:Gogul
Contributed to:
2014
2013
2012
2012
2011
2011
20102008
2008
2008
20082007
20062006200520052004Wrote 19 papers:
- ISSTA-2014-XiaoBIMGC #analysis #dependence #effectiveness #type system
- ARC++: effective typestate and lifetime dependency analysis (XX, GB, FI, NM, AG, DC), pp. 116–126.
- ICSE-2013-GargIBMG #c #c++ #execution #generative #testing #using
- Feedback-directed unit test generation for C/C++ using concolic execution (PG, FI, GB, NM, AG), pp. 132–141.
- CC-2012-YangBMIGSSS #c++ #inheritance #program analysis
- Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis (JY, GB, NM, FI, AG, NS, SS, NS), pp. 144–164.
- VMCAI-2012-GhorbalIBMG #abstract interpretation #performance
- Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (KG, FI, GB, NM, AG), pp. 235–250.
- ASE-2011-GanaiAWGB #concurrent #multi #named #predict #testing #thread
- BEST: A symbolic testing tool for predicting multi-threaded program failures (MKG, NA, CW, AG, GB), pp. 596–599.
- ASE-2011-IvancicBGSMTIM #bound #framework #named #scalability #verification
- DC2: A framework for scalable, scope-bounded software verification (FI, GB, AG, SS, NM, HT, TI, YM), pp. 133–142.
- ECOOP-2011-PrabhuMBIG #analysis #c++ #exception #interprocedural
- Interprocedural Exception Analysis for C++ (PP, NM, GB, FI, AG), pp. 583–608.
- CAV-2010-RepsLTBL #verification
- There’s Plenty of Room at the Bottom: Analyzing and Verifying Machine Code (TWR, JL, AVT, GB, AL), pp. 41–56.
- CC-2008-RepsB #analysis #bytecode
- Improved Memory-Access Analysis for x86 Executables (TWR, GB), pp. 16–35.
- SAS-2008-BalakrishnanSIWG #analysis #detection #named #refinement
- SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement (GB, SS, FI, OW, AG), pp. 238–254.
- SEFM-2008-BalakrishnanG #fault #named
- PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes (GB, MKG), pp. 268–278.
- TACAS-2008-BalakrishnanR #bytecode
- Analyzing Stripped Device-Driver Executables (GB, TWR), pp. 124–140.
- VMCAI-2007-BalakrishnanR #bytecode #named
- DIVINE: DIscovering Variables IN Executables (GB, TWR), pp. 1–28.
- PEPM-2006-RepsBL #low level
- Intermediate-representation recovery from low-level code (TWR, GB, JL), pp. 100–111.
- SAS-2006-BalakrishnanR
- Recency-Abstraction for Heap-Allocated Storage (GB, TWR), pp. 221–239.
- CAV-2005-BalakrishnanRKLLMGYCT #bytecode #model checking
- Model Checking x86 Executables with CodeSurfer/x86 and WPDS++ (GB, TWR, NK, AL, JL, DM, RG, SHY, CHC, TT), pp. 158–163.
- CAV-2005-LalRB #automaton
- Extended Weighted Pushdown Systems (AL, TWR, GB), pp. 434–448.
- CC-2005-BalakrishnanGRT #bytecode #framework #named #platform
- CodeSurfer/x86 — A Platform for Analyzing x86 Executables (GB, RG, TWR, TT), pp. 250–254.
- CC-2004-BalakrishnanR #bytecode #memory management
- Analyzing Memory Accesses in x86 Executables (GB, TWR), pp. 5–23.