OCAT: Object Capture based Automated Testing (ISSTA 2010)
Learning to Search Henry Kautz
Linear Static Simple Plate
Logic and Lattices for Distributed Programming Neil Conway UC Berkeley Joint work with: Peter Alvaro, Peter Bailis, David Maier, Bill Marczak, Joe Hellerstein,
Learning to Search
Workshop :Bicycle Frame Design Modified by (2009): Dr. Vijay K. Goyal Associate Professor, Department of Mechanical Engineering University of Puerto Rico.
Logic and Lattices for Distributed Programming Neil Conway UC Berkeley
Learning to Search Henry Kautz University of Washington joint work with Dimitri Achlioptas, Carla Gomes, Eric Horvitz, Don Patterson, Yongshao Ruan, Bart.