Alex Aiken

Cited by

	All	Since 2018
Citations	25875	7438
h-index	83	42
i10-index	189	115

1600

800

400

1200

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202373 99 145 185 204 230 253 295 217 278 359 387 414 586 693 788 964 1007 1004 1108 1051 1164 1246 1255 1308 1309 1276 1276 1375 1318 1518 1382 568

Public access

View all

59 articles

1 article

available

not available

Based on funding mandates

Co-authors

Rahul SharmaPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Ben LiblitAmazon Web ServicesVerified email at amazon.com
Isil DilligUT AustinVerified email at cs.utexas.edu
Jeffrey S. FosterComputer Science, Tufts UniversityVerified email at tufts.edu
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchVerified email at fahndrich.com
Alex NicolauProfessor of Computer Science, University of CaliforniaVerified email at ics.uci.edu
Zhihao JiaAssistant Professor of Computer Science, Carnegie Mellon UniversityVerified email at cmu.edu
Sean TreichlerStanford UniversityVerified email at cs.stanford.edu
Michael I. JordanProfessor of Electrical Engineering and Computer Sciences and Professor of Statistics, UC BerkeleyVerified email at cs.berkeley.edu
Patrick HanrahanStanford UniversityVerified email at cs.stanford.edu
Mayur NaikProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Tachio TerauchiProfessor of Computer Science and Engineering, Waseda UniversityVerified email at waseda.jp
Saswat AnandGoogleVerified email at cs.stanford.edu
Mooly SagivTel Aviv UniversityVerified email at acm.org
eric schkufzaAmazonVerified email at cs.stanford.edu
Zhendong SuProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Wonchan LeePh.D. Student in Computer Science, Stanford UniversityVerified email at stanford.edu
David GayGoogleVerified email at acm.org
William DallyBell Professor of Engineering, Stanford University; Chief Scientist, NVIDIAVerified email at stanford.edu
Mattan ErezThe University of Texas at AustinVerified email at utexas.edu

Alex Aiken

Professor of Computer Science, Stanford University

Verified email at cs.stanford.edu - Homepage

programming languages compilers verification parallelism


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Winnowing: local algorithms for document fingerprinting S Schleimer, DS Wilkerson, A Aiken Proceedings of the 2003 ACM SIGMOD international conference on Management of …, 2003	1702	2003
Scalable statistical bug isolation B Liblit, M Naik, AX Zheng, A Aiken, MI Jordan Acm Sigplan Notices 40 (6), 15-26, 2005	1112	2005
A first step towards automated detection of buffer overrun vulnerabilities. DA Wagner, JS Foster, EA Brewer, A Aiken NDSS 20 (0), 0, 2000	1070	2000
Bug Isolation via Remote Program Sampling A Aiken Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language …, 2003	769*	2003
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	754	2012
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	736	1998
Effective static race detection for Java M Naik, A Aiken, J Whaley Proceedings of the 27th ACM SIGPLAN Conference on Programming Language …, 2006	692	2006
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	680	2006
Static Detection of Security Vulnerabilities in Scripting Languages. Y Xie, A Aiken USENIX Security Symposium 15, 179-192, 2006	540	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	529	2014
Flow-sensitive type qualifiers JS Foster, T Terauchi, A Aiken Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002	458	2002
Type inclusion constraints and type inference A Aiken, EL Wimmers Proceedings of the conference on Functional programming languages and …, 1993	445	1993
A theory of type qualifiers JS Foster, M Fähndrich, A Aiken ACM SIGPLAN Notices 34 (5), 192-203, 1999	395	1999
Optimal loop parallelization A Aiken, A Nicolau ACM SIGPLAN Notices 23 (7), 308-317, 1988	382	1988
Secure information flow as a safety problem T Terauchi, A Aiken Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005	362	2005
Stochastic superoptimization E Schkufza, R Sharma, A Aiken ACM SIGARCH Computer Architecture News 41 (1), 305-316, 2013	360	2013
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	349	2019
Liszt: a domain specific language for building portable mesh-based PDE solvers Z DeVito, N Joubert, F Palacios, S Oakley, M Medina, M Barrientos, ... Proceedings of 2011 international conference for high performance computing …, 2011	328	2011
Soft typing with conditional types A Aiken, EL Wimmers, TK Lakshman Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994	327	1994
Behavior of database production rules: Termination, confluence, and observable determinism A Aiken, J Widom, JM Hellerstein Proceedings of the 1992 ACM SIGMOD international conference on Management of …, 1992	319	1992

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors