BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
3 × USA
Collaborated with:
A.Solar-Lezama J.Yang Z.Xu R.Piskac V.Kuncak I.Kuraj A.Milicevic D.Rayside D.Jackson S.Itzhaky Rohit Singh 0002 Yongquan Lu C.E.Leiserson R.A.Chowdhury
Talks about:
transform (1) framework (1) discoveri (1) algorithm (1) synthesi (1) demonstr (1) program (1) privaci (1) languag (1) conquer (1)

Person: Kuat Yessenov

DBLP DBLP: Yessenov:Kuat

Contributed to:

POPL 20122012
ICSE 20112011
OOPSLA 20112011
VMCAI 20102010
OOPSLA 20162016
PLDI 20172017

Wrote 6 papers:

POPL-2012-YangYS #automation #policy #privacy
A language for automatically enforcing privacy policies (JY, KY, ASL), pp. 85–96.
ICSE-2011-MilicevicRYJ #declarative #execution #imperative
Unifying execution of imperative and declarative code (AM, DR, KY, DJ), pp. 511–520.
OOPSLA-2011-YessenovXS #data-driven #framework #object-oriented #synthesis
Data-driven synthesis for object-oriented frameworks (KY, ZX, ASL), pp. 65–82.
Collections, Cardinalities, and Relations (KY, RP, VK), pp. 380–395.
OOPSLA-2016-Itzhaky0SYLLC #algorithm #divide and conquer #programming #using
Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations (SI, RS0, ASL, KY, YL, CEL, RAC), pp. 145–164.
PLDI-2017-YessenovKS #api #named
DemoMatch: API discovery from demonstrations (KY, IK, ASL), pp. 64–78.

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.