It appears whatever you were looking for is no longer here or perhaps wasn't here to begin with. You might want to try starting over from the homepage to see if you can find what you're after from there.
Publications
Parametrized Hierarchical Procedures for Neural Programming
Towards Specification-Directed Program Repair
Tree-to-tree Neural Networks for Program Translation
Towards Synthesizing Complex Programs From Input-Output Examples
PerfFuzz: Automatically Generating Pathological Inputs
A Berkeley View of Systems Challenges for AI