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:
A.Aiken O.Bastani Wonyeol Lee 0001 S.Padhi T.D.Millstein P.Liang B.R.Churchill A.V.Nori S.Heule E.Schkufza O.Padon Sridhar Gopinath Nikhil Ghanathe V.Seshadri J. F. Bastien S.Treichler M.Bauer Elliott Slaughter Manolis Papadakis Gilbert Louis Bernstein P.Hanrahan L.Clapp S.Anand
Talks about:
learn (4) point (3) synthesi (2) program (2) automat (2) specif (2) sound (2) superoptim (1) precondit (1) implement (1)

Person: Rahul Sharma 0001

DBLP DBLP: 0001:Rahul_Sharma

Contributed to:

CAV (1) 20192019
OOPSLA 20162016
OOPSLA 20172017
ECOOP 20192019
PLDI 20162016
PLDI 20172017
PLDI 20182018
POPL 20182018
PLDI 20192019
ASPLOS 20172017

Wrote 13 papers:

CAV-2019-PadhiMN0 #synthesis #theory and practice
Overfitting in Synthesis: Theory and Practice (SP, TDM, AVN, RS0), pp. 315–334.
OOPSLA-2016-TreichlerBSSA #clustering
Dependent partitioning (ST, MB, RS0, ES, AA), pp. 344–358.
OOPSLA-2017-PapadakisB0AH #graph #named
Seam: provably safe local edits on graphs (MP, GLB, RS0, AA, PH), p. 29.
ECOOP-2019-Bastani0CAA #analysis #points-to #specification
Eventually Sound Points-To Analysis with Specifications (OB, RS0, LC, SA, AA), p. 28.
PLDI-2016-HeuleS0A #automation #learning #set #synthesis
Stratified synthesis: automatically learning the x86-64 instruction set (SH, ES, RS0, AA), pp. 237–250.
PLDI-2016-LeeSA #float #verification
Verifying bit-manipulations of floating-point (WL0, RS0, AA), pp. 70–84.
PLDI-2016-PadhiSM #data-driven
Data-driven precondition inference with learned features (SP, RS0, TDM), pp. 42–56.
PLDI-2017-Bastani0AL
Synthesizing program input grammars (OB, RS0, AA, PL), pp. 95–110.
PLDI-2018-Bastani0AL #learning #points-to #specification
Active learning of points-to specifications (OB, RS0, AA, PL), pp. 678–692.
POPL-2018-Lee0A #automation #correctness #implementation #on the #proving
On automatically proving the correctness of math.h implementations (WL0, RS0, AA), p. 32.
PLDI-2019-ChurchillP0A #equivalence #semantics
Semantic program alignment for equivalence checking (BRC, OP, RS0, AA), pp. 1027–1040.
PLDI-2019-GopinathGSS #compilation #machine learning #modelling
Compiling KB-sized machine learning models to tiny IoT devices (SG, NG, VS, RS0), pp. 79–95.
ASPLOS-2017-ChurchillSBA
Sound Loop Superoptimization for Google Native Client (BRC, RS0, JFB, AA), pp. 313–326.
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.