{"id":151,"date":"2017-01-27T10:28:55","date_gmt":"2017-01-27T15:28:55","guid":{"rendered":"http:\/\/www.podc.org\/podc2017\/?page_id=151"},"modified":"2021-10-29T10:39:44","modified_gmt":"2021-10-29T14:39:44","slug":"high-level-specification-of-distributed-algorithms","status":"publish","type":"page","link":"https:\/\/www.podc.org\/podc2017\/high-level-specification-of-distributed-algorithms\/","title":{"rendered":"High-Level Specification of<br\/> Distributed Algorithms"},"content":{"rendered":"<p style=\"text-align: center;\"><strong>Tutorial<br \/>\n<\/strong><strong>Y. Annie Liu, Scott D. Stoller, and Bo Lin<br \/>\n<\/strong><strong>Friday, July 28, 2017<\/strong><\/p>\n<p>Two sessions, 1.5 hour each, with a 30 minute break in between.<\/p>\n<p>Session 1:<\/p>\n<ul>\n<li>A brief introduction to distributed algorithms and an overview of\u00a0languages for expressing distributed algorithms.\u00a0 The introduction covers important algorithms to be used as examples, including Paxos for distributed consensus that is at the core of distributed services.<\/li>\n<li>A method for expressing distributed algorithms with (a) high-level\u00a0control flows that are easy to understand as in pseudo-code, and\u00a0(b)\u00a0 precise semantics for rigorous analysis and verification as in formal specification languages.<\/li>\n<\/ul>\n<p>Session 2:<\/p>\n<ul>\n<li>A new language, DistAlgo, that minimally extends conventional\u00a0programming languages, such as Python and Java, for such high-level\u00a0 programming of distributed algorithms, and methods for efficient\u00a0implementations.<\/li>\n<li>Demonstrations and experiments, with an implementation of the\u00a0language in Python, on example algorithms and implementations;\u00a0as time permits, hands-on practice with specifying and running\u00a0distributed algorithms.<\/li>\n<\/ul>\n<p>For more information, see the <a href=\"https:\/\/drive.google.com\/open?id=0B0MWH8ngLAIFX0EtbTFMSHE5OTg\">tutorial proposal<\/a>\u00a0and <a href=\"https:\/\/sites.google.com\/site\/distalgo\/\">DistAlgo<\/a> website.<\/p>\n<p>Organizers<\/p>\n<ul>\n<li>Y. Annie Liu is a Professor of Computer Science at Stony Brook University. She received her BS from Peking University, MEng from Tsinghua University, and PhD from Cornell University. Her primary research is in languages and algorithms, and focuses specially on systematic methods for design and optimizations. She has published in many prestigious venues, taught in a wide range of Computer Science areas, and presented over 100 conference and invited talks worldwide.\u00a0 Her awards include a State University of New York Chancellor&#8217;s Award for Excellence in Scholarship and Creative Activities.<\/li>\n<li>Scott D. Stoller is a Professor of Computer Science at Stony Brook University.\u00a0 He received his BS in Physics, summa cum laude, from Princeton University and his PhD in Computer Science from Cornell University.\u00a0 His primary research interests are design, analysis, optimization, testing, and verification of software, with focuses on computer security, concurrency, and incremental computation.\u00a0 He received an NSF CAREER Award, an ONR Young Investigator Award, a NASA Turning Goals Into Reality Award for Engineering Innovation, Best Paper Awards at Haifa Verification 2005, Runtime Verification 2011, and Data and Applications Security and Privacy 2016, and a SUNY Chancellor&#8217;s Award for Excellence in Scholarship and Creative Activities.<\/li>\n<li>Bo Lin is a PhD student at Stony Brook University.\u00a0 He received his BS and MS from Peking University.\u00a0 His main research focuses on implementation and optimization of distributed programming languages.\u00a0 He has implemented several versions of DistAlgo.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Tutorial Y. Annie Liu, Scott D. Stoller, and Bo Lin Friday, July 28, 2017 Two sessions, 1.5 hour each, with a 30 minute break in between. Session 1: A brief introduction to distributed algorithms and an overview of\u00a0languages for expressing distributed algorithms.\u00a0 The introduction covers important algorithms to be used as examples, including Paxos for &hellip; <a href=\"https:\/\/www.podc.org\/podc2017\/high-level-specification-of-distributed-algorithms\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;High-Level Specification of<br \/> Distributed Algorithms&#8221;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-151","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.podc.org\/podc2017\/wp-json\/wp\/v2\/pages\/151","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.podc.org\/podc2017\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.podc.org\/podc2017\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.podc.org\/podc2017\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.podc.org\/podc2017\/wp-json\/wp\/v2\/comments?post=151"}],"version-history":[{"count":3,"href":"https:\/\/www.podc.org\/podc2017\/wp-json\/wp\/v2\/pages\/151\/revisions"}],"predecessor-version":[{"id":156,"href":"https:\/\/www.podc.org\/podc2017\/wp-json\/wp\/v2\/pages\/151\/revisions\/156"}],"wp:attachment":[{"href":"https:\/\/www.podc.org\/podc2017\/wp-json\/wp\/v2\/media?parent=151"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}