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
Collaborated with:
T.D.Millstein R.S.0001 P.K.K. A.Sanyal A.Karkare A.V.Nori Prateek Jain 0002 D.Perelman O.Polozov S.Gulwani
Talks about:
profil (2) data (2) precondit (1) increment (1) framework (1) synthesi (1) function (1) version (1) synthes (1) program (1)

Person: Saswat Padhi

DBLP DBLP: Padhi:Saswat

Contributed to:

CC 20192019
CAV (1) 20192019
OOPSLA 20182018
PLDI 20162016

Wrote 4 papers:

CC-2019-KSKP #functional #incremental #slicing #source code
A static slicing method for functional programs and its incremental version (PKK, AS, AK, SP), pp. 53–64.
CAV-2019-PadhiMN0 #synthesis #theory and practice
Overfitting in Synthesis: Theory and Practice (SP, TDM, AVN, RS0), pp. 315–334.
OOPSLA-2018-PadhiJPPGM #framework #named
FlashProfile: a framework for synthesizing data profiles (SP, PJ0, DP, OP, SG, TDM), p. 28.
PLDI-2016-PadhiSM #data-driven
Data-driven precondition inference with learned features (SP, RS0, TDM), pp. 42–56.
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.