A joint research by TCS and Carnegie Mellon University