Travelled to:2 × USA
Collaborated with:S.Baswana V.Powar G.Nagy A.Joshi M.S.Krishnamoorthy Y.Lin D.P.Lopresti S.C.Seth
Talks about:nonparametr (1) classifi (1) consist (1) memori (1) closur (1) applic (1) verif (1) unseg (1) impli (1) text (1)
Person: Shashank K. Mehta
DBLP: Mehta:Shashank_K=
Contributed to:
2008
2004Wrote 2 papers:
- CAV-2008-BaswanaMP #consistency #memory management #set #verification
- Implied Set Closure and Its Application to Memory Consistency Verification (SB, SKM, VP), pp. 94–106.
- DRR-2004-NagyJKLLMS #classification #parametricity
- A nonparametric classifier for unsegmented text (GN, AJ, MSK, YL, DPL, SKM, SCS), pp. 102–108.