One has to be careful not to let this devolve into a "we had to destroy this village to save it" scenario. It is possible to win the battle and lose the war, that is, completely screw up the kid's social life for the rest of his time in this school.
It's hard to give generic recommendations, it all depends on particular circumstances. Obviously there is a balance to be struck between helicopter parenting and "as long as he's not in a hospital it's all fine". In some cases it's better to let the kid handle it himself, in some cases it's better to go to the administration, in some cases it's better to switch schools.
My intention isn't to create a typical social interaction where none currently exists. My intention is to prevent non-aggressors from feeling like the only course of action is to become an aggressor, and the general-case solution to that problem requires an appeal to the social systems set in place for that purpose.
Although my 8-year-old son likes his teacher, he is frequently bored at school. He attends a high quality suburban public school in the United States. He has a lot of traits in common with LessWrong readers, and we would like advice for what he can do to counter his boredom. Many of you must have found grade school more or less tedious. What were your coping strategies?