Texan shooter executed November 10 2009?

Does anyone know the name of the man that starting shooting people from his car at a high school in Texas? He was executed today... ?