A. Aiken
发表
Charles R. Qi,
Alexander Aiken,
Zhihao Jia,
2018,
ICML.
Alexander Aiken,
Matei Zaharia,
Zhihao Jia,
2018,
SysML.
Matei Zaharia,
Mingyu Gao,
Zhihao Jia,
2019,
MLSys.
Alexander Aiken,
Michael Bauer,
Elliott Slaughter,
2012,
2012 International Conference for High Performance Computing, Networking, Storage and Analysis.
Alexander Aiken,
Michael Bauer,
Sean Treichler,
2014,
2014 23rd International Conference on Parallel Architecture and Compilation (PACT).
Alexander Aiken,
Patrick S. McCormick,
Galen M. Shipman,
2017,
Proc. VLDB Endow..
Alexander Aiken,
Rahul Sharma,
Michael Bauer,
2016,
OOPSLA.
Alexander Aiken,
Rahul Sharma,
Saurabh Gupta,
2013,
ESOP.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2011,
POPL '11.
A. Aiken,
D. Kozen,
E. Wimmers,
1994
.
Alexander Aiken,
Rahul Sharma,
Percy Liang,
2016,
PLDI.
Katherine A. Yelick,
Alexander Aiken,
Arvind Krishnamurthy,
1998,
Concurr. Pract. Exp..
Alex Aiken,
A. Aiken,
1988
.
Michael Bauer,
Alexander Aiken,
Patrick S. McCormick,
2021,
SC.
Alexander Aiken,
Rahul Sharma,
Eric Schkufza,
2014,
PLDI.
Daniel Shawcross Wilkerson,
Alexander Aiken,
Saul Schleimer,
2003,
SIGMOD '03.
Alexander Aiken,
Rahul Sharma,
Oded Padon,
2019,
PLDI.
Alexander Aiken,
Yichen Xie,
A. Aiken,
2006,
USENIX Security Symposium.
Alexander Aiken,
Moshe Y. Vardi,
Dexter Kozen,
1993,
CSL.
David A. Wagner,
Eric A. Brewer,
Alexander Aiken,
2000,
NDSS.
A. Aiken,
Osbert Bastani,
Saswat Anand,
2015,
OOPSLA.
Eric Darve,
Pat Hanrahan,
Alexander Aiken,
2011,
2011 International Conference for High Performance Computing, Networking, Storage and Analysis (SC).
Alexander Aiken,
Rahul Sharma,
Saurabh Gupta,
2013,
SAS.
Michael Stonebraker,
Alexander Aiken,
Joseph M. Hellerstein,
1998,
Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254).
Alexander Aiken,
John Kodumal,
A. Aiken,
2005,
SAS.
Michael I. Jordan,
Alexander Aiken,
Alice X. Zheng,
2003,
PLDI '03.
Alexander Aiken,
Sorav Bansal,
A. Aiken,
2008,
OSDI.
Alexander Aiken,
Rahul Sharma,
J. F. Bastien,
2017,
ASPLOS 2017.
Alexander Aiken,
Tachio Terauchi,
A. Aiken,
2006,
CONCUR.
Alexander Aiken,
Brian Hackett,
A. Aiken,
2006,
SIGSOFT '06/FSE-14.
Alexander Aiken,
Michael Bauer,
Wonchan Lee,
2015,
SC15: International Conference for High Performance Computing, Networking, Storage and Analysis.
John Clark,
Alexander Aiken,
Michael Bauer,
2011,
PPoPP '11.
Michael I. Jordan,
Alexander Aiken,
Alice X. Zheng,
2003,
NIPS.
Eran Yahav,
Alexander Aiken,
Shmuel Sagiv,
2011,
OOPSLA '11.
Alexander Aiken,
Michael Bauer,
Elliott Slaughter,
2014,
SC14: International Conference for High Performance Computing, Networking, Storage and Analysis.
Alexander Aiken,
Tachio Terauchi,
A. Aiken,
2006,
TOPL.
Alexander Aiken,
Rahul Sharma,
Eric Schkufza,
2016,
Commun. ACM.
Alexander Aiken,
Zhendong Su,
Jeffrey S. Foster,
1998,
Types in Compilation.
A. Aiken,
J. Foster,
Manuel Fähndrich,
1997
.
Jennifer Widom,
Alexander Aiken,
Joseph M. Hellerstein,
1992,
SIGMOD '92.
Alexander Aiken,
Alexandru Nicolau,
A. Aiken,
1988,
PLDI '88.
A. Aiken,
A. Nicolau,
1987
.
Alexander Aiken,
Osbert Bastani,
Saswat Anand,
2015,
POPL.
Katherine A. Yelick,
Alexander Aiken,
Ben Liblit,
2003,
SAS.
Alexander Aiken,
A. Aiken,
1996,
SIGP.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2009,
Formal Methods Syst. Des..
Alexander Aiken,
Brian Hackett,
A. Aiken,
2011,
ESEC/FSE '11.
Alexander Aiken,
Raph Levien,
A. Aiken,
1998,
USENIX Security Symposium.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2011,
PLDI '11.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2011,
CAV.
A. Aiken,
Isil Dillig,
Thomas Dillig,
2009
.
Alexander Aiken,
Alexandru Nicolau,
A. Aiken,
1986,
MICRO 19.
Michael I. Jordan,
Alexander Aiken,
Mayur Naik,
2005,
PLDI '05.
Alexander Aiken,
Martin C. Rinard,
Shmuel Sagiv,
2012,
CACM.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2012,
CAV.
Alexander Aiken,
Yichen Xie,
A. Aiken,
2005,
ESEC/FSE-13.
Alex Aiken,
Benjamin Robert Liblit,
A. Aiken,
2007
.
P. Hanrahan,
W.J. Dally,
K. Fatahalian,
2006,
ACM/IEEE SC 2006 Conference (SC'06).
Jennifer Widom,
Joseph M. Hellerstein,
Alex Aiken,
1995
.
Martin Berzins,
Stephen L. Olivier,
Simon David Hammond,
2015
.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2010,
SAS.
William J. Dally,
Pat Hanrahan,
Alexander Aiken,
2007,
PPOPP.
Ben Zorn,
Alex Aiken,
A. Aiken,
2010,
PLDI.
Alexander Aiken,
Julie Zelenski,
Mehran Sahami,
2010,
SIGCSE.
A. Aiken,
A. Zheng,
B. Liblit,
2002
.
Alexander Aiken,
Rahul Sharma,
Stefan Heule,
2016,
PLDI.
Alexander Aiken,
Wonyeol Lee,
Rahul Sharma,
2017,
Proc. ACM Program. Lang..
Alexander Aiken,
Rahul Sharma,
Eric Schkufza,
2012,
ASPLOS '13.
Alexander Aiken,
John Kodumal,
A. Aiken,
2004,
PLDI '04.
Alexander Aiken,
Edward L. Wimmers,
T. K. Lakshman,
1994,
POPL '94.
Alexander Aiken,
Jeffrey S. Foster,
Tachio Terauchi,
2002,
PLDI '02.
Jeffrey S. Foster,
Manuel Fähndrich,
Alex Aiken,
1998
.
A. Aiken,
2005
.
A. Aiken,
J. Foster,
Tachio Terauchi,
2022
.
A. Aiken,
J. Foster,
2022
.
A. Aiken,
M. Rinard,
M. Sagiv,
2012
.
John D. Leidel,
Jeremiah J. Wilke,
Barbara M. Chapman,
2018
.
A. Aiken,
Yichen Xie,
2005
.
A. Aiken,
Suhabe Bugrara,
2007
.
Alexander Aiken,
A. Aiken,
ConstraintsZhendong Su,
2007
.
Michael Garland,
Alexander Aiken,
Michael Bauer,
2018,
SC18: International Conference for High Performance Computing, Networking, Storage and Analysis.
Percy Liang,
A. Aiken,
Osbert Bastani,
2017
.
Alexander Aiken,
Yichen Xie,
A. Aiken,
2007,
TOPL.
Software Tools for Technology Transfer Manuscript No. Detecting Races in Relay Ladder Logic Programs
A. Aiken,
1998
.
A. Aiken,
Elliott Slaughter,
M. Ihme,
2020,
AIAA Scitech 2021 Forum.
Alexander Aiken,
Andrew K. Wright,
A. Aiken,
1995
.
William J. Dally,
Pat Hanrahan,
Alexander Aiken,
2006,
International Conference on Software Composition.
A. Aiken,
M. Naik,
Yichen Xie,
2005
.
Alexander Aiken,
Mayur Naik,
A. Aiken,
2007,
ACM-SIGACT Symposium on Principles of Programming Languages.
Alexander Aiken,
Matei Zaharia,
Mingyu Gao,
2020,
MLSys.
Stephen L. Olivier,
Kevin Pedretti,
Galen M. Shipman,
2015
.
Zhihao Jia,
Sina Lin,
Alex Aiken,
2018,
International Conference on Machine Learning.
A. Aiken,
D. Kozen,
E. Wimmers,
2013
.
Manuel Fähndrich,
Alex Aiken,
Alex Aiken,
1996
.
A. Aiken,
Z. Su,
2003
.
A. Aiken,
Joachim Niehren,
Sun Zhendong,
2003
.
A. Aiken,
Z. Su,
2000
.
A. Aiken,
Tachio Terauchi,
2008,
ICFP '05.
A. Aiken,
John H. Williams,
1991
.
James R. Wilcox,
Jason R. Koenig,
A. Aiken,
2022,
Proc. ACM Program. Lang..
A. Aiken,
Z. Su,
2007
.
Manuel Fähndrich,
Alex Aiken,
A. Aiken,
1999
.
A. Aiken,
John Kodumal,
2005
.
A. Aiken,
B. Zorn,
2010,
PLDI.
Alexander Aiken,
Shmuel Sagiv,
Nathan Grasso Bronson,
2012,
Conference on Object-Oriented Programming Systems, Languages, and Applications.
David Gay,
Alexander Aiken,
A. Aiken,
1998,
PLDI.
Alexander Aiken,
Matei Zaharia,
Oded Padon,
2019,
SOSP.
George C. Necula,
Tachio Terauchi,
Alex Aiken,
2006
.
Alexander Aiken,
Zhendong Su,
Jeffrey S. Foster,
1998,
PLDI.
Alexander Aiken,
Adam J. Oliner,
Ashutosh V. Kulkarni,
2010,
RAID.
Adam J. Oliner,
Alex Aiken,
Ashutosh Kulkarni,
2009
.
Jan Vitek,
Pat Hanrahan,
Alex Aiken,
2013,
PLDI.
Percy Liang,
Oded Padon,
Alex Aiken,
2019,
NeurIPS.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2012,
PLDI.
A. Aiken,
A. Aiken,
Fredrik Kjolstad,
2022,
SC22: International Conference for High Performance Computing, Networking, Storage and Analysis.
A. Aiken,
Fredrik Kjolstad,
Rohan Yadav,
2022,
PLDI.
Alexandru Nicolau,
Arun Kejariwal,
Utpal Banerjee,
2016
.
Alexander Aiken,
Keshav Pingali,
Alexandru Nicolau,
1988,
The Journal of Supercomputing.
Alexandru Nicolau,
Alex Aiken,
A. Aiken,
1989
.
Alexander Aiken,
Alexandru Nicolau,
A. Aiken,
1988,
ESOP.
Alexandru Nicolau,
Arun Kejariwal,
Utpal Banerjee,
2016,
Springer US.
Alexandru Nicolau,
Arun Kejariwal,
Utpal Banerjee,
2016
.
Alexander Aiken,
Mayur Naik,
John Whaley,
2006,
PLDI '06.
Alexander Aiken,
Rahul Sharma,
Eric Schkufza,
2015,
OOPSLA.
Alexander Aiken,
Rahul Sharma,
Eric Schkufza,
2013,
OOPSLA.
Alexander Aiken,
Sorav Bansal,
A. Aiken,
2006,
ASPLOS XII.
Alexander Aiken,
Yichen Xie,
A. Aiken,
2005,
POPL '05.
Alexandru Nicolau,
Arun Kejariwal,
Utpal Banerjee,
2016
.
William J. Dally,
Alexander Aiken,
Mike Houston,
2008,
2008 International Conference on Parallel Architectures and Compilation Techniques (PACT).
Alexander Aiken,
Rahul Sharma,
Aditya V. Nori,
2012,
CAV.
Joachim Niehren,
Alexander Aiken,
Zhendong Su,
2002,
POPL '02.
Alexander Aiken,
Zhendong Su,
A. Aiken,
2001,
ESOP.
Alexander Aiken,
Zhendong Su,
Manuel Fähndrich,
1998,
International Journal on Software Tools for Technology Transfer.
Alexander Aiken,
Manuel Fähndrich,
A. Aiken,
1997,
SAS.
A. Aiken,
Michael Bauer,
Sean Treichler,
2023,
PPoPP.
Alexander Aiken,
Jeffrey S. Foster,
Manuel Fähndrich,
1999,
PLDI '99.
Wei Wu,
George Bosilca,
Wonchan Lee,
2019,
SC20: International Conference for High Performance Computing, Networking, Storage and Analysis.
Alexander Aiken,
Percy Liang,
Osbert Bastani,
2016,
ACM-SIGPLAN Symposium on Programming Language Design and Implementation.
Alexander Aiken,
Rahul Sharma,
Percy Liang,
2017,
PLDI.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2008,
PLDI '08.
Umut A. Acar,
Zhihao Jia,
Sina Lin,
2022,
PLDI.
Michael Stonebraker,
Allison Woodruff,
Alexander Aiken,
1997,
VDB.
Michael Stonebraker,
Allison Woodruff,
Alexander Aiken,
1995,
Workshop on Database Issues for Data Visualization.
James R. Larus,
Alexander Aiken,
Lorenz Huelsbergen,
1994,
LFP '94.
Alex Aiken,
Alexander Nicolau,
A. Aiken,
1990
.
Alexander Aiken,
Shmuel Sagiv,
Guy Golan-Gueta,
2015,
PLDI.
Alexander Aiken,
Edward L. Wimmers,
A. Aiken,
1993,
FPCA '93.
Alexander Aiken,
Tachio Terauchi,
A. Aiken,
2005,
SAS.
Alexander Aiken,
Dexter Kozen,
Edward L. Wimmers,
1994,
Inf. Comput..
Alexander Aiken,
Brian R. Murphy,
A. Aiken,
1991,
FPCA.
Alexander Aiken,
Brian R. Murphy,
A. Aiken,
1991,
POPL '91.
Alex Aiken,
Edward L. Wimmers,
A. Aiken,
1992,
LICS 1992.
Jens Palsberg,
Alexander Aiken,
Edward L. Wimmers,
1999,
High. Order Symb. Comput..
Alexander Aiken,
Robert O'Callahan,
Simon Goldsmith,
2005,
OOPSLA '05.
Alexander AIKEN,
A. Aiken,
1990,
Theor. Comput. Sci..
Isil Dillig,
Alexander Aiken,
Yu Feng,
2014,
SIGSOFT FSE.
William J. Dally,
Pat Hanrahan,
Alexander Aiken,
2008,
PPoPP.
Jiayuan Mao,
Sumith Kulal,
Jiajun Wu,
2021,
2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).
Alexander Aiken,
Mayur Naik,
A. Aiken,
2007,
POPL '07.
Alexander Aiken,
Rahul Sharma,
A. Aiken,
2014,
Formal Methods Syst. Des..
Alexander Aiken,
Rahul Sharma,
Aditya V. Nori,
2014,
POPL.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2010,
ESOP.
A. Aiken,
M. Stonebraker,
Christopher Olston,
1998
.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2007,
PASTE '07.
Alexander Aiken,
Zhendong Su,
Manuel Fähndrich,
2000,
POPL '00.
Alexander Aiken,
Jon Stearley,
Adam J. Oliner,
2008,
2008 Eighth IEEE International Conference on Data Mining.
Alexander Aiken,
Tachio Terauchi,
A. Aiken,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Alexander Aiken,
A. Aiken,
1999,
Sci. Comput. Program..
Alex Aiken,
Ben Liblit,
A. Aiken,
2002
.
Pat Hanrahan,
Alexander Aiken,
Rahul Sharma,
2017,
Proc. ACM Program. Lang..
A. Aiken,
Wonchan Lee,
S. Sundram,
2022,
2022 IEEE/ACM Parallel Applications Workshop: Alternatives To MPI+X (PAW-ATM).
Alexander Aiken,
A. Aiken,
1994,
PPCP.
Katherine Yelick,
Alex Aiken,
Ben Liblit,
2001
.
Alexander Aiken,
Michael Bauer,
Sean Treichler,
2014,
PPoPP '14.
Alexander Aiken,
Patrick S. McCormick,
Galen M. Shipman,
2018,
ICS.
Alexander Aiken,
Alexandru Nicolau,
Steven Novack,
1995,
IEEE Trans. Parallel Distributed Syst..
A. Aiken,
U. Banerjee,
A. Nicolau,
2016,
Springer US.
Alex Aiken,
A. Aiken,
2000
.
Eran Yahav,
Alexander Aiken,
Shmuel Sagiv,
2011,
OOPSLA '11.
Jeffrey S. Foster,
Robert Johnson,
Alex Aiken,
2006,
TOPL.
Alexander Aiken,
Jeffrey S. Foster,
Manuel Fähndrich,
2000,
SAS.
Jeffrey S. Foster,
Alex Aiken,
A. Aiken,
2002
.
Wen Zhang,
Alexander Aiken,
Patrick S. McCormick,
2017,
SC17: International Conference for High Performance Computing, Networking, Storage and Analysis.
Adam J. Oliner,
Alex Aiken,
Ashutosh Kulkarni,
2009
.
Alexander Aiken,
Oded Padon,
Jason R. Koenig,
2021,
PLDI.
Neil Immerman,
Oded Padon,
Jason R. Koenig,
2020,
PLDI.
Alexander Aiken,
Jeffrey S. Foster,
Tachio Terauchi,
2003,
PLDI '03.
Alexander Aiken,
T. K. Lakshman,
A. Aiken,
1994,
SAS.
Alexander Aiken,
Adam J. Oliner,
Ashutosh V. Kulkarni,
2010,
2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN).
Sharon Shoham,
Oded Padon,
Jason R. Koenig,
2021,
TACAS.
Pat Hanrahan,
Alexander Aiken,
Matthew Fisher,
2014,
PLDI.
Alexander Aiken,
Edward L. Wimmers,
A. Aiken,
1992,
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Alexander Aiken,
A. Aiken,
1996,
SAS.
Alexander Aiken,
Shmuel Sagiv,
Nathan Grasso Bronson,
2012,
OOPSLA '12.
David Gay,
Alexander Aiken,
A. Aiken,
1998,
POPL '98.
Michael Stonebraker,
Allison Woodruff,
Alexander Aiken,
1996,
Proceedings of the Twelfth International Conference on Data Engineering.