Tamalpais Union High School District officials on Monday released the names of the four girls as 9th grade student Olive Koren and 10th grade students Sienna Katz, Jocalynn Osborn and Ada Kepley.