{"674460":{"#nid":"674460","#data":{"type":"event","title":"PhD Proposal by Shuo Ding","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003ETitle:\u003C\/strong\u003E\u0026nbsp;Computability Foundations for Reasoning about Program Semantics\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003EDate:\u003C\/strong\u003E\u0026nbsp;Monday, May 6, 2024\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003ETime:\u003C\/strong\u003E\u0026nbsp;10:00 AM - 12:00 PM Eastern Time\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003ELocation:\u003C\/strong\u003E\u0026nbsp;KACB 2100\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003EZoom:\u003C\/strong\u003E \u003Ca href=\u0022https:\/\/us06web.zoom.us\/j\/6481062083?pwd=ODFPZ2ZNSW1zNlVjUE0xTGJCLzI3Zz09\u0022\u003Ehttps:\/\/us06web.zoom.us\/j\/6481062083?pwd=ODFPZ2ZNSW1zNlVjUE0xTGJCLzI3Zz09\u003C\/a\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003EShuo Ding\u003C\/strong\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003EPhD student\u003C\/p\u003E\r\n\r\n\u003Cp\u003ESchool of Computer Science\u003C\/p\u003E\r\n\r\n\u003Cp\u003EGeorgia Institute of Technology\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003ECommittee:\u003C\/strong\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003EDr. Qirun Zhang (Advisor) - School of Computer Science, Georgia Institute of Technology\u003C\/p\u003E\r\n\r\n\u003Cp\u003EDr. Suguman Bansal - School of Computer Science, Georgia Institute of Technology\u003C\/p\u003E\r\n\r\n\u003Cp\u003EDr. Vijay Ganesh - School of Computer Science, Georgia Institute of Technology\u003C\/p\u003E\r\n\r\n\u003Cp\u003EDr. Vivek Sarkar - School of Computer Science, Georgia Institute of Technology\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003EAbstract:\u003C\/strong\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003EProgram semantics in Turing-complete programming languages are computationally hard. For example, Rice\u0027s theorem asserts that all interesting extensional properties of programs are undecidable. In practice, program analyzers and verifiers use decidable approximations to handle such undecidable problems. Most existing hardness results from computability theory are based on reductions, quantifier complexity, etc., but are not focusing on the relations with decidable approximations and are thus insufficient to study real-world reasoning of program semantics.\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003EWe explored this topic via two directions. In the computability-theoretic direction, we proved theorems demonstrating that the decidable approximation strategy is promising and has certain guarantees on many interesting semantic properties. In the practical direction, we designed concrete approximation algorithms for undecidable problems in context-sensitive and field-sensitive program analysis and got promising experimental results. The expected ongoing work includes exploring both directions further.\u003C\/p\u003E\r\n","summary":"","format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"\u003Cp\u003EComputability Foundations for Reasoning about Program Semantics\u003C\/p\u003E\r\n","format":"limited_html"}],"field_summary_sentence":[{"value":"Computability Foundations for Reasoning about Program Semantics"}],"uid":"27707","created_gmt":"2024-04-30 22:13:41","changed_gmt":"2024-04-30 22:14:09","author":"Tatianna Richardson","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2024-05-06T10:00:00-04:00","event_time_end":"2024-05-06T12:00:00-04:00","event_time_end_last":"2024-05-06T12:00:00-04:00","gmt_time_start":"2024-05-06 14:00:00","gmt_time_end":"2024-05-06 16:00:00","gmt_time_end_last":"2024-05-06 16:00:00","rrule":null,"timezone":"America\/New_York"},"location":"KACB 2100","extras":[],"groups":[{"id":"221981","name":"Graduate Studies"}],"categories":[],"keywords":[{"id":"102851","name":"Phd proposal"}],"core_research_areas":[],"news_room_topics":[],"event_categories":[{"id":"1788","name":"Other\/Miscellaneous"}],"invited_audience":[{"id":"78771","name":"Public"}],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[],"email":[],"slides":[],"orientation":[],"userdata":""}}}