K. Rustan M. Leino advocates developing in stages by using languages that offer both design level abstractions – types, contracts, higher-level constructs, ghost constructs- and implementation ones.
Karthikeyan Ponnalagu presents Estimation Key Map, an automated technique for software project estimation based on a parametric model using historical data.
Ruth Lennon discusses the challenges, the benefits and the lessons learned transitioning from a traditional education form to a BYOD in the cloud-based one.
Jonathan Shapiro, Dean Tribble, Marc Steigler, David Wagner and Mark S. Miller (moderator) present their view on achieving security while using modularity for building large systems.
Kresten Krab Thorup discusses cloud, multi-core, integration, high availability, and imperfect software starting from discoveries made while learning Erlang.
Roberto Salama presents a regression testing framework built at Morgan Stanley with FitNesse, Scala, and KDB/Q, and used to run over 10,000 regression tests.
David Raal discusses Classifiers, a framework for dealing with classifiers and schemes, covering: what classifiers are, usage, design basics, integrating them into applications, pitfalls and issues.
Joshua Bloch, Robert Bocchino, Sebastian Burckhardt, Hassan Chafi, Russ Cox, Benedict Gaster, Guy Steele, David Ungar, and Tucker Taft discuss the future of computing in a multicore world.
Hoi Chan discusses attaining efficiency in cloud computing by streaming and multiplexing VMs, sharing storage, along with safety analysis for efficient patching.
Markus Püschel proposes to solve scientific calculation performance problems with code generation tools, introducing Spiral, an automatic performance programming framework for linear transforms.
Lennart Kats introduces Spoofax, a language for testing the syntax and semantics of domain-specific languages, enabling the creation of test cases using fragments of the language being tested.