Data platforms and analytics

Justin Levandoski, Ahmed Eldawy, Mohamed F. Mokbel, Mohamed E. Khalefa

ACM Transactions on Database Systems (TODS) | August 2013

Wentao Wu, Yun Chi, Hakan Hacigümüs, Jeffrey F. Naughton

Proceedings of the VLDB Endowment (VLDB 2013) | August 2013

Mosharaf Chowdhury, Srikanth Kandula, Ion Stoica

August 2013

Chi Wang, Marina Danilevsky, Nihit Desai, Yinan Zhang, Phuong Nguyen, Thrivikrama Taula, Jiawei Han

Proceeding of 2013 ACM SIGKDD Conference on Knowledge Discovery and Data Mining | August 2013

Yang Li, Chi Wang, Fangqiu Han, Jiawei Han, Dan Roth, Xifeng Yan

Proceeding of 2013 ACM SIGKDD Conference on Knowledge Discovery and Data Mining | August 2013

Yu Zheng, Furui Liu, Hsun-Ping Hsieh

Proceedings of the 19th SIGKDD conference on Knowledge Discovery and Data Mining (KDD 2013) | August 2013

Project Project

Jialu Liu, Chi Wang, Jeffery Yufei Liu, Kin Hou Lei, Jiawei Han

Proceedings of the 2013 KDD Cup 2013 Workshop | August 2013

Yossi Azar, Naama Ben-Aroya, Nikhil Devanur, Navendu Jain

SPAA ’13 Proceedings of the twenty-fifth annual ACM symposium on Parallelism in algorithms and architectures | July 2013

Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry

Interactive Theorem Proving | July 2013