An interview with Ed Feigenbaum.
Barriers to systematic model transformation testing.
In the Virtual Extension.
seL4: formal verification of an operating-system kernel.
Plotting away.
The chaos of the internet as an external brain; and more.
Mine your business.
Beyond the smart grid.
Future tense.
Efficiently searching for similar images.
Building confidence in multicore software.
Factors that influence software piracy: a view from Germany.
Examining perceptions of agility in software development practice.
Asserting and checking determinism for multithreaded programs.
Straightening out heavy tails.
Myths and fallacies of "personally identifiable information".
Securing elasticity in the cloud.
CS and technology leaders honored.
Robin Milner: the elegant pragmatist.
Panopticon revisited.
Beyond connection: situated wireless communities.
A tour of ACM's HQ.
Conference paper selectivity and impact.
Institutional review boards and your research.
I, myself and e-myself.
The requisite variety of skills for IT professionals.
Managing scientific data.
Intel's rebates: above board or below the belt?
A tour through the visualization zoo.
Simplicity betrayed.
The resurgence of parallelism.
Workflow tools for distributed teams?
Interact naturally.
Privacy by design: moving from art to practice.
The social influence model of technology adoption.
Learning to do program verification.
Puzzled.
