Alex Aiken

引用先

	すべて	2019 年以来
引用	28359	8594
h 指標	89	47
i10 指標	200	125

1600

800

400

1200

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202472 111 162 206 212 239 251 292 221 278 355 396 410 607 667 770 972 993 996 1095 1057 1160 1245 1261 1297 1301 1300 1272 1385 1327 1550 1415 1545 1357

オープンアクセス

すべて表示

69 件の論文

1 件の論文

利用可能

利用不可

助成機関の要件に基づく

共著者

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
Zhihao JiaAssistant Professor of Computer Science, Carnegie Mellon University確認したメールアドレス: cmu.edu
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft Research確認したメールアドレス: fahndrich.com
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 NaikMisra Family Professor of Computer Science, University of Pennsylvania確認したメールアドレス: cis.upenn.edu
Wonchan LeeNVIDIA確認したメールアドレス: nvidia.com
Saswat AnandGoogle確認したメールアドレス: cs.stanford.edu
Mooly SagivTel Aviv University確認したメールアドレス: acm.org
eric schkufzaAmazon確認したメールアドレス: cs.stanford.edu
Oded PadonWeizmann Institute of Science確認したメールアドレス: weizmann.ac.il
Zhendong SuProfessor of Computer Science, ETH Zurich確認したメールアドレス: inf.ethz.ch
David GayGoogle確認したメールアドレス: acm.org
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	1865	2003
Scalable statistical bug isolation B Liblit, M Naik, AX Zheng, A Aiken, MI Jordan Acm Sigplan Notices 40 (6), 15-26, 2005	1151	2005
A first step towards automated detection of buffer overrun vulnerabilities. DA Wagner, JS Foster, EA Brewer, A Aiken NDSS 20 (0), 0, 2000	1094	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	861	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	738	1998
Effective static race detection for Java M Naik, A Aiken, J Whaley Proceedings of the 27th ACM SIGPLAN Conference on Programming Language …, 2006	721	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	687	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	588	2014
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	557	2019
Static Detection of Security Vulnerabilities in Scripting Languages. Y Xie, A Aiken USENIX Security Symposium 15, 179-192, 2006	554	2006
Flow-sensitive type qualifiers JS Foster, T Terauchi, A Aiken Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002	473	2002
Type inclusion constraints and type inference A Aiken, EL Wimmers Proceedings of the conference on Functional programming languages and …, 1993	461	1993
Stochastic superoptimization E Schkufza, R Sharma, A Aiken ACM SIGARCH Computer Architecture News 41 (1), 305-316, 2013	425	2013
A theory of type qualifiers JS Foster, M Fähndrich, A Aiken ACM Sigplan Notices 34 (5), 192-203, 1999	423	1999
Optimal loop parallelization A Aiken, A Nicolau ACM SIGPLAN Notices 23 (7), 308-317, 1988	392	1988
Secure information flow as a safety problem T Terauchi, A Aiken International Static Analysis Symposium, 352-367, 2005	389	2005
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	333	2011
Soft typing with conditional types A Aiken, EL Wimmers, TK Lakshman Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994	332	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	315	1992

現在システムで処理を実行できません。しばらくしてからもう一度お試しください。

論文 1–20

年間引用数

重複した引用

結合された引用

共著者を追加共著者

フォロー

引用先

共著者