5 | -- | 0 | Moshe Y. Vardi. Are you talking to me? |
10 | -- | 11 | Jeannette M. Wing, Valerie Barr. Jeannette M. Wing @ PCAST; Barbara Liskov keynote |
13 | -- | 15 | Kirk L. Kroeker. A breakthrough in algorithm design |
16 | -- | 18 | Gary Anthes. Invasion of the mobile apps |
19 | -- | 21 | Neil Savage. Remaking American medicine |
25 | -- | 27 | Martin Campbell-Kelly. In praise of Wilkes, Wheeler, and Gill |
28 | -- | 30 | Ron Babin, Steve Briggs, Brian Nicholson. Corporate social responsibility and global IT outsourcing |
31 | -- | 33 | Peter J. Denning, Ritu Raj. Managing time, part 2 |
34 | -- | 37 | Ben Shneiderman, Jennifer Preece, Peter Pirolli. Realizing the value of social media requires innovative computing research |
38 | -- | 41 | Paul Vixie. Arrogance in business planning |
42 | -- | 44 | Poul-Henning Kamp. The most expensive one-byte mistake |
45 | -- | 53 | Mache Creeger. ACM CTO roundtable on mobile devices in the enterprise |
54 | -- | 61 | Stephen J. Lukasik. Protecting users of the cyber commons |
62 | -- | 68 | Craig Partridge. Realizing the future of wireless data communications |
69 | -- | 77 | Leonardo Mendonça de Moura, Nikolaj Bjørner. Satisfiability modulo theories: introduction and applications |
78 | -- | 87 | Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey. Quantitative analysis of real-time systems using priced timed automata |
90 | -- | 0 | Christopher Kruegel. Making browser extensions secure: technical perspective |
91 | -- | 99 | Sruthi Bandhakavi, Nandit Tiku, Wyatt Pittman, Samuel T. King, P. Madhusudan, Marianne Winslett. Vetting browser extensions for security vulnerabilities with VEX |
100 | -- | 0 | Olivier Danvy, Jan Midtgaard. Abstracting abstract machines: technical perspective |
101 | -- | 109 | David Van Horn, Matthew Might. Abstracting abstract machines: a systematic approach to higher-order program analysis |
110 | -- | 0 | Peter Winkler. Puzzled |
112 | -- | 0 | Leah Hoffmann. Q&A |
121 | -- | 130 | Murray Cantor. Calculating and improving ROI in software and system programs |