{"673392":{"#nid":"673392","#data":{"type":"event","title":"SCS Faculty Candidate Seminar- Guannan Wei","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003EName:\u0026nbsp;\u003C\/strong\u003EGuannan Wei,\u0026nbsp;\u003Cspan\u003E\u003Cspan\u003E\u003Cspan\u003E\u003Cspan\u003E\u003Cspan\u003EPostdoctoral Researcher,\u0026nbsp;\u003C\/span\u003E\u003C\/span\u003E\u003C\/span\u003E\u003C\/span\u003E\u003C\/span\u003E\u003Cspan\u003E\u003Cspan\u003E\u003Cspan\u003E\u003Cspan\u003E\u003Cspan\u003EPurdue University\u003C\/span\u003E\u003C\/span\u003E\u003C\/span\u003E\u003C\/span\u003E\u003C\/span\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003EDate:\u0026nbsp;\u003C\/strong\u003EThursday, March 12 at 11 a.m.\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003ELocation:\u0026nbsp;\u003C\/strong\u003EKlaus Advanced Computing Building, Room 1116\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003ETitle:\u0026nbsp;\u003C\/strong\u003ETypes and Metaprogramming for Correct, Safe, and Performant Software Systems\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003EAbstract:\u0026nbsp;\u003C\/strong\u003EIn this talk, I will present some novel directions to build correct, safe, and performant software systems using programming languages and metaprogramming techniques. In the first part of the talk, I will present reachability type systems, a family of static type systems to track sharing, separation, and side effects in higher-order imperative programs. Reachability types lead to a smooth combination of Rust-style ownership types with higher-level programming abstractions (such as first-class functions). In the second part, I will discuss how metaprogramming techniques can help build correct, flexible, and performant program analyzers. I will present GenSym, a parallel symbolic-execution compiler that is derived from a high-level definitional symbolic interpreter using program generation techniques. GenSym generates code in continuation-passing style to perform parallel symbolic execution of LLVM IR programs, and significantly outperforms similar state-of-the-art tools. The talk also covers my future research agenda, including applications of reachability types in quantum computing.\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003EBio:\u0026nbsp;\u003C\/strong\u003EGuannan Wei is currently a postdoctoral researcher at Purdue University. His research interests lie in programming languages and software engineering. His contributions have been published in flagship programming languages and software engineering venues, such as POPL, OOPSLA, ICFP, ECOOP, ICSE, and ESEC\/FSE. Guannan received his PhD degree (2023) in Computer Science from Purdue University, advised by Tiark Rompf. He is the 2022 recipient of the Maurice H. Halstead Memorial Award for Software Engineering Research. More of Guannan\u2019s work can be found at https:\/\/continuation.passing.style.\u003C\/p\u003E\r\n","summary":"","format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"\u003Cp\u003E\u003Cstrong\u003EName:\u0026nbsp;\u003C\/strong\u003EGuannan Wei,\u0026nbsp;\u003Cspan\u003E\u003Cspan\u003E\u003Cspan\u003E\u003Cspan\u003E\u003Cspan\u003EPostdoctoral Researcher,\u0026nbsp;\u003C\/span\u003E\u003C\/span\u003E\u003C\/span\u003E\u003C\/span\u003E\u003C\/span\u003E\u003Cspan\u003E\u003Cspan\u003E\u003Cspan\u003E\u003Cspan\u003E\u003Cspan\u003EPurdue University\u003C\/span\u003E\u003C\/span\u003E\u003C\/span\u003E\u003C\/span\u003E\u003C\/span\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003EDate:\u0026nbsp;\u003C\/strong\u003EThursday, March 12 at 11 a.m.\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003ELocation:\u0026nbsp;\u003C\/strong\u003EKlaus Advanced Computing Building, Room 1116\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003ETitle:\u0026nbsp;\u003C\/strong\u003ETypes and Metaprogramming for Correct, Safe, and Performant Software Systems\u003C\/p\u003E\r\n","format":"limited_html"}],"field_summary_sentence":[{"value":"SCS Faculty Candidate Seminar- Guannan Wei"}],"uid":"36532","created_gmt":"2024-03-07 17:20:42","changed_gmt":"2024-03-07 17:20:42","author":"Morgan Usry","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2024-03-14T11:00:00-04:00","event_time_end":"2024-03-14T12:00:00-04:00","event_time_end_last":"2024-03-14T12:00:00-04:00","gmt_time_start":"2024-03-14 15:00:00","gmt_time_end":"2024-03-14 16:00:00","gmt_time_end_last":"2024-03-14 16:00:00","rrule":null,"timezone":"America\/New_York"},"location":"KACB, 1116","extras":[],"hg_media":{"673334":{"id":"673334","type":"image","title":"Headshot.jpg","body":null,"created":"1709832019","gmt_created":"2024-03-07 17:20:19","changed":"1709832012","gmt_changed":"2024-03-07 17:20:12","alt":"Guannan Wei","file":{"fid":"256717","name":"Headshot.jpg","image_path":"\/sites\/default\/files\/2024\/03\/07\/Headshot.jpg","image_full_path":"http:\/\/hg.gatech.edu\/\/sites\/default\/files\/2024\/03\/07\/Headshot.jpg","mime":"image\/jpeg","size":41049,"path_740":"http:\/\/hg.gatech.edu\/sites\/default\/files\/styles\/740xx_scale\/public\/2024\/03\/07\/Headshot.jpg?itok=FTTY-0gW"}}},"media_ids":["673334"],"groups":[{"id":"322011","name":"College of Computing Events"}],"categories":[],"keywords":[],"core_research_areas":[],"news_room_topics":[],"event_categories":[],"invited_audience":[],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[],"email":[],"slides":[],"orientation":[],"userdata":""}}}