James C. Browne

Office - Taylor Hall 5.126
Telephone - 512-471-9579
Fax - 512-471-8885
Email - browne@cs.utexas.edu

B.A. (1956)
Hendrix College

Ph.D. (1960)
University of Texas at Austin

Honors and Awards

• Fellow, British Computer Society
• Fellow, American Physical Society
• Fellow, Association for Computing Machinery
• Fellow, American Association for the Advancement of Science

Classes

• CS380L, Advanced Operating Systems, Fall 1997
• CS313, Elements of Software, Fall 1999
• CS380N, Systems Modeling, Spring, 2000
• CS313, Elements of Software, Spring, 2000
• CS392C, Methods and Techniques of Parallel and Distributed Programming, Fall 2000
• CS313E - Elements of Software, Fall 2000
• CS380N - Systems Modeling, Spring 2001
• CS392C Methods and Techniques of Parallel and Distributed Programming, Fall 2001
• CS380N - Systems Modeling, Spring 2002
• CS377 - Principles and Applicaitions of Parallel Programming
• Internet and Grid-Based Computational Systems - Fall 2002
• CS377 - Principles and Applications of Parallel Programming - Spring 2003
• CS380N - Systems Modeling - Spring 2003
• CS395 - Internet and Grid Systems and Applications - Fall 2003
• CS380N - Systems Modeling - Fall 2003
• CS371S - Object-Oriented Software Engineering - Spring 2004
• CS395T - Integrated Approach to Verification and Validation - Spring 2005
• CS380N - Systems Modeling - Spring 2005
• CS378 - Unified Approach to Verification and Validation of Software Systems - Fall 2005
• CS371S - Model Based Development of Software Systems - Fall 2005
• CS395T - Internet and Grid-Based Computation Systems and their Applications - Fall 2005
• CS378 Unified Approach to Verification and Validatio n of Software Systems - Fall 2006
• CS371S - Model Based Development of Software Systems - Fall 2006
• CS378 Unified Approach to Verification and Validation of Software Systems - Fall 2007
• CS395T Unified Approach to Verification and Validation of Software Systems - Fall 2007
• CS371S - Model Based Development of Software Systems - Fall 2008
• CS378 Unified Approach to Verification and Validation of Software Systems - Fall 2008
• CS395T Unified Approach to Verification and Validation of Software Systems - Fall 2008

Areas of Interest

SIAM Parallel Processing Presentation - March 2001

• Model Based Control of Distributed Applications

  Summary of Research

  I have been working on parallel programming for more than ten years. The Computationally Oriented Display Environment (CODE), an abstract declarative graphical environment for parallel programming, has evolved through three generations. Ongoing research includes methods for optimization of parallel computation structures at high levels of abstraction, integration of parallel structuring through data partitioning into the generalized data flow model of CODE, debugging in the graphical/visual environment, compositional approaches to parallel programming and the addition of intelligence process control to parallel programs in computational fluid dynamics. I am also working on design and development of narrow domain compilable high level specification languages including logic-based languages and robust methods for programming intelligent real-time decision systems.The POEMS project for performance modeling of parallel and distributed systems (POEMS) integrates interests in both parallelism and specification languages.

  Selected Recent Publications

  • J. C. Browne, S. I. Hyder, J. Dongarra, K. Moore, P. Newton, "Visual Programming and Debugging for Parallel Computing," IEEE Parallel and Distributed Technology, Spring 1995, Volume 3, Number 1, 1995.

    Compares the visual parallel programming environments HeNCE and CODE 2. (21K)

  • J. C. Browne, S. I. Hyder, J. Dongarra, K. Moore, P. Newton, "Visual Programming and Debugging for Parallel Computing", Technical Report TR94-229, Dept. of Computer Sciences, Univ. of Texas at Austin, 1994.

    Compares the visual parallel programming environments HeNCE and CODE 2 (a longer version of the above paper, with more references). (138K)

  • J. C. Browne, J. S. Werth, et al., "Interaction of the formal and practical in the development of a parallel programming environment: the CODE parallel programming system," in Proceedings of the Fourth Workshop on Languages and Compilers for Parallel Computing, Santa Cruz, California, August 1991.

  • J. C. Browne, R. Jain, and J. S. Werth, "An experimental study of the effectiveness of high level parallel programming," in Proceedings of the 5th SIAM Conference on Parallel Processing, 1991.

  • J. C. Browne, D. P. Miranker, and C. M. Kuo, "Parallelizing compilation of rule-based programs," in Proceedings of 1990 International Conference on Parallel Processing, August 1990, pp. 247-251.

  • S. I. Hyder, J. Werth, and J. C. Browne, "A unified model for concurrent debugging," in Proceedings of the 1993 International Conference on Parallel Processing, IEEE Computer Society, August 1993.

  • M. Kleyn, J.C. Browne, "A High Level Language for Specifying Graph-Based Languages and their Programming Environments", 15th International Conference on Software Engineering, Baltimore MD, April, 1993.

    The PostScript file is an extended version of the above paper.(88K)

  • P. Newton and J.C. Browne, "The CODE 2.0 Graphical Parallel Programming Language", Proc. ACM Int. Conf. on Supercomputing, July, 1992.

    This paper describes a prototype implementation of CODE 2. Some of the notations have changed, but the ideas are the same. This paper remains a good broad introduction to CODE because it is brief.(91K)

  • F. Xie and J.C. Browne, "Integrated S tate Space Reduction for Model Checking Executable Object-Oriented Software Desi gns" (To appear in the proceedings of FASE 2002.)

  • N. Sharygina, J.C. Browne and R. Kurshan "A Formal Object-Oriented Analysis for Software Reliability: Design for Reliabil ity" (Proceedings of FASE 2001)

  • F. Xie, V. Levin and J.C. Browne "Model C hecking for an Executable Subset of UML" (Proceedings ASE 2001)

  ---

  browne@cs.utexas.edu