added scope, pldi, and eye-helper