{"id":30,"date":"2017-12-15T21:47:17","date_gmt":"2017-12-15T21:47:17","guid":{"rendered":"http:\/\/atva-conference.org\/?page_id=30"},"modified":"2017-12-15T21:47:17","modified_gmt":"2017-12-15T21:47:17","slug":"organization","status":"publish","type":"page","link":"https:\/\/atva-conference.org\/2018\/organization\/","title":{"rendered":"Organization"},"content":{"rendered":"<h3><strong>Program Chairs<\/strong><\/h3>\n<ul>\n<li>\n<h4><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/shuvendu\/\">Shuvendu Lahiri<\/a>, Microsoft Research<\/h4>\n<\/li>\n<li>\n<h4><a href=\"http:\/\/www-bcf.usc.edu\/~wang626\/\">Chao Wang<\/a>, University of Southern California<\/h4>\n<\/li>\n<\/ul>\n<h3><strong>Program Committee<\/strong><\/h3>\n<ul>\n<li><a href=\"http:\/\/www.cs.wisc.edu\/~aws\/\">Aws Albarghouthi<\/a>, University of Wisconsin-Madison<\/li>\n<li><a href=\"https:\/\/people.kth.se\/~artho\/\">Cyrille Artho<\/a>, KTH Royal Institute of Technology<\/li>\n<li><a href=\"http:\/\/pages.cs.wisc.edu\/~bgogul\/\">Gogul Balakrishnan<\/a>, Google<\/li>\n<li><a href=\"http:\/\/www.iaik.tugraz.at\/bloem\">Roderick Bloem<\/a>, Graz University of Technology<\/li>\n<li><a href=\"http:\/\/www.cs.ucsb.edu\/~bultan\/\">Tevfik Bultan<\/a>, University of California, Santa Barbara<\/li>\n<li><a href=\"http:\/\/ecee.colorado.edu\/pavol\/\">Pavol Cerny<\/a>, University of Colorado at Boulder<\/li>\n<li><a href=\"https:\/\/chaki.bitbucket.io\/\">Sagar Chaki<\/a>, Mentor Graphics<\/li>\n<li><a href=\"http:\/\/drona.csa.iisc.ernet.in\/~deepakd\">Deepak D\u2019Souza<\/a>, Indian Institute of Science<\/li>\n<li><a href=\"http:\/\/www-bcf.usc.edu\/~jdeshmuk\/\">Jyotirmoy Deshmukh<\/a>, University of Southern California<\/li>\n<li><a href=\"http:\/\/www.irif.fr\/~cenea\/\">Constantin Enea<\/a>, IRIF\/University Paris Diderot<\/li>\n<li><a href=\"http:\/\/www.cs.princeton.edu\/~grigoryf\">Grigory Fedyukovich<\/a>, Princeton University<\/li>\n<li><a href=\"http:\/\/www.cad.t.u-tokyo.ac.jp\/en\/\">Masahiro Fujita<\/a>, University of Tokyo<\/li>\n<li><a href=\"https:\/\/scungao.github.io\/\">Sicun Gao<\/a>, University of California, San Diego<\/li>\n<li><a href=\"https:\/\/arieg.bitbucket.io\/\">Arie Gurfinkel<\/a>, University of Waterloo<\/li>\n<li><a href=\"http:\/\/www.tsinghua.edu.cn\/publish\/soften\/3131\/2010\/20101219193526388181747\/20101219193526388181747_.html\">Fei He<\/a>, Tsinghua University<\/li>\n<li><a href=\"http:\/\/www.cs.ubc.ca\/~ajh\">Alan Hu<\/a>, University of British Columbia<\/li>\n<li><a href=\"https:\/\/www.comp.nus.edu.sg\/~joxan\/\">Joxan Jaffar<\/a>, National University of Singapore<\/li>\n<li><a href=\"http:\/\/research.microsoft.com\/en-us\/people\/akashl\/\">Akash Lal<\/a>, Microsoft Research<\/li>\n<li><a href=\"http:\/\/www.montefiore.ulg.ac.be\/~legay\">Axel Legay<\/a>, IRISA\/NRIA Rennes<\/li>\n<li><a href=\"http:\/\/ntu.edu.sg\/home\/yangliu\">Yang Liu<\/a>, Nanyang Technological University<\/li>\n<li><a href=\"http:\/\/computer.swu.edu.cn\/s\/computer\/zhimingliu\/20160607\/1141451.html\">Zhiming Liu<\/a>, Southwest University<\/li>\n<li><a href=\"http:\/\/www.cmi.ac.in\/~kumar\">K. Narayan Kumar<\/a>, Chennai Mathematical Institute<\/li>\n<li><a href=\"http:\/\/u.cs.biu.ac.il\/~doronp\/\">Doron Peled<\/a>, Bar Ilan University<\/li>\n<li><a href=\"https:\/\/engineering.purdue.edu\/~xqiu\/\">Xiaokang Qiu<\/a>, Purdue University<\/li>\n<li><a href=\"http:\/\/www.cs.man.ac.uk\/~regerg\">Giles Reger<\/a>, University of Manchester<\/li>\n<li><a href=\"http:\/\/www.cse.iitk.ac.in\/users\/sandeeps\/\">Sandeep Shukla<\/a>, IIT Kanpur<\/li>\n<li><a href=\"http:\/\/www.cis.upenn.edu\/~sokolsky\/\">Oleg Sokolsky<\/a>, University of Pennsylvania<\/li>\n<li><a href=\"https:\/\/people.csail.mit.edu\/asolar\/\">Armando Solar-Lezama<\/a>, MIT<\/li>\n<li><a href=\"https:\/\/web.iem.technion.ac.il\/en\/people\/userprofile\/ofers.html?YF\">Ofer Strichman<\/a>, Technion<\/li>\n<li><a href=\"https:\/\/www.deeds.informatik.tu-darmstadt.de\/deeds\/homepages\/suri\/\">Neeraj Suri<\/a>, TU Darmstadt<\/li>\n<li><a href=\"http:\/\/thakur.cs.ucdavis.edu\/\">Aditya Thakur<\/a>, University of California, Davis<\/li>\n<li><a href=\"http:\/\/www.cs.sun.ac.za\/~wvisser\/\">Willem Visser<\/a>, Stellenbosch University<\/li>\n<li><a href=\"http:\/\/www.iis.sinica.edu.tw\/~bywang\/\">Bow-Yaw Wang<\/a>, Academia Sinica<\/li>\n<li><a href=\"http:\/\/cc.ee.ntu.edu.tw\/~farn\">Farn Wang<\/a>, National Taiwan University<\/li>\n<li><a href=\"http:\/\/www.georg.weissenbacher.science\/\">Georg Weissenbacher<\/a>, Vienna University of Technology<\/li>\n<li><a href=\"http:\/\/lcs.ios.ac.cn\/~znj\/\">Naijun Zhan<\/a>, Chinese Academy of Sciences<\/li>\n<\/ul>\n<h3><strong>Steering Committee<\/strong><\/h3>\n<ul>\n<li style=\"text-align: left;\">\n<h4><a href=\"http:\/\/www.cs.utexas.edu\/~emerson\/\">E Allen Emerson<\/a>, University of Texas, Austin<\/h4>\n<\/li>\n<li style=\"text-align: left;\">\n<h4><a href=\"http:\/\/www-higashi.ist.osaka-u.ac.jp\/~higashino\/\">Teruo Higashino<\/a>, Osaka University<\/h4>\n<\/li>\n<li style=\"text-align: left;\">\n<h4><a href=\"https:\/\/www.cs.ucsb.edu\/~ibarra\/\">Oscar H Ibarra<\/a>, University of California, Santa Barbara<\/h4>\n<\/li>\n<li style=\"text-align: left;\">\n<h4><a href=\"http:\/\/www.cis.upenn.edu\/~lee\/home\/home\/index.shtml\">Insup Lee<\/a>, University of Pennsylvania<\/h4>\n<\/li>\n<li style=\"text-align: left;\">\n<h4><a href=\"http:\/\/u.cs.biu.ac.il\/~doronp\/\">Doron A Peled<\/a>, Bar Ilan University<\/h4>\n<\/li>\n<li style=\"text-align: left;\">\n<h4><a href=\"http:\/\/cc.ee.ntu.edu.tw\/~farn\/\">Farn Wang<\/a>, National Taiwan University<\/h4>\n<\/li>\n<li style=\"text-align: left;\">\n<h4><a href=\"http:\/\/cc.ee.ntu.edu.tw\/~yen\/\">Hsu-Chun Yen<\/a>, National Taiwan University<\/h4>\n<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Program Chairs Shuvendu Lahiri, Microsoft Research Chao Wang, University of Southern California Program Committee Aws Albarghouthi, University of Wisconsin-Madison Cyrille Artho, KTH Royal Institute of Technology Gogul Balakrishnan, Google Roderick Bloem, Graz University of Technology Tevfik Bultan, University of California, Santa Barbara Pavol Cerny, University of Colorado at Boulder Sagar Chaki, Mentor Graphics Deepak D\u2019Souza,&hellip;<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-30","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/pages\/30","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/comments?post=30"}],"version-history":[{"count":0,"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/pages\/30\/revisions"}],"wp:attachment":[{"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/media?parent=30"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}