Just to point out the obvious, often the best way to deal with sexist co-workers is to confront the worker, directly, when the bad behavior occurs. The absolute worst way is to go whining to HR or the boss about every perceived or real sexist slight in the workplace. If you're in a male dominated field, and Warren has spent a career in such fields, and cannot PERSONALLY handle the vast majority of such incidents, you need to get a new career, or at least a new job.
There are exceptions to everything and behavior that veers into sexual HARASSMENT can't be ignored and may require legal action, and obviously some instances or repeated instances of sexism require drastic action, but to assume that there is ONE option here for Warren - go public with names, dates, times details - is just unbelievably boneheaded. The root of most sexism is a fundamental lack of respect for women as professionals (in this case). The best way to gain respect and deal with sexist coworkers is to do your job competently, stand up for yourself when needed, and have enough common sense to pick your battles and reserve them for things that matter. Option 1 just is NOT to go public to the press/boss/HR.
BTW, did a simple Google search, and this came up: 3 Reasons Why It Pays to Not Let Sexist Comments Slide - Forbes
It's obviously not the only advice or the best advice for all circumstances, but the gist of is summarized in this sentence: "Well, it turns out that there are three very good reasons why you should confront the perpetrator of a sexist comment." It's obviously good advice.