Journal: Communications of the ACM

Volume 56, Issue 10

5 -- 0John White. On the future of ACM
7 -- 0Vinton G. Cerf. Revisiting the tragedy of the commons
8 -- 9. Deep accountability, beyond even liability
12 -- 13Philip Guo. Helping scientists, engineers to work up to 100 times faster
15 -- 17Alex Wright. Tuning in to graphene
18 -- 20Tom Geller. Making the internet safe for gadgets
21 -- 23Paul Hyman. Software helps linguists reconstruct, decipher ancient languages
24 -- 25Sarah Underwood. The Alan Turing Year leaves a rich legacy
26 -- 29Michael A. Cusumano. Evaluating a startup venture
30 -- 32Phillip G. Armour. When faster is slower
33 -- 34George V. Neville-Neil. The naming of hosts is a difficult matter
35 -- 37Kevin Fu, James Blum. Controlling for cybersecurity risks of medical device software
38 -- 40David H. Ackley. Beyond efficiency
42 -- 49Jacob Loveless. Barbarians at the gateways
50 -- 56Jacob Loveless, Sasha Stoikov, Rolf Waeber. Online algorithms in high-frequency trading
57 -- 64Stephen D. Strowes. Passively measuring TCP round-trip times
66 -- 73Floris Bex, John Lawrence, Mark Snaith, Chris Reed. Implementing the argument web
74 -- 83Apirak Hoonlor, Boleslaw K. Szymanski, Mohammed J. Zaki. Trends in computer science research
84 -- 93Rodney Van Meter, Clare Horsman. A blueprint for building a quantum computer
96 -- 0Rajeev Alur. Can we verify cyber-physical systems?: technical perspective
97 -- 104Matthias Althoff, Akshay Rajhans, Bruce H. Krogh, Soner Yaldiz, Xin Li, Larry T. Pileggi. Formal verification of phase-locked loops using reachability analysis and continuization
112 -- 0Brian Clegg. Future tense