Los Angeles, California - Attorney General Kamala D. Harris issued the following statement on the shooting at University of California, Los Angeles:

Washington, DC - Rear Admiral Brian Antonio relieved Vice Adm. (sel) Tom Moore as program executive officer for the Aircraft Carrier (CV) program during a change of office ceremony June 1 at the Washington Navy Yard.

Los Angeles, California - UCLA Police Chief James Herren spoke to the media and detailed how authorities responsed to the 911 call, which came in around 10 a.m.

Washington, DC - The May 22, 2011, tornado in Joplin, Missouri, rated an EF-5 the most powerful ranking on the Enhanced Fujita tornado intensity scale. It caused 161 fatalities and more than 1,000 injuries, making it the deadliest single tornado in the U.S. since we began keeping official records in 1950. With losses approaching $3 billion, it was also the costliest tornado on record. All told, the tornado damaged 553 business structures and nearly 7,500 residential structures. Over 3,000 of those residences were heavily damaged or completely destroyed.

Washington, DC - Volunteers from the American Red Cross are responding to the devastating flooding occurring in Texas after some parts of the state received 19 inches of rain over the holiday weekend. Since the beginning of the year, numerous storms have ravaged the state, displacing thousands of families and devastating homes and businesses.

Cambridge, Massachusetts - Symbolic execution is a powerful software-analysis tool that can be used to automatically locate and even repair programming bugs. Essentially, it traces out every path that a program’s execution might take.