Children
Sign in to add traineeYichen Xie | grad student | 2006 | Stanford |
Mayur H. Naik | grad student | 2008 | Stanford |
Osbert Bastani | grad student | 2012-2018 | Stanford |
Zhihao Jia | grad student | 2013-2020 | Stanford |
BETA: Related publications
See more...
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. |
Hawkins P, Rinard M, Aiken A, et al. (2012) An introduction to data representation synthesis Communications of the Acm. 55: 91-99 |
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 |
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 |
Aiken A, Fähndrich M, Su Z. (2000) Detecting races in Relay Ladder Logic programs International Journal On Software Tools For Technology Transfer. 3: 93-105 |
Aiken A. (1999) Introduction to set constraint-based program analysis Science of Computer Programming. 35: 79-111 |
Aiken A, Fähndrich M, Foster JS, et al. (1998) A Toolkit for Constructing Type- and Constraint-Based Program Analyses Lecture Notes in Computer Science. 78-96 |
Yelick KA, Semenzato L, Pike G, et al. (1998) Titanium: a high-performance Java dialect Concurrency and Computation: Practice and Experience. 10: 825-836 |