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:
R.Piskac E.Zhai B.Finkbeiner F.K.0001 Drew Goldman Allyson Weseley Rahul Dhodapkar Aaron Shim
Talks about:
configur (2) synthes (2) program (2) learn (2) file (2) probabilist (1) synthesi (1) function (1) reactiv (1) languag (1)

Person: Mark Santolucito

DBLP DBLP: Santolucito:Mark

Contributed to:

Haskell 20192019
CAV (2) 20162016
CAV (1) 20192019
OOPSLA 20172017
PLATEAU 20182018

Wrote 5 papers:

Haskell-2019-Finkbeiner0PS #functional #source code
Synthesizing functional reactive programs (BF, FK0, RP, MS), pp. 162–175.
CAV-2016-SantolucitoZP #automation #learning #probability
Probabilistic Automated Language Learning for Configuration Files (MS, EZ, RP), pp. 80–87.
CAV-2019-Finkbeiner0PS #logic #synthesis
Temporal Stream Logic: Synthesis Beyond the Bools (BF, FK0, RP, MS), pp. 609–629.
OOPSLA-2017-SantolucitoZDSP #learning #specification
Synthesizing configuration file specifications with association rule learning (MS, EZ, RD, AS, RP), p. 20.
PLATEAU-2018-SantolucitoGWP #performance #programming
Programming by Example: Efficient, but Not “Helpful” (MS, DG, AW, RP), p. 10.
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.