5 | -- | 0 | Moshe Y. Vardi. What is an algorithm? |
6 | -- | 7 | . From syntax to semantics for AI |
10 | -- | 11 | Bertrand Meyer. Knowledgeable beginners |
13 | -- | 15 | Neil Savage. Gaining wisdom from crowds |
16 | -- | 18 | Gary Anthes. Computing with magnets |
19 | -- | 21 | Samuel Greengard. Policing the future |
22 | -- | 0 | Paul Hyman. Stanford schooling - gratis! |
23 | -- | 0 | Jack Rosenberger. Computer science awards |
24 | -- | 26 | Patrick Lin, Fritz Allhoff, Neil C. Rowe. War 2.0: cyberweapons and ethics |
27 | -- | 29 | Pamela Samuelson. Do software copyrights protect what programs do? |
30 | -- | 32 | Peter J. Denning. The idea idea |
33 | -- | 35 | Vassilis Kostakos. Training users vs. training soldiers: experiences from the battlefield |
36 | -- | 38 | Alessio Malizia, Andrea Bellucci. The artificiality of natural user interfaces |
40 | -- | 44 | Patrice Godefroid, Michael Y. Levin, David A. Molnar. SAGE: whitebox fuzzing for security testing |
45 | -- | 51 | Luigi Rizzo. Revisiting network I/O APIs: the netmap framework |
52 | -- | 53 | Poul-Henning Kamp. The hyperdimensional tar pit |
54 | -- | 65 | Youngki Lee, S. S. Iyengar, Chulhong Min, Younghyun Ju, Seungwoo Kang, Taiwoo Park, Jinwon Lee, Yunseok Rhee, Junehwa Song. MobiCon: a mobile context-monitoring platform |
66 | -- | 73 | Seung-Hyun Kim, Qiu-Hong Wang, Johannes Ullrich. A comparative study of cyberattacks |
74 | -- | 83 | S. Barry Cooper. Turing's Titanic machine? |
84 | -- | 93 | J. Y. Huang, C. H. Tsai, S.-T. Huang. The next generation of GPS navigation systems |
96 | -- | 0 | Steven D. Gribble. The benefits of capability-based protection: technical perspective |
97 | -- | 104 | Robert N. M. Watson, Jonathan Anderson, Ben Laurie, Kris Kennaway. A taste of Capsicum: practical capabilities for UNIX |
105 | -- | 0 | Michael L. Littman. A new way to search game trees: technical perspective |
106 | -- | 113 | Sylvain Gelly, Levente Kocsis, Marc Schoenauer, Michèle Sebag, David Silver, Csaba Szepesvári, Olivier Teytaud. The grand challenge of computer Go: Monte Carlo tree search and extensions |
118 | -- | 0 | Peter Winkler. Puzzled |
120 | -- | 0 | Leah Hoffmann. Q&A |