PRESENTATIONS
13 April 2011
- The role of funding agencies and industrial research in promoting computing science education
Fabrizio Gagliardi, Leo Plugge Slides, Mario Campolargo Slides, Alain Chesnais Slides, Andrew Herbert Slides, Michel Cosnard Slides, Tuula Teeri Slides. View: Video - Microsoft .NET Gadgeteer
James Scott, Nic Villar. View: Video - The Future of F#: Taming the Data Deluge with a Strongly Typed Functional Programming Language
Don Syme, Tomas Petricek. View: Video - Welcome and Keynote: Beyond Software
Andrew Herbert Slides, Ken Wood. View: Video - Semantic Computing for Software Agents
Evelyne Viegas, Zoubin Ghahramani Slides, Steffen Staab Slides. View: Video - Parallelism: Merging Theory and Practice
Thomas Ball, Ganesh Gopalakrishnan Slides. View: Video - Beyond Multicore
Avi Mendelson Slides, Simon Moore Slides. View: Video - Software Research Twenty Years On
Judith Bishop Slides, Tony Hey, Andrew Herbert, Andrew Blake, Peter Lee.
View: Video
14 April 2011
- Keynote: The Future of Software Engineering
Wolfram Schulte Slides, Peli de Halleux, Nicholai Tilman. View: Video - Data-driven Research at Web Scale
Evelyne Viegas Slides, Haym Hirsh Slides, Serge Sharoff Slides. View: Video - Programming in the Era of Cloud, Data and Devices, F# 3.0 Information Rich Programming
Don Syme Slides, Mauel. View: Video - Programming in the Era of Cloud, Data and Devices
Manuel Serrano. View: Video - Natural User Interactions Supported by Human-Centric Computing
Kenton O`Hara Slides, Patrick Baudisch, Mark Rouncefield Slides. View: Video - Data, Results, Myths and Software: the Road to Empirical Software Engineering
Christian Bird Slides, Thomas Zimmermann, Dieter Rombach Slides. View: Video - Verified Software Experiments
Jim Woodcock, Rod Chapman Slides, Rajeev Joshi. View: Video - Putting Real Tools in the Hands of Students
Tom Ball, Nikolai Tillmann, Nigel Horspool Slides. View: Video - Verified Computing Tools
Andy Gordon Slides, Bart Jacobs, Markus Dahlweid Slides. View: Video - Programming in the Era of Cloud, Data and Devices, Resource-Rich Mobile Computing
Victor Bahl Slides. Video - Technologies for Natural User Interactions
Andrew Fitzgibbon, Jamie Shotton, Patrick Baudisch, John Winn and Shahram Izadi. View: Video
15 April 2011
- Bug and Malware Detection on a Web Scale
Engin Kirda, Ben Livshits. View: Video, Slides - Reconfigurable Computing Comes of Age
Alessandro Forin, Koen Bertels Slides, Wayne Luk. View: Video, Slides - SAT/SMT Solvers
Nikolaj Bjorner Slides, Joao Marques-Silva Slides, Youssef Hamadi Slides. View: Video - Software Engineering for Mobile Computing
Mike Zyskowski Slides, Brian Zill, Anrno Puder Slides. View: Video - Sexy Types – Are We Done Yet?
Satnam Singh, Simon Peyton-Jones, Ulf Norell, Francois Pottier, Erik Meijer, Conor McBride. View: Video, Slides - Systems Programming Verification
June Andronick Slides, Stephan Tobies Slides, Xavier Leroy Slides - Closing Keynote Session on Open Source
Brendan Eich, Tony Hey Slides, Judith Bishop. View: Video, Slides