CRN Continued on Page 11 Other Modes of Temporary NSF Members of Your Community, but You Employment
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
CRN What It Was Doing and Why It Was Cognitive Systems Vision Doing It, and to Recover from Mental Continued on Page 8 Expanding the Pipeline
COMPUTING RESEARCH NEWS Computing Research Association, Celebrating 30 Years of Service to the Computing Research Community November 2002 Vol. 14/No. 5 DARPA’s New Cognitive Systems Vision By Ron Brachman and IPTO’s goal is to create a new to cope with systems both keep Zachary Lemnios generation of cognitive systems. growing. In order to make our systems more reliable, more secure, The impact of the Defense Mired in Moore’s Law? and more understandable, and to Advanced Research Projects Agency One benefit of such cognitive continue making substantial contri- (DARPA) on computing over the systems would be their help in butions to society, we need to do past 40 years has been profound. Led extracting us from a corner into something dramatically different. by the visionary J.C.R. Licklider and which our success seems to have his innovative successors in the painted us. The research that has The Promise of Cognitive Information Processing Techniques helped the industry follow Moore’s Systems Office (IPTO), DARPA initiated “Law” has created processors that are IPTO is attacking this problem by work that ultimately put personal remarkably fast and small, and data driving a fundamental change in computers on millions of desktops storage capabilities that are vast and computing systems. By giving systems Ron Brachman and made the global Internet a cheap. Unfortunately, these incred- more cognitive capabilities, we reality. In fact, the original IPTO, ible developments have cut two ways. believe we can make them more which lasted from 1962 to 1985, was While today’s computers are more responsible for their own behavior in large part responsible for estab- powerful than ever, we have been and maintenance. -
The Conference Program Booklet
Austin Convention Center Conference Austin, TX Program http://sc15.supercomputing.org/ Conference Dates: Exhibition Dates: The International Conference for High Performance Nov. 15 - 20, 2015 Nov. 16 - 19, 2015 Computing, Networking, Storage and Analysis Sponsors: SC15.supercomputing.org SC15 • Austin, Texas The International Conference for High Performance Computing, Networking, Storage and Analysis Sponsors: 3 Table of Contents Welcome from the Chair ................................. 4 Papers ............................................................... 68 General Information ........................................ 5 Posters Research Posters……………………………………..88 Registration and Conference Store Hours ....... 5 ACM Student Research Competition ........ 114 Exhibit Hall Hours ............................................. 5 Posters SC15 Information Booth/Hours ....................... 5 Scientific Visualization/ .................................... 120 Data Analytics Showcase SC16 Preview Booth/Hours ............................. 5 Student Programs Social Events ..................................................... 5 Experiencing HPC for Undergraduates ...... 122 Registration Pass Access .................................. 7 Mentor-Protégé Program .......................... 123 Student Cluster Competition Kickoff ......... 123 SCinet ............................................................... 8 Student-Postdoc Job & ............................. 123 Convention Center Maps ................................. 12 Opportunity Fair Daily Schedules -
Curriculum Vitae
Massachusetts Institute of Technology School of Engineering Faculty Personnel Record Date: April 1, 2020 Full Name: Charles E. Leiserson Department: Electrical Engineering and Computer Science 1. Date of Birth November 10, 1953 2. Citizenship U.S.A. 3. Education School Degree Date Yale University B. S. (cum laude) May 1975 Carnegie-Mellon University Ph.D. Dec. 1981 4. Title of Thesis for Most Advanced Degree Area-Efficient VLSI Computation 5. Principal Fields of Interest Analysis of algorithms Caching Compilers and runtime systems Computer chess Computer-aided design Computer network architecture Digital hardware and computing machinery Distance education and interaction Fast artificial intelligence Leadership skills for engineering and science faculty Multicore computing Parallel algorithms, architectures, and languages Parallel and distributed computing Performance engineering Scalable computing systems Software performance engineering Supercomputing Theoretical computer science MIT School of Engineering Faculty Personnel Record — Charles E. Leiserson 2 6. Non-MIT Experience Position Date Founder, Chairman of the Board, and Chief Technology Officer, Cilk Arts, 2006 – 2009 Burlington, Massachusetts Director of System Architecture, Akamai Technologies, Cambridge, 1999 – 2001 Massachusetts Shaw Visiting Professor, National University of Singapore, Republic of 1995 – 1996 Singapore Network Architect for Connection Machine Model CM-5 Supercomputer, 1989 – 1990 Thinking Machines Programmer, Computervision Corporation, Bedford, Massachusetts 1975 -
Computational Thinking
0 Computational Thinking Jeannette M. Wing President’s Professor of Computer Science and Department Head Computer Science Department Carnegie Mellon University Microsoft Asia Faculty Summit 26 October 2012 Tianjin, China My Grand Vision • Computational thinking will be a fundamental skill used by everyone in the world by the middle of the 21st Century. – Just like reading, writing, and arithmetic. – Incestuous: Computing and computers will enable the spread of computational thinking. – In research: scientists, engineers, …, historians, artists – In education: K-12 students and teachers, undergrads, … J.M. Wing, “Computational Thinking,” CACM Viewpoint, March 2006, pp. 33-35. Paper off http://www.cs.cmu.edu/~wing/ Computational Thinking 2 Jeannette M. Wing Computing is the Automation of Abstractions Abstractions 1. Machine 2. Human Automation 3. Network [Machine + Human] Computational Thinking focuses on the process of abstraction - choosing the right abstractions - operating in terms of multiple layers of abstraction simultaneously as in - defining the relationships the between layers Mathematics guided by the following concerns… Computational Thinking 3 Jeannette M. Wing Measures of a “Good” Abstraction in C.T. as in • Efficiency Engineering – How fast? – How much space? NEW – How much power? • Correctness – Does it do the right thing? • Does the program compute the right answer? – Does it do anything? • Does the program eventually produce an answer? [Halting Problem] • -ilities – Simplicity and elegance – Scalability – Usability – Modifiability – Maintainability – Cost – … Computational Thinking 4 Jeannette M. Wing Computational Thinking, Philosophically • Complements and combines mathematical and engineering thinking – C.T. draws on math as its foundations • But we are constrained by the physics of the underlying machine – C.T. -
Research News
Computing Research News COMPUTING RESEARCH ASSOCIATION, CELEBRATING 40 YEARS OF SERVICE TO THE COMPUTING RESEARCH COMMUNITY APRIL 2014 Vol. 26 / No. 4 Announcements 2 2014 CRA Board Election Results 3 Visions 2025: Interacting with the Computers All Around Us 4 Conference at Snowbird 4 CERP Infographic 5 Postdoc Best Practices Award Recipients Announced 6 University-Industry Partnership to Advance Machine Learning 7 Expanding the Pipeline: 1st CRA-W/CDC Broadening Participation in Visualization (BPViz) Workshop 8 CCC Workshop Report: Multidisciplinary Research for Online Education 10 Highlights of the CISE Fiscal Year 2015 Budget Request 11 Time to Degree in Computing 13 CRA Board Members 16 CRA Board Officers 16 CRA Staff 16 Professional Opportunities 17 COMPUTING RESEARCH NEWS, APRIL 2014 Vol. 26 / No. 4 Announcements Rabin and Klawe Named 2014 Women of Vision by the Richard Tapia receives Anita Borg Institute 2014 Vannevar Bush Award CRA, CRA-W and CDC congratulate Richard Tapia for receiving the 2014 Vannevar Bush Award. National Science Board has announced that mathematician Photo credit – Rice University Richard Tapia, a leader in mentoring minorities in science, engineering Dr. Tal Rabin Dr. Maria Klawe Richard Tapia and mathematics fields, is the 2014 recipient Congratulations to both Tal Rabin and Maria Klawe. Klawe is of its Vannevar Bush Award. Tapia is also a previous president of Harvey Mudd College and was a founding co- recipient of CRA’s A. Nico Habermann Award, and the chair of the highly successful CRA-W Committee. She will be Richard Tapia Celebration of Diversity in Computing a plenary speaker at the 2014 Conference at Snowbird. -
Parallel Discrete Event Simulation: the Making of a Field
Proceedings of the 2017 Winter Simulation Conference W. K. V. Chan, A. D'Ambrogio, G. Zacharewicz, N. Mustafee, G. Wainer, and E. Page, eds. PARALLEL DISCRETE EVENT SIMULATION: THE MAKING OF A FIELD Richard M. Fujimoto Rajive Bagrodia School of Computational Science and Engineering Scalable Network Technologies Inc. Georgia Institute of Technology 6059 Bristol Parkway #200, Culver City, CA 90230 266 Ferst Drive Computer Science Dept., University of California Atlanta, GA 30332, USA Los Angeles, CA 90095, USA Randal E. Bryant K. Mani Chandy Computer Science Department Computing and Mathematical Sciences Carnegie Mellon University Department 5000 Forbes Ave California Institute of Technology Pittsburgh, PA 15213, USA Pasadena, CA 91125, USA David Jefferson Jayadev Misra Lawrence Livermore National Laboratory Computer Science Department 7000 East Avenue The University of Texas at Austin Livermore, CA 94550, USA Austin, TX 78712-1757, USA David Nicol Brian Unger Department of Electrical and Computer Science Department Computer Engineering University of Calgary University of Illinois, Urbana Champaign 2500 University Drive 1308 W. Main St., Urbana IL 61820, USA Calgary, Alberta T2N 1N4 Canada ABSTRACT Originating in the 1970’s, the parallel discrete event simulation (PDES) field grew from a group of researchers focused on determining how to execute a discrete event simulation program on a parallel computer while still obtaining the same results as a sequential execution. Over the decades that followed the field expanded, grew, and flourishes to this day. This paper describes the origins and development of the field in the words of many who were deeply involved. Unlike other published work focusing on technical issues, the emphasis here is on historical aspects that are not recorded elsewhere, providing a unique characterization of how the field was created and developed. -
Online Modeling and Tuning of Parallel Stream Processing Systems Jonathan Curtis Beard Washington University in St
Washington University in St. Louis Washington University Open Scholarship Engineering and Applied Science Theses & McKelvey School of Engineering Dissertations Summer 8-15-2015 Online Modeling and Tuning of Parallel Stream Processing Systems Jonathan Curtis Beard Washington University in St. Louis Follow this and additional works at: https://openscholarship.wustl.edu/eng_etds Part of the Engineering Commons Recommended Citation Beard, Jonathan Curtis, "Online Modeling and Tuning of Parallel Stream Processing Systems" (2015). Engineering and Applied Science Theses & Dissertations. 125. https://openscholarship.wustl.edu/eng_etds/125 This Dissertation is brought to you for free and open access by the McKelvey School of Engineering at Washington University Open Scholarship. It has been accepted for inclusion in Engineering and Applied Science Theses & Dissertations by an authorized administrator of Washington University Open Scholarship. For more information, please contact [email protected]. WASHINGTON UNIVERSITY IN ST. LOUIS School of Engineering and Applied Science Department of Computer Science and Engineering Dissertation Examination Committee: Roger Dean Chamberlain, Chair Jeremy Buhler Ron Cytron Roch Guerin Jenine Harris Juan Pantano Robert B. Pless Online Modeling and Tuning of Parallel Stream Processing Systems by Jonathan Curtis Beard A dissertation presented to the Graduate School of Arts and Sciences of Washington University in partial fulfillment of the requirements for the degree of Doctor of Philosophy August 2015 Saint -
Contents U U U
Contents u u u ACM Awards Reception and Banquet, June 2018 .................................................. 2 Introduction ......................................................................................................................... 3 A.M. Turing Award .............................................................................................................. 4 ACM Prize in Computing ................................................................................................. 5 ACM Charles P. “Chuck” Thacker Breakthrough in Computing Award ............. 6 ACM – AAAI Allen Newell Award .................................................................................. 7 Software System Award ................................................................................................... 8 Grace Murray Hopper Award ......................................................................................... 9 Paris Kanellakis Theory and Practice Award ...........................................................10 Karl V. Karlstrom Outstanding Educator Award .....................................................11 Eugene L. Lawler Award for Humanitarian Contributions within Computer Science and Informatics ..........................................................12 Distinguished Service Award .......................................................................................13 ACM Athena Lecturer Award ........................................................................................14 Outstanding Contribution -
Computa癢nal Thinking
Computaonal Thinking Jeanne&e M. Wing President’s Professor of Computer Science and Department Head Computer Science Department Carnegie Mellon University 40 Year Anniversary Event University of Zurich Zurich, Switzerland 24 September 2010 My Grand Vision • Computaonal thinking will be a fundamental skill used by everyone in the world by the middle of the 21st Century. – Just like reading, wri(ng, and arithme(c. – Incestuous: Compu(ng and computers will enable the spread of computaonal thinking. – In research: scien(sts, engineers, …, historians, ar(sts – In educaon: K-12 students and teachers, undergrads, … J.M. Wing, “Computa(onal Thinking,” CACM Viewpoint, March 2006, pp. 33-35. Paper off hMp://www.cs.cmu.edu/~wing/ Computa(onal Thinking 2 JeanneMe M. Wing Compu(ng is the Automaon of Abstrac(ons Abstrac(ons Automa(on Computa(onal Thinking focuses on the process of abstrac(on - choosing the right abstrac(ons - opera(ng in terms of mul(ple layers of abstrac(on simultaneously as in - defining the rela(onships the between layers Mathema(cs guided by the following concerns… Computa(onal Thinking 3 JeanneMe M. Wing Measures of a “Good” Abstrac(on in C.T. as in • Efficiency Engineering – How fast? – How much space? NEW – How much power? • Correctness – Does it do the right thing? • Does the program compute the right answer? – Does it do anything? • Does the program eventually produce an answer? [Hal(ng Problem] • -ilies – Simplicity and elegance – Usability – Modifiability – Maintainability – Cost – … Computa(onal Thinking 4 JeanneMe M. Wing Computaonal Thinking, Philosophically • Complements and combines mathemacal and engineering thinking – C.T. draws on math as its foundaons • But we are constrained by the physics of the underlying machine – C.T. -
Downloaded from the Link’S Website at Link.Cs.Cmu.Edu
curriculum report SCS , P. 17 News from the School of Computer Science Issue 5.1 / Fall 2010 UNLOCKING THE SECRETS OF CMU’S Inside Intel SUCCESSFUL RESEARCH PARTNERSHIP ALSO INSIDE: GORDON BELL: THE GAMBLER TWEET POLLING, SEI@25, CLASSROOM DIPLOMACY C alendar of E vents All events to be held at the Carnegie Mellon University campus in Pittsburgh, unless otherwise noted. Dates and locations are subject to change without notice. Visit calendar.cs.cmu.edu for a complete and current listing of events. The Link provides a mosaic of the School of Computer Science: presenting issues, analyzing problems, offering occasional answers, giving October 7–8 October 20 November 11-13 exposure to faculty, students, researchers, staff Science2010: Transformations “The Boss is Watching: Robust Fine International Conference and interdisciplinary partners. The Link strives 8 a.m.-6 p.m., Alumni Hall, Obstacle Detection for the on Gigapixel to encourage better understanding of, and 4227 Fifth Avenue, University of DARPA Grand Challenge” Imaging for Science involvement in, the computer science community. Pittsburgh Robert Fisher, Machine Learning Department November 24–26 Editor-in-Chief October 7 2 p.m., Gates Center 4101 Thanksgiving recess: University Randal E. Bryant SCS Distinguished Lecture closed Series: “Rethinking Architectural October 22 Managing Editor/Writer Research and Education” LTI Colloquium: “Class-Based December 3 Jason Togyer Chuck P. Thacker, Microsoft Contextualized Search” Last day of classes, fall term Research Paul Bennett, Microsoft -
2015-2016 Annual Report
Computing Research Association Annual Report FY 2015-2016 UNITING INDUSTRY, ACADEMIA, AND GOVERNMENT TO ADVANCE COMPUTING RESEARCH AND CHANGE THE WORLD TaBLE OF CONTENTS Message From the Board Chair 3 Financial Statement 5 Highlights by Mission Area Leadership 6 Policy 11 Talent Development 13 CRA Members 21 Board of Directors 25 Committees 26 Staff 31 The mission of the Computing Research Association (CRA) is to enhance innovation by joining with industry, government, and academia to strengthen research and advanced education in computing. CRA executes this mission by leading the computing research community, informing policymakers and the public, and facilitating the development of strong, diverse talent in the field. Computing Research Association 1828 L St, NW, Suite 800 Washington, DC 20036 P: 202-234-2111 F: 202-667-1066 E: [email protected] W: www.cra.org MESSAGE FROM THE BOARD CHAIR During the CRA 2015-16 Fiscal Year (FY16), from July 1, 2015 to June 30, 2016, CRA made great strides in its efforts to strengthen research and advanced education in computing. We’d like to share with you highlights of our FY16 activities in our three mission areas of leadership, talent development, and policy. These initiatives enhance public and policymaker understanding of the importance of computing, make the case for federal investment in research, and mentor and cultivate individuals in each stage of the pipeline so that more computing researchers can reach their full potential. Before presenting our external activities, let me briefly describe some internal and administrative activities of 2015-16. Board of Directors In 2016, CRA members elected four new members to the board of directors: Penny Rheingans, Shashi Shekhar, Josep Torrellas, and Min Wang. -
Contact: Virginia Gold 212-626-0505 [email protected] ACM TURING
acm Association for Computing Machinery Advancing Computing as a Science & Profession Contact: Virginia Gold 212-626-0505 [email protected] ACM TURING AWARD HONORS FOUNDERS OF AUTOMATIC VERIFICATION TECHNOLOGY THAT ENABLES FASTER, MORE RELIABLE DESIGNS Researchers Created Model Checking Technique for Hardware and Software Designers NEW YORK, February 4, 2008 – ACM, the Association for Computing Machinery, has named Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis the winners of the 2007 A.M. Turing Award, widely considered the most prestigious award in computing, for their original and continuing research in a quality assurance process known as Model Checking. Their innovations transformed this approach from a theoretical technique to a highly effective verification technology that enables computer hardware and software engineers to find errors efficiently in complex system designs. This transformation has resulted in increased assurance that the systems perform as intended by the designers. The Turing Award, named for British mathematician Alan M. Turing, carries a $250,000 prize, with financial support provided by Intel Corporation and Google Inc. Clarke of Carnegie Mellon University, and Emerson of the University of Texas at Austin, working together, and Sifakis, working independently for the Centre National de la Recherche Scientifique at the University of Grenoble in France, developed this fully automated approach that is now the most widely used verification method in the hardware and software industries. ACM President Stuart Feldman said the work of Clarke, Emerson and Sifakis has had a major impact on designers and manufacturers of semiconductor chips. “These industries face a technology explosion in which products of unprecedented complexity have to operate as expected for companies to survive.