Is SGD used in machine learning libraries?
Big yes. 

In fact, gradient descent is one of the fundamental tools used by many supervised learning models.

You can check out a very nice docs page about how it is used in scikit-learn.