Do&Merge: Integrating Parallel Loops and Reductions. - Bwolen Yang; Jon A. Webb; James M. Stichnoth; David R. O'Hallaron; Thomas R. Gross (LCPC, 1993)

Language and Run-Time Support for Network Parallel Computing. - Peter A. Dinda; David R. O'Hallaron; Jaspal Subhlok; Jon A. Webb; Bwolen Yang (LCPC, 1995)

A New Model for Integrated Nested Task and Data Parallel Programming. - Jaspal Subhlok; Bwolen Yang (PPoPP, 1997)

Parallel Breadth-First BDD Construction. - Bwolen Yang; David R. O'Hallaron (PPoPP, 1997)

Space- and Time-Efficient BDD Construction via Working Set Control. - Bwolen Yang; Yirng-An Chen; Randal E. Bryant; David R. O'Hallaron (ASP-DAC, 1998)

A Performance Study of BDD-Based Model Checking. - Bwolen Yang; Randal E. Bryant; David R. O'Hallaron; Armin Biere; Olivier Coudert; Geert Janssen; Rajeev K. Ranjan 001; Fabio Somenzi (FMCAD, 1998)

Optimizing Symbolic Model Checking for Constraint-Rich Models. - Bwolen Yang; Reid G. Simmons; Randal E. Bryant; David R. O'Hallaron (CAV, 1999)

Static property checking using ATPG vs. BDD techniques. - Chung-Yang Huang; Bwolen Yang; Huan-Chih Tsai; Kwang-Ting Cheng (ITC, 2000)