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 × USA
Collaborated with:
P.Madhusudan P.Garg U.Mathur M.V.0001 A.Astorga Shiyu Wang T.X.0001
Talks about:
learn (2) precondit (1) alchemist (1) synthesi (1) function (1) fragment (1) generat (1) second (1) modulo (1) applic (1)

Person: Shambwaditya Saha

DBLP DBLP: Saha:Shambwaditya

Contributed to:

CAV 20152015
CSL 20182018
PLDI 20192019

Wrote 3 papers:

CAV-2015-Saha0M #learning #named
Alchemist: Learning Guarded Affine Functions (SS, PG, PM), pp. 440–446.
CSL-2018-MadhusudanMS0 #decidability #higher-order #logic #synthesis
A Decidable Fragment of Second Order Logic With Applications to Synthesis (PM, UM, SS, MV0), p. 19.
PLDI-2019-AstorgaMSWX #generative #learning
Learning stateful preconditions modulo a test generator (AA, PM, SS, SW, TX0), pp. 775–787.
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.