Kuat Yessenov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2009–2017
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | PLDI | DemoMatch: API discovery from demonstrations. | Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama |
| 2016 | OOPSLA | Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations. | Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles E. Leiserson, Rezaul Alam Chowdhury |
| 2013 | UIST | A colorful approach to text processing by example. | Kuat Yessenov, Shubham Tulsiani, Aditya Krishna Menon, Robert C. Miller, Sumit Gulwani, Butler W. Lampson, Adam Kalai |
| 2012 | POPL | A language for automatically enforcing privacy policies. | Jean Yang, Kuat Yessenov, Armando Solar-Lezama |
| 2011 | ICSE | Unifying execution of imperative and declarative code. | Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson |
| 2011 | OOPSLA | Data-driven synthesis for object-oriented frameworks. | Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama |
| 2010 | VMCAI | Collections, Cardinalities, and Relations. | Kuat Yessenov, Ruzica Piskac, Viktor Kuncak |
| 2009 | OOPSLA | Agile specifications. | Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson |