Understanding law and the rule of law: a plea to augment CS curricula.
Automata modulo theories.
Behold the Ch!Ld.
Battery day.
Technical perspective: Robust statistics tackle new problems.
The agency trilemma and ACM.
Robustness meets algorithms.
Let's be honest.
Trustworthy scientific computing.
A satisfying result.
Implementing insider defenses.
Teaching other teachers how to teach CS better.
Computing enabled me to...promote sustainability and help underserved communities.
HCDA: from computational thinking to a generalized thinking paradigm.
Software professionals, malpractice law, and codes of ethics.
What serverless computing is and should become: the next phase of cloud computing.
A traffic cop for low earth orbit.
Technical perspective: A logical step toward the graph isomorphism problem.
The 10 best practices for remote software engineering.
Isomorphism, canonization, and definability for graphs of bounded rank width.
Catching the fakes.
In response to 'Vardi's insights'.
CS unplugged or coding classes?
Enclaves in the clouds.