Economists have studied the theory and practice of auctions for decades. How can computer science contribute? Using the upcoming (March 29, 2016) U.S. FCC double-auction for wireless spectrum as a case study, I'll illustrate the many answers: novel auction formats, algorithms for NP-hard problems, approximation guarantees for simple auctions, and communication complexity-based impossibility results.