personnel profile

Research Statement

Aiken's research focuses on developing techniques for the construction of reliable software systems. His interests include both static and dynamic methods of analyzing programs, and span both detecting errors and verifying the absence of errors in software. Most of his research combines a theoretical component (for example, proving the soundness of a analysis technique) and a practical component, which often involves the implementation and measurement of advanced program analysis algorithms. Finally, his research also extends to the design of new programming languages and programming techniques in which it is easier to write software that can be checked for a wide variety of errors.

Degree	Discipline	Year	School
PhD		1988	Cornell

Publication Title	Author(s)/Speaker(s)	Open Document
Scalable error detection using boolean satisfiability	Aiken, A; Xie, YC
Title: Scalable error detection using boolean satisfiability Author(s): Aiken, A; Xie, YC Journal: ACM SIGPLAN Notices Date Published: 2005-1 [Close Box]
Display All Publications