Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication Detecting Malicious Landing Pages in Malware Distribution Networks Gang Wang, Jack W. Stokes, Cormac Herley, David Felstead IEEE DSN | January 2013 Project
Publication On Detecting Association-based Clique Outliers in Heterogeneous Information Networks Manish Gupta, Jing Gao, Xifeng Yan, Hasan Cam, Jiawei Han Proc. of the 2013 Intl. Conf. on Advances in Social Network Analysis and Mining (ASONAM) | January 2013 Proc. of the 2013 Intl. Conf. on Advances in Social Network Analysis and Mining (ASONAM)
Publication Faster Customization of Road Networks Daniel Delling, Renato Werneck Proceedings of the 12th International Symposium on Experimental Algorithms (SEA’13) | January 2013
Publication Model-Checking Signal Transduction Networks through Decreasing Reachability Sets Claessen K, Fisher J, Ishtiaq S, Piterman N, Wang Q, Jasmin Fisher, Samin Ishtiaq Computer Aided Verification (CAV) | January 2013
Publication Fault Tolerance via Idempotence G. Ramalingam, Kapil Vaswani Principles of Programming Languages (POPL) | January 2013
Publication Mergers and Collusion in All-Pay Auctions and Crowdsourcing Contests Omer Lev, Maria Polukarov, Yoram Bachrach, Jeffrey S. Rosenschein AAMAS | January 2013 AAMAS
Publication Accurate speed and density measurement for road traffic in India Rijurekha Sen, Andrew Cross, , Venkat Padmanabhan, Ed Cutrell, Bill Thies Proceedings of ACM Symposium on Computing for Development (DEV 2013) | January 2013
Publication SIMD parallelization of applications that traverse irregular data structures Bin Ren, Gagan Agrawal, Jim Larus, Todd Mytkowicz, Tomi Poutanen, Wolfram Schulte Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) | January 2013 ISBN: 978-1-4673-5524-7
Publication Mix and Match Itai Ashlagi, Felix Fischer, Ian Kash, Ariel Procaccia Games and Economic Behavior | January 2013, pp. In Press