Note: In Computer Science, peer-reviewed papers in highly selective conferences are regarded as primary research contributions.