BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
A.Albarghouthi G.Ferns J.Hsu
Talks about:
synthesi (1) abstract (1) program (1) probabl (1) specif (1) modulo (1) discov (1) trace (1) relat (1) reduc (1)

Person: Calvin Smith

DBLP DBLP: Smith:Calvin

Contributed to:

ESEC/FSE 20172017
PLDI 20162016
POPL 20192019

Wrote 3 papers:

ESEC-FSE-2017-SmithFA #relational #specification
Discovering relational specifications (CS, GF, AA), pp. 616–626.
PLDI-2016-SmithA #pipes and filters #synthesis
MapReduce program synthesis (CS, AA), pp. 326–340.
POPL-2019-SmithHA #abstraction #probability
Trace abstraction modulo probability (CS, JH, AA), p. 31.

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.