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