Theory of computing systems
Refereed/Peer-reviewed