thomHTML>
Alex Aiken
Alex Aiken
Alcatel-Lucent 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 an ACM Fellow, a recipient of Phi Beta Kappa's Teaching Award, and a former National Young Investigator.
Alex 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.
I'll be teaching a public, on-line course
on Compilers, launching April 23; you can see the course (and sign
up!) here. I'll cover all
the essentials of compiler construction, plus material on
language design and semantics, optimization, and bit on the history of
programming languages. There will be optional programming assignments for
hard-core enthusiasts who want to build a full, functioning compiler for
COOL, the Classroom Object Oriented Language.
New Papers
Here are (some of) the most recent papers I've been working on with my collaborators.
As they appear in print the papers move to my
publications page (though lately I haven't been posting papers
anywhere except on the publications page).
-
Nothing new at the moment.
Current Projects
- Here's a demo video on DeduceIt, a system for checking student derivations in formal systems.
And here's a link to various pages internal to these projects.
Past Projects
- Sequoia: Programming Hierarchical Memory Machines
- Saturn: a SAT-based tool for static error detection.
-
Chord: Effective Static Race Detection.
-
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.
- Advice for Program Chairs distills my experience (and things I've learned from many other people) as a program chair for POPL and PLDI.
- Here is my program chair's report for PLDI'10. Unfortunatley the pdf can't correctly display some things in the report, so here is the original Power Point as well.
- I delivered a memorial for John Backus at PLDI'07.
- My family took most of the '07-'08 academic year off to travel the world. Those with too much time on their hands can check out the trip's web page.
Current Ph.D. Students
Graduated Ph.D. Students
