pl

Computer security as a field is met with a persistent criticism:flashy attacks arehot,boring (hard-fought) defenses arenot. Comparedto security, programming ...

I recently decided to confront the fact that I didn't know what "realizability" meant. I see it in programming languages papers from time to time, and could see little rhyme or reason to how it was used. Any time I tried to look it up, I got some nonsense...

Many are well aware of the hazards of race conditions. But what about the benefits?