research highlights
P. 99
Predicting Program Properties
from ‘Big Code’
By Veselin Raychev, Martin Vechev, and Andreas Krause
P. 98
Technical
Perspective
Borrowing Big
Code to Automate
Programming
Activities
By Martin C. Rinard
P. 109
A Deterministic Parallel
Algorithm for Bipartite
Perfect Matching
By Stephen Fenner, Rohit Gurjar, and Thomas Thierauf
P. 108
Technical
Perspective
Isolating a Matching
When Your Coins
Go Missing
By Nisheeth K. Vishnoi