Program synthesis from execution traces and demonstrations by Yessenov, Kuat T

Get full text

A lightweight specification language for bounded program verification by Yessenov, Kuat T

Get full text

Stepwise refinement of heap-manipulating code in Chalice by Leino, K. Rustan M., Yessenov, Kuat T

Get full text
Get full text

Bounded verification of voting software by Dennis, Gregory D., Yessenov, Kuat T., Jackson, Daniel

Get full text
Get full text
Get full text

Data-driven synthesis for object-oriented frameworks by Yessenov, Kuat T., Xu, Zhilei, Solar-Lezama, Armando

Get full text
Get full text
Get full text
Get full text

Agile specifications by Rayside, Derek, Milicevic, Aleksandar, Yessenov, Kuat T., Jackson, Daniel

Get full text
Get full text
Get full text

Unifying Execution of Imperative and Declarative Code by Milicevic, Aleksandar, Rayside, Derek, Yessenov, Kuat T., Jackson, Daniel

Get full text
Get full text
Get full text

Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations by Chowdhury, Rezaul, Itzhaky, Shachar, Singh, Rohit, Solar Lezama, Armando, Yessenov, Kuat T, Lu, Yongquan, Leiserson, Charles E

Get full text
Get full text
Get full text
Get full text
Get full text