Active Projects »

Reducing Testing Overhead

Unit test virtualization: significantly reducing the time to setup unit tests


CS/SE Education

New Techniques and Approaches to improve CS/SE Education


Managing Sensitive Data on Mobile Devices

Supporting privacy requirements on mobile devices


Overcoming the Intuition Wall: Automatic Graphical Analysis of Programs to Discover and Program New Computer Architectures

A joint project encompassing computer architecture, machine learning and software engineering


An Open Software Framework for the Emulation and Verification of Drosophila Brain Models on Multiple GPUs

Software frameworks and tools to emulate fly brains


Software Testing for Non-Testable Programs

Automating metamorphic testing techniques at runtime


In Vivo Testing

Executing tests in the deployment environment, using the state of the running application


Societal Computing

Exploring the impact of computational tradeoffs on societal concerns such as Privacy, Green Computing, Sustainability, and Cultural Differences



Automated Online Evaluation for Improving Cyber-Physical System Reliability



Enabling collaboration support for users of the geWorkbench computational biology tool



HALO, or Highly Addictive sociaLly Optimized Software Engineering, represents a new and social approach to software engineering. Using various engaging and addictive properties of collaborative computer games such as World of Warcraft, HALO’s goal is to make all aspects of software engineering more fun, increasing developer productivity and satisfaction.

HALO represents software engineering tasks as quests and uses a storyline to bind multiple quests together – users must complete quests in order to advance the plot. Quests can either be individual, requiring a developer to work alone, or group, requiring a developer to form a team and work collaboratively towards their objective.

This approach follows a growing trend to “gamify” everyday life (that is, bring game-like qualities to it), and has been popularized by alternate reality game proponents such as Jane McGonigal.

These engaging qualities can be found in even the simplest games, from chess to tetris, and result in deep levels of player immersion. Gamification has also been studied in education, where teachers use the engaging properties of games to help students focus.

We leverage the inherently competitive-collaborative nature of software engineering in HALO by providing developers with social rewards. These social rewards harness operant conditioning – a model that rewards players for good behavior and encourages repeat behavior. Operant conditioning is a technique commonly harnessed in games to retain players.

Multi-user games typically use peer recognition as the highest reward for successful players. Simple social rewards in HALO can include titles – prefixes or suffixes for players’ names – and levels, both of which showcase players’ successes in the game world. For instance, a developer who successfully closes over 500 bugs may receive the suffix “The Bugslayer.” For completing quests, players also receive experience points that accumulate causing them to “level up” in recognition of their ongoing work. HALO is also designed to create an immersive environment that helps developers to achieve a flow state, a technique that has been found to lead to increased engagement and addiction.

Contact: Jonathan Bell (jbell@cs.columbia.edu)

Team Members


Prof. Gail Kaiser, kaiser [at] cs.columbia.edu

Graduate Students

Jon Bell, jbell [at] cs.columbia.edu
Swapneel Sheth, swapneel [at] cs.columbia.edu

Former Members

Miriam Melnick


World of Warcraft Massive Dataset


At SSE 2011

At GAS 2011