DOCSLIB.ORG

SIGOPS Annual Report July 2016 – June 2017

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
SIGOPS Annual Report July 2016 – June 2017 SIGOPS Annual Report July 2016 – June 2017 SIGOPS addresses a broad spectrum of issues associated with operating systems research and development. Although many of the members are drawn from industry, academic and government professionals are also represented in the membership. Overview This was the second year for Robbert van Renesse (Cornell) as Chair, Shan Lu (University of Chicago) as Vice Chair, Kaoutar El Maghraoui (IBM Research) as Treasurer, and Håvard Johansen (University of Tromsø, Norway) as Information Director. As will be clear from the material below, SIGOPS is a highly active organization. In addition, the two main chapters of SIGOPS, EuroSys and ChinaSys, are both very active. Eurosys organizes a large conference annually and ChinaSys organizes two large meetings per year. We are excited to hold our flagship conference, SOSP, for the first time in Asia. SOSP 2017 will be held in Shanghai. Professional SIGOPS membership dues remain at $10, and student membership is just $5 per year. SIGOPS publishes a quarterly newsletter, Operating Systems Review (OSR), which focuses on specific research topics or research institutions, manages an electronic mailing list, and maintains a web site: http://www.sigops.org/. Jeanna Matthews and Tom Bressoud have retired as co-editors of Operating System Review. These posts have been taken over by Mark Silberstein (Technion) and Chris Rossbach (UT Austin). They are planning issues for mid-July and mid-December in 2017. In order to help with the mechanics involved in this publication, we have added a new position: SIGOPS Publication Director, a role now filled by Kishore Pusukuri of LinkedIn. SIGOPS encourages participation in conferences and career building activities for young members of the community. For example, substantial funding was provided this year as travel grants for students to attend conferences and diversity workshops, with many of these grants targeted at women and underrepresented minorities. As of May 2017, we supported the following with student travel grants: PODC 2016, APSYS 2016, CRA Grad Cohort Workshop, and SOCC 2016. A total of $29,950.80 has been spent on travel grants so far. For the 2016 fiscal year, the list is: SOCC 2015, CRA Grad Workshop, APSYS 2015, ASPLOS 2016, EUROSYS 2015, and VEE 2016. A total of $44,043.62 was spent on travel grants. SIGOPS started providing sponsorship for childcare services at major systems conferences in the past year to promote diversity. At OSDI’16, SIGOPS sponsored an onsite childcare program that was used 6 kids from 4 families, costing about $10,000; at EuroSys’17, SIGOPS sponsored an onsite childcare program that was used by 2 kids from 2 families, costing about $1,000. At the coming SOSP’17 in China, we plan to sponsor childcare grants that conference participants can apply. Although we are still experimenting different ways to provide such services, we already got positive feedback from the community about this initiative. We have taken over the popular HotOS workshop from USENIX. HotOS XVI was held May 7-10 at Whistler in Canada, and the workshop featured 64 attendees (among which 21 students and 18 industrial attendees) and 2 invited speakers. Industrial sponsorship reached a $21K record for this workshop. The workshop ran with a small surplus. Given these promising results, we are certainly looking at doing it again next year. Awards The SIGOPS Dennis M. Ritchie Doctoral Dissertation Award 2016 committee was run by Nickolai Zeldovich (MIT), Andrew S. Tanenbaum (VU, Amsterdam), and Yuanyuan Zhou (UCSD). The award went Vijay Chidambaram’s "Orderless and Eventually Durable File Systems", advised by Andrea Arpaci-Dusseau and Remzi Arpaci-Dusseau at University of Wisconsin–Madison. Charles M. Curtsinger’s "Performance Analysis and Debugging", advised by Emery D. Berger of the University of Massachusetts at Amherst got an Honorable Mention. The Mark Weiser Award 2016 was awarded to Antony Rowstron of Microsoft Research Cambridge. The committee consisted of Stefan Savage (UCSD), Margo Seltzer (Harvard), and Peter Druschel (MPI-SWS). The 2016 ACM SIGOPS Hall of Fame award went to Fay Chang, Jeffrey Dean, Sanjay Ghemawat, Wilson C. Hsieh, Deborah A. Wallach, Mike Burrows, Tushar Chandra, Andrew Fikes, and Robert E. Gruber. Bigtable: A Distributed Storage System for Structured Data In 7th USENIX Symp. on Operating Systems Design and Implementation (OSDI '06), November 2006. The committee consisted of Tom Anderson, Rich Draves, Jason Flinn, Frans Kaashoek, Kimberly Keeton, Hank Levy. Jeff Mogul. Timothy Roscoe, Amin Vahdat, and Robbert van Renesse. The SIGARCH/SIGPLAN/SIGOPS ASPLOS Influential Paper 2017 went to "Automatically characterizing large scale program behavior", Timothy Sherwood, Erez Perelman, Greg Hamerly, Brad Calder (University of California at San Diego) from ASPLOS 2002. Conferences - The 26th Symposium on Operating Systems Principles (SOSP 2017) is to be held in Shanghai. It is 100% sponsored by SIGOPS. The General Co-Chairs are Haibo Chen (Shanghai Jiao Tong) and Lidong Zhou (Microsoft Research). The PC Co-Chairs are Peter Chen (UMich) and Lorenzo Alvisi (Cornell). The Steering Committee consists of Dilma Da Silva, Mike Dahlin, Peter Druschel, Steven Hand, Hank Levy, and Ethan Miller. Andrew Birrell who served on the committee passed away December 2016. - The 13th Eurosys Conference (Eurosys 2017) was held in Belgrade in April. Sponsored by SIGOPS and Eurosys. - The 22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2017) was held in Xi’an, China in April. ASPLOS is sponsored 25% by SIGOPS, 50% by SIGARCH, and 25% by SIGPLAN. - The 12th ACM SIGPLAN/SIGOPS international Conference on Virtual Execution Environments was collocated with ASPLOS in Xi’an. VEE is sponsored 50% by SIGPLAN and 50% by SIGOPS. - The 35th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2016) was held in Chicago in July. PODC is sponsored 50% by SIGOPS and 50% by SIGACT. - The 7th ACM Symposium on Cloud Computing (SOCC 2016) was held in Santa Clara, CA, in October. SOCC is sponsored 50% by SIGOPS and 50% by SIGMOD. - The 14th ACM Conference on Embedded Networked Sensor Systems (SenSys 2016) was held in Stanford, in November. Sensys is sponsored 10% by SIGOPS, SIGARCH, SIGMETRICS and SIGBED, 30% by SIGMOBILE, and 30% by SIGCOMM. - The 7th SIGOPS Asia-Pacific Workshop on Systems (APSys) was held in August in New Delhi, India. APSys is 100% sponsored by SIGOPS. - The 10th ACM International Systems and Storage Conference (SYSTOR) was held in Haifa in May 2017. It is 100% sponsored by SIGOPS. - The 16th ACM SIGOPS Workshop on Hot Topics in Operating Systems (HotOS 2017) was held in Whistler, BC, in May 2017. It is 100% sponsored by SIGOPS. (Until now it was organized by USENIX.) - We sponsored the 2017 CRA-W Grad Cohort Workshop, held in Washington D.C. in April 2017, at the Bronze level sponsorship. A record 550 women graduate students attended, representing over 179 institutions in North America and 65% with their citizenship elsewhere. A total of 100 of these masters and PhD students are working in SIGOPS areas, with 18 in core OS, 48 in Networking and 32 in Distributed Systems. - In-cooperation events included USENIX events OSDI 2016, FAST 2017, and NSDI 2017. Exciting Initiatives - We are putting on another Diversity Workshop co-located with SOSP 2017. - SOSP 2017 will also feature a day of tutorials for people new to SIGOPS, and, for the first time, a Student Research Competition. - We are working on granting ChinaSys members automatic membership to SIGOPS. - We are organizing a biennial SIGOPS Summer School, the first one to be held in August 2018 in Norway, and the next one to be held in China in 2020..
Load more

Recommended publications
  • The 60Th Issue of IEEE Women in Engineering Newsletter with Current
    IEEE WOMEN IN ENGINEERING NEWSLETTER JANUARY 2013 The mission of WIE is to facilitate the recruitment and retention of women in technical disciplines globally. IEEE WIE envisions a vibrant community of IEEE women and men collectively using their diverse talents to innovate for the benefit of humanity. The making of these stories do not Welcome to the 60th Issue of just happen; They are made to WIE Featured Person of the IEEE Women in Engineering happen by people who do not just Month Highlights Newsletter with current five- do their jobs but they care and year editorial staff. To mark the they lead, providing guidance and 60th issue of the IEEE Women in encouragement to affinity groups Engineering Newsletter, we bring and individuals, worldwide. These you kind greetings as we celebrate stories also happen because of the having a consistent and dedicated hard work, achievements, and newsletter staff for the last five dedication exemplified by our years. individual members as well, who excel and make a difference in their respective fields . Over the past five years, we have told many great stories of success, The collective achievements of “us achievements, and fascinating experiences and opportunities – all all” are what make “WIE Around the World” a true phenomenon. In The WIE Featured Person of the about our WIE members, about all Month is Katina Michael, editor-in- of you and each of you. light of this, we will bring you greetings over the next few chief of IEEE Technology and Society months from the regional Magazine. After working at OTIS The WIE newsletter staff cannot coordinators from Regions 1 Elevator Company and Andersen begin to express the excitement though 10 who have helped to Consulting, Katina was offered and that goes along with telling the make the 60th Issue of the IEEE exciting graduate engineering stories of the many of WIE, from all Women in Engineering Newsletter position at Nortel in 1996; and her around the world, sharing a the landmark success that is career has been fast track from there.
    [Show full text]
  • SIGOPS Annual Report 2012
    SIGOPS Annual Report 2012 Fiscal Year July 2012-June 2013 Submitted by Jeanna Matthews, SIGOPS Chair Overview SIGOPS is a vibrant community of people with interests in “operatinG systems” in the broadest sense, includinG topics such as distributed computing, storaGe systems, security, concurrency, middleware, mobility, virtualization, networkinG, cloud computinG, datacenter software, and Internet services. We sponsor a number of top conferences, provide travel Grants to students, present yearly awards, disseminate information to members electronically, and collaborate with other SIGs on important programs for computing professionals. Officers It was the second year for officers: Jeanna Matthews (Clarkson University) as Chair, GeorGe Candea (EPFL) as Vice Chair, Dilma da Silva (Qualcomm) as Treasurer and Muli Ben-Yehuda (Technion) as Information Director. As has been typical, elected officers agreed to continue for a second and final two- year term beginning July 2013. Shan Lu (University of Wisconsin) will replace Muli Ben-Yehuda as Information Director as of AuGust 2013. Awards We have an excitinG new award to announce – the SIGOPS Dennis M. Ritchie Doctoral Dissertation Award. SIGOPS has lonG been lackinG a doctoral dissertation award, such as those offered by SIGCOMM, Eurosys, SIGPLAN, and SIGMOD. This new award fills this Gap and also honors the contributions to computer science that Dennis Ritchie made durinG his life. With this award, ACM SIGOPS will encouraGe the creativity that Ritchie embodied and provide a reminder of Ritchie's leGacy and what a difference a person can make in the field of software systems research. The award is funded by AT&T Research and Alcatel-Lucent Bell Labs, companies that both have a strong connection to AT&T Bell Laboratories where Dennis Ritchie did his seminal work.
    [Show full text]
  • SIGOPS Annual Report 2011
    SIGOPS Annual Report 2011 Fiscal Year July 2010-June 2011 Submitted by Doug Terry, SIGOPS Chair Overview SIGOPS is a vibrant community of people with interests in “operating systems” in the broadest sense, including topics such as distributed computing, storage systems, security, concurrency, middleware, mobility, virtualization, networking, cloud computing, datacenter software, and Internet services. We sponsor a number of top conferences, provide travel grants to students, present yearly awards, disseminate information to members electronically, and collaborate with other SIGs on important programs for computing professionals. Notable activities from the past year include: Elections were held for new officers, and Jeanna Matthews was elected as the new SIGOPS Chair, George Candea as Vice Chair, and Dilma da Silva as Treasurer. They will serve two-year terms from July 1, 2011 through June 30, 2013. The past officers (Doug Terry as Chair, Frank Bellosa as Vice Chair and Jeanna Matthews as Treasurer) completed their 4 years of service on June 30. Planning for the next ACM Symposium on Operating Systems (SOSP), which is scheduled for October 2011 in Cascais, Portugal, has been largely completed by Ted Wobber, the General Chair, and Peter Druschel, the Program Chair. The Second ACM Symposium on Cloud Computing (SOCC), which is co-sponsored between SIGOPS and SIGMOD, is being co-located with SOSP in Portugal. The first SIGOPS Asia-Pacific Workshop on Systems (APSys) was held on August 30, 2010 in New Delhi, India, immediately before the SIGCOMM 2010 conference. And the second instance of this workshop is being held in Shanghai, China, in July 2011. ACM released the first version of the Cloud Computing Tech Pack, which was produced by Doug Terry, the SIGOPS Chair.
    [Show full text]
  • Llista Congressos Notables
    Llistat de congressos notables per la UPC (Ordenat pel nom del congrés) Servei d'Informació RDI (Per dubtes: [email protected]). 5 de febrer de 2018 Nom del congrés Acrònim AAAI Conference on Artificial Intelligence AAAI ACM Conference on Computer and Communications Security CCS ACM Conference on Human Factors in Computing Systems CHI ACM European Conference on Computer Systems EuroSys ACM Great Lakes Symposium on VLSI GLSVLSI ACM International Conference on Information and Knowledge Management CIKM ACM International Conference on Measurement and Modelling of Computer Systems SIGMETRICS ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems MSWiN ACM International Conference on Multimedia ACMMM ACM International Symposium on Mobile AdHoc Networking and Computing ACM MOBIHOC ACM International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems MSWiM ACM International Symposium on Physical Design ISPD ACM Object-Oriented Programming, Systems, Languages & Applications OOPSLA ACM Principles of Programming Languages POPL ACM SIGCOMM Special Interest Group on Data Communications SIGCOMM ACM SIGMOD Conference ACM SIGMOD ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation PLDI ACM Symposium on Applied Computing SAC ACM Symposium on Operating Systems Principles SOSP ACM Symposium on Parallel Algorithms and Architectures SPAA ACM Symposium on Principles of Database Systems PODS ACM Symposium on Principles of Distributed Computing PODC ACM Symposium on
    [Show full text]
  • Shanlu › About › Cv › CV Shanlu.Pdf Shan Lu
    Shan Lu University of Chicago, Dept. of Computer Science Phone: +1-773-702-3184 5730 S. Ellis Ave., Rm 343 E-mail: [email protected] Chicago, IL 60637 USA Homepage: http://people.cs.uchicago.edu/~shanlu RESEARCH INTERESTS Tool support for improving the correctness and efficiency of large scale software systems EMPLOYMENT 2019 – present Professor, Dept. of Computer Science, University of Chicago 2014 – 2019 Associate Professor, Dept. of Computer Sciences, University of Chicago 2009 – 2014 Assistant Professor, Dept. of Computer Sciences, University of Wisconsin – Madison EDUCATION 2008 University of Illinois at Urbana-Champaign, Urbana, IL Ph.D. in Computer Science Thesis: Understanding, Detecting, and Exposing Concurrency Bugs (Advisor: Prof. Yuanyuan Zhou) 2003 University of Science & Technology of China, Hefei, China B.S. in Computer Science HONORS AND AWARDS 2019 ACM Distinguished Member Among 62 members world-wide recognized for outstanding contributions to the computing field 2015 Google Faculty Research Award 2014 Alfred P. Sloan Research Fellow Among 126 “early-career scholars (who) represent the most promising scientific researchers working today” 2013 Distinguished Alumni Educator Award Among 3 awardees selected by Department of Computer Science, University of Illinois 2010 NSF Career Award 2021 Honorable Mention Award @ CHI for paper [C71] (CHI 2021) 2019 Best Paper Award @ SOSP for paper [C62] (SOSP 2019) 2019 ACM SIGSOFT Distinguished Paper Award @ ICSE for paper [C58] (ICSE 2019) 2017 Google Scholar Classic Paper Award for
    [Show full text]
  • Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems Pdfauthor=Jonathan Mace, Ryan Roelke, Rodrigo Fonseca
    PivoT Tracing:Dynamic Causal MoniToring for DisTribuTed SysTems JonaThan Mace Ryan Roelke Rodrigo Fonseca Brown UniversiTy AbsTracT MoniToring and TroubleshooTing disTribuTed sysTems is noToriously diõcult; poTenTial prob- lems are complex, varied, and unpredicTable. _e moniToring and diagnosis Tools commonly used Today – logs, counTers, and meTrics – have Two imporTanT limiTaTions: whaT gets recorded is deûned a priori, and The informaTion is recorded in a componenT- or machine-cenTric way, making iT exTremely hard To correlaTe events ThaT cross These boundaries. _is paper presents PivoT Tracing, a moniToring framework for disTribuTed sysTems ThaT addresses boTh limiTaTions by combining dynamic insTrumenTaTion wiTh a novel relaTional operaTor: The happened-before join. PivoT Tracing gives users, aT runTime, The abiliTy To deûne arbiTrary meTrics aT one poinT of The sysTem, while being able To selecT, ûlTer, and group by events mean- ingful aT oTher parts of The sysTem, even when crossing componenT or machine boundaries. We have implemenTed a proToType of PivoT Tracing for Java-based sysTems and evaluaTe iT on a heTerogeneous Hadoop clusTer comprising HDFS, HBase, MapReduce, and YARN. We show ThaT PivoT Tracing can eòecTively idenTify a diverse range of rooT causes such as soware bugs, misconûguraTion, and limping hardware. We show ThaT PivoT Tracing is dynamic, exTensible, and enables cross-Tier analysis beTween inTer-operaTing applicaTions, wiTh low execuTion overhead. Ë. InTroducTion MoniToring and TroubleshooTing disTribuTed sysTems
    [Show full text]
  • A ACM Transactions on Trans. 1553 TITLE ABBR ISSN ACM Computing Surveys ACM Comput. Surv. 0360‐0300 ACM Journal
    ACM - zoznam titulov (2016 - 2019) CONTENT TYPE TITLE ABBR ISSN Journals ACM Computing Surveys ACM Comput. Surv. 0360‐0300 Journals ACM Journal of Computer Documentation ACM J. Comput. Doc. 1527‐6805 Journals ACM Journal on Emerging Technologies in Computing Systems J. Emerg. Technol. Comput. Syst. 1550‐4832 Journals Journal of Data and Information Quality J. Data and Information Quality 1936‐1955 Journals Journal of Experimental Algorithmics J. Exp. Algorithmics 1084‐6654 Journals Journal of the ACM J. ACM 0004‐5411 Journals Journal on Computing and Cultural Heritage J. Comput. Cult. Herit. 1556‐4673 Journals Journal on Educational Resources in Computing J. Educ. Resour. Comput. 1531‐4278 Transactions ACM Letters on Programming Languages and Systems ACM Lett. Program. Lang. Syst. 1057‐4514 Transactions ACM Transactions on Accessible Computing ACM Trans. Access. Comput. 1936‐7228 Transactions ACM Transactions on Algorithms ACM Trans. Algorithms 1549‐6325 Transactions ACM Transactions on Applied Perception ACM Trans. Appl. Percept. 1544‐3558 Transactions ACM Transactions on Architecture and Code Optimization ACM Trans. Archit. Code Optim. 1544‐3566 Transactions ACM Transactions on Asian Language Information Processing 1530‐0226 Transactions ACM Transactions on Asian and Low‐Resource Language Information Proce ACM Trans. Asian Low‐Resour. Lang. Inf. Process. 2375‐4699 Transactions ACM Transactions on Autonomous and Adaptive Systems ACM Trans. Auton. Adapt. Syst. 1556‐4665 Transactions ACM Transactions on Computation Theory ACM Trans. Comput. Theory 1942‐3454 Transactions ACM Transactions on Computational Logic ACM Trans. Comput. Logic 1529‐3785 Transactions ACM Transactions on Computer Systems ACM Trans. Comput. Syst. 0734‐2071 Transactions ACM Transactions on Computer‐Human Interaction ACM Trans.
    [Show full text]
  • An Oral History of Computer Science Cornell University
    An Oral History of Computer Science at Cornell University https://ecommons.cornell.edu/handle/1813/40569 Gates Hall, Cornell University Twelve senior faculty members share their personal journeys and their recollections of the early days of computer science at Cornell University and the leadership role in bringing a new field of study into existence. Birman, Ken Hopcroft, John E Cardie, Claire Kozen, Dexter Constable, Robert Nerode, Anil Conway, Richard W. Schneider, Fred B Gries, David Teitelbaum, Tim Hartmanis, Juris Van Loan, Charlie (Click on a name above to scroll to an abstract and a live link to the associated streaming video.) version: 16Jun16 1. KEN BIRMAN Ken Birman, who joined CS in 1981, exemplifies the successful synergy of research and entrepreneurial activities. His research in distributed systems led to his founding ISIS Distributed Systems, Inc., in 1988, which developed software used by the New York Stock Exchange (NYSE) and Swiss Exchange, the French Air Traffic Control sys- tem, the AEGIS warship, and others. He started two other companies, Reliable Network Solutions and Web Sci- ences LLC. This entrepreneurship has in turn generated new research ideas and has also led to Ken’s advising various organi- zations on distributed systems and cloud computing, including the French Civil Aviation Organization, the north- eastern electric power grid, NATO, the US Treasury, and the US Air Force. Ken has received several awards for his research, among them the IEEE Tsutomu Kanai Award for his work on trustworthy computing, the Cisco “Technology Visionary” award, and the ACM SIGOPS Hall of Fame Award. He also has written two successful texts.
    [Show full text]
  • ACM JOURNALS S.No. TITLE PUBLICATION RANGE :STARTS PUBLICATION RANGE: LATEST URL 1. ACM Computing Surveys Volume 1 Issue 1
    ACM JOURNALS S.No. TITLE PUBLICATION RANGE :STARTS PUBLICATION RANGE: LATEST URL 1. ACM Computing Surveys Volume 1 Issue 1 (March 1969) Volume 49 Issue 3 (October 2016) http://dl.acm.org/citation.cfm?id=J204 Volume 24 Issue 1 (Feb. 1, 2. ACM Journal of Computer Documentation Volume 26 Issue 4 (November 2002) http://dl.acm.org/citation.cfm?id=J24 2000) ACM Journal on Emerging Technologies in 3. Volume 1 Issue 1 (April 2005) Volume 13 Issue 2 (October 2016) http://dl.acm.org/citation.cfm?id=J967 Computing Systems 4. Journal of Data and Information Quality Volume 1 Issue 1 (June 2009) Volume 8 Issue 1 (October 2016) http://dl.acm.org/citation.cfm?id=J1191 Journal on Educational Resources in Volume 1 Issue 1es (March 5. Volume 16 Issue 2 (March 2016) http://dl.acm.org/citation.cfm?id=J814 Computing 2001) 6. Journal of Experimental Algorithmics Volume 1 (1996) Volume 21 (2016) http://dl.acm.org/citation.cfm?id=J430 7. Journal of the ACM Volume 1 Issue 1 (Jan. 1954) Volume 63 Issue 4 (October 2016) http://dl.acm.org/citation.cfm?id=J401 8. Journal on Computing and Cultural Heritage Volume 1 Issue 1 (June 2008) Volume 9 Issue 3 (October 2016) http://dl.acm.org/citation.cfm?id=J1157 ACM Letters on Programming Languages Volume 2 Issue 1-4 9. Volume 1 Issue 1 (March 1992) http://dl.acm.org/citation.cfm?id=J513 and Systems (March–Dec. 1993) 10. ACM Transactions on Accessible Computing Volume 1 Issue 1 (May 2008) Volume 9 Issue 1 (October 2016) http://dl.acm.org/citation.cfm?id=J1156 11.
    [Show full text]
  • Semperos: a Distributed Capability System
    SemperOS: A Distributed Capability System Matthias Hille† Nils Asmussen† ∗ Pramod Bhatotia‡ Hermann Härtig† ∗ †Technische Universität Dresden ‡The University of Edinburgh ∗ Barkhausen Institut Abstract systems have received renewed attention recently to provide Capabilities provide an efficient and secure mechanism for an efficient and secure mechanism for resource management fine-grained resource management and protection. However, in modern hardware architectures [5, 24, 30, 36, 44, 64, 67]. as the modern hardware architectures continue to evolve Today the main improvements in compute capacity with large numbers of non-coherent and heterogeneous cores, are achieved by either adding more cores or integrating we focus on the following research question: can capability accelerators into the system. However, the increasing core systems scale to modern hardware architectures? counts exacerbate the hardware complexity required for global In this work, we present a scalable capability system to drive cache coherence. While on-chip cache coherence is likely to future systems with many non-coherent heterogeneous cores. remain a feature of future hardware architectures [45], we see More specifically, we have designed a distributed capability characteristics of distributed systems added to the hardware system based on a HW/SW co-designed capability system. by giving up on global cache coherence across a whole We analyzed the pitfalls of distributed capability operations machine [6, 28]. Additionally, various kinds of accelerators running concurrently and built the protocols in accordance are added like the Xeon Phi Processor, the Matrix-2000 accel- with the insights. We have incorporated these distributed erator, GPUs, FPGAs, or ASICs, which are used in numerous capability management protocols in a new microkernel-based application fields [4,21,32,34,43,60].
    [Show full text]
  • Robust Computer Algebra, Theorem Proving, and Oracle AI
    Robust Computer Algebra, Theorem Proving, and Oracle AI Gopal P. Sarma∗ Nick J. Hayyz School of Medicine, Emory University, Atlanta, GA USA Vicarious FPC, San Francisco, CA USA Abstract In the context of superintelligent AI systems, the term “oracle” has two meanings. One refers to modular systems queried for domain-specific tasks. Another usage, referring to a class of systems which may be useful for addressing the value alignment and AI control problems, is a superintelligent AI system that only answers questions. The aim of this manuscript is to survey contemporary research problems related to oracles which align with long-term research goals of AI safety. We examine existing question answering systems and argue that their high degree of architectural heterogeneity makes them poor candidates for rigorous analysis as oracles. On the other hand, we identify computer algebra systems (CASs) as being primitive examples of domain-specific oracles for mathematics and argue that efforts to integrate computer algebra systems with theorem provers, systems which have largely been developed independent of one another, provide a concrete set of problems related to the notion of provable safety that has emerged in the AI safety community. We review approaches to interfacing CASs with theorem provers, describe well-defined architectural deficiencies that have been identified with CASs, and suggest possible lines of research and practical software projects for scientists interested in AI safety. I. Introduction other hand, issues of privacy and surveillance, access and inequality, or economics and policy are Recently, significant public attention has been also of utmost importance and are distinct from drawn to the consequences of achieving human- the specific technical challenges posed by most level artificial intelligence.
    [Show full text]
  • ACM Student Membership Application and Order Form
    student membership application and order form INSTRUCTIONS Name Please print clearly Member Number Carefully complete this PDF applica - tion and return with payment by mail Address or fax to ACM. You must be a full-time student to qualify for student rates. City State/Province Postal code/Zip Ë CONTACT ACM Country Please do not release my postal address to third parties Area code & Daytime phone Email address Ë Yes, please send me ACM Announcements via email Ë No, please do not send me ACM Announcements via email phone: 1-800-342-6626 (US & Canada) +1-212-626-0500 MEMBERSHIP OPTIONS & ADD ONS (Global) MEMBERSHIP OPTIONS: hours: 8:30am - 4:30pm US Eastern Time Ë Student Membership: $19 (USD) fax: +1-212-944-1318 Ë Student Membership PLUS Digital Library: $42 (USD) [email protected] email: Ë Student Membership PLUS Print CACM Magazine: $42 (USD) mail: ACM, Member Services Ë General Post Office Student Membership w/Digital Library PLUS Print CACM Magazine: $62 (USD) P.O. Box 30777 MEMBERSHIP ADD ONS: NY, NY 10087-0777, USA Ë ACM Books Subscription: $10 (USD) For immediate processing, Ë FAX this application to Additional Print Publications and/or Special Interest Groups +1-212-944-1318. PUBLICATIONS Please check one WHAT’S NEW Check the appropriate box and calculate Issues amount due on reverse. per year Code Member Rate Air Rate* ACM Learning Webinars keep you at the • ACM Inroads 4 178 $41 Ë $69 Ë Ë Ë cutting edge of the latest technical and tech - • Communications of the ACM 12 101 $50 $69 • Computers in Entertainment (online only) 4 247 $48 Ë N/A nological developments.
    [Show full text]