research highlights
P. 96
Technical
Perspective
The ultimate
Pilot Program
By Stuart Russell
and Lawrence Saul
P. 97
Apprenticeship Learning
for Helicopter Control
By Adam Coates, Pieter Abbeel, and Andrew Y. Ng
P. 106
Technical
Perspective
A Compiler’s story
By Greg Morrisett
P. 107
Formal Verification
of a Realistic Compiler
By Xavier Leroy