{"52802":{"#nid":"52802","#data":{"type":"event","title":"CS Faculty Candidate Seminar - Charles Killian","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003ECharles Killian\u003Cbr \/\u003EUniversity of California, San Diego\u003Cbr \/\u003E\u003C\/strong\u003E\u003Cbr \/\u003E\u003Cstrong\u003E\u0022Mace: Systems and Language Support for Building Correct, High-Performance Networked Services\u0022\u003C\/strong\u003E\u003C\/p\u003E\n\u003Cp\u003E\u003Cstrong\u003EAbstract:\u003C\/strong\u003E\u00a0 Building distributed systems is particularly difficult because of the asynchronous, heterogeneous, and failure-prone environment where these systems must run.\u00a0 This asynchrony makes verifying the correctness of systems implementations even more challenging.\u00a0 Tools for building distributed systems must strike a compromise between reducing programmer effort and increasing system efficiency.\u00a0 Mace is a C++ language extension, compiler, runtime, and toolset, that translates a concise but expressive distributed system specification into a C++ implementation. Mace exploits a natural decomposition of distributed systems into a layered, event-driven state machine.\u00a0 A key design principle of Mace is to separate each service algorithm from the implementation mechanics (serialization, dispatch, synchronization, etc.), debugging code (logging and property testing), and its utility services (lower-level services providing a specified interface).\u00a0 Our experience\u00a0indicates that precisely because Mace imposes limits on the design structure of distributed systems, it supports the implementation of a wide variety of high-level supporting tools, including model checking, simulation, live debugging, and visualization.\u00a0 Mace is fully operational, has been in development for four years, and has been used to build a wide variety of Internet-ready distributed systems.\u00a0 This talk will describe both the Mace programming language design and MaceMC, the first model checker that can find liveness violations in unmodified systems implementations.\n\u003C\/p\u003E\n\u003Cp class=\u0022MsoPlainText\u0022\u003E\u00a0\u003C\/p\u003E\n\n\u003Cp class=\u0022MsoPlainText\u0022\u003E\u003Cstrong\u003EBio:\u003C\/strong\u003E Charles Killian is a Ph.D. Candidate in the Department of Computer Science and Engineering at the University of California, San Diego under the supervision of Amin Vahdat.\u00a0 Before transferring to UCSD in August 2004, he completed his Masters in Computer Science from Duke University with Amin Vahdat.\u00a0 His research is at the boundary of systems and programming languages, focusing on ways to use compilers and language constructs to dually bridge the gap between performance and programming expression, and to provide high-level tools for debugging, analysis, and understanding.\u00a0 Over the past 4 years he has implemented the Mace programming language and toolkit, built numerous distributed systems, and designed MaceMC, the first model checker capable of finding liveness violations in unmodified systems code.\u00a0 Charles will graduate in June, 2008.\u003C\/p\u003E\n\u003Cp class=\u0022MsoPlainText\u0022\u003E\u00a0\u003C\/p\u003E\n\u003Cp\u003E\u003C\/p\u003E","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":"","field_summary_sentence":"","uid":"27154","created_gmt":"2010-02-11 15:57:53","changed_gmt":"2016-10-08 01:50:09","author":"Louise Russo","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2008-03-13T12:00:00-04:00","event_time_end":"2008-03-13T13:00:00-04:00","event_time_end_last":"2008-03-13T13:00:00-04:00","gmt_time_start":"2008-03-13 16:00:00","gmt_time_end":"2008-03-13 17:00:00","gmt_time_end_last":"2008-03-13 17:00:00","rrule":null,"timezone":"America\/New_York"},"extras":[],"groups":[{"id":"47223","name":"College of Computing"}],"categories":[],"keywords":[],"core_research_areas":[],"news_room_topics":[],"event_categories":[],"invited_audience":[],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[{"value":"Shanita Williams","format":"limited_html"}],"email":[],"slides":[],"orientation":[],"userdata":""}}}