BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Purandare:Rahul

Contributed to:

ESEC/FSE 20152015
PEPM 20152015
ISSTA 20132013
OOPSLA 20102010
ASE 20072007
ICSE 20072007
FSE 20162016
ASE 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.