Travelled to:1 × Canada
1 × China
1 × India
1 × Russia
1 × United Kingdom
Collaborated with:A.V.Nori E.G.Mercer I.S.Dhillon S.Mallela A.Albarghouthi S.K.Rajamani V.Tulsian A.Kanade A.Lal T.Ball E.Bounimova V.Levin J.Lichtenberg
Talks about:static (2) interprocedur (1) transform (1) algorithm (1) research (1) platform (1) parallel (1) hierarch (1) automata (1) softwar (1)
Person: Rahul Kumar
DBLP: Kumar:Rahul
Contributed to:
2014
2013
2012
2010
2008
2002Wrote 6 papers:
- MSR-2014-TulsianKKLN #algorithm #model checking #named
- MUX: algorithm selection for software model checkers (VT, AK, RK, AL, AVN), pp. 132–141.
- ESEC-FSE-2013-KumarN #static analysis #tool support
- The economics of static analysis tools (RK, AVN), pp. 707–710.
- PLDI-2012-AlbarghouthiKNR #analysis #interprocedural #top-down
- Parallelizing top-down interprocedural analyses (AA, RK, AVN, SKR), pp. 217–228.
- CAV-2010-BallBLKL #framework #platform #research #verification
- The Static Driver Verifier Research Platform (TB, EB, VL, RK, JL), pp. 119–122.
- GT-VMT-2008-KumarM #automaton #sequence chart #verification
- Improving Live Sequence Chart to Automata Transformation for Verification (RK, EGM).
- KDD-2002-DhillonMK #classification #clustering #word
- Enhanced word clustering for hierarchical text classification (ISD, SM, RK), pp. 191–200.