Alex Aiken

Получаване на мой собствен потребителски профил

Позовавания

	Всички	От 2018
Позовавания	26449	7986
h-индекс	85	43
i10-индекс	191	120

1600

800

400

1200

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202377 100 160 205 210 240 260 298 223 277 356 387 421 594 664 771 968 993 1002 1105 1054 1164 1241 1252 1312 1301 1281 1277 1382 1305 1544 1404 1072

Публичен достъп

Преглед на всички

59 статии

2 статии

налични

неналични

Въз основа на изисквания при финансирането

Съавтори

Rahul SharmaPrincipal Researcher, Microsoft ResearchПотвърден имейл адрес: microsoft.com
Isil DilligUT AustinПотвърден имейл адрес: cs.utexas.edu
Ben LiblitAmazon Web ServicesПотвърден имейл адрес: amazon.com
Jeffrey S. FosterComputer Science, Tufts UniversityПотвърден имейл адрес: tufts.edu
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchПотвърден имейл адрес: fahndrich.com
Alex NicolauProfessor of Computer Science, University of CaliforniaПотвърден имейл адрес: ics.uci.edu
Zhihao JiaAssistant Professor of Computer Science, Carnegie Mellon UniversityПотвърден имейл адрес: cmu.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
Mayur NaikProfessor of Computer Science, University of PennsylvaniaПотвърден имейл адрес: cis.upenn.edu
Tachio TerauchiProfessor of Computer Science and Engineering, Waseda UniversityПотвърден имейл адрес: waseda.jp
Saswat AnandGoogleПотвърден имейл адрес: cs.stanford.edu
Mooly SagivTel Aviv UniversityПотвърден имейл адрес: acm.org
eric schkufzaAmazonПотвърден имейл адрес: cs.stanford.edu
Wonchan LeePh.D. Student in Computer Science, Stanford UniversityПотвърден имейл адрес: stanford.edu
David GayGoogleПотвърден имейл адрес: acm.org
Zhendong SuProfessor of Computer Science, ETH ZurichПотвърден имейл адрес: inf.ethz.ch
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	1731	2003
Scalable statistical bug isolation B Liblit, M Naik, AX Zheng, A Aiken, MI Jordan Acm Sigplan Notices 40 (6), 15-26, 2005	1122	2005
A first step towards automated detection of buffer overrun vulnerabilities. DA Wagner, JS Foster, EA Brewer, A Aiken NDSS 20 (0), 0, 2000	1080	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	783	2012
Bug Isolation via Remote Program Sampling A Aiken Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language …, 2003	772*	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	739	1998
Effective static race detection for Java M Naik, A Aiken, J Whaley Proceedings of the 27th ACM SIGPLAN Conference on Programming Language …, 2006	697	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	678	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	546	2014
Static Detection of Security Vulnerabilities in Scripting Languages. Y Xie, A Aiken USENIX Security Symposium 15, 179-192, 2006	542	2006
Flow-sensitive type qualifiers JS Foster, T Terauchi, A Aiken Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002	455	2002
Type inclusion constraints and type inference A Aiken, EL Wimmers Proceedings of the conference on Functional programming languages and …, 1993	447	1993
A theory of type qualifiers JS Foster, M Fähndrich, A Aiken ACM SIGPLAN Notices 34 (5), 192-203, 1999	405	1999
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	397	2019
Optimal loop parallelization A Aiken, A Nicolau ACM SIGPLAN Notices 23 (7), 308-317, 1988	389	1988
Stochastic superoptimization E Schkufza, R Sharma, A Aiken ACM SIGARCH Computer Architecture News 41 (1), 305-316, 2013	370	2013
Secure information flow as a safety problem T Terauchi, A Aiken International Static Analysis Symposium, 352-367, 2005	368	2005
Soft typing with conditional types A Aiken, EL Wimmers, TK Lakshman Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994	333	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	322	1992

Системата не може да изпълни операцията сега. Опитайте отново по-късно.

Статии 1–20

Позовавания годишно

Дублирани описания

Обединени библиографски описания

Добавяне на съавториСъавтори

Следене

Позовавания

Съавтори