Children
Sign in to add trainee| Yichen 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 |