Lavacicle

Lavacicles are geological formations resembling small round-tipped stalactites that are found in lava tubes, the name comes from their resemblance to icicles. Lavacicle is really a generic term that encompasses several different types of stalactites found in lava tubes, which differ in their shape and morphology (from Bunnell, 2008):