{"686641":{"#nid":"686641","#data":{"type":"event","title":"PhD Proposal by Benjamin Mikek","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003ETitle:\u003C\/strong\u003E\u0026nbsp;Towards Compiler-Guided Static Analysis\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EDate:\u003C\/strong\u003E\u0026nbsp;Thursday, 4 December 2025\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003ETime:\u003C\/strong\u003E\u0026nbsp;3:00-5:00 PM\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003ELocation:\u003C\/strong\u003E\u0026nbsp;KACB 3100, and virtually on Zoom (\u003Ca href=\u0022https:\/\/gatech.zoom.us\/j\/3935457800\u0022\u003Ehttps:\/\/gatech.zoom.us\/j\/3935457800\u003C\/a\u003E)\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EBenjamin Mikek\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EPh.D. Student\u003C\/p\u003E\u003Cp\u003ESchool of Computer Science\u003C\/p\u003E\u003Cp\u003EGeorgia Institute of Technology\u003C\/p\u003E\u003Cp\u003E\u003Ca href=\u0022https:\/\/mikekben.github.io\/\u0022 title=\u0022https:\/\/mikekben.github.io\/\u0022\u003Ehttps:\/\/mikekben.github.io\/\u003C\/a\u003E\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003ECommittee members\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EDr. Qirun Zhang (advisor): School of Computer Science, Georgia Institute of Technology\u003C\/p\u003E\u003Cp\u003EDr. Vijay Ganesh: School of Computer Science, Georgia Institute of Technology\u003C\/p\u003E\u003Cp\u003EDr. Jacob Laurel: School of Computer Science, Georgia Institute of Technology\u003C\/p\u003E\u003Cp\u003EDr. Brendan Saltaformaggio: School of Cybersecurity and Privacy \u0026amp; School of Computer Science, Georgia Institute of Technology\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EAbstract\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EStatic analysis consists of a large body of tools that analyze programs without running them; it is useful for checking whether programs are equivalent, for finding or proving the absence of bugs, and for verifying the security properties of software. Despite substantial progress in recent years, both theoretical and practical, existing static analyses still face major bottlenecks, including, inter alia, SMT solving, equivalence checking, and compiler verification. This work proposes a new perspective on alleviating these bottlenecks: harnessing existing compilers. It asks whether compilers\u0027 internal state, feedback mechanisms, and transformation passes can inform static analyses, improving performance and expanding the set of tractable problems. In existing work on SMT solving, we find that the strategy is promising by showing that optimizations harnessed from existing compilers can speed up SMT constraint solving. In ongoing work on translation validation, we find that a compiler\u0027s internal state can be extracted and harnessed to guide the alignment of transformed programs for translation validation. And, for future work, we propose to generalize and extend the same methodology to the task of compiler testing and verification, both by generating targeted input programs and by verifying properties of compiler components.\u003C\/p\u003E","summary":"","format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"\u003Cp\u003ETowards Compiler-Guided Static Analysis\u003C\/p\u003E","format":"limited_html"}],"field_summary_sentence":[{"value":"Towards Compiler-Guided Static Analysis"}],"uid":"27707","created_gmt":"2025-11-30 18:08:37","changed_gmt":"2025-11-30 18:09:07","author":"Tatianna Richardson","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2025-12-04T15:00:52-05:00","event_time_end":"2025-12-04T17:00:52-05:00","event_time_end_last":"2025-12-04T17:00:52-05:00","gmt_time_start":"2025-12-04 20:00:52","gmt_time_end":"2025-12-04 22:00:52","gmt_time_end_last":"2025-12-04 22:00:52","rrule":null,"timezone":"America\/New_York"},"location":"KACB 3100, and virtually on Zoom ","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":""}}}