2014 ACM SEERC: Set of problems