{"283611":{"#nid":"283611","#data":{"type":"event","title":"SCS Talk: Guoliang Jin, University of Wisconsin-Madison","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003ESCS Faculty Candidate Talk: \u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EGuoliang Jin, University of Wisconsin-Madison\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003ETitle:\u0026nbsp;\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EDiagnosing and Fixing Concurrency Bugs\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EAbstract:\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EIn the current multi-core era, concurrency bugs are a growing threat to software reliability. Many advanced techniques have been proposed for concurrency-bug finding. However, finding bugs is just a start, and software reliability does not improve until these bugs are actually fixed. Unfortunately, fixing concurrency bugs is not trivial and developers are left to themselves to face the enormous pressure of fixing ever-so-many concurrency bugs. Despite all the efforts at developer sites, many concurrency bugs still slip into production runs and manifest at user sites as failures. Developers need to understand the reason behind a failure so that the same failure can be prevented from happening again.\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003EIn this talk, I will discuss my work on providing tool support for both bug fixing and failure diagnosis. I will first focus on automated concurrency-bug fixing, which builds upon the observation that concurrency bugs can be fixed by removing bad interleavings. I will present a prototype system, CFix, which assembles a set of bug detecting, synchronization enforcing, and testing techniques to automate the whole process of concurrency-bug fixing. Then I will discuss my work on production-run multi-threaded software failure diagnosis and describe the tools I built that have low run-time overhead and good capability in diagnosing failures caused by concurrency bugs.\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EBio:\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003E\u003Cem\u003EGuoliang Jin is a Ph.D. candidate in the Department of Computer Sciences at the University of Wisconsin\u2013Madison. His research areas are software reliability and software systems, with a focus on understanding, detecting, diagnosing, and fixing concurrency bugs and performance bugs. His work on automated concurrency-bug fixing received a SIGPLAN CACM nomination with the comment \u0022this is one of the first papers to attack the problem of automated bug fixing.\u003C\/em\u003E\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":"","field_summary_sentence":[{"value":"Diagnosing and Fixing Concurrency Bugs"}],"uid":"27734","created_gmt":"2014-03-14 12:31:24","changed_gmt":"2016-10-08 02:07:14","author":"Antonette Benford","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2014-03-25T16:00:00-04:00","event_time_end":"2014-03-25T17:00:00-04:00","event_time_end_last":"2014-03-25T17:00:00-04:00","gmt_time_start":"2014-03-25 20:00:00","gmt_time_end":"2014-03-25 21:00:00","gmt_time_end_last":"2014-03-25 21:00:00","rrule":null,"timezone":"America\/New_York"},"extras":["free_food"],"hg_media":{"277081":{"id":"277081","type":"image","title":"Guoliang Jin-Univ of WI-Madison","body":null,"created":"1449244151","gmt_created":"2015-12-04 15:49:11","changed":"1475894968","gmt_changed":"2016-10-08 02:49:28","alt":"Guoliang Jin-Univ of WI-Madison","file":{"fid":"198809","name":"guoliang_jin.jpg","image_path":"\/sites\/default\/files\/images\/guoliang_jin_0.jpg","image_full_path":"http:\/\/www.tlwarc.hg.gatech.edu\/\/sites\/default\/files\/images\/guoliang_jin_0.jpg","mime":"image\/jpeg","size":198591,"path_740":"http:\/\/www.tlwarc.hg.gatech.edu\/sites\/default\/files\/styles\/740xx_scale\/public\/images\/guoliang_jin_0.jpg?itok=KQ6D-xFq"}}},"media_ids":["277081"],"groups":[{"id":"47223","name":"College of Computing"}],"categories":[],"keywords":[],"core_research_areas":[],"news_room_topics":[],"event_categories":[{"id":"1795","name":"Seminar\/Lecture\/Colloquium"}],"invited_audience":[{"id":"78771","name":"Public"}],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[{"value":"\u003Cp\u003EMilos Prvulovic @ (404) 385-6364 or \u003Ca href=\u0022mailto:milos@cc.gatech.edu\u0022\u003Emilos@cc.gatech.edu\u003C\/a\u003E\u003C\/p\u003E","format":"limited_html"}],"email":[],"slides":[],"orientation":[],"userdata":""}}}