Travelled to:1 × India
1 × Italy
1 × Switzerland
3 × USA
Collaborated with:M.B.Dwyer S.G.Elbaum D.Sondhi M.Dhawan V.Vinayakarao A.V.Nori A.Dhar S.Rangaswamy S.Person S.Kalra A.Goel D.Khanna S.S.0001
Talks about:monitor (3) analysi (3) string (3) state (2) sourc (2) optim (2) dynam (2) code (2) unstructur (1) transform (1)
Person: Rahul Purandare
DBLP: Purandare:Rahul
Contributed to:
2015
2015
2013
2010
2007
2007
20162019Wrote 8 papers:
- ESEC-FSE-2015-DharPDR #named #source code #string
- CLOTHO: saving programs from malformed strings and incorrect string-handling (AD, RP, MD, SR), pp. 555–566.
- PEPM-2015-VinayakaraoPN #source code
- Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources (VV, RP, AVN), pp. 21–26.
- ISSTA-2013-PurandareDE #finite #monitoring #optimisation
- Optimizing monitoring of finite state properties through monitor compaction (RP, MBD, SGE), pp. 280–290.
- OOPSLA-2010-PurandareDE #monitoring #optimisation
- Monitor optimization via stutter-equivalent loop transformation (RP, MBD, SGE), pp. 270–285.
- ASE-2007-DwyerP #cost analysis #dynamic analysis #static analysis #type system
- Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis (MBD, RP), pp. 124–133.
- ICSE-2007-DwyerEPP #parallel #random
- Parallel Randomized State-Space Search (MBD, SGE, SP, RP), pp. 3–12.
- FSE-2016-KalraGKDSP #library #named
- POLLUX: safely upgrading dependent application libraries (SK, AG, DK, MD, SS0, RP), pp. 290–300.
- ASE-2019-SondhiP #consistency #named #nondeterminism #semantics #specification #string
- SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs (DS, RP), pp. 200–212.