Publications

Conference Papers:

1. Y.-S.Yang, B.Keng, N.Nicolici, A.Veneris and S.Safarpour, “Automated Silicon Debug Data Analysis Techniques for a Hardware Data Acquisition Environment,” in IEEE International Symposium on Quality of Electronic Design (ISQED), 2010.
2. B.Keng and A.Veneris, “Scaling VLSI Design Debugging with Interpolation,” in Formal Methods in CAD (FMCAD), 2009.
3. B.Keng, H.Mangassarian and A.Veneris, “A Succinct Memory Model for Automated Design Debugging,” in IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2008.

Master’s Thesis:

• B. Keng, “Scaling SAT-based Automated Design Debugging with Formal Methods,” MASc Thesis, Toronto, 2009.