Alex Aiken 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	27591	7869
h 指数	87	44
i10 指数	199	121

1600

800

400

1200

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202471 111 161 206 212 239 251 291 221 277 354 396 410 610 666 766 970 992 996 1095 1054 1156 1240 1257 1302 1298 1295 1269 1376 1316 1543 1407 1529 696

开放获取的出版物数量

查看全部

65 篇文章

2 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Rahul SharmaPrincipal Researcher, Microsoft Research在 microsoft.com 的电子邮件经过验证
Isil DilligUT Austin在 cs.utexas.edu 的电子邮件经过验证
Jeffrey S. FosterComputer Science, Tufts University在 tufts.edu 的电子邮件经过验证
Ben LiblitAmazon Web Services在 amazon.com 的电子邮件经过验证
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft Research在 fahndrich.com 的电子邮件经过验证
Zhihao JiaAssistant Professor of Computer Science, Carnegie Mellon University在 cmu.edu 的电子邮件经过验证
Alex NicolauProfessor of Computer Science, University of California在 ics.uci.edu 的电子邮件经过验证
Sean TreichlerStanford University在 cs.stanford.edu 的电子邮件经过验证
Michael I. JordanProfessor of Electrical Engineering and Computer Sciences and Professor of Statistics, UC Berkeley在 cs.berkeley.edu 的电子邮件经过验证
Patrick HanrahanStanford University在 cs.stanford.edu 的电子邮件经过验证
Tachio TerauchiProfessor of Computer Science and Engineering, Waseda University在 waseda.jp 的电子邮件经过验证
Mayur NaikProfessor of Computer Science, University of Pennsylvania在 cis.upenn.edu 的电子邮件经过验证
Saswat AnandGoogle在 cs.stanford.edu 的电子邮件经过验证
Wonchan LeePh.D. Student in Computer Science, Stanford University在 stanford.edu 的电子邮件经过验证
Mooly SagivTel Aviv University在 acm.org 的电子邮件经过验证
eric schkufzaAmazon在 cs.stanford.edu 的电子邮件经过验证
Zhendong SuProfessor of Computer Science, ETH Zurich在 inf.ethz.ch 的电子邮件经过验证
David GayGoogle在 acm.org 的电子邮件经过验证
Oded PadonVMware Research在 vmware.com 的电子邮件经过验证
William DallyChief Scientist, NVIDIA; Adjunct Professor of CS and EE, Stanford University;在 stanford.edu 的电子邮件经过验证

关注

Alex Aiken

Professor of Computer Science, Stanford University

在 cs.stanford.edu 的电子邮件经过验证 - 首页

programming languages compilers verification parallelism


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Winnowing: local algorithms for document fingerprinting S Schleimer, DS Wilkerson, A Aiken Proceedings of the 2003 ACM SIGMOD international conference on Management of …, 2003	1810	2003
Scalable statistical bug isolation B Liblit, M Naik, AX Zheng, A Aiken, MI Jordan Acm Sigplan Notices 40 (6), 15-26, 2005	1139	2005
A first step towards automated detection of buffer overrun vulnerabilities. DA Wagner, JS Foster, EA Brewer, A Aiken NDSS 20 (0), 0, 2000	1089	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	828	2012
Bug Isolation via Remote Program Sampling A Aiken Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language …, 2003	781*	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	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	714	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	679	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	571	2014
Static Detection of Security Vulnerabilities in Scripting Languages. Y Xie, A Aiken USENIX Security Symposium 15, 179-192, 2006	546	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	492	2019
Flow-sensitive type qualifiers JS Foster, T Terauchi, A Aiken Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002	471	2002
Type inclusion constraints and type inference A Aiken, EL Wimmers Proceedings of the conference on Functional programming languages and …, 1993	458	1993
A theory of type qualifiers JS Foster, M Fähndrich, A Aiken ACM Sigplan Notices 34 (5), 192-203, 1999	416	1999
Stochastic superoptimization E Schkufza, R Sharma, A Aiken ACM SIGARCH Computer Architecture News 41 (1), 305-316, 2013	400	2013
Optimal loop parallelization A Aiken, A Nicolau ACM SIGPLAN Notices 23 (7), 308-317, 1988	390	1988
Secure information flow as a safety problem T Terauchi, A Aiken International Static Analysis Symposium, 352-367, 2005	381	2005
Soft typing with conditional types A Aiken, EL Wimmers, TK Lakshman Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994	331	1994
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	327	2011
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	314	1992

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用