Alex Aiken
Professor of Computer Science
Stanford University
|
past portraits
|
Contact
FAQ
Publications
Software
Bio
Teaching
Research
Misc
Students
Alex Aiken received his Bachelors degree in Computer Science and Music
from Bowling Green State University
in 1983 and his Ph.D. from Cornell
University in 1988. Alex was a Research Staff Member at the IBM
Almaden Research Center (1988-1993) and a Professor in the EECS department at UC Berkeley (1993-2003) before joining the Stanford faculty in 2003.
He is married to Jennifer
Widom. Jennifer and Alex have a son Tim
and a daughter Emily.
Here are some photos from the family's travels.
New Papers
Here are the most recent papers I've been working on with my collaborators.
As they appear in print the papers move to my
publications page.
- Yikes - no new papers at the moment!
Current Projects
-
Chord: Effective Static Race Detection.
- Saturn: a SAT-based tool for static error detection.
- Sequoia: Programming Hierarchical Memory Machines
And here's a link to various pages internal to these projects.
Past Projects
-
Cooperative Bug Isolation
- CQual: Adding specifications to programs with programmer-defined type qualifiers.
- Banshee, daughter of BANE,
the Berkeley ANalysis Engine for constructing constraint-based program
analyses.
- CAP: Search millions of lines of open source for your code.
- Open Source Quality Project: Applying technology to software engineering problems.
- Titanium: Compiler
support for explicit parallel programming.
-
Cool: A freely available
course project for teaching compilers to undergraduates.
-
Moss: A Measure
of Software Similarity, useful for detecting plagiarism in programming
assignments.
- I delivered a memorial for John Backus at PLDI'07.
- My wife and I will be taking most of the '07-'08 academic year off to travel with our kids. Those with too much time on their hands can check out the trip's web page.
Current Ph.D. Students
Graduated Ph.D. Students