Michael Hansen presents the ACT-R cognitive architecture, a simulation framework for psychological models, showing how it could be used to measure the impact of various programming paradigms.
Mehrdad Afshari introduces prorogued programming, a new programming paradigm based on 3 principles: proroguing concerns, hybrid computation and executable refinement.
Barbara Simons examines some of the threats of Internet voting in the hope of encouraging the technical community to oppose Internet voting unless and until these threats can be eliminated.
Migration to Model Driven Engineering in the Development Process of Distributed Scientific Application Software
Daniel Rahon, Sébastien Schneider, Raphael Gayno, Jean Marc Gratien, Goulwen Le Fur present the process used in the development of distributed scientific applications at IFP Energies Nouvelles, France
Godmar Back introduces CloudBrowser, a server centric web application framework where applications run in virtual browsers on the server while the rendering takes place on the client.
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.