@inproceedings{jeeves,
  author    = {Jean Yang and Kuat Yessenov and Armando Solar-Lezama},
  title     = {A Language for Automatically Enforcing Privacy Policies},
  booktitle = {POPL},
  year      = {2012},
  pdf       = {papers/jeeves.pdf}
}

@inproceedings{matchmaker,
  author    = {Kuat Yessenov and Zhilei Xu and Armando Solar-Lezama},
  title     = {Data-Driven Synthesis for Object-Oriented Frameworks},
  booktitle = {OOPSLA},
  year      = {2011},
  pdf       = {papers/matchmaker.pdf},
  talk      = {talks/matchmaker-slides.pdf}
}

@inproceedings{squander,
  author    = {Aleksandar Milicevic and Derek Rayside and Kuat Yessenov and Daniel Jackson},
  title     = {Unifying Execution of Imperative and Declarative code},
  booktitle = {ICSE},
  year      = {2011},
  pdf       = {papers/squander.pdf}
}

@misc{chalicerefinement,
  author    = {K. Rustan M. Leino and Kuat Yessenov},
  title     = {Automated Stepwise Refinement of Heap-Manipulating Code},
  year      = {2010},
  pdf       = {papers/chalicerefinement.pdf}
}

@inproceedings{baparel,
  author    = {Kuat Yessenov and Ruzica Piskac and Viktor Kuncak},
  title     = {Collections, Cardinalities, and Relations},
  booktitle = {VMCAI},
  year      = {2010},
  pdf       = {papers/baparel.pdf},
  talk      = {talks/baparel-slides.pdf}
}

@inproceedings{agilespecs,
  author    = {Derek Rayside and Aleksandar Milicevic and Kuat Yessenov and Greg Dennis and Daniel Jackson},
  title     = {Agile Specifications},
  booktitle = {OOPSLA Onward!},
  year      = {2009},
  pdf       = {papers/agilespecs.pdf}
}

@MastersThesis{jforgespec,
  author    = {Kuat Yessenov},
  title     = {A Light-weight Specification Language for Bounded Program Verification},
  school    = {{MIT}},
  year      = {2009},
  pdf       = {papers/jforgespec.pdf}

}

@inproceedings{jforge,
  author    = {Greg Dennis and Kuat Yessenov and Daniel Jackson},
  title     = {Bounded Verification of Voting Software},
  booktitle = {VSTTE},
  year      = {2008},
  pdf       = {papers/jforge.pdf}
}