Alexander Aiken

发表

Alexander Aiken, Wonyeol Lee, Rahul Sharma, 2017, Proc. ACM Program. Lang..
Michael Stonebraker, Alexander Aiken, Joseph M. Hellerstein, 1998, Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254).
Alexander Aiken, Zhendong Su, Jeffrey S. Foster, 1998, Types in Compilation.
Jennifer Widom, Alexander Aiken, Joseph M. Hellerstein, 1995, TODS.
Alexander Aiken, Alexandru Nicolau, A. Aiken, 1988, PLDI '88.
Charles R. Qi, Alexander Aiken, Zhihao Jia, 2018, ICML.
Alexander Aiken, Brian Hackett, A. Aiken, 2011, ESEC/FSE '11.
Alexander Aiken, Alexandru Nicolau, A. Aiken, 1986, MICRO 19.
Alexander Aiken, Rahul Sharma, Eric Schkufza, 2012, ASPLOS '13.
Alexander Aiken, Rahul Sharma, J. F. Bastien, 2017, ASPLOS 2017.
Alexander Aiken, Tachio Terauchi, A. Aiken, 2006, TOPL.
Alexander Aiken, Patrick S. McCormick, Galen M. Shipman, 2017, Proc. VLDB Endow..
Alexander Aiken, Wonyeol Lee, Rahul Sharma, 2016, PLDI.
Pat Hanrahan, Alexander Aiken, Matthew Fisher, 2014, PLDI.
Alexander Aiken, Patrick S. McCormick, Wonchan Lee, 2018, 2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness).
Alexander Aiken, Manuel Fähndrich, 1995, FPCA '95.
David Gay, Alexander Aiken, 2001, PLDI '01.
Alexander Aiken, Osbert Bastani, Saswat Anand, 2015, MobileDeLi.
Eran Yahav, Alexander Aiken, Shmuel Sagiv, 2014, ISSTA 2014.
Jan Vitek, Alexander Aiken, David Terei, 2014, ISMM '14.
Eran Yahav, Alexander Aiken, Shmuel Sagiv, 2011, OOPSLA '11.
Isil Dillig, Thomas Dillig, Alexander Aiken, 2012, CAV.
Isil Dillig, Thomas Dillig, Alexander Aiken, 2007, PLDI '07.
Isil Dillig, Thomas Dillig, Alexander Aiken, 2011, CAV.
Alexander Aiken, Rahul Sharma, Michael Bauer, 2016, OOPSLA.
Alexander Aiken, Osbert Bastani, Saswat Anand, 2015, POPL.
Alexander Aiken, Rahul Sharma, Saurabh Gupta, 2013, ESOP.
Michael Stonebraker, Allison Woodruff, Alexander Aiken, 1997, VDB.
Alexander Aiken, Jeffrey S. Foster, Tachio Terauchi, 2002, PLDI '02.
Alexander Aiken, Alexandru Nicolau, A. Aiken, 1988, ESOP.
Alexander Aiken, Michael Bauer, Elliott Slaughter, 2012, 2012 International Conference for High Performance Computing, Networking, Storage and Analysis.
Isil Dillig, Thomas Dillig, Alexander Aiken, 2012, PLDI.
Alexander Aiken, Patrick S. McCormick, Galen M. Shipman, 2018, ICS.
Alexander Aiken, Rahul Sharma, Eric Schkufza, 2015, OOPSLA.
Alexander Aiken, Matei Zaharia, Zhihao Jia, 2018, SysML.
Alexander Aiken, Shmuel Sagiv, Nathan Grasso Bronson, 2012, OOPSLA '12.
Alexander Aiken, Suhabe Bugrara, 2008, 2008 IEEE Symposium on Security and Privacy (sp 2008).
Alexander Aiken, Martin C. Rinard, Shmuel Sagiv, 2010, APLAS.
Alexander Aiken, Adam J. Oliner, Ashutosh V. Kulkarni, 2010, RAID.
Isil Dillig, Thomas Dillig, Alexander Aiken, 2009, Formal Methods Syst. Des..
Alexander Aiken, John Kodumal, A. Aiken, 2004, PLDI '04.
Jennifer Widom, Alexander Aiken, Joseph M. Hellerstein, 1992, SIGMOD '92.
Michael I. Jordan, Alexander Aiken, Mayur Naik, 2006, ICML '06.
Alexander Aiken, Brian Hackett, A. Aiken, 2006, SIGSOFT '06/FSE-14.
Michael Stonebraker, Allison Woodruff, Alexander Aiken, 1995, Workshop on Database Issues for Data Visualization.
Alexander Aiken, Michael Bauer, Sean Treichler, 2014, PPoPP '14.
Katherine A. Yelick, Alexander Aiken, Ben Liblit, 2003, SAS.
Daniel Shawcross Wilkerson, Alexander Aiken, Saul Schleimer, 2003, SIGMOD '03.
Alexander Aiken, Michael Bauer, Elliott Slaughter, 2014, SC14: International Conference for High Performance Computing, Networking, Storage and Analysis.
Isil Dillig, Thomas Dillig, Alexander Aiken, 2008, PLDI '08.
Alexander Aiken, Martin C. Rinard, Shmuel Sagiv, 2012, CACM.
Michael Garland, Alexander Aiken, Michael Bauer, 2018, SC18: International Conference for High Performance Computing, Networking, Storage and Analysis.
Alexander Aiken, Rahul Sharma, Percy Liang, 2016, PLDI.
Alexander Aiken, Jeffrey S. Foster, Robert Johnson, 2006, ACM Trans. Program. Lang. Syst..
Isil Dillig, Thomas Dillig, Alexander Aiken, 2010, OOPSLA.
Alexander Aiken, Tachio Terauchi, A. Aiken, 2006, CONCUR.
James R. Larus, Alexander Aiken, Lorenz Huelsbergen, 1994, LFP '94.
Alexander Aiken, Yichen Xie, A. Aiken, 2006, USENIX Security Symposium.
Alexander Aiken, 2007, login Usenix Mag..
Alexander Aiken, Rahul Sharma, Michael Bauer, 2015, PLDI.
Katherine A. Yelick, Alexander Aiken, Arvind Krishnamurthy, 1998, Concurr. Pract. Exp..
Alan Heirich, Alexander Aiken, Wonchan Lee, 2017, ISAV@SC.
Alexander Aiken, Rahul Sharma, Oded Padon, 2019, PLDI.
Alexander Aiken, Rahul Sharma, Eric Schkufza, 2016, Commun. ACM.
Alexander Aiken, Moshe Y. Vardi, Dexter Kozen, 1993, CSL.
Alexander Aiken, Adam J. Oliner, Ashutosh V. Kulkarni, 2010, 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN).
Alexander Aiken, Rahul Sharma, A. Aiken, 2014, Formal Methods Syst. Des..
Alexander Aiken, T. K. Lakshman, A. Aiken, 1994, SAS.
Alexander Aiken, Patrick S. McCormick, Janine Bennett, 2016, 2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW).
Alexander Aiken, A. Aiken, 1996, SAS.
Alexander Aiken, Raph Levien, A. Aiken, 1998, USENIX Security Symposium.
Alexander Aiken, Edward L. Wimmers, A. Aiken, 1993, FPCA '93.
Alexander Aiken, Michael Bauer, Wonchan Lee, 2015, SC15: International Conference for High Performance Computing, Networking, Storage and Analysis.
Alexander Aiken, Brian R. Murphy, A. Aiken, 1991, POPL '91.
Alexander Aiken, John Kodumal, A. Aiken, 2005, SAS.
Alexander Aiken, Sorav Bansal, A. Aiken, 2008, OSDI.
Alexander Aiken, Martin C. Rinard, Shmuel Sagiv, 2011, PLDI '11.
David Gay, Alexander Aiken, A. Aiken, 1998, PLDI.
Alexander Aiken, Zhendong Su, Manuel Fähndrich, 2000, POPL '00.
Alexander Aiken, Jeffrey S. Foster, Manuel Fähndrich, 1999, PLDI '99.
Alexander Aiken, Rahul Sharma, Eric Schkufza, 2014, PLDI.
Isil Dillig, Thomas Dillig, Alexander Aiken, 2011, PLDI '11.
Alexander Aiken, Rahul Sharma, Aditya V. Nori, 2012, CAV.
William J. Dally, Pat Hanrahan, Alexander Aiken, 2008, PPoPP.
Alexander Aiken, Edward L. Wimmers, T. K. Lakshman, 1994, POPL '94.
Alexander Aiken, Mayur Naik, John Whaley, 2006, PLDI '06.
Michael I. Jordan, Alexander Aiken, Alice X. Zheng, 2003, NIPS.
Alexander Aiken, Alexandru Nicolau, A. Nicolau, 1986, IEEE Trans. Software Eng..
Jan Vitek, Pat Hanrahan, Alexander Aiken, 2013, PLDI.
Michael Stonebraker, Allison Woodruff, Alexander Aiken, 1996, Proceedings of the Twelfth International Conference on Data Engineering.
Joachim Niehren, Alexander Aiken, Zhendong Su, 2002, POPL '02.
Alexander Aiken, Rahul Sharma, Eric Schkufza, 2013, OOPSLA.
Alexander Aiken, Zhendong Su, Manuel Fähndrich, 1998, TACAS.
Michael Stonebraker, Allison Woodruff, Alexander Aiken, 2001, J. Vis. Lang. Comput..
Alexander Aiken, Jeffrey S. Foster, Tachio Terauchi, 2003, PLDI '03.
Alexander Aiken, Jon Stearley, Adam J. Oliner, 2008, 2008 Eighth IEEE International Conference on Data Mining.
Alexander Aiken, Rahul Sharma, Percy Liang, 2017, PLDI.
Alexander Aiken, Tachio Terauchi, 2005, ICFP '05.
Carlos Maltzahn, Alexander Aiken, Patrick S. McCormick, 2017, 2017 IEEE 24th International Conference on High Performance Computing (HiPC).
Alexander Aiken, A. Aiken, 1999, Sci. Comput. Program..
Alexander Aiken, Osbert Bastani, Saswat Anand, 2016, SIGSOFT FSE.
Alexander Aiken, Rahul Sharma, Osbert Bastani, 2019, ECOOP.
David A. Wagner, Eric A. Brewer, Alexander Aiken, 2000, NDSS.
Wen Zhang, Alexander Aiken, Patrick S. McCormick, 2017, SC17: International Conference for High Performance Computing, Networking, Storage and Analysis.
Alexander Aiken, Edward L. Wimmers, A. Aiken, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Alexander Aiken, John H. Williams, Edward L. Wimmers, 1989, POPL '90.
Alexander Aiken, Keshav Pingali, Alexandru Nicolau, 1988, The Journal of Supercomputing.
Alexander Aiken, Rahul Sharma, Saurabh Gupta, 2013, SAS.
Alexander Aiken, Osbert Bastani, Saswat Anand, 2015, OOPSLA.
Alexander Aiken, Osbert Bastani, Saswat Anand, 2017, ArXiv.
Alexander Aiken, Michael Bauer, Sean Treichler, 2013, OOPSLA.
Isil Dillig, Thomas Dillig, Alexander Aiken, 2011, POPL '11.
Isil Dillig, Thomas Dillig, Alexander Aiken, 2007, PASTE '07.
Alexander Aiken, Brian R. Murphy, A. Aiken, 1991, FPCA.
Alexander Aiken, Mayur Naik, A. Aiken, 2007, POPL '07.
Alexander Aiken, 2006, Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..
Alexander Aiken, Martin C. Rinard, Shmuel Sagiv, 2012, PLDI.
Alexander Aiken, John Kodumal, 2007, PLDI '07.
Alexander Aiken, Manuel Fähndrich, A. Aiken, 1997, SAS.
Isil Dillig, Alexander Aiken, Yu Feng, 2014, DeMobile@SIGSOFT FSE.
Alexander Aiken, Manuel Fähndrich, Raph Levien, 1995, PLDI '95.
Alexander Aiken, Sorav Bansal, A. Aiken, 2006, ASPLOS XII.
Alexander Aiken, Dexter Kozen, Edward L. Wimmers, 1994, Inf. Comput..
Alexander Aiken, Martin C. Rinard, Shmuel Sagiv, 2012, ESOP.
Alexander Aiken, Yichen Xie, 2005, CAV.
David Gay, Alexander Aiken, A. Aiken, 1998, POPL '98.
Michael I. Jordan, Alexander Aiken, Mayur Naik, 2005, PLDI '05.
Isil Dillig, Alexander Aiken, Yu Feng, 2014, SIGSOFT FSE.
Eric Darve, Pat Hanrahan, Alexander Aiken, 2011, 2011 International Conference for High Performance Computing, Networking, Storage and Analysis (SC).
Alexander Aiken, Zhendong Su, A. Aiken, 2001, ESOP.
Alexander Aiken, Tachio Terauchi, A. Aiken, 2005, SAS.
Alexander Aiken, Michael Bauer, Sean Treichler, 2014, 2014 23rd International Conference on Parallel Architecture and Compilation (PACT).
Alexander Aiken, Zhendong Su, Jeffrey S. Foster, 1998, PLDI.
Alexander Aiken, Rahul Sharma, Aditya V. Nori, 2014, POPL.
Jens Palsberg, Alexander Aiken, Edward L. Wimmers, 1999, High. Order Symb. Comput..
Alexander Aiken, Ben Liblit, 2000, POPL '00.
Alexander Aiken, Jeffrey S. Foster, Manuel Fähndrich, 2000, SAS.
Carlos Maltzahn, Alexander Aiken, Patrick S. McCormick, 2015, PDSW '15.
Alexander Aiken, Zhendong Su, Manuel Fähndrich, 1998, International Journal on Software Tools for Technology Transfer.
Pat Hanrahan, Alexander Aiken, Rahul Sharma, 2017, Proc. ACM Program. Lang..
William J. Dally, Alexander Aiken, Mike Houston, 2008, 2008 International Conference on Parallel Architectures and Compilation Techniques (PACT).
Alexander Aiken, Rahul Sharma, Stefan Heule, 2016, PLDI.
Michael I. Jordan, Alexander Aiken, Alice X. Zheng, 2003, PLDI.
Alexander Aiken, 2001 .
Michael S. Bernstein, Alexander Aiken, Daphne Koller, 2013, UIST.
Alexander Aiken, John H. Williams, Edward L. Wimmers, 1995, TOPL.
John Clark, Alexander Aiken, Michael Bauer, 2011, PPoPP '11.
Alexander Aiken, Robert O'Callahan, Simon Goldsmith, 2005, OOPSLA '05.
William J. Dally, Pat Hanrahan, Alexander Aiken, 2006, International Conference on Software Composition.
Alexander Aiken, Tachio Terauchi, A. Aiken, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Alexander Aiken, Saswat Anand, Lazaro Clapp, 2015, ISSTA.
Eran Yahav, Alexander Aiken, Shmuel Sagiv, 2011, OOPSLA '11.
Isil Dillig, Thomas Dillig, Alexander Aiken, 2010, ESOP.
Alexander Aiken, Yichen Xie, A. Aiken, 2005, POPL '05.
Isil Dillig, Thomas Dillig, Alexander Aiken, 2010, Commun. ACM.
Alexander Aiken, Adam J. Oliner, 2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN).
Jens Palsberg, Alexander Aiken, Edward L. Wimmers, 1997, TACS.
Alexander Aiken, Shmuel Sagiv, Guy Golan-Gueta, 2015, PLDI.
Alexander Aiken, Yichen Xie, A. Aiken, 2005, ESEC/FSE-13.
William J. Dally, Pat Hanrahan, Alexander Aiken, 2007, PPOPP.
Alexander Aiken, Alexandru Nicolau, Steven Novack, 1995, IEEE Trans. Parallel Distributed Syst..
Michael Bauer, Alexander Aiken, Patrick S. McCormick, 2021, PPoPP.
Alexander Aiken, Oded Padon, Jason R. Koenig, 2021, PLDI.
Michael Bauer, Alexander Aiken, Patrick S. McCormick, 2021, SC.
Alexander Aiken, Percy Liang, Osbert Bastani, 2016, ACM-SIGPLAN Symposium on Programming Language Design and Implementation.
Alexander Aiken, Mayur Naik, A. Aiken, 2007, ACM-SIGACT Symposium on Principles of Programming Languages.
Alexander Aiken, Shmuel Sagiv, Nathan Grasso Bronson, 2012, Conference on Object-Oriented Programming Systems, Languages, and Applications.
Alexander Aiken, Mayur Naik, John Whaley, 2006, PLDI.
Alexander Aiken, A. Aiken, ConstraintsZhendong Su, 2007 .