Alex Aiken

Citado por

	Total	Desde 2019
Citas	27315	7590
Índice h	86	44
Índice i10	198	121

1600

800

400

1200

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202473 105 162 205 211 242 258 294 225 276 354 390 412 597 661 767 979 989 1000 1097 1051 1157 1238 1254 1306 1296 1301 1271 1392 1322 1549 1399 1546 379

Acceso público

Ver todo

64 artículos

2 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Rahul SharmaPrincipal Researcher, Microsoft ResearchDirección de correo verificada de microsoft.com
Isil DilligUT AustinDirección de correo verificada de cs.utexas.edu
Jeffrey S. FosterComputer Science, Tufts UniversityDirección de correo verificada de tufts.edu
Ben LiblitAmazon Web ServicesDirección de correo verificada de amazon.com
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchDirección de correo verificada de fahndrich.com
Zhihao JiaAssistant Professor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cmu.edu
Alex NicolauProfessor of Computer Science, University of CaliforniaDirección de correo verificada de ics.uci.edu
Sean TreichlerStanford UniversityDirección de correo verificada de cs.stanford.edu
Michael I. JordanProfessor of Electrical Engineering and Computer Sciences and Professor of Statistics, UC BerkeleyDirección de correo verificada de cs.berkeley.edu
Patrick HanrahanStanford UniversityDirección de correo verificada de cs.stanford.edu
Tachio TerauchiProfessor of Computer Science and Engineering, Waseda UniversityDirección de correo verificada de waseda.jp
Mayur NaikProfessor of Computer Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Saswat AnandGoogleDirección de correo verificada de cs.stanford.edu
Mooly SagivTel Aviv UniversityDirección de correo verificada de acm.org
Wonchan LeePh.D. Student in Computer Science, Stanford UniversityDirección de correo verificada de stanford.edu
eric schkufzaAmazonDirección de correo verificada de cs.stanford.edu
David GayGoogleDirección de correo verificada de acm.org
Zhendong SuProfessor of Computer Science, ETH ZurichDirección de correo verificada de inf.ethz.ch
Oded PadonVMware ResearchDirección de correo verificada de vmware.com
William DallyChief Scientist, NVIDIA; Adjunct Professor of CS and EE, Stanford University;Dirección de correo verificada de stanford.edu

Seguir

Alex Aiken

Professor of Computer Science, Stanford University

Dirección de correo verificada de cs.stanford.edu - Página principal

programming languages compilers verification parallelism


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Winnowing: local algorithms for document fingerprinting S Schleimer, DS Wilkerson, A Aiken Proceedings of the 2003 ACM SIGMOD international conference on Management of …, 2003	1790	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	1090	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	817	2012
Bug Isolation via Remote Program Sampling A Aiken Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language …, 2003	780*	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	712	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	567	2014
Static Detection of Security Vulnerabilities in Scripting Languages. Y Xie, A Aiken USENIX Security Symposium 15, 179-192, 2006	548	2006
Flow-sensitive type qualifiers JS Foster, T Terauchi, A Aiken Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002	465	2002
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	459	2019
Type inclusion constraints and type inference A Aiken, EL Wimmers Proceedings of the conference on Functional programming languages and …, 1993	455	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	390	2013
Optimal loop parallelization A Aiken, A Nicolau ACM SIGPLAN Notices 23 (7), 308-317, 1988	389	1988
Secure information flow as a safety problem T Terauchi, A Aiken International Static Analysis Symposium, 352-367, 2005	379	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	325	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	312	1992

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores