Software Machine Learning Multimedia Quantum Computing SEPTEMBER 2020 www.computer.org IEEE Computer Society Has You Covered! WORLDCLASS CONFERENCES Stay ahead of the curve by attending one of our 200+ globally recognized conferences. DIGITAL LIBRARY Easily access over 780k articles covering world-class peer-reviewed content in the IEEE Computer Society Digital Library. CALLS FOR PAPERS Discover opportunities to write and present your ground-breaking accomplishments. EDUCATION Strengthen your resume with the IEEE Computer Society Course Catalog and its range of offerings. ADVANCE YOUR CAREER Search the new positions posted in the IEEE Computer Society Jobs Board. NETWORK Make connections that count by participating in local Region, Section, and Chapter activities. Explore all of the member benefi ts at www.computer.org today! IEEE COMPUTER SOCIETY computer.org STAFF Editor Publications Portfolio Managers Cathy Martin Carrie Clark, Kimberly Sperka Publications Operations Project Specialist Publisher Christine Anthony Robin Baldwin Production & Design Artist Senior Advertising Coordinator Carmen Flores-Garvey Debbie Sims Circulation: ComputingEdge (ISSN 2469-7087) is published monthly by the IEEE Computer Society. IEEE Headquarters, Three Park Avenue, 17th Floor, New York, NY 10016-5997; IEEE Computer Society Publications Office, 10662 Los Vaqueros Circle, Los Alamitos, CA 90720; voice +1 714 821 8380; fax +1 714 821 4010; IEEE Computer Society Headquarters, 2001 L Street NW, Suite 700, Washington, DC 20036. Postmaster: Send address changes to ComputingEdge-IEEE Membership Processing Dept., 445 Hoes Lane, Piscataway, NJ 08855. Periodicals Postage Paid at New York, New York, and at additional mailing offices. Printed in USA. Editorial: Unless otherwise stated, bylined articles, as well as product and service descriptions, reflect the author’s or firm’s opinion. Inclusion in ComputingEdge does not necessarily constitute endorsement by the IEEE or the Computer Society. All submissions are subject to editing for style, clarity, and space. Reuse Rights and Reprint Permissions: Educational or personal use of this material is permitted without fee, provided such use: 1) is not made for profit; 2) includes this notice and a full citation to the original work on the first page of the copy; and 3) does not imply IEEE endorsement of any third- party products or services. Authors and their companies are permitted to post the accepted version of IEEE-copyrighted material on their own Web servers without permission, provided that the IEEE copyright notice and a full citation to the original work appear on the first screen of the posted copy. An accepted manuscript is a version which has been revised by the author to incorporate review suggestions, but not the published version with copy- editing, proofreading, and formatting added by IEEE. For more information, please go to: http://www.ieee.org/publications_standards/publications /rights/paperversionpolicy.html. Permission to reprint/republish this material for commercial, advertising, or promotional purposes or for creating new collective works for resale or redistribution must be obtained from IEEE by writing to the IEEE Intellectual Property Rights Office, 445 Hoes Lane, Piscataway, NJ 08854-4141 or [email protected]. Copyright © 2020 IEEE. All rights reserved. Abstracting and Library Use: Abstracting is permitted with credit to the source. Libraries are permitted to photocopy for private use of patrons, provided the per-copy fee indicated in the code at the bottom of the first page is paid through the Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA 01923. Unsubscribe: If you no longer wish to receive this ComputingEdge mailing, please email IEEE Computer Society Customer Service at help@ computer.org and type “unsubscribe ComputingEdge” in your subject line. IEEE prohibits discrimination, harassment, and bullying. For more information, visit www.ieee.org/web/aboutus/whatis/policies/p9-26.html. IEEE Computer Society Magazine Editors in Chief Computer IEEE Intelligent Systems IEEE Pervasive Computing Jeff Voas, NIST V.S. Subrahmanian, Marc Langheinrich, Università Dartmouth College della Svizzera italiana Computing in Science & Engineering IEEE Internet Computing IEEE Security & Privacy Lorena A. Barba (Interim), George Pallis, University David Nicol, University George Washington University of Cyprus of Illinois at Urbana-Champaign IEEE Annals of the History IEEE Micro of Computing Lizy Kurian John, University IEEE Software Gerardo Con Diaz, University of Texas at Austin Ipek Ozkaya, Software of California, Davis Engineering Institute IEEE MultiMedia IEEE Computer Graphics Shu-Ching Chen, Florida IT Professional and Applications International University Irena Bojanova, NIST Torsten Möller, Universität Wien 2469-7087/20 © 2020 IEEE Published by the IEEE Computer Society September 2020 1 SEPTEMBER 2020 � VOLUME 6 � NUMBER 9 18 24 30 Code Mining When Learning to Multimedia Synthesize and Meets Fashion Manipulate Natural Images Software 8 The Rode0day to Less-Buggy Programs ANDREW FASANO, TIM LEEK, BRENDAN DOLAN-GAVITT, AND JOSH BUNDT 14 BetterCode Reviews With Design by Contract GEORGE FAIRBANKS Machine Learning 18 Code Mining GERARD J. HOLZMANN 24 When Multimedia Meets Fashion SIJIE SONG AND TAO MEI Multimedia 30 Learning to Synthesize and Manipulate Natural Images JUN-YAN ZHU 40 Multimedia for Disaster Information Management SHU-CHING CHEN Quantum Computing 42 The Quantum Moonshot ERIK P. DEBENEDICTIS 48 The National Quantum Initiative Will Also Benefit Classical Computers ERIK P. DEBENEDICTIS AND MICHAEL P. FRANK Departments 4 Magazine Roundup 7 Editor’s Note: Improving Code Reviews 64 Conference Calendar Subscribe to ComputingEdge for free at www.computer.org/computingedge. Magazine Roundup he IEEE Computer Society’s lineup of 12 peer-reviewed technical magazines covers cutting-edge topics rang- Ting from software design and computer graphics to Internet computing and security, from scientific appli- cations and machine intelligence to visualization and microchip design. Here are highlights from recent issues. stereoscopic head-mounted dis- final position at Xerox, she licensed plays to place users into simu- high-quality typeface designs from Data-Centric Edge Computing lated and realistic 3D digital envi- Mergenthaler Linotype for use on to Defend Power Grids ronments, unlocking significant Xerox’s high-performance 9700 Against IoT-Based Attacks benefits from the seamless inte- laser printer. In the early 1980s, gration of digital information with the Adobe cofounder John War- The Internet of Things (IoT) intro- the healthcare practitioner and nock recruited Crews to Adobe duces new attack surfaces to patient’s experience. This arti- Systems. While at Adobe, she was power grids through Wi-Fi-enabled cle from the May/June 2020 issue responsible for bringing high-qual- high-wattage appliances, render- of Computing in Science & Engi- ity typography to the Adobe Post- ing security mechanisms ineffec- neering explores some of the cur- Script page description language, tive. The authors of this article rent and emerging technologies running corporate marketing, hir- from the May 2020 issue of Com- and applications in surgery; their ing graphics designers, and put- puter propose a data-centric edge- benefits and challenges around ting Adobe on a firm footing with computing infrastructure to host immersion, spatial awareness, and professional designers and print- defend mechanisms in IoT clouds cognition; and their reported and ers, greatly enhancing the value by integrating physical states in projected use in learning environ- of their product. After Adobe, she decentralized power-grid regions. ments, procedure planning, and helped found Electronics for Imag- perioperative contexts in the sur- ing and, after some consulting, gical theatre. retired in 1993. Augmented and Virtual Reality in Surgery The Advent of Digital High-Fidelity Point-Based Augmented and virtual reality Typography Rendering of Large-Scale 3-D are transforming the practice of Scan Datasets healthcare by providing powerful This article from the January– and intuitive methods of explor- March 2020 issue of IEEE Annals Digitalization of 3D objects and ing and interacting with digital of the History of Computing pres- scenes using modern depth sen- medical data, as well as integrat- ents an interview conducted with sors and high-resolution RGB ing data into the physical world to Liz Bond Crews. Crews began her cameras enables the preserva- create natural and interactive vir- career as a systems analyst for tion of human cultural artifacts at tual experiences. These immer- RCA. She soon joined the Xerox an unprecedented level of detail. sive technologies use lightweight Electro-Optical Division. In her Interactive visualization of these 4 September 2020 Published by the IEEE Computer Society 2469-7087/20 © 2020 IEEE large datasets, however, is chal- 2020 issue of IEEE Intelligent Sys- sensor-based continuous authen- lenging without degradation in tems examine and compare dif- tication system leveraging the visual fidelity. A common solution ferent effects of analyst attitude accelerometer, gyroscope, and is to fit the dataset into available and crowd sentiment on stock magnetometer on smartphones to video memory by downsampling prices with data from CSMAR. capture users’ behavioral patterns. and compression. The achievable By estimating a multivariate lin- To improve the authentication per- reproduction