Kuat Yessenov

According to our database, Kuat Yessenov authored at least 11 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

DemoMatch: API discovery from demonstrations.

Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Program synthesis from execution traces and demonstrations.

Kuat Yessenov

PhD thesis, 2016

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

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2013

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

Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, 2013

2012

Stepwise refinement of heap-manipulating code in Chalice.

K. Rustan M. Leino, Kuat Yessenov

Formal Aspects Comput., 2012

A language for automatically enforcing privacy policies.

Jean Yang, Kuat Yessenov, Armando Solar-Lezama

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011

Data-driven synthesis for object-oriented frameworks.

Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Unifying execution of imperative and declarative code.

Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Collections, Cardinalities, and Relations.

Kuat Yessenov, Ruzica Piskac, Viktor Kuncak

Proceedings of the Verification, 2010

2009

Agile specifications.

Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

2008

Bounded Verification of Voting Software.

Greg Dennis, Kuat Yessenov, Daniel Jackson

Proceedings of the Verified Software: Theories, 2008