Technical report (University of California, Los Angeles. Computer Science Department)