Cho who has had mental health issues all of his life and was in treatment all through high school had a severe anxiety disorder (selective mutism) and depression:
http://www.governor.virginia.gov/TempContent/techPanelReport.cfm
Looks like ASD was ruled out in his case although the diagnosis was in it's infancy and he may certainly qualify now and get more supports at school if he was a child nowadays.
Amy Bishop? Her lawyer speculated paranoid schizophrenia but we won't know until trial.
and Holmes who knows? Paranoid schizophrenia? ASD?
Bishop and Holmes may display symptoms of Asperger's Disorder but as has been argued vigorously on this board, many disorders can present like ASD without being ASD.