Bwolen's Publications

Thesis Dissertation
  • Optimizing Model Checking Based on BDD Characterization (abstract and bib | gzipped postscript | gzipped PDF).
    Bwolen Yang.
    Technical Report CMU-CS-99-129, School of Computer Science, Carnegie Mellon University, May 1999.

    • Model Checking and Binary Decision Diagrams (BDDs)
  • Static Property Checking Using ATPG v.s. BDD Techniques (abstract | PDF).
    C.-Y. Huang, B. Yang, H.-C. Tsai, and K.-T. Cheng.
    In Proc. of International Test Conference (ITC'00), pages 309-316, Atlantic City, NJ, October 2000.

  • Optimizing Symbolic Model Checking for Constraint-Rich Models (abstract | postscript | PDF).
    B. Yang, R. Simmons, R. Bryant, and D. O'Hallaron. In Proc. of International Conference on Computer-Aided Verification (CAV'99), pages 328-340, Trento, Italy, July 1999.
    A more complete version can be found as Technical Report CMU-CS-99-118 (abstract and bib | postscript | PDF), School of Computer Science, Carnegie Mellon University, March 1999.

  • A Performance Study of BDD-Based Model Checking (abstract and bib | postscript | PDF).
    B. Yang, R. Bryant, D. O'Hallaron, A. Biere, O. Coudert, G. Janssen, R. K. Ranjan, F. Somenzi.
    An invited paper in the Second International Conference on Formal Methods in Computer-Aided Design (FMCAD'98), pages 255-289, Palo Alto, CA, November 1998.

  • Space- and Time-Efficient BDD Construction via Working Set Control (abstract and bib | postscript).
    B. Yang, Y.-A. Chen, R. Bryant, and D. O'Hallaron.
    In Proc. of Asia and South Pacific Design Automation Conference (ASPDAC'98), pages 423-432, Yokohama, Japan, February 1998.

  • Parallel Breadth-first BDD Construction (abstract and bib | postscript).
    B. Yang and D. O'Hallaron.
    In Proc. of the Sixth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'97), pages 145-156, Las Vegas, NV, June 1997.

  • Breadth-First with Depth-First BDD Construction: A Hybrid Approach, (abstract and bib | postscript).
    Y.-A. Chen, B. Yang, and R. E. Bryant.
    Technical Report CMU-CS-97-120, School of Computer Science, Carnegie Mellon University, March 1997.

    • Fx Project -- Parallel Fortran Compiler
  • A New Model for Integrated Nested Task and Data Parallel Programming (abstract and bib | postscript).
    J. Subhlok and B. Yang.
    In Proc. of the Sixth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'97), pages 1-12, Las Vegas, NV, June 1997.

  • Language and Run-Time Support for Network Parallel Computing (abstract and bib | postscript).
    P. Dinda, D. O'Hallaron, J. Subhlok, J. Webb, B. Yang.
    In Proc. Eighth International Workshop on Languages and Compilers for Parallel Computing (LCPC'95), pages 534-550, Columbus, Ohio, August 1995.

  • Procedure Call Models for Distributed Parameters in Data Parallel Programs . (abstract and bib | postscript).
    B. Yang and D. O'Hallaron.
    In Proc. of the Scalable Parallel Libraries Conference II (SPLC'94), pages 157-164, Mississippi State, Mississippi, October 1994.

  • The CMU Task Parallel Program Suite, (abstract and bib | postscript).
    P. Dinda, T. Gross, D. O'Hallaron, E. Segall, J. Stichnoth, J. Subhlok, J. Webb, and B. Yang.
    Technical Report CMU-CS-94-131, School of Computer Science, Carnegie Mellon University, March 1994.

  • Do&Merge: Integrating parallel loops and reductions, (abstract and bib | postscript).
    B. Yang, J. Webb, J. Stichnoth, D. O'Hallaron, and T. Gross.
    In Proc. Sixth Workshop on Languages and Compilers for Parallel Computing, volume 768 of Lecture Notes in Computer Science, pages 169-183, Portland, OR, August 1993. Springer Verlag.

    • Bwolen Yang bwolen@cmu.edu
    [count] accesses since January 1999.