Developing a computer science agenda for high-performance computing