Alex Aiken
University/Research Lab: Stanford University
Location: (Stanford, CA)
Personal Research Web Page: http://theory.stanford.edu/~aiken
Keywords: program analysis, verification, constraint resolution, static analysis, dynamic analysis, programming languages, compilation, program optimization, large scale parallel computing
Location: (Stanford, CA)
Personal Research Web Page: http://theory.stanford.edu/~aiken
Keywords: program analysis, verification, constraint resolution, static analysis, dynamic analysis, programming languages, compilation, program optimization, large scale parallel computing
Posted on: Wednesday, April 28th, 2010
Broad Research Area: Numerical/Scientific Computing / HPC / Data-Intensive Scalable Computing, Programming Languages / Compilers, Software Engineering
Research Interests:
My current research interests are in two broad areas: the automatic analysis of software (either static or dynamic) for verification or bug finding, and in programming highly parallel machines, in particular programming heterogeneous machines with complex memory hierarchies.
