What is white jelly thing called which accumulates in corners of eyes at night?

I call it sleepy dust. Or simply "sleep." For example: The girl woke up and rubbed the sleep out of her eyes.