Kuat Yessenov

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 2

Top Topics

Field Of Natural Language Processing

Dynamic Programming Algorithms

Text Processing

Top Venues

Formal Aspects Comput.

Massachusetts Institute of Technology, Cambridge, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, USA

PHD

Publications

Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama
DemoMatch: API discovery from demonstrations. PLDI (2017)
Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles E. Leiserson, Rezaul Alam Chowdhury
Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations. OOPSLA (2016)
Kuat Yessenov, Shubham Tulsiani, Aditya Krishna Menon, Robert C. Miller, Sumit Gulwani, Butler W. Lampson, Adam Kalai
A colorful approach to text processing by example. UIST (2013)
K. Rustan M. Leino, Kuat Yessenov
Stepwise refinement of heap-manipulating code in Chalice. Formal Aspects Comput. 24 (4-6) (2012)
Jean Yang, Kuat Yessenov, Armando Solar-Lezama
A language for automatically enforcing privacy policies. POPL (2012)
Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama
Data-driven synthesis for object-oriented frameworks. OOPSLA (2011)
Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson
Unifying execution of imperative and declarative code. ICSE (2011)
Kuat Yessenov, Ruzica Piskac, Viktor Kuncak
Collections, Cardinalities, and Relations. VMCAI (2010)
Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson
Agile specifications. OOPSLA Companion (2009)
Greg Dennis, Kuat Yessenov, Daniel Jackson
Bounded Verification of Voting Software. VSTTE (2008)