5 | -- | 0 | Moshe Y. Vardi. Is information technology destroying the middle class? |
7 | -- | 0 | Vinton G. Cerf. There is nothing new under the sun |
8 | -- | 9 | . Software engineering, like electrical engineering |
12 | -- | 13 | Mark Guzdial. What's the best way to teach computer science to beginners? |
15 | -- | 17 | Neil Savage. Visualizing sound |
18 | -- | 20 | Logan Kugler. Online privacy: regional differences |
21 | -- | 23 | Keith Kirkpatrick. Using technology to help people |
24 | -- | 26 | Carl E. Landwehr. We need a building code for building code |
27 | -- | 29 | Ming Zeng. Three paradoxes of building platforms |
30 | -- | 33 | Peter G. Neumann. Far-sighted thinking about deleterious computer-related events |
34 | -- | 36 | Diana Franklin. Putting the computer science in computing education research |
37 | -- | 39 | George V. Neville-Neil. Too big to fail |
40 | -- | 43 | Armando Fox, David A. Patterson. Do-it-yourself textbook publishing |
44 | -- | 46 | Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis, Ondrej Lhoták, José Nelson Amaral, Bor-Yuh Evan Chang, Samuel Z. Guyer, Uday P. Khedker, Anders Møller, Dimitrios Vardoulakis. In defense of soundiness: a manifesto |
48 | -- | 51 | Harlan Stenn. Securing network time protocol |
52 | -- | 56 | Robert V. Binder, Bruno Legeard, Anne Kramer. Model-based testing: where does it stand? |
58 | -- | 64 | Carlos Juiz, Mark Toomey. To govern IT, or not to govern IT? |
65 | -- | 72 | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel. Automated support for diagnosis and repair |
74 | -- | 84 | Michael Walfish, Andrew J. Blumberg. Verifying computations without reexecuting them |
86 | -- | 0 | Thomas A. Henzinger, Jean-François Raskin. The equivalence problem for finite automata: technical perspective |
87 | -- | 95 | Filippo Bonchi, Damien Pous. Hacking nondeterminism with induction and coinduction |
104 | -- | 0 | Dennis Shasha. Upstart Puzzles: Take Your Seats |