XONN: XNOR-Based Oblivious Deep Neural Network Inference

Total Page:16

File Type:pdf, Size:1020Kb

XONN: XNOR-Based Oblivious Deep Neural Network Inference XONN: XNOR-based Oblivious Deep Neural Network Inference M. Sadegh Riazi Mohammad Samragh Hao Chen Kim Laine UC San Diego UC San Diego Microsoft Research Microsoft Research Kristin Lauter Farinaz Koushanfar Microsoft Research UC San Diego Abstract 1 Introduction The advent of big data and striking recent progress in ar- Advancements in deep learning enable cloud servers to pro- tificial intelligence are fueling the impending industrial au- vide inference-as-a-service for clients. In this scenario, tomation revolution. In particular, Deep Learning (DL) —a clients send their raw data to the server to run the deep learn- method based on learning Deep Neural Networks (DNNs) ing model and send back the results. One standing chal- —is demonstrating a breakthrough in accuracy. DL mod- lenge in this setting is to ensure the privacy of the clients’ els outperform human cognition in a number of critical tasks sensitive data. Oblivious inference is the task of running such as speech and visual recognition, natural language pro- the neural network on the client’s input without disclosing cessing, and medical data analysis. Given DL’s superior per- the input or the result to the server. This paper introduces formance, several technology companies are now developing z2n XONN (pronounced / /), a novel end-to-end framework or already providing DL as a service. They train their DL based on Yao’s Garbled Circuits (GC) protocol, that pro- models on a large amount of (often) proprietary data on their vides a paradigm shift in the conceptual and practical real- own servers; then, an inference API is provided to the users ization of oblivious inference. In XONN, the costly matrix- who can send their data to the server and receive the analy- multiplication operations of the deep learning model are re- sis results on their queries. The notable shortcoming of this placed with XNOR operations that are essentially free in GC. remote inference service is that the inputs are revealed to the We further provide a novel algorithm that customizes the cloud server, breaching the privacy of sensitive user data. neural network such that the runtime of the GC protocol is Consider a DL model used in a medical task in which minimized without sacrificing the inference accuracy. a health service provider withholds the prediction model. We design a user-friendly high-level API for XONN, al- Patients submit their plaintext medical information to the lowing expression of the deep learning model architecture server, which then uses the sensitive data to provide a med- in an unprecedented level of abstraction. We further pro- ical diagnosis based on inference obtained from its propri- vide a compiler to translate the model description from high- etary model. A naive solution to ensure patient privacy is level Python (i.e., Keras) to that of XONN. Extensive proof- to allow the patients to receive the DL model and run it of-concept evaluation on various neural network architec- on their own trusted platform. However, this solution is tures demonstrates that XONN outperforms prior art such not practical in real-world scenarios because: (i) The DL as Gazelle (USENIX Security’18) by up to 7×, MiniONN model is considered an essential component of the service (ACM CCS’17) by 93×, and SecureML (IEEE S&P’17) by provider’s intellectual property (IP). Companies invest a sig- 37×. State-of-the-art frameworks require one round of in- nificant amount of resources and funding to gather the mas- teraction between the client and the server for each layer sive datasets and train the DL models; hence, it is important of the neural network, whereas, XONN requires a constant to service providers not to reveal the DL model to ensure round of interactions for any number of layers in the model. their profitability and competitive advantage. (ii) The DL XONN is first to perform oblivious inference on Fitnet archi- model is known to reveal information about the underlying tectures with up to 21 layers, suggesting a new level of scala- data used for training [1]. In the case of medical data, this bility compared with state-of-the-art. Moreover, we evaluate reveals sensitive information about other patients, violating XONN on four datasets to perform privacy-preserving med- HIPAA and similar patient health privacy regulations. ical diagnosis. The datasets include breast cancer, diabetes, Oblivious inference is the task of running the DL model liver disease, and Malaria. on the client’s input without disclosing the input or the re- sult to the server itself. Several solutions for oblivious in- ing the inference phase. The XNOR operation is known to be ference have been proposed that utilize one or more cryp- free in the GC protocol [12]; therefore, performing oblivious tographic tools such as Homomorphic Encryption (HE) [2, inference on BNNs using GC results in the removal of costly 3], Garbled Circuits (GC) [4], Goldreich-Micali-Wigderson multiplications. Using our approach, we show that oblivious (GMW) protocol [5], and Secret Sharing (SS). Each of these inference on the standard DL benchmarks can be performed cryptographic tools offer their own characteristics and trade- with minimal, if any, decrease in the prediction accuracy. offs. For example, one major drawback of HE is its compu- We emphasize that an effective solution for oblivious in- tational complexity. HE has two main variants: Fully Ho- ference should take into account the deep learning algo- momorphic Encryption (FHE) [2] and Partially Homomor- rithms and optimization methods that can tailor the DL phic Encryption (PHE) [3, 6]. FHE allows computation on model for the security protocol. Current DL models are encrypted data but is computationally very expensive. PHE designed to run on CPU/GPU platforms where many multi- has less overhead but only supports a subset of functions or plications can be performed with high throughput, whereas, depth-bounded arithmetic circuits. The computational com- bit-level operations are very inefficient. In the GC protocol, plexity drastically increases with the circuit’s depth. More- however, bit-level operations are inexpensive, but multipli- over, non-linear functionalities such as the ReLU activation cations are rather costly. As such, we propose to train deep function in DL cannot be supported. neural networks that involve many bit-level operations but GC, on the other hand, can support an arbitrary function- no multiplications in the inference phase; using the idea of ality while requiring only a constant round of interactions learning binary networks, we achieve an average of 21× re- regardless of the depth of the computation. However, it has duction in the number of gates for the GC protocol. a high communication cost and a significant overhead for We perform extensive evaluations on different datasets. multiplication. More precisely, performing multiplication Compared to the Gazelle [10] (the prior best solution) and in GC has quadratic computation and communication com- MiniONN [9] frameworks, we achieve 7× and 93× lower plexity with respect to the bit-length of the input operands. inference latency, respectively. XONN outperforms DeepSe- It is well-known that the complexity of the contemporary cure [13] (prior best GC-based framework) by 60× and DL methodologies is dominated by matrix-vector multiplica- CryptoNets [14], an HE-based framework, by 1859×. More- tions. GMW needs less communication than GC but requires over, our solution renders a constant round of interactions many rounds of interactions between the two parties. between the client and the server, which has a significant ef- A standalone SS-based scheme provides a computation- fect on the performance on oblivious inference in Internet ally inexpensive multiplication yet requires three or more settings. We highlight our contributions as follows: independent (non-colluding) computing servers, which is a • Introduction of XONN, the first framework for privacy pre- strong assumption. Mixed-protocol solutions have been pro- serving DNN inference with a constant round complexity posed with the aim of utilizing the best characteristics of that does not need expensive matrix multiplications. Our each of these protocols [7, 8, 9, 10]. They require secure solution is the first that can be scalably adapted to ensure conversion of secrets from one protocol to another in the security against malicious adversaries. middle of execution. Nevertheless, it has been shown that the cost of secret conversion is paid off in these hybrid solu- • Proposing a novel conditional addition protocol based on tions. Roughly speaking, the number of interactions between Oblivious Transfer (OT) [15], which optimizes the costly server and client (i.e., round complexity) in existing hybrid computations for the network’s input layer. Our protocol solutions is linear with respect to the depth of the DL model. is 6× faster than GC and can be of independent interest. Since depth is a major contributor to the deep learning ac- We also devise a novel network trimming algorithm to re- curacy [11], scalability of the mixed-protocol solutions with move neurons from DNNs that minimally contribute to the respect to the number of layers remains an unsolved issue for inference accuracy, further reducing the GC complexity. more complex, many-layer networks. This paper introduces XONN, a novel end-to-end frame- • Designing a high-level API to readily automate fast adap- work which provides a paradigm shift in the conceptual tation of XONN, such that users only input a high-level and practical realization of privacy-preserving interference description of the neural network. We further facilitate the on deep neural networks. The existing work has largely usage of our framework by designing a compiler that trans- focused on the development of customized security proto- lates the network description from Keras to XONN. cols while using conventional fixed-point deep learning al- gorithms.
Recommended publications
  • MODELING and ANALYSIS of MOBILE TELEPHONY PROTOCOLS by Chunyu Tang a DISSERTATION Submitted to the Faculty of the Stevens Instit
    MODELING AND ANALYSIS OF MOBILE TELEPHONY PROTOCOLS by Chunyu Tang A DISSERTATION Submitted to the Faculty of the Stevens Institute of Technology in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Chunyu Tang, Candidate ADVISORY COMMITTEE David A. Naumann, Chairman Date Yingying Chen Date Daniel Duchamp Date Susanne Wetzel Date STEVENS INSTITUTE OF TECHNOLOGY Castle Point on Hudson Hoboken, NJ 07030 2013 c 2013, Chunyu Tang. All rights reserved. iii MODELING AND ANALYSIS OF MOBILE TELEPHONY PROTOCOLS ABSTRACT The GSM (2G), UMTS (3G), and LTE (4G) mobile telephony protocols are all in active use, giving rise to a number of interoperation situations. This poses serious challenges in ensuring authentication and other security properties. Analyzing the security of all possible interoperation scenarios by hand is, at best, tedious under- taking. Model checking techniques provide an effective way to automatically find vulnerabilities in or to prove the security properties of security protocols. Although the specifications address the interoperation cases between GSM and UMTS and the switching and mapping of established security context between LTE and previous technologies, there is not a comprehensive specification of which are the possible interoperation cases. Nor is there comprehensive specification of the procedures to establish security context (authentication and short-term keys) in the various interoperation scenarios. We systematically enumerate the cases, classifying them as allowed, disallowed, or uncertain with rationale based on detailed analysis of the specifications. We identify the authentication and key agreement procedure for each of the possible cases. We formally model the pure GSM, UMTS, LTE authentication protocols, as well as all the interoperation scenarios; we analyze their security, in the symbolic model of cryptography, using the tool ProVerif.
    [Show full text]
  • Department of Computer Science
    i cl i ck ! MAGAZINE click MAGAZINE 2014, VOLUME II FIVE DECADES AS A DEPARTMENT. THOUSANDS OF REMARKABLE GRADUATES. 50COUNTLESS INNOVATIONS. Department of Computer Science click! Magazine is produced twice yearly for the friends of got your CS swag? CS @ ILLINOIS to showcase the innovations of our faculty and Commemorative 50-10 Anniversary students, the accomplishments of our alumni, and to inspire our t-shirts are available! partners and peers in the field of computer science. Department Head: Editorial Board: Rob A. Rutenbar Tom Moone Colin Robertson Associate Department Heads: Rob A. Rutenbar shop now! my.cs.illinois.edu/buy Gerald DeJong Michelle Wellens Jeff Erickson David Forsyth Writers: David Cunningham CS Alumni Advisory Board: Elizabeth Innes Alex R. Bratton (BS CE ’93) Mike Koon Ira R. Cohen (BS CS ’81) Rick Kubetz Vilas S. Dhar (BS CS ’04, BS LAS BioE ’04) Leanne Lucas William M. Dunn (BS CS ‘86, MS ‘87) Tom Moone Mary Jane Irwin (MS CS ’75, PhD ’77) Michelle Rice Jennifer A. Mozen (MS CS ’97) Colin Robertson Daniel L. Peterson (BS CS ’05) Laura Schmitt Peter L. Tannenwald (BS LAS Math & CS ’85) Michelle Wellens Jill C. Zmaczinsky (BS CS ’00) Design: Contact us: SURFACE 51 [email protected] 217-333-3426 Machines take me by surprise with great frequency. Alan Turing 2 CS @ ILLINOIS Department of Computer Science College of Engineering, College of Liberal Arts & Sciences University of Illinois at Urbana-Champaign shop now! my.cs.illinois.edu/buy click i MAGAZINE 2014, VOLUME II 2 Letter from the Head 4 ALUMNI NEWS 4 Alumni
    [Show full text]
  • Lipics-ISAAC-2020-42.Pdf (0.5
    Multiparty Selection Ke Chen Department of Computer Science, University of Wisconsin–Milwaukee, WI, USA [email protected] Adrian Dumitrescu Department of Computer Science, University of Wisconsin–Milwaukee, WI, USA [email protected] Abstract Given a sequence A of n numbers and an integer (target) parameter 1 ≤ i ≤ n, the (exact) selection problem is that of finding the i-th smallest element in A. An element is said to be (i, j)-mediocre if it is neither among the top i nor among the bottom j elements of S. The approximate selection problem is that of finding an (i, j)-mediocre element for some given i, j; as such, this variant allows the algorithm to return any element in a prescribed range. In the first part, we revisit the selection problem in the two-party model introduced by Andrew Yao (1979) and then extend our study of exact selection to the multiparty model. In the second part, we deduce some communication complexity benefits that arise in approximate selection. In particular, we present a deterministic protocol for finding an approximate median among k players. 2012 ACM Subject Classification Theory of computation Keywords and phrases approximate selection, mediocre element, comparison algorithm, i-th order statistic, tournaments, quantiles, communication complexity Digital Object Identifier 10.4230/LIPIcs.ISAAC.2020.42 1 Introduction Given a sequence A of n numbers and an integer (selection) parameter 1 ≤ i ≤ n, the selection problem asks to find the i-th smallest element in A. If the n elements are distinct, the i-th smallest is larger than i − 1 elements of A and smaller than the other n − i elements of A.
    [Show full text]
  • COT 5407:Introduction to Algorithms Author and Copyright: Giri Narasimhan Florida International University Lecture 1: August 28, 2007
    COT 5407:Introduction to Algorithms Author and Copyright: Giri Narasimhan Florida International University Lecture 1: August 28, 2007. 1 Introduction The field of algorithms is the bedrock on which all of computer science rests. Would you jump into a business project without understanding what is in store for you, without know- ing what business strategies are needed, without understanding the nature of the market, and without evaluating the competition and the availability of skilled available workforce? In the same way, you should not undertake writing a program without thinking out a strat- egy (algorithm), without theoretically evaluating its performance (algorithm analysis), and without knowing what resources you will need and you have available. While there are broad principles of algorithm design, one of the the best ways to learn how to be an expert at designing good algorithms is to do an extensive survey of “case studies”. It provides you with a storehouse of strategies that have been useful for solving other problems. When posed with a new problem, the first step is to “model” your problem appropriately and cast it as a problem (or a variant) that has been previously studied or that can be easily solved. Often the problem is rather complex. In such cases, it is necessary to use general problem-solving techniques that one usually employs in modular programming. This involves breaking down the problem into smaller and easier subproblems. For each subproblem, it helps to start with a skeleton solution which is then refined and elaborated upon in a stepwise manner. Once a strategy or algorithm has been designed, it is important to think about several issues: why is it correct? does is solve all instances of the problem? is it the best possible strategy given the resource limitations and constraints? if not, what are the limits or bounds on the amount of resources used? are improved solutions possible? 2 History of Algorithms It is important for you to know the giants of the field, and the shoulders on which we all stand in order to see far.
    [Show full text]
  • Bit Barrier: Secure Multiparty Computation with a Static Adversary
    Breaking the O(nm) Bit Barrier: Secure Multiparty Computation with a Static Adversary Varsha Dani Valerie King Mahnush Mohavedi University of New Mexico University of Victoria University of New Mexico Jared Saia University of New Mexico Abstract We describe scalable algorithms for secure multiparty computation (SMPC). We assume a synchronous message passing communication model, but unlike most related work, we do not assume the existence of a broadcast channel. Our main result holds for the case where there are n players, of which a 1=3 − fraction are controlled by an adversary, for any positive constant.p We describe a SMPC algorithm forp this model that requires each player to send ~ n+m ~ n+m O( n + n) messages and perform O( n + n) computations to compute any function f, where m is the size of a circuit to compute f. We also consider a model where all players are selfish but rational. In this model, we describe a Nash equilibrium protocol that solve SMPC ~ n+m ~ n+m and requires each player to send O( n ) messages and perform O( n ) computations. These results significantly improve over past results for SMPC which require each player to send a number of bits and perform a number of computations that is θ(nm). 1 Introduction In 1982, Andrew Yao posed a problem that has significantly impacted the weltanschauung of computer security research [22]. Two millionaires want to determine who is wealthiest; however, neither wants to reveal any additional information about their wealth. Can we design a protocol to allow both millionaires to determine who is wealthiest? This problem is an example of the celebrated secure multiparty computation (SMPC) problem.
    [Show full text]
  • Notices of the American Mathematical Society (ISSN 0002- Call for Nominations for AMS Exemplary Program Prize
    American Mathematical Society Notable textbooks from the AMS Graduate and undergraduate level publications suitable fo r use as textbooks and supplementary course reading. A Companion to Analysis A Second First and First Second Course in Analysis T. W. Korner, University of Cambridge, • '"l!.li43#i.JitJij England Basic Set Theory "This is a remarkable book. It provides deep A. Shen, Independent University of and invaluable insight in to many parts of Moscow, Moscow, Russia, and analysis, presented by an accompli shed N. K. Vereshchagin, Moscow State analyst. Korner covers all of the important Lomonosov University, Moscow, R ussia aspects of an advanced calculus course along with a discussion of other interesting topics." " ... the book is perfectly tailored to general -Professor Paul Sally, University of Chicago relativity .. There is also a fair number of good exercises." Graduate Studies in Mathematics, Volume 62; 2004; 590 pages; Hardcover; ISBN 0-8218-3447-9; -Professor Roman Smirnov, Dalhousie University List US$79; All AJviS members US$63; Student Mathematical Library, Volume 17; 2002; Order code GSM/62 116 pages; Sofi:cover; ISBN 0-82 18-2731-6; Li st US$22; All AlviS members US$18; Order code STML/17 • lili!.JUM4-1"4'1 Set Theory and Metric Spaces • ij;#i.Jit-iii Irving Kaplansky, Mathematical Analysis Sciences R esearch Institute, Berkeley, CA Second Edition "Kaplansky has a well -deserved reputation Elliott H . Lleb M ichael Loss Elliott H. Lieb, Princeton University, for his expository talents. The selection of Princeton, NJ, and Michael Loss, Georgia topics is excellent." I nstitute of Technology, Atlanta, GA -Professor Lance Small, UC San Diego AMS Chelsea Publishing, 1972; "I liked the book very much.
    [Show full text]
  • School of Computer Science
    MANCHESTER 1824 School of Computer Science Weekly Newsletter 20 February 2012 Contents News from Head of School News from HoS Royal Visit This Week Prince Andrew visited the School on Tuesday 14th February. Prince Andrew was School Events given a tour of the graphene laboratories by Andre Geim, and made a sample of graphene himself, which he viewed under the microscope. External Events Members of the graphene research team told the Prince about future Funding Opps applications of graphene, which is the world’s thinnest, strongest and most conductive material. Prize & Award Opps http://www.manchester.ac.uk/aboutus/news/display/?id=7977 Research Awards The visit in connection with the announcement of the new £45M graphene building: Staff News http://www.manchester.ac.uk/aboutus/news/display/?id=7930 Vacancies Turing Centenary Conference Andrei Voronkov has announced the Turing Centenary Conference, to be held in Links Manchester, June 22-25, 2012: http://www.turing100.manchester.ac.uk/ News Submissions Andrei has secured Ten Turing Award winners, a Templeton Award winner and Newsletter Archive Garry Kasparov as invited speakers: School Strategy Confirmed invited speakers: School Intranet - Fred Brooks (University of North Carolina) - Rodney Brooks (MIT) School Seminars - Vint Cerf (Google) ESNW Seminars - Ed Clarke (Carnegie Mellon University) NaCTeM Seminars - Jack Copeland (University of Canterbury, New Zealand) - George Francis Rayner Ellis (University of Cape Town) - David Ferrucci (IBM) - Tony Hoare (Microsoft Research) - Garry Kasparov (Kasparov Chess Foundation) - Don Knuth (Stanford University) - Yuri Matiyasevich (Institute of Mathematics, St. Petersburg) - Roger Penrose (Oxford) - Adi Shamir (Weizmann Institute of Science) - Michael Rabin (Harvard) - Leslie Valiant (Harvard) - Manuela M.
    [Show full text]
  • Lecture Notes in Computer Science 6223 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan Van Leeuwen
    Lecture Notes in Computer Science 6223 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Germany Madhu Sudan Microsoft Research, Cambridge, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany Tal Rabin (Ed.) Advances in Cryptology – CRYPTO 2010 30th Annual Cryptology Conference Santa Barbara, CA, USA, August 15-19, 2010 Proceedings 13 Volume Editor Tal Rabin IBM T.J.Watson Research Center Hawthorne, NY, USA E-mail: [email protected] Library of Congress Control Number: 2010931385 CR Subject Classification (1998): E.3, G.2.1, F.2.1-2, D.4.6, K.6.5, C.2, J.1 LNCS Sublibrary: SL 4 – Security and Cryptology ISSN 0302-9743 ISBN-10 3-642-14622-8 Springer Berlin Heidelberg New York ISBN-13 978-3-642-14622-0 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks.
    [Show full text]
  • COMP 516 Research Methods in Computer Science Research Methods in Computer Science Lecture 3: Who Is Who in Computer Science Research
    COMP 516 COMP 516 Research Methods in Computer Science Research Methods in Computer Science Lecture 3: Who is Who in Computer Science Research Dominik Wojtczak Dominik Wojtczak Department of Computer Science University of Liverpool Department of Computer Science University of Liverpool 1 / 24 2 / 24 Prizes and Awards Alan M. Turing (1912-1954) Scientific achievement is often recognised by prizes and awards Conferences often give a best paper award, sometimes also a best “The father of modern computer science” student paper award In 1936 introduced Turing machines, as a thought Example: experiment about limits of mechanical computation ICALP Best Paper Prize (Track A, B, C) (Church-Turing thesis) For the best paper, as judged by the program committee Gives rise to the concept of Turing completeness and Professional organisations also give awards based on varying Turing reducibility criteria In 1939/40, Turing designed an electromechanical machine which Example: helped to break the german Enigma code British Computer Society Roger Needham Award His main contribution was an cryptanalytic machine which used Made annually for a distinguished research contribution in computer logic-based techniques science by a UK based researcher within ten years of their PhD In the 1950 paper ‘Computing machinery and intelligence’ Turing Arguably, the most prestigious award in Computer Science is the introduced an experiment, now called the Turing test A. M. Turing Award 2012 is the Alan Turing year! 3 / 24 4 / 24 Turing Award Turing Award Winners What contribution have the following people made? The A. M. Turing Award is given annually by the Association for Who among them has received the Turing Award? Computing Machinery to an individual selected for contributions of a technical nature made Frances E.
    [Show full text]
  • Communications of the Acm
    COMMUNICATIONS CACM.ACM.ORG OF THEACM 10/2015 VOL.58 NO.10 Discovering Genes Involved in Disease and the Mystery of Missing Heritability Crash Consistency Concerns Rise about AI Seeking Anonymity in an Internet Panopticon What Can Be Done about Gender Diversity in Computing? A Lot! Association for Computing Machinery Previous A.M. Turing Award Recipients 1966 A.J. Perlis 1967 Maurice Wilkes 1968 R.W. Hamming 1969 Marvin Minsky 1970 J.H. Wilkinson 1971 John McCarthy 1972 E.W. Dijkstra 1973 Charles Bachman 1974 Donald Knuth 1975 Allen Newell 1975 Herbert Simon 1976 Michael Rabin 1976 Dana Scott 1977 John Backus ACM A.M. TURING AWARD 1978 Robert Floyd 1979 Kenneth Iverson 1980 C.A.R Hoare NOMINATIONS SOLICITED 1981 Edgar Codd 1982 Stephen Cook Nominations are invited for the 2015 ACM A.M. Turing Award. 1983 Ken Thompson 1983 Dennis Ritchie This is ACM’s oldest and most prestigious award and is presented 1984 Niklaus Wirth annually for major contributions of lasting importance to computing. 1985 Richard Karp 1986 John Hopcroft Although the long-term influences of the nominee’s work are taken 1986 Robert Tarjan into consideration, there should be a particular outstanding and 1987 John Cocke 1988 Ivan Sutherland trendsetting technical achievement that constitutes the principal 1989 William Kahan claim to the award. The recipient presents an address at an ACM event 1990 Fernando Corbató 1991 Robin Milner that will be published in an ACM journal. The award is accompanied 1992 Butler Lampson by a prize of $1,000,000. Financial support for the award is provided 1993 Juris Hartmanis 1993 Richard Stearns by Google Inc.
    [Show full text]
  • Speakers and Young Scientists Directory
    SINGAPORE 2016 17 - 22 JANUARY 2016 SPEAKERS AND YOUNG SCIENTISTS DIRECTORY ADVANCING SCIENCE, CREATING TECHNOLOGIES FOR A BETTER WORLD TABLE OF CONTENTS Speakers 3 Young Scientists Index 48 Young Scientists Directory 54 International Advisory Committee 145 SPEAKERS SPEAKERS SPEAKERS NOBEL PRIZE FIELDS MEDAL Prof Ada Yonath Prof Arieh Warshel Prof Cédric Villani Prof Stephen Smale Chemistry (2009) Chemistry (2013) Fields Medal (2010) Fields Medal (1966) Prof Ei-ichi Negishi Sir Anthony Leggett MILLENIUM TECHNOLOGY PRIZE Chemistry (2010) Physics (2003) Prof Michael Grätzel Prof Stuart Parkin Prof Carlo Rubbia Prof David Gross Millennium Technoly Prize (2010) Millennium Technology Award (2014) Physics (1984) Physics (2004) TURING AWARD Prof Gerard ’t Hooft Prof Jerome Friedman Physics (1999) Physics (1990) Prof Andrew Yao Dr Leslie Lamport Turing Award (2000) Turing Award (2013) Prof Serge Haroche Prof Harald zur Hausen Physics (2012) Physiology or Medicine (2008) Prof Leslie Valiant Prof Richard Karp Turing Award (2010) Turing Award (1985) Prof John Robin Warren Sir Richard Roberts Physiology or Medicine (2005) Physiology or Medicine (1993) Sir Tim Hunt Physiology or Medicine (2001) 4 5 SPEAKERS SPEAKERS When Professor Ada Yonath won the 2009 their ability to withstand high temperatures. At the time, others criticised Nobel Prize in Chemistry for her discovery of her decision to work with the little known bacteria, but the discovery the structure of ribosomes, she not only raised of heat-stable enzymes which revolutionised molecular biology soon public interest in science but also inspired a silenced them. By the early 1980s, Prof Yonath was able to create the first greater appreciation for a head of curly hair.
    [Show full text]
  • Message Text
    Keynotes OSTP Future Advanced Computing Ecosystem (FACE) Overview Prof. Manish Parashar Rutgers, OSTP Bio: Manish Parashar is currently serving as Assistant Director for Strategic Computing at the White House Office of Science and Technology Policy (OSTP), where he is leading strategic planning for the Nation's Future Advanced Computing Ecosystem. He is also on an IPA to the US National Science Foundation (NSF) since February 2018 where he is the Office Director of the Office of Advanced Cyberinfrastructure (OAC). At NSF he oversees investments in the exploration development, acquisition and provisioning of state-of-the-art national cyberinfrastructure resources, tools, services and expertise essential to the advancement and transformation of all of science and engineering. He is also leading the development of NSF’s strategic vision for a National Cyberinfrastructure Ecosystem for 21st Century Science and Engineering that responds to rapidly changing application and technology landscapes, as well as blueprints for NSF’s key cyberinfrastructure investments over the next decade. He also serves as the NSF representative for the US National Strategic Computing activities led by the White House Office of Science and Technology Policy (OSTP), and served as co-chair of the Fast Track Action Committee (FTAC) that developed the report titled National Strategic Computing Update: Pioneering the Future of Computing. xv What to Expect for Near-term Quantum Computing Prof. Man-Hong Yung Huawei Bio: Dr. Man-Hong Yung is an associate professor of physics at the Southern University of Science and Technology (SUSTech) located in Shenzhen, China. Currently, he is on sabbatical leave for joining Huawei Technologies as the Chief Scientist for quantum algorithms and software.
    [Show full text]