| Winnowing: local algorithms for document fingerprinting S Schleimer, DS Wilkerson, A Aiken Proceedings of the 2003 ACM SIGMOD international conference on Management of …, 2003 | 1987 | 2003 |
| Scalable statistical bug isolation B Liblit, M Naik, AX Zheng, A Aiken, MI Jordan Acm Sigplan Notices 40 (6), 15-26, 2005 | 1161 | 2005 |
| A first step towards automated detection of buffer overrun vulnerabilities. DA Wagner, JS Foster, EA Brewer, A Aiken NDSS 20 (0), 0, 2000 | 1097 | 2000 |
| Legion: Expressing locality and independence with logical regions M Bauer, S Treichler, E Slaughter, A Aiken SC'12: Proceedings of the International Conference on High Performance …, 2012 | 976 | 2012 |
| Bug Isolation via Remote Program Sampling A Aiken Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language …, 2003 | 786* | 2003 |
| Titanium: a high‐performance Java dialect K Yelick, L Semenzato, G Pike, C Miyamoto, B Liblit, A Krishnamurthy, ... Concurrency and Computation: Practice and Experience 10 (11‐13), 825-836, 1998 | 747 | 1998 |
| Effective static race detection for Java M Naik, A Aiken, J Whaley Proceedings of the 27th ACM SIGPLAN Conference on Programming Language …, 2006 | 742 | 2006 |
| Beyond data and model parallelism for deep neural networks. Z Jia, M Zaharia, A Aiken Proceedings of Machine Learning and Systems 1, 1-13, 2019 | 721 | 2019 |
| Sequoia: programming the memory hierarchy K Fatahalian, DR Horn, TJ Knight, L Leem, M Houston, JY Park, M Erez, ... Proceedings of the 2006 ACM/IEEE Conference on Supercomputing, 83, 2006 | 693 | 2006 |
| Apposcopy: Semantics-based detection of android malware through static analysis Y Feng, S Anand, I Dillig, A Aiken Proceedings of the 22nd ACM SIGSOFT international symposium on foundations …, 2014 | 598 | 2014 |
| Static Detection of Security Vulnerabilities in Scripting Languages. Y Xie, A Aiken USENIX Security Symposium 15, 179-192, 2006 | 557 | 2006 |
| Stochastic superoptimization E Schkufza, R Sharma, A Aiken ACM SIGARCH Computer Architecture News 41 (1), 305-316, 2013 | 491 | 2013 |
| Flow-sensitive type qualifiers JS Foster, T Terauchi, A Aiken Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002 | 487 | 2002 |
| Type inclusion constraints and type inference A Aiken, EL Wimmers Proceedings of the conference on Functional programming languages and …, 1993 | 462 | 1993 |
| A theory of type qualifiers JS Foster, M Fähndrich, A Aiken ACM Sigplan Notices 34 (5), 192-203, 1999 | 431 | 1999 |
| Optimal loop parallelization A Aiken, A Nicolau ACM SIGPLAN Notices 23 (7), 308-317, 1988 | 410 | 1988 |
| Secure information flow as a safety problem T Terauchi, A Aiken International Static Analysis Symposium, 352-367, 2005 | 406 | 2005 |
| TASO: optimizing deep learning computation with automatic generation of graph substitutions Z Jia, O Padon, J Thomas, T Warszawski, M Zaharia, A Aiken Proceedings of the 27th ACM Symposium on Operating Systems Principles, 47-62, 2019 | 390 | 2019 |
| Spoc: Search-based pseudocode to code S Kulal, P Pasupat, K Chandra, M Lee, O Padon, A Aiken, PS Liang Advances in Neural Information Processing Systems 32, 2019 | 356 | 2019 |
| IEEE standard for floating-point arithmetic D Zuras, M Cowlishaw, A Aiken, M Applegate, D Bailey, S Bass, ... IEEE Std 754 (2008), 1-70, 2008 | 350 | 2008 |
Rahul SharmaPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
