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: Yessenov:Kuat
Contributed to:
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.
- VMCAI-2010-YessenovPK
- 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.