Alexander S. Aiken

Affiliations: 
University of California, Berkeley, Berkeley, CA 
Area:
Computer Science
Google:
"Alexander Aiken"
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Jofre L, Papadakis M, Roy P, et al. (2020) Multifidelity Modeling of Irradiated Particle-Laden Turbulence Subject to Uncertainty International Journal For Uncertainty Quantification
Schkufza E, Sharma R, Aiken A. (2016) Stochastic program optimization Communications of the Acm. 59: 114-122
Hawkins P, Rinard M, Aiken A, et al. (2012) An introduction to data representation synthesis Communications of the Acm. 55: 91-99
Aiken A. (2010) Session details: Singular topics Sigplan Notices. 45
Dillig I, Dillig T, Aiken A. (2010) Reasoning about the unknown in static analysis Communications of the Acm. 53: 115-123
Terauchi T, Aiken A. (2008) A capability calculus for concurrency and determinism Acm Transactions On Programming Languages and Systems. 30
Terauchi T, Aiken A. (2008) Witnessing side effects Acm Transactions On Programming Languages and Systems. 30
Goldsmith SF, Aiken AS, Wilkerson DS. (2007) Measuring empirical computational complexity 6th Joint Meeting of the European Software Engineering Conference and the Acm Sigsoft Symposium On the Foundations of Software Engineering, Esec/Fse 2007. 395-404
Xie Y, Aiken A. (2007) Saturn: A scalable framework for error detection using Boolean satisfiability Acm Transactions On Programming Languages and Systems. 29: 16
Foster JS, Johnson R, Kodumal J, et al. (2006) Flow-insensitive type qualifiers Acm Transactions On Programming Languages and Systems. 28: 1035-1087
See more...