[[{"fid":"445","view_mode":"embedded_left","fields":{"format":"embedded_left","field_file_image_alt_text[und][0][value]":"Emina Torlak","field_file_image_title_text[und][0][value]":"","field_file_caption_credit[und][0][value]":"%3Cp%3EEmina%20Torlak%3C%2Fp%3E%0A","field_file_caption_credit[und][0
[[{"fid":"444","view_mode":"embedded_left","fields":{"format":"embedded_left","field_file_image_alt_text[und][0][value]":"Junfeng Yang","field_file_image_title_text[und][0][value]":"","field_file_caption_credit[und][0][value]":"%3Cp%3EJunfeng%20Yang%3C%2Fp%3E%0A","field_file_caption_credit[und][0
[[{"fid":"443","view_mode":"embedded_left","fields":{"format":"embedded_left","field_file_image_alt_text[und][0][value]":"Nick Feamster","field_file_image_title_text[und][0][value]":"","field_file_caption_credit[und][0][value]":"%3Cp%3ENick%20Feamster%3C%2Fp%3E%0A","field_file_caption_credit[und]
[[{"fid":"358","view_mode":"embedded_left","fields":{"format":"embedded_left","field_file_image_alt_text[und][0][value]":"Ameet Talwalkar","field_file_image_title_text[und][0][value]":"","field_file_caption_credit[und][0][value]":"%3Cp%3EAmeet%20Talw
Software verification deals with proving or falsifying correctness properties of programs, and has broad applications from ensuring safety of mission-critical software to improving program robustness and programmer productivity.
Incorporating latent or hidden variables is a crucial aspect of statistical modeling. I will present a statistical and a computational framework for guaranteed learning of a wide range of latent variable models.
[[{"fid":"451","view_mode":"embedded_left","fields":{"format":"embedded_left","field_file_image_alt_text[und][0][value]":"Xi Wang","field_file_image_title_text[und][0][value]":"","field_file_caption_credit[und][0][value]":"%3Cp%3EXi%20Wang%3C%2Fp%3E%0A","field_file_caption_credit[und][0][format]"
[[{"fid":"441","view_mode":"embedded_left","fields":{"format":"embedded_left","field_file_image_alt_text[und][0][value]":"Rishabh Singh","field_file_image_title_text[und][0][value]":"","field_file_caption_credit[und][0][value]":"%3Cp%3ERishabh%20Singh%3C%2Fp%3E%0A","field_fi
[[{"fid":"440","view_mode":"embedded_left","fields":{"format":"embedded_left","field_file_image_alt_text[und][0][value]":"Gabe Cohn","field_file_image_title_text[und][0][value]":"","field_file_caption_credit[und][0][value]":"%3Cp%3EGabe%20Cohn%3C%2Fp%3E%0A","field_file_caption_credit[und][0][form