Putting the "science" in "computer science"