Distributed Computing Column 52 Annual Review 2013
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
James Aspnes
James Aspnes August 12th, 2021 Work address James Aspnes Yale University Department of Computer Science 39 Willow Road Guilford, CT USA Email: [email protected] URL: https://www.cs.yale.edu/homes/aspnes/ Phone: +1 203 533 9862 Home address 39 Willow Rd Guilford, CT 06437-1723 Degrees • PhD (CS) 1992, Carnegie-Mellon University. Thesis title: Wait-Free Consensus. Advisor: Steven Rudich. • SM (EECS) 1987, Massachusetts Institute of Technology. • SB (Mathematics) 1987, Massachusetts Institute of Technology. Experience • Yale University. Assistant Professor of Computer Science, 1993–1998; Associate Professor of Computer Science (term), 1998–2001; Associate Professor of Computer Science (tenured), 2001–2005; Professor of Com- puter Science, 2005–. • IBM Almaden Research Center. Visiting Scientist, 1992–1993. 1 Honors • ACM-EATCS Dijkstra Prize in Distributed Computing, 2020. • The Dylan Hixon ’88 Prize for Teaching Excellence in the Natural Sci- ences. Awarded by Yale College, 2000. • IBM Graduate Fellowship, 1991–1992. • NSF Graduate Fellowship, 1987–1990. • Phi Beta Kappa, 1987. Grants • NSF award CCF-1650596, EAGER: Concurrent Data Structures, 2016–2020. (PI, $265,044.) • NSF award CCF-1637385, AitF: The Fuzzy Log: A Unifying Abstrac- tion for the Theory and Practice of Distributed Systems, 2016–2019. (Co-PI, $600,000.) • NSF award CCF-0916389, AF: Small: Algorithms for Active Learning of Interaction Networks, 2009–2013. (Co-PI, $500,000.) • NSF award CNS-0435201, NeTS-NR: Design and Evaluation of Multi- homed Networks, 2004–2008. (Co-PI, $349,987.) • NSF award CNS-0305258, Distributed Tree Infrastructure for Peer-to- Peer Systems, 2003–2006. (PI, $300,000.) • NSF award CCR-0098078, Fault-Tolerant Distributed Resource Loca- tion, 2001–2004. -
1 Personal Data 2 Education 3 Research Interests 4 Academic Appointments
CURRICULUM VITAE HAGIT ATTIYA Department of Computer Science, Technion Haifa 32000, ISRAEL (Updated: January 2021) 1 Personal Data Date and place of birth: February 16, 1962, Jerusalem, Israel. Israeli citizenship (I.d. # 5739025-4). Telephone: +972-4-8294365 [email protected] http://www.cs.technion.ac.il/˜hagit/ 2 Education • Ph.D. in Computer Science. Hebrew University, July 1987. • M.Sc. in Computer Science, cum laude. Hebrew University, June 1983. • B.Sc. in Mathematics (expanded) and Computer Science, cum laude. Hebrew University, June 1981. 3 Research Interests Distributed and parallel computing: synchronization primitives, fault-tolerance, agreement problems, ran- domization, timing-based algorithms; transactional memory; packet switches; performance analysis of dis- tributed servers. 4 Academic Appointments October 2015–September 2019: Executive Vice President for Academic Affairs, the Technion. August 2005–present: Professor, The Harry W. Labov and Charlotte Ullman Labov Academic Chair, Faculty of Computer Science, Technion. February 1997–July 2005: Associate Professor, Faculty of Computer Science, Technion. October 1990–February 1997: Senior lecturer (tenure: May 1994), Faculty of Computer Science, Technion. 1 September 1988–September 1990: Postdoctoral research associate with the Theory of Distributed Systems research group at the Laboratory for Computer Science, M.I.T. October 1987–August 1988: Instructor, Department of Computer Science, Tel-Aviv University. October 1983–September 1986: Research assistant, Department of Computer Science, Hebrew University. October 1981–September 1983: Teaching assistant, Department of Computer Science, Hebrew University. 5 Other Professional Employment August 2009–August 2010: Visiting professor at the Ecole´ Polytechnique Fed´ erale´ de Lausanne (EPFL), Switzerland. September 2001–September 2002: Research scientist at Dune Semiconductor Ltd. -
James Aspnes
James Aspnes October 1st, 2021 Work address James Aspnes Yale University Department of Computer Science 39 Willow Road Guilford, CT USA Email: [email protected] URL: https://www.cs.yale.edu/homes/aspnes/ Phone: +1 203 533 9862 Home address 39 Willow Rd Guilford, CT 06437-1723 Degrees • PhD (CS) 1992, Carnegie-Mellon University. Thesis title: Wait-Free Consensus. Advisor: Steven Rudich. • SM (EECS) 1987, Massachusetts Institute of Technology. • SB (Mathematics) 1987, Massachusetts Institute of Technology. Experience • Yale University. Assistant Professor of Computer Science, 1993–1998; Associate Professor of Computer Science (term), 1998–2001; Associate Professor of Computer Science (tenured), 2001–2005; Professor of Com- puter Science, 2005–. • IBM Almaden Research Center. Visiting Scientist, 1992–1993. 1 Honors • ACM-EATCS Dijkstra Prize in Distributed Computing, 2020. • The Dylan Hixon ’88 Prize for Teaching Excellence in the Natural Sci- ences. Awarded by Yale College, 2000. • IBM Graduate Fellowship, 1991–1992. • NSF Graduate Fellowship, 1987–1990. • Phi Beta Kappa, 1987. Grants • NSF award CCF-1650596, EAGER: Concurrent Data Structures, 2016–2020. (PI, $265,044.) • NSF award CCF-1637385, AitF: The Fuzzy Log: A Unifying Abstrac- tion for the Theory and Practice of Distributed Systems, 2016–2019. (Co-PI, $600,000.) • NSF award CCF-0916389, AF: Small: Algorithms for Active Learning of Interaction Networks, 2009–2013. (Co-PI, $500,000.) • NSF award CNS-0435201, NeTS-NR: Design and Evaluation of Multi- homed Networks, 2004–2008. (Co-PI, $349,987.) • NSF award CNS-0305258, Distributed Tree Infrastructure for Peer-to- Peer Systems, 2003–2006. (PI, $300,000.) • NSF award CCR-0098078, Fault-Tolerant Distributed Resource Loca- tion, 2001–2004. -
Expert Report of Maurice P. Herlihy in Securities and Exchange Commission V
Case 1:19-cv-09439-PKC Document 117 Filed 01/27/20 Page 1 of 33 UNITED STATES DISTRICT COURT SOUTHERN DISTRICT OF NEW YORK ------------------------------------------------------------------------ x SECURITIES AND EXCHANGE COMMISSION, : : Plaintiff, : 19 Civ. 09439 (PKC) : - against - : ECF Case : TELEGRAM GROUP INC. and TON ISSUER INC. : : Defendants. : : ----------------------------------------------------------------------- x DECLARATION OF MAURICE P. HERLIHY I, Maurice P. Herlihy, pursuant to 28 U.S.C. § 1746, declare: 1. I hold the An Wang Chair of Computer Science at Brown University. 2. I was retained by the Plaintiff Securities and Exchange Commission (“SEC”), through the firm Integra FEC LLC, in connection with this case and was asked to review certain documents and source code prepared by the Defendants in this case, as well as certain other materials, and opine on certain matters, including: (1) the status of the publically released test version of the Telegram Open Network (“TON”) Blockchain code; (2) whether the proposed TON Blockchain is secure and will perform as planned; and (3) the current state and nature of various proposed applications that may run on the TON Blockchain and whether the TON Blockchain is currently mature enough to support them. 3. I respectfully submit this declaration in support of the Plaintiff SEC’s Motion for Summary Judgment and in further support of the SEC’s Emergency Application for an Order to Show Cause, Temporary Restraining Order, and Order Granting Expedited Discovery and Other Relief and to transmit a true and correct copy of the following document: Case 1:19-cv-09439-PKC Document 117 Filed 01/27/20 Page 2 of 33 Exhibit 1: Expert Report of Maurice P. -
1 Personal Data 2 Education 3 Academic Appointments
CURRICULUM VITAE HAGIT ATTIYA Department of Computer Science, Technion Haifa 32000, ISRAEL (Updated: January 2016) 1 Personal Data Telephone: +972-4-8294365 [email protected] http://www.cs.technion.ac.il/˜hagit/ 2 Education • Ph.D. in Computer Science. Hebrew University, July 1987. • M.Sc. in Computer Science, cum laude. Hebrew University, June 1983. • B.Sc. in Mathematics (expanded) and Computer Science, cum laude. Hebrew University, June 1981. 3 Academic Appointments October 2015–present: Executive Vice President for Academic Affairs, the Technion. August 2005–present: Professor, The Harry W. Labov and Charlotte Ullman Labov Academic Chair, Faculty of Computer Science, Technion. February 1997–July 2005: Associate Professor, Faculty of Computer Science, Technion. October 1990–February 1997: Senior lecturer (tenure: May 1994), Faculty of Computer Science, Technion. September 1988–September 1990: Postdoctoral research associate with the Theory of Distributed Systems research group at the Laboratory for Computer Science, M.I.T. October 1987–August 1988: Instructor, Department of Computer Science, Tel-Aviv University. October 1983–September 1986: Research assistant, Department of Computer Science, Hebrew University. October 1981–September 1983: Teaching assistant, Department of Computer Science, Hebrew University. 1 4 Other Professional Employment (Selected) August 2009–August 2010: Visiting professor at the Ecole´ Polytechnique Fed´ erale´ de Lausanne (EPFL), Switzerland. September 2001–September 2002: Research scientist at Dune Semiconductor Ltd. July/August 1993: Visiting scientist at the Software Principles Research department, AT&T Bell Laborato- ries, Murray Hill. August 1991: Visiting scientist, DEC Cambridge Research Laboratory. 5 Editorial Springer-Verlag’s journal Distributed Computing. Editor-in-chief, 2008–. Editorial board member, 2003–. -
Maurice Peter Herlihy
Maurice Peter Herlihy Box 1910, Computer Science Dept (401) 863-7646 (voice) Brown University (401) 863-7657 (fax) Providence, RI 02912 [email protected] http://www.cs.brown.edu/people/mph/home.html Research Interests Practical and theoretical aspects of concurrent and distributed systems. Positions Brown University Since 2016 An Wang Professor of Computer Science. 1998-2016 Professor, Computer Science Department. 1994 - 1998 Associate Professor, Computer Science Department. 1989 - 1994 Digital Equipment Corporation Cambridge MA Researcher, Cambridge Research Laboratory. Promoted to Consulting Engi- neer 1994. 1984 - 1989 Carnegie Mellon University Pittsburgh PA Assistant Professor, Computer Science Department. October 2010 - August 2011 Technion Haifa, Israel Visiting (on sabbatical). September 2004 - August 2005 Microsoft Research Cambridge, UK On leave, visiting researcher. November 13, 2019 1 Honors and Awards 2017 Research Innovation Award, Brown University. 2016 Appointed to An Wang Chair of Computer Science. Brown University. 2015 Elected to the American Academy of Arts and Sciences. SIGOPS Hall of Fame awarded to \Transactional Memory: architectural sup- port for lock-free data structures." In Proceedings of the 1993 International Symposium on Computer Architecture, May 1993, San Diego, CA. 2014 Elected fellow of the National Academy of Inventors. 2013 Elected to the National Academy of Engineering, \for concurrent computing techniques for linearizability, non-blocking data structures, and transactional memory". 2013 the IEEE Computer Society's W. Wallace McDowell Award, \for fundamen- tal contributions to the theory and practice of multi-processor computation". 2012 Dijkstra Prize in Distributed Computing. Awarded for \Transactional Mem- ory: architectural support for lock-free data structures." In Proceedings of the 1993 International Symposium on Computer Architecture, May 1993, San Diego, CA. -
Submission Data for 2020-2021 CORE Conference Ranking Process International Symposium on Distributed Computing (Was WDAG)
Submission Data for 2020-2021 CORE conference Ranking process International Symposium on Distributed Computing (was WDAG) Andrea Richa Conference Details Conference Title: International Symposium on Distributed Computing (was WDAG) Acronym : DISC Rank: A Requested Rank Rank: A* Recent Years Proceedings Publishing Style Proceedings Publishing: series Link to most recent proceedings: https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16168 Further details: 34th International Symposium on Distributed Computing (DISC 2020). Editor: Hagit Attiya Leibniz International Proceedings in Informatics Schloss Dagstuhl âĂŞ Leibniz-Zentrum fÃijr Informatik, Dagstuhl Publishing, Germany ————– DISC, the International Symposium on Distributed Computing, is an international forum on the theory, design, analysis, implementation and application of distributed systems and networks. DISC is organized in cooperation with the European Association for Theoretical Computer Science (EATCS). This proceedings volume contains the papers presented at DISC 2020, the 34th International Symposium on Distributed Computing, held as a virtual event online on October 12âĂŞ16, 2020. It also includes the citations for two awards jointly sponsored by DISC and the ACM Symposium on Principles of Distributed Computing (PODC). There was a record number of submissions this year: 170 regular paper submissions, and 15 brief announcement submissions. The program committee decided to accept 39 regular submissions (an acceptance rate of 23%) and 15 brief announcements (indicated -
Supplemental Material for CORE Ranking Application for the International Symposium on Distributed Computing (DISC)
Supplemental material for CORE ranking application for the International Symposium on Distributed Computing (DISC) 1 General (Part F.2 of General CORE Form) DISC is a conference in Theoretical Distributed Computing. Theoretical Distributed Computing is its own research area, intersecting with both general CS Theory and distributed systems, but not a subarea of either of those: There are plenty of research topics that are covered by Theoretical Distributed Computing conferences that would not be covered by STOC/FOCS/SODA and other general CS Theory conferences nor by networking/distributed systems conferences, but which are very relevant theoretical areas with direct application to current distributed systems (e.g., theoretical underpinnings of blockchain, consensus, and low-level concurrency). To further understand how theoretical distributed computing is not a direct subset of CS Theory, note that the acceptance rates of DISC are in fact lower than the acceptance rates of the top general CS Theory conferences: SODA has an average acceptance rate of 30%, FOCS of 27.6% and STOC of 26.3%, according to lamsade.dauphine.fr/ sikora/ratio/confs.php – these three conferences are all rated A* by CORE. DISC and PODC (PODC is an A*-ranked conference at CORE) are the top two conferences in theoretical dis- tributed computing conferences. The theoretical distributed computing community opted to have two smaller, single- session top flagship conferences spread throughout the year, with support both from the US and from Europe through ACM and EATCS -
Submission Data for 2020-2021 CORE Conference Ranking Process ACM Symposium on Principles of Distributed Computing Jennifer Welc
Submission Data for 2020-2021 CORE conference Ranking process ACM Symposium on Principles of Distributed Computing Jennifer Welch Conference Details Conference Title: ACM Symposium on Principles of Distributed Computing Acronym : PODC Rank: A* Requested Rank Rank: A* Recent Years Proceedings Publishing Style Proceedings Publishing: self-contained Link to most recent proceedings: https://dl.acm.org/doi/proceedings/10.1145/3293611 Further details: The proceedings are published by ACM. Short papers are distinguished by mandatory requirement that the title be prefaced by the string ”Brief Announcement:”. Most Recent Years Most Recent Year Year: 2019 URL: https://www.podc.org/podc2019/ Location: Toronto, Canada Papers submitted: 173 Papers published: 48 Acceptance rate: 28 Source for numbers: https://dl.acm.org/doi/proceedings/10.1145/3293611 General Chairs Name: Jennifer Welch Affiliation: Texas A&M University, USA Gender: F H Index: 34 GScholar url: https://scholar.google.com/citations?user=_BSIZHAAAAAJ&hl=en&oi=sra DBLP url: https://dblp.org/pid/w/JenniferLWelch.html Program Chairs Name: Faith Ellen Affiliation: University of Toronto, Canada Gender: F H Index: unknown; ACM Fellow GScholar url: DBLP url: https://dblp.org/pid/f/FEFich.html Second Most Recent Year 1 Year: 2018 URL: https://www.podc.org/podc2018/ Location: Royal Holloway, University of London, UK Papers submitted: 163 Papers published: 41 Acceptance rate: 25 Source for numbers: https://dl.acm.org/doi/proceedings/10.1145/3212734 General Chairs Name: Nitin Vaidya Affiliation: University