Opinion

Getting peace right: Why justice needs to be baked into ceasefire agreements – including Ukraine’s

Past agreements and proposals aimed at ending the conflict in Ukraine failed because in the rush to stop the fighting, they ignored questions of justice. The literature on transitional justice, by ...
Opinion

From civil disobedience to networked whistleblowing: What national security truth-tellers reveal in an age of crackdowns

Strengthening and supporting these alliances would help preserve freedom of expression and the right to know. That means supporting cross-border networks of journalists, lawyers and human rights ...
Microsoft

Programming by Examples: PL meets ML

Programming by Examples (PBE) involves synthesizing intended programs in an underlying domain-specific programming language (DSL) from example-based specifications. This new frontier in AI enables ...
Microsoft

FlashFill++: Scaling Programming by Example by Cutting to the Chase

Programming-by-Examples (PBE) involves synthesizing an intended program from a small set of user-provided input-output examples. A key PBE strategy has been to restrict the search to a carefully ...