The Department of Computer Science of Colorado State University, in cooperation with ISTeC (Information Science and Technology Center), offers the BMAC seminar series as a service to all who are interested in computer science. BMAC stands for Barney's Monday Afternoon Club which was the name of our first seminar series started by Barney Marschner, a past chair of the Department of Computer Science. Some seminars may be scheduled for days other than Monday, so please look carefully at the dates.

For questions, suggestions, or to schedule a BMAC talk contact Jim Bieman at bieman@cs.colostate.edu or by telephone at 970-491-7096. For help finding the locations of our seminar meetings, consult the on-line CSU campus map.

BMAC Schedule, Spring 2002

Date and Time	Location	Title and Speaker
January 14, 3:30-4:30 PM	Clark C251	In vivo imaging of biological samples: application of computer vision to biology and genomics, Dr. June Medford, Department of Biology, Colorado State University. Abstract available.
January 28, 4:10-5:00 PM	Rockwell 167	On the Accuracy of Garbage Collection, Amer Diwan, University of Colorado, Boulder. Abstract available.
February 4, 4:10-5:00 PM	Rockwell 167	Iterative Compilation in a Non-Linear Optimisation Space. Michael O'Boyle, University of Edinburgh, UK, currently visiting Stanford University. Abstract available.
February 11, 4:10-5:00 PM	Rockwell 167	No seminar this week.
February 18, 4:10-5:00 PM	Rockwell 167	Talk to be rescheduled. Mixed-Initiative Interaction = Mixed Computation., Naren Ramakrishnan, Virginia Tech. Abstract available.
February 25, 4:10-5:00 PM	Rockwell 167	Novel Approaches to Certificate Management in PKI. Prof. Ravi Mukkamala, Department of Computer Science, Old Dominion University. Abstract available.
Friday March 22, 1:10-2:00 PM	Eddy 100	Indirect Reinforcement Learning: An Analysis of the Exploitation-Exploration Tradeoff and an Application to Human-Computer Interaction , Dr. Satinder Singh Baveja. Note special day, time, and location. Abstract available.
March 25, 4:10-5:00 PM	Rockwell 167	MSXmin: A Modular Multicast ATM Packet Switch with Low Delay and Hardware Complexity., Prof. Sibabrata Ray, University of Alabama at Tuscaloosa. Abstract available.
Friday March 29 9:00-9:50 AM	Rockwell 167	Low Fidelity Algorithm Visualization. , Dr. Christopher Hundhausen, University of Hawaii Note special day and time. Abstract available.
April 1, 1PM	B101 Engineering	A State Variable Approach for Feedback Software Process Control, Joao Cangussu, Purdue University. Note special time and location. Abstract available.
TuesdayApril 2, 9AM	Lory 207	Optical High-Speed Networking, Dr. Mohsen Guizani, University of West Florida. Note special time date and location. Abstract available
Friday April 5 9AM	167 Rockwell Hall	Pervasive Information Communities Organization (PICO) , Dr. Behrooz Shirazi, The University of Texas at Arlington. Note special day and time. Abstract available.
April 8, 4:10-5:00 PM	Rockwell 167	Bug Riddance: hard core software engineering, Rex Page, The University of Oklahoma. Jointly sponsored by the Computer Science and Electrical and Computer Engineering Departments. Abstract available.
Friday April 12, Time 9AM	113 Natural Resources	Algorithms for Computational Biology and Data Mining, Ross McConnell, University of Colorado at Denver. Note special day, time, and location. Abstract available.
April 15, 4:10-5:00 PM. Reception at 5PM.	Lincoln Center Mini-theater (417 W. Magnolia)	Software Archaeology, Distinguished Speaker: Grady Booch, Chief Scientist, Rational Software Corporation. Note special location. Abstract available
April 22, 4:10-5:00 PM	Rockwell 167	A Cryptographic Solution to Implement Access Control in a Hierarchy and More, Indrakshi Ray, Computer Science, Department, Colorado State University. Abstract available
April 29, 4:10-5:00 PM	Rockwell 167	In vivo imaging of biological samples: application of computer vision to biology and genomics Part 2 , Dr. June Medford, Department of Biology, Colorado State University.
Thursday May 2, 11 AM	Engineering E204	Three Tools to Help with Cluster and Grid Computing: ATLAS, PAPI, and Netsolve, Prof. Jack Dongarra, University of Tennessee. Joint EECE/CS research seminar. Note special day, time, and location. Abstract available
Thursday May 2, 2 PM	Lory Student Center, Room 224-226	An Overview and Trends in High Performance Computing , Prof. Jack Dongarra, University of Tennessee. ISTeC Distinguished Lecture. Note special day, time, and location. Abstract available

Other seminars may be added to this schedule for days other than those curently listed above. Visit this site often for an updated schedule.

Other Seminar Series

The following is a list of other seminar series available in our area that include topics of interest to computer science students and professionals:

• University of Wyoming Computer Science Department
• Colorado State Mathematics Department: Applied Mathematics Seminar
• University of Colorado Boulder Computer Science Department
• University of Colorado Denver Computer Science and Engineering Colloquium
• Colorado School of Mines Math and Computer Science Department

Previous BMAC Seminars

Fall 2001

• Economics Paradigm for Resource Management and Scheduling in Peer-to-Peer and Grid Computing. Rajkumar Buyya, Monash University, Melbourne, Australia.
• How to Succeed as a Graduate Student Profs. Ross Beveridge and Dale Grit.
• ``Systems'' Research in the Computer Science Department. Profs. Wim Bohm, Yashwant Malaiya, Sanjay Rajopadhye, Indrajit Ray, Indrakshi Ray. Computer Science Department Research Group Presentation.
• Software Engineering Research in the Computer Science Department. Profs. Roger Alexander, Anneliese Andrews, James Bieman, Robert France, Sudipto Ghosh. Computer Science Department Research Group Presentation.
• Optimizing the Testing Process and how to Detect Unreliable Software Components . Harald Stieber, Nürnberg.
• Artificial Intellegence Research in the Computer Science Department. Profs. Chuck Anderson, Ross Beveridge, Bruce Draper, Adele Howe, Darrell Whitley. Computer Science Department Research Group Presentation.
• Knapsack on a Chip. Prof. Sanjay Rajopadhye.
• Electronic Voting Over the Internet: Can We Prevent another Florida 2000? Prof. Indrajit Ray.
• Sexual Harassment: The Ultimate Error Message. Roselyn Cutler, CSU Office of Equal Opportunity.
• Recognition of Circular Arc Graphs. Ross McConnell, University of Colorado, Denver.
• AC/DC - Architecture-Cognizant Divide and Conquer. Larry Carter, University of California, San Diego.
• Allocating independent tasks on heterogeneous platforms. CRA-W Distinguished Speaker: Jeanne Ferrante, University of California, San Diego.
• Panel: Career Choices After the Bachelor's Degree in C.S.: Perspectives of Women in Industry and Academia. Panelists: Jeanne Ferrante, Univ. of California, San Diego; Joann Ordille, Aviya Labs; Liz Bradley, Univ. of Colorado, Boulder; Monica Chawathe, Colorado State Univ.; Dian Hansen, Colorado State University and Hewlett Packard. Moderator: Indrakshi Ray, Colorado State Univ.
• Heterogeneous Distributed Computing: Goals, Methods, and Open Problems. H.J. Siegel.

Spring 2001

• Identifying Mental Tasks from Spontaneous EEG: Signal Representation, Chuck Anderson, Department of Computer Science, Colorado State University.
• Electrical Impedance Imaging, Jennifer Mueller, Departmentof Mathematics, Colorado State University.
• Next Generation E-Business Systems: A Computer Science/Industry Challenge, Ralph Castain, Business Technology Manager, Eaton Corporation.
• Delivering Tomorrow's Content, Matt Haines, Inktomi, Fort Collins, CO.
• Ruleforms -- Algorithms & Applications, Gary Overgard, Industry Consultant, Cincom Corporation.
• The Nature of Forward and Inverse Problems in the Atmospheric and Earth Sciences, Graeme Stephens, Department of Atmospheric Science, Colorado State University.
• Reinforcement Learning Chaos Control Using Value Sensitive Vector Quantization, Sabino Gadaleta, Department of Mathematics, Colorado State University.
• Writing a Text on Computer Architecture - Is There Anything Left to Say in a Post Hennessy and Patterson Era?, Alan Clements, University of Teesside, UK.
• Control of Starvation-induced Apoptosis in CHO Cell Culture, M. Nazmul Karim, Department of Chemical and Bioresource Engineering, Colorado State University.

Fall 2000

• Machine Learning for Subproblem Selection, Robert Moll, Department of Computer Science, University of Massachusetts, Amherst, MA.
• Loop Fusion and Temporal Common Subexpression Elimination in the Cameron SA-C Compiler, Jeff Hammes, Department of Computer Science, CSU.
• Software Module Size Distribution and Defect Density, Yashwant Malaiya, Department of Computer Science, CSU.
• Designing the Emotion Engine, Howard A. Landman, Vitesse Semiconductor, Longmont, CO
• Static Checking of Interrupt-driven Software, Jens Palsberg, Department of Computer Science, Purdue University.

Spring 2000

• The Evolution of a Load Value Predictor, Martin Burtscher (University of Colorado)
• A Compositional Approach to Interprocedural Control Dependence Analysis, Judith Stafford (University of Colorado).
• Exploring the Quantitative Benefits of New Architectures for Object-Oriented Programs - A Summary of Past and Future Studies, Chris Sadler, HP
• A System for Predictable Component-Based Software Construction, Murali Sitaraman (West Virginia University)
• Visualization of Large Graphs, Stephen Kobourov (John Hopkins University)
• Evolutionary Computation with Humans in the Loop, Elizabeth Sklar (Brandeis University)
• Knowledge Discovery in Sequence, Temporal and Spatial Databases , Zoran Obradovic (Washington State University)
• The Triangular Format Graph, Michael D. Vose
• Explaining Synthesized Software, Jeffrey Van Baalen, University of Wyoming
• An Interface-based Testing Methodology for Distributed Component-based Systems , Sudipto Ghosh, Purdue
• Toward the Rapid Development of Dependable Mobile Applications, Amy Murphy, Washington University
• Microprocessors for the Years 2001 and 2009, Yale Patt
• Vision-Guided Robotics: From Controlled Active Vision to HOLDER, Christopher Smith, University of Colorado at Denver.
• Programming with proofs, and proving programs, James Caldwell, University of Wyoming
• Feature Selection from Huge Feature Sets in the Context of Computer Vision, Jose Bins, Colorado State University
• Multiple Access Technologies that are Reshaping the Wireless World, Carl Nassar, Colorado State University

Fall 1999

• Data Dissemination in a Mobile Environment, Wang-Chien Lee, GTE Labs.
• Making Technology Transfer Decisions, Shari Pfleeger, Systems/Software & Univ. Maryland
• Daemons and Drag-Ins: Perils of the Web, Charles Pfleeger, Arca Systems
• New features of the IA-64 architecture, Joel Boney, Hewlett Packard, Microprocessor Technology Lab.
• Software Engineering Research Collaboration: Lund University and CSU, Claes Wohlin, Lund University
• On the Aesthetics of Diagrams David Harel, Weizmann Institute
• Linux Clusters: High Reliability & Performance, Alan Robertson, Bell Labs - Lucent Technologies

Spring 1998

• Semi-Automated Tracing and Visualization of Medical Images , Charles Anderson, Department of Computer Science, CSU.
• A New Approach to Data Reduction, Michael Kirby, Department of Mathematics, CSU.
• Genetic Prediction Application on a Low-Cost Cluster of PCs, Dr. Bruce Golden, College of Agricultural Science, CSU.
• Current Research Funding Opportunities at the National Science Foundation, Larry Reeker, Program Director, Knowledge and Cognitive Systems, Division of Information and Intelligent Systems, National Science Foundation.
• The Application of Formal Software Inspections in an Industrial Environment, Walter Lamia, Hewlett-Packard, Fort Collins, CO.
• Applying Genetic Algorithms to Molecular Architecture Problems, Wayne Pullan, University of Colorado, Boulder, CO.
• Argumentation as a General Approach to Decision Making Under Uncertainty, Dr. Simon Parsons, Electronic Engineering Department, Queen Mary and Westfield College, University of London.
• Uncovering Architectural Mismatch in Component Behavior, Dr. Alex Wolf, UC Boulder.
• Generation of memory efficient code from a functional language , Fabien Quillere, IRISA (CNRS), Campus Universitaire de Beaulieu, France.
• Rocket Science at MTU: Overview of the Rocket C/Fortran compiler , Dr. Phil Sweany, Michigan Technological University.
• A Tractable Walsh Analysis of SAT and its Implications for Genetic Algorithms, Soraya Rana, Department of Computer Science, Colorado State University.
• Reinforcement Learning for Dynamic Channel Allocation in Cellular Telephone Systems,Dr. Satinder Singh, UC Boulder.
• Accurate Software Defect Density Estimation, Dr. Yashwant Malaiya and Jason Denton, Department of Computer Science, CSU.

Fall 1997

• Specification and Detection of Parallelism in Object-Oriented Programs, Dr. Sandeep Kumar, Hewlett-Packard Co., Palo Alto.
• Concurrent Object-Oriented Programming, Dr. Gul Agha, Director of the Open Systems Laboratory, U. of Illinois, Urbana, IL.
• Bridging the Formal/Informal Specification Culture Gap, Dr. Robert B. France, Department of Computer Science & Engineering Florida Atlantic University, Boca Raton, Florida
• What do Software Reliability Parameters Mean?, Jason Denton, graduate student in computer science at CSU.
• Automatic Test Generation using Checkpoint Encoding and Antirandom Testing, Zemen Lebne-Dengel, Hewlett-Packard and a PhD student in computer science at Colorado State University.
• The Evolution and Impact of the First Electronic Digital Computer, John V. Atanasoff II, CEO of Colorado MEDtech, Inc.
• Chaos and Control, Dr. Elizabeth Bradley, University of Colorado, Computer Science Department.
• Speaker Verification Using Neural Tree Networks and Data Fusion Methods, Kevin Farrell, T-NETIX/SpeakEZ Inc., Englewood, CO.
• Using Integrated Informal and Formal Modeling Techniques to Analyze Functional Requirements: A Case Study, Dr. Robert France, Florida Atlantic University.
• Medium Access Control Protocols, Event-Driven Simulation, and Performance Evaluation of Robust WDM Network, Chintan Vaishnav, Lucent Technologies.