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. The current BMAC schedule is here.

BMAC Schedule, Spring 2008

Date and Time	Location	Title and Speaker(s)
Monday Jan 28, 2008 11 - 11:50 AM	Lory Student Center Room 214	Network Coding: A New Paradigm For Networking Joint ISTeC Distinguished Lecture/ECE/CS-BMAC Lecture Anthony Ephremides University of Maryland, ECE Dept. (IEEE Fellow)
Monday Feb 4, 2008 11 - 11:50 AM	118 Shepardson	Meeting the Challenges of 21st Century Computational Geoscience Rich Loft National Center for Atmospheric Research
Monday Feb 11, 2008 11 - 11:50 AM	118 Shepardson	Translating Thoughts into Actions by Finding Patterns in Brainwaves Chuck Anderson Colorado State University
Monday Feb 25, 2008 11 - 11:50 AM	118 Shepardson	Vulnerability Discovery in Multi-Version Software Systems with Shared Source Code effect Yashwant K. Malaiya Colorado State University
Monday March 3, 2008 9 - 9:50 a.m.	Engineering Room E205	Scientific Computing: Applications, Algorithms, Architectures Dr. Paolo Bientinesi Duke University, Department of Computer Science
Thursday March 6, 2008 9 - 9:50 AM	Guggenheim Room 107	Precise Program Analysis with Data Structures Bor-Yuh Evan Chang Computer Science Division, Department of Electrical Engineering and Computer Science
Monday March 10, 2008 9 to 10 AM	Engineering Room E205	Storage Systems for Global Scale Datacenters Dr. Hakim Weatherspoon Cornell University
Thursday March 13, 2008 10 to 11 AM	Guggenheim Room 107	Productive Supercomputing Greg Malewicz Google
Monday March 24, 2008 11 - 11:50 AM	Lory Student Center Room 222	Data: Making it be there when you want it and go away when you want it gone Distinguished BMAC talk Dr. Radia Perlman Sun Fellow, Network Protocols and Security Project
Monday April 24, 2008 4-5pm	USC 310B	Cartesian computations and the high cost of moving data Dr. Larry Carter Computer Science and Engineering Dept. University of California, San Diego
Tue Mar 25 9-10AM	Lory Student Center Room 216	Myths, Missteps, and Folklore of Network Protocol Design Distinguished ISTeC talk Dr. Radia Perlman Sun Fellow, Network Protocols and Security Project
Tuesday March 25, 2008 12:30-1:30 p.m.	Engineering Room B103	Quality Now Requires - Small Delay Fault Model Special joint ECE/CS talk Dr. Thomas W. Williams Synopsys Fellow at Synopsys in Boulder, Colorado
Monday March 31, 2008 11 AM - 11:50 AM	LSC room 216	ISTeC Distinguished Lecturer Dr. Francine Berman Director, San Diego Supercomputer Center Professor and HPC Endowed Chair, UC San Diego
Monday April 7, 2008 10 - 11:00 AM	LSC University Club	2008 Student Research Poster Contest Registration deadline March 31, 2008; 5:00 PM
Monday April 7, 2008 11 - 11:50 AM	LSC Cherokee Park room	Future Directions in DoD Science and Technology Joint ISTeC Distinguished Lecture/ECE/CS-BMAC Lecture Dr. Andre van Tilborg Deputy Under Secretary of Defense (Science & Technology)
Monday April 14, 2008 11 - 11:50 AM	118 Shepardson	CS Research Symposium I (Proceedings) Generation of Data-Flow Analyses with DFAGen, A. Stone, M. Strout and S. Behere Seasonality in Vulnerability Discovery in Windows Operating Systems H. Joh and Y. Malaiya Use of A New Trust Model for Making Reasoned Decisions in Different Security Contexts, S. Chakraborty and I. Ray
Monday April 21, 2008 11 - 11:50 AM	Shepardson Room 118	Optimization of Strategies/Heuristics for Delay Tolerant Ad-Hoc Networks Joint Abell Distinguished Lecture/ECE/CS-BMAC Lecture Dr. Pascal Bouvry Heading, CSC research unit, Faculty of Sciences, Technology and Communications of Luxembourg University
Monday April 28, 2008 11 - 11:50 AM	LSC 230	Neural Stimulation using Implantable Devices: Auditory and Optical Systems Dr. Timothy Starkweather Consultant, Second Sight Medical Products
Monday May 5, 2008 11 - 11:50 AM	118 Shepardson	CS Research Symposium II (Proceedings) A Structured-Outputs Method for Prediction of Protein Structure, A. Sokolov and A. Ben-Hur A Taxonomy of Capabilities Based DDoS Defense Architectures V. Kambhampati, D. Massey, C. Papadopoulos Classifier Bias in Protein Function Prediction, M. Rogers and A. Ben-Hur

BMAC Schedule, Fall 2007

Date and Time	Location	Title and Speaker(s)
Monday Aug 27, 2007 11 - 11:50 AM	118 Shepardson	Graduate Student Orientation Ross Beveridge and Dale Grit Department of Computer Science Colorado State University
Monday Sept 3, 2007	-	Labor Day Holiday
Monday Sept 10, 2007 11 - 11:50 AM	118 Shepardson	Computer Science Department Research Overview Prof. Darrell Whitley, Department Chair
Monday Sept 17, 2007 11 - 11:50 AM	118 Shepardson	Software Reliability and Security Engineering Yashwant K. Malaiya Computer Science Dept. Colorado State University Slides in pdf Pt 1, Pt 2.
Monday Oct 1, 2007 11 - 11:50 AM	Lory Student Center Grey Rock Room	Challenges for Consumer Electronics in the 21st Century Joint ISTeC Distinguished Lecture Steve Leibson Tensilica, Inc.
Monday Oct 8, 2007 11 - 11:50 AM	Lory Student Center room 230	Power-Aware High-Performance Computing: The Dawn of a New Era Joint Abell Distinguished Lecture Ishfaq Ahmad Computer Science and Eng Dept University of Texas at Arlington
Monday Oct 22, 2007 11 - 11:50 AM	Lory Student Center room 228	The Internet is flat: A brief history of the Internet in the next ten years Joint ISTeC Distinguished Lecture Don Towsley Department of Computer Science University of Massachusetts
Monday Oct 29, 2007 11 - 11:50 AM	Lory Student Center Grey Rock Room	Scale-up and scale-out: Evolution and trends in parallel processing Joint ISTeC Distinguished Lecture Jose Moreira IBM Thomas J. Watson Research Center Yorktown Heights NY
Monday Nov. 5, 2007 11 - 11:50 AM	118 Shepardson	A Routing-Driven Key Management Scheme for Heterogeneous Sensor Networks James Du North Dakota State University
Monday Nov 12, 2007 11 - 11:50 AM	Lory Student Center room 228	Super SOC: Putting the whole system on the chip Joint ISTeC Distinguished Lecture Mike Flynn Stanford University
Monday Nov 26, 2007 11- 11:50 AM	118 Shepardson	High Performance Computing and Atmospheric Modeling John Michalakes NCAR, MMM Division Slides (5.5MB)
Monday Dec. 3, 2007 11 - 11:50 AM	228 Lory Student Center	Experimental Mathematics and High-Performance Computing David H. Bailey Lawrence Berkeley National Laboratory

BMAC Schedule, Spring 2007

Date and Time	Location	Title and Speaker(s)
Monday January 22 4:10 pm - 5:10 pm	B103 Engineering	Kinematically redundant robots - The promise of human-like dexterity Prof. Tony Maciejewski Electrical and Computer Engineering Department Colorado State University
Monday January 29 4:10 pm - 5:00 pm	133 Wagar	Split Decomposition of Graphs Prof. Ross McConnell Computer Science Department Colorado State University
Monday February 5		No BMAC
Monday February 12 4:10 pm - 5:00 pm	133 Wagar	The Economic Performance of Dot-Com Firms and the Impact of Internet on Traditional Business: Two Case Studies from the History of the Commercialized Internet Prof. William Aspray Professor of Informatics Indiana University
Monday February 19 4:10 pm - 5:00 pm	133 Wagar	Cost-sensitive Classifier Evaluation Using Cost Curves Prof. Robert Holte Department of Computing Science University of Alberta
Monday February 26		No BMAC
Monday March 5		CS Research Symposium
Monday March 12		No BMAC - Spring Break
Monday March 19 4:10 pm - 5:00 pm	133 Wagar	Turning Software Development into Income: An Example Mr. David Schwaab Rebit Co. Fort Collins, Colorado
Friday March 30 10:00 am - 10:50 am	E202 Engr	Malicious Transactions in Mobile Databases Dr. Vijay Kumar Computer Science and Informatics Department University of Missouri, Kansas City
Monday April 2 4:10 pm - 5:00 pm	133 Wagar	MANET Simulation Studies: Reversing the Incredibles Prof. Tracy Camp Computer Science Department Colorado School of Mines
Monday April 9 4:10 pm - 5:00 pm	133 Wagar	Careers and Challenges for Computer Scientists at Sandia National Laboratories Dr. Jean-Paul Watson Sandia National Laboratories
Monday April 16 4:10 pm - 5:00 pm	133 Wagar	Using Random Circulations to Find Small Cuts Prof. Ramakrishna Thurimella Department of Computer Science University of Denver
Friday April 20 3:00 pm - 4:00 pm	Cherokee Room LSC	Genuinely Secure Software Dr. William S. Worley CTO Secure64 Software Corporation
Monday April 23 4:10 pm - 5:00 pm	133 Wagar	Why Robots Will Never Have Sex Prof. Avi Kak Electrical and Computer Engineering Purdue University
Monday April 30 4:10 pm - 5:00 pm	133 Wagar	A Platform-Independent Component QoS Modeling Language for Distributed Real-Time and Embedded Systems Prof. Aniruddha Gokhale Electrical Engineering and Computer Science Department Vanderbilt University

BMAC Schedule, Fall 2006

Date and Time	Location	Title and Speaker(s)
Monday August 28 11:00 am - 11:50 am	118 Shepardson	The Evolution of FreeBSD and Linux Clemente Izurieta Computer Science Department Colorado State University
Monday August 28 4:10 pm - 5:15 pm	Engineering E204	Mixed Discrete and Continuous Algorithms for Scheduling Airborne Astronomy Observations Jeremy Frank Planning and Scheduling Group NASA Ames Research Center
Monday September 11 11:00 am - 11:50 am	118 Shepardson	Graduate Student Orientation Ross Beveridge and Dale Grit Department of Computer Science Colorado State University
Monday September 18 11:00 am - 11:50 am	118 Shepardson	An Update on Google Book Search Digitization at the University of Michigan John P. Wilkin Library Information Technology and Technical and Access Services University of Michigan
Monday September 25 11:00 am - 11:50 am	118 Shepardson	Reconfigurable Computing: Opportunities and Challenges Professor Viktor Prasanna Computer Engineering Division University of Southern California
Monday October 2 11:00 am - 11:50 am	118 Shepardson	Computer Science Department Research Overview Dr. Darrell Whitley Department of Computer Science Colorado State University
Thursday October 5 9:30 am - 10:30 am	132 Wagar	The End of Computing As We Know It. Again Dr. Greg Pfister Distinguished Engineer IBM Systems & Technology Group Advanced Technology and Architecture Department Austin, Texas
Monday October 9 11:00 am - 11:50 am	118 Shepardson	The Walls of Computer Design Professor Jean-Luc Gaudiot Electrical Engineering and Computer Science Department University of California-Irvine
Monday October 16 4:10 pm - 5:00 pm	Engineering E204	Viewing HIV as Evolutionary Computation Dr. Richard K. Belew University of California at San Diego
Monday October 23 11:00 am - 11:50 am	118 Shepardson	Poster Training Session for Upcoming CS Research Symposium
Monday October 30 11:00 am - 11:50 am	118 Shepardson	Security Issues in Collaborative Computing Professor Mikhail Atallah Distinguished Professor Computer Science Department Purdue University
Monday November 6 11:00 am - 11:50 am	118 Shepardson	Simultaneously Improving Privacy and Security Professor Terrance E. Boult El Pomar Prof. of Communication and Computation University of Colorado at Colorado Springs Founder and CEO, Securics,Inc.
Monday November 13 11:00 am - 11:50 am	118 Shepardson	Vulnerabilities in Servers a nd Browsers Omar Alhazmi and Sung-Whan Woo Computer Science Department Colorado State University
Monday December 4 11:00 am - 11:50 am	118 Shepardson	The Spatial Web: Visions For A Geographically Enabled World Professor Michael F. Goodchild Professor of Geography University of California, Santa Barbara

BMAC Schedule, Spring 2006

Date and Time	Location	Title and Speaker(s)
Monday January 30 4:10 pm - 5:00 pm	107 Guggenheim	Towards Robust Overlay Networks: Enhancing Adaptivity Mechanisms with Byzantine-Resilience Dr. Cristina Nita-Rotaru Purdue University Department of Computer Sciences http://homes.cerias.purdue.edu /~crisn
Monday February 6 4:10 pm - 5:00 pm	107 Guggenheim	Beyond the PhD Powerpoint slides Darrell Whitley, Department of Computer Science, CSU
Monday February 13 4:10 pm - 5:00 pm	107 Guggenheim	On Demand Skills for an On Demand World Powerpoint slides Phil Farley, IBM
Monday February 20 4:10 pm - 5:00 pm	107 Guggenheim	Reducing Complexities Gautam, Department of Computer Science, CSU
Thursday February 23 9:00 - 9:50 am	Engineering E104	Model-based Security Engineering Dr. Jan Juerjens, Senior Researcher, Software and Systems Engineering, Department of Informatics, TU Munich, Germany.
Monday February 27 9:00 - 9:50 am	220-222 Lory Student Center	Fingerprinting Internet Path s using Packet Pair Dispersion Christos Papadopoulos, Department of Computer Science Information Sciences Institute and Integrated Media Systems Center University of Southern California
Tuesday February 28 1:10 - 2:00 pm	Engineering E203	Protecting Critical Computing Sy stems: A Hardware/Software Codesign Approach Joseph Zambreno Department of Electrical and Computer Engineering, Northwestern University
Wednesday March 1 3:10 pm - 4:00 pm	USC 110	Toward a better probabilistic under standing of sequence alignment Dan Brown, Cheriton School of Computer Science, University of Waterloo
Thursday March 2 9:00 - 9:50 am	Engineering E105	Building Better Gene Finders Tomas Vinar, University of Waterloo
Monday March 6 9:00 - 9:50 am	224-226 Lory Student Center	Characterizing Flows in Wireless Networks Xiaoqiao (George) Meng Computer Science Department University of California at Los Angeles
Monday March 20 4:10 pm - 5:00 pm	107 Guggenheim	Computational Foundations of Automatic Differentiation Paul Hovland, Argonne NL
Friday March 24 4:10 pm - 5:00 pm	Guggenheim 107	IsTec Distiguished Lecture, reception: 3:30 pm Are You Stealing Content? Multimedia Security: The Good, The Bad, and The Ugly: We are Going to Catch You!, E dward J. Delp Purdue University
Friday March 24 10:00 - 10:50 am	170 Rockwell Hall	Incorporating Feature Hierarc hies into Bayesian Network Learning Dr. Marie desJardins, Department of Computer Science and Electrical Engineering, University of Maryland, Baltimore County.
Friday March 31 4:10 pm - 5:00 pm	TBA	IsTec Distiguished Lecture: Jose Fortes
Monday April 10 2:00 pm - 5:30 pm	Lory Student Center, Ballroom	Distinguished BMAC Speaker (3:30 - 4:30) Doug Schmidt, Associate Chair of Computer Science and Engineering and Professor of Computer Science Vanderbilt University, Model Driven Engineering for Distributed Real-time and Embedded Systems Student Research Poster Presentations (2:00 - 5 :30) Reception and Poster Awards (4:30 - 5:30)
Monday April 17 4:10 pm - 5:00 pm	107 Guggenheim	Helly Circular-Arc Graphs Ben Joeris, Computer Science Department, CSU
Monday April 24 4:10 pm - 5:00 pm	107 Guggenheim	Case studies of optimization prob lems in industry Lawrence "Dave" Davis
Monday May 1 4:10 pm - 5:00 pm	TBA	IsTec Distiguished Lecture: James J. Hack, Senior Scientist, Head, Climate Modeling Section, Deputy Director, Climate and G lobal Dynamics Division, National Center for Atmospheric Research

BMAC Schedule, Fall 2005

Date and Time	Location	Title and Speaker(s)
Monday, September 12 4:10 pm - 5:00 pm	Plant Sciences W9	Graduate Student Orientation Ross Beveridge and Dale Grit Department of Computer Science, Colorado State University
Monday, September 19 4:10 pm - 5:00 pm	Plant Sciences W9	Computer Science Department Research Overview Darrell Whitley Department of Computer Science, Colorado State University
Monday September 26 4:10 pm - 5:00 pm	Plant Sciences W9	Bayesian Logistic Regression for Text Classification and Mining David D. Lewis, www.daviddlewis.com
Monday October 3 4:10 pm - 5:00 pm	Hammond Auditorium AR120 Engr. Bldg.	Department of Physics Colloquiumm Science funding and the congress: Time = Money, John F. Plumb, Ph.D. Science and Technology Fellow, Office of Senator Ken Salazar
Monday October 10 4:10 pm - 5:00 pm	Plant Sciences W9	Kernel methods for the analysis of proteins, Asa Ben-hur, Department of Computer Science, Colorado State University
Monday October 17 4:10 pm - 5:00 pm	Plant Sciences W9	Research Opportunities in the Open Analysis and Run-time Reordering Transformation Projects, Michelle Strout Department of Computer Science, Colorado State University
Monday, October 24 4:10 pm - 5:00 pm	Plant Sciences W9	Towards Large Scale Kernel Methods, Jason Weston, NEC LAbs
Monday, October 31 4:10 pm - 5:00 pm	Plant Sciences W9	Software Vulnerabilities Discovery Models and their Applications, Omar Alhazmi Department of Computer Science, Colorado State University
Monday, November 7 4:10 pm - 5:00 pm	Plant Sciences W9	CANCELLED
Monday, November 14 4:10 pm - 5:00 pm	Plant Sciences W9	Defending Against Distributed Denial of Service (DDoS) Attacks, Christos Papadopoulos Department of Computer Science, University of Southern California
Monday, November 21 4:10 pm - 5:00 pm		THANKS GIVING BREAK
Monday, November 28 4:10 pm - 5:00 pm	Plant Sciences W9	Equations, Programs and Circuits: What's polyhedra got to do with it?, Sanjay Rajopadhye Department of Computer Science, Colorado State University
Monday, December 5 4:10 pm - 5:00 pm	Plant Sciences W9	Hardware Compilation of Streams and Processes, Monica Chawathe Department of Computer Science, Colorado State University

BMAC Schedule, Spring 2005

Date and Time	Location	Title and Speaker(s)
Monday, January 24 4:10 pm - 5:00 pm	Guggenheim Hall 107	Evolving Cooperative Teams of Unmanned Aerial Vehicles (UAVS), Darrell Whitley, Department of Computer Science, Colorado State University
Monday, January 31 4:10 pm - 5:00 pm	Guggenheim Hall 107	Canceled
Monday, February 7 4:10 pm - 5:00 pm	Guggenheim Hall 107	Poster Design for the CSU Computer Science Research Symposium (see April 18th below), Dan Massey, Sudipto Ghosh, and Chuck Anderson, Department of Computer Science, Colorado State University
Monday, February 14 4:10 pm - 5:00 pm	Guggenheim Hall 107	Patterns before and beyond the Object-Oriented Paradigm: Interpreting the Ideas and Methods of Michael Jackson, Nick Ourusoff, Department of Computer Information Science at Western State College of Colorado
Monday, February 21 4:10 pm - 5:00 pm	Guggenheim Hall 107	Predicting Malicious Attacks from Authorized Insiders, Nayot Poolsappasit, Department of Computer Science, Colorado State University
Tuesday, February 22 9:00 am - 9:50 am	Clark A-102	Techniques for Model-Based Analysis and Implementation Synthesis of Real-Time Embedded Software, Dr. Zonghua (Sam) Gu, Department of Computer Science, University of Virginia
Thursday, February 24 9:00 am - 9:50 am	Engineering E203	Representation-Independent Compiler Analysis , Dr. Michelle Strout, Argonne National Laboratory, Mathematics and Computer Science Division
Monday, February 28 9:00 am - 9:50 am	Rockwell 39	Human Graphics: Imagery That Works For Its Users, Dr. Benjamin Watson, Department of Computer Science, Northwestern University
Monday, February 28 11:00 am - 11:50 am	Engineering D-104	Cooperative Edge Cache Grid: Concepts, Architecture and Techniques Dr. Lakshmish Ramaswamy, Georgia Tech
Thursday, March 3 9:00 am - 9:50 am	Engineering E104	A kernel method for predicting protein-protein interactions, Dr. Asa Ben-Hur, Noble Laboratory, University of Washington, Seattle
Thursday, March 3 4:10 pm - 5:00 pm	Guggenheim 107	Marker Gene Selection and Cancer Classification in Microarray Data Analysis , Yuhang Wang, Department of Computer Science, Dartmouth College
Monday, March 7 4:10 pm - 5:00 pm.	Glover 130	A Cultural History of the Original JPEG Standard, Dr. Joan Mitchell, IBM Printing Division, Boulder, CO. ISTeC Distinguished Lecture in conjunction with Computer Science Department Seminar.
Monday, March 21 4:10 pm - 5:00 pm. Refreshments at 3:30.	Lory Student Center (room to be announced)	Grid Computing: The Next Big Thing, Wolfgang Gentzsch, MCNC Grid Computing & Networking Services. ISTeC Distinguished Lecture in conjunction with Computer Science Department Seminar.
Monday, March 28 4:10 pm - 5:00 pm	Guggenheim Hall 107	A Tool Supported Approach to Testing UML Designs, Trung T. Dinh-Trong, Nilesh R. Kawane, Sudipto Ghosh, Robert B. France, Department of Computer Science, Colorado State University, and Anneliese A. Andrews, Department of Electrical Engineering and Computer Science, Washington State University.
Friday, April 1 4:10 pm - 5:00 pm. Refreshments at 3:30.	Lory Student Center Room 203	Quantum Information and Quantum Computing - Why the Excitement?, Dan Marinescu, University of Central Florida. Abell Distinguished Lecture in Computer Engineering, in conjunction with the Computer Science Department Seminar.
Monday, April 4 4:10 pm - 5:00 pm	Guggenheim Hall 107	Canceled,
Monday, April 11 4:10 pm - 5:00 pm. Refreshments at 3:30.	Ammons Hall	The Microprocessor in the Year 2015: Issues, Challenges, Potential Avenues to Solutions, Yale Patt, Department of Electrical and Computer Engineering, University of Texas at Austin. Joint CS/ECE seminar sponsored by ISTeC.
Monday, April 18 1:00 pm - 5:00 pm	Ammons Hall	Computer Science Research Symposium. CS692 attendance list will be posted at the symposium for CS692 students to sign.
Monday, April 25 12 noon - 1:00 pm	Wager 232	Understanding Complex Adaptive Systems: An Evolutionary Agent-based Approach, Ken De Jong, George Mason University
Monday, April 25 4:10 pm - 5:00 pm	Guggenheim Hall 107	Adaptive Resource Management in Multithreaded Architectures, Dan Connors, University of Colorado at Boulder
Monday, May 2 4:10 pm - 5:00 pm. Refreshments at 3:30.	Guggenheim 107	Sustained Petaflop and Beyond Can Parallel Computing Systems Meet The Challenges? Guang Gao, University of Delaware. Abell Distinguished Lecture in Computer Engineering, in conjunction with the Computer Science Department Seminar.

BMAC Schedule, Fall 2004

Date and Time	Location	Title and Speaker(s)
Monday, August 23, 4:10 pm - 5:00 pm	107 Guggenheim Hall	New Graduate Student Orientation, Dale Grit, Ross Beveridge, Dept. of Computer Science, Colorado State University
Monday, August 30, 4:10 - 5:00 PM	107 Guggenheim Hall	Guidelines for Computer Science Teaching Assistants, Liz Boese and Wim Bohm, Department of Computer Science, Colorado State University
Monday, September 6, 4:10 - 5:00 PM		Holiday. No seminar.
Monday, September 13, 4:10 - 5:00 PM	107 Guggenheim Hall	CS Faculty Research Presentations: Wim Bohm, Sanjay Rajopadhye, Ross McConnell, H.J. Siegel
Monday, September 20, 4:10 - 5:00 PM	107 Guggenheim Hall	CS Faculty Research Presentations: Sudipto Ghosh, Roger Alexander, Jim Bieman, Robert France, Yashwant Malaiya
Monday, September 27, 4:10 - 5:00 PM	107 Guggenheim Hall	CS Faculty Research Presentations: Darrell Whitley, Ross Beveridge, Bruce Draper, Chuck Anderson
Monday, October 4, 4:10 - 5:00 PM	107 Guggenheim Hall	CS Faculty Research Presentations: Dan Massey, Adele Howe, Indrajit Ray, Indrakshi Ray
Monday, October 11, 4:10 - 5:00 PM	107 Guggenheim Hall	Simplifying Reductions, Sanjay Rajopadhye, Department of Computer Science, Colorado State University.
Monday, October 18, 4:10 - 5:00 PM	107 Guggenheim Hall	Minimax Probability Machine Classification and Regression, Greg Grudic, Department of Computer Science, University of Colorado at Boulder
Monday, October 25, 4:10 - 5:00 PM	107 Guggenheim Hall	Beyond BGP: Building a Secure and Resilient Network Routing Protocols , Dan Massey, Department of Computer Science, Colorado State University.
Friday, October 29, 4:10 - 5:00 PM	107 Guggenheim Hall	Stochastic Local Search Algorithms for MAX-SAT , Holger H. Hoos, Department of Computer Science, University of British Columbia.
Monday, November 1, 4:10 - 5:00 PM	107 Guggenheim Hall	Challenges and Possible Solutions for Testing Aspect-Oriented Programs,Roger Alexander, Department of Computer Science, Colorado State University
Monday, November 8, 4:10 - 5:00 PM	107 Guggenheim Hall	Open Source Software in Business, Stormy Peters, Open Source Program Office, Hewlett-Packard Company, Fort Collins, CO
Wednesday, November 10, 4:10 - 5:00 PM	107 Guggenheim Hall	Routing Dynamics and Route Flap Damping , Beichuan Zhang, Postdoctoral scholar at UCLA
Monday, November 15, 4:10 - 5:00 PM	107 Guggenheim Hall	An Aspect-Oriented Approach to Software Development , Geri Georg and Robert France, Department of Computer Science, Colorado State Unversity
Monday, November 29, 4:10 - 5:00 PM	107 Guggenheim Hall	Learning Control for the Manipulation of Quantum Dynamics , Randy Bartels, Department of Electrical and Computer Engineering, CSU
Monday, December 6, 4:10 - 5:00 PM	107 Guggenheim Hall	Quantitative Vulnerability Assessment in Software Systems Omar Alhazmi, Department of Computer Science, Colorado State University

BMAC Schedule, Spring 2004

Date and Time	Location	Title and Speaker(s)
Thursday, January 22, 2004; 11 a.m. (Refreshments at 10:30 a.m.)	Location: Lory Student Center, Rooms 214	ISTeC, ECE and CS Seminar: How to Share a Bag of Tasks Optimally in a Heterogeneous Cluster -- Three Models, Three Answers Arnold L. Rosenberg, Distinguished University Professor, Department of Computer Science, University of Massachusetts. Abstract of talk and a short biography
Friday, January 23, 2004; 4:10 p.m. (Refreshments at 3:30 p.m.)	Location: Lory Student Center, Rooms 214	ISTeC Distinguished Lecture: N+1 Heads Are Better Than N --- or Are They? Arnold L. Rosenberg, Distinguished University Professor, Department of Computer Science, University of Massachusetts. Abstract of talk and a short biography
February 2, 2004; 4:10-5:10 p.m.	USC 110	Ross McConnell, Department of Computer Science THE CONSECUTIVE-ONES PROPERTY .
February 9, 2004; DISTINGUISHED ISTeC LECTURE	Lory Student Center, Cherokee Park Room, 2:10 p.m. to 3:00 p.m.	Professor James Hendler, Director of Semantic Web and Agent Technology Maryland Information and Network Dynamics Laboratory, University of Maryland The Semantic Web -- bringing meaning to the World Wide Web
February 9, 2004; DISTINGUISHED COMPUTER SCIENCE LECTURE (CO-SPONSORED BY ISTeC)	Reception: Lory Student Center, University Club 3 p.m. to 4 p.m. Lecture: Lory Student Center, Cherokee Park Room, 4:10 p.m. to 5:00 p.m.	Professor James Hendler, Director of Semantic Web and Agent Technology Maryland Information and Network Dynamics Laboratory, University of Maryland Dynamic Service Choreography on the Semantic Web
February 16, 2004; 4:10-5:10 p.m.	USC 110	Dae-Kyoo Kim, Graduate Student, Dept. of Computer Science A Metamodeling Approach to Specifying Design Patterns
February 23, 2004; 4:10-5:10 p.m.	USC 110	Michelle Mills Strout, Argonne National Labs Performance Transformations for Irregular Applications.
March 1, 2004; 4:10-5:10 p.m.	USC 110	Josh Swihart Righting the Ship - Evolution of the Offshore Model
March 8, 2004; 4:10-5:10 p.m.	USC 110	Professor William Spears, Department of Computer Science, University of Wyoming Distributed Robotics at the University of Wyoming.
March 9, 2004; 4:10-5:10 p.m.	Guggenheim 107	Dr. Dan Massey University of Southern California Computer Science Department and Project Leader, USC Information Science Institute, Washington, D.C. Building a Secure and Resilient Network Infrastructure.
March 11, 2004; 4:10-5:10 p.m.	Plant Sciences W9	Roman Lysecky Warp Processors
March 16, 2004; 1:30-2:30 p.m.	Computer Science Large Conference Room 310B University Services Center Building	Dr. Robert L. (Larry) Akers, Semantic Designs Automated Restructuring of Component-based Software Using DMS
Monday, March 22, 2004; 4:10-5:10 p.m.	107 Guggenheim Hall	Siv Hilde Houmb, Norwegian University of Science and Technology, Norway The CORAS MBRA methodology: using UML-models as input to risk analysis
Thursday, March 25, 2004; 4:10-5:10 p.m.	Plant Sciences W9 (SMART room)	Dr. James Bednar, Department of Computer Sciences, The University of Texas at Austin Computational Maps in the Visual Cortex
March 29, 2004; 4:10-5:10 p.m.	107 Guggenheim Hall	Jon Hagar, Software engineer and test lead at Lockheed Martin, Denver, Atlas launch vehicles Producing Flight Software with Agile Commercial and Government Practices
April 5, 2004; 4:10-5:10 p.m.	107 Guggenheim Hall	Dr. Raymond L. Paden, HPC Technical Architect, WW Deep Computing Team, IBM Corporation Parallel Storage I/O: Programming, Configuration and Performance Perspectives; Presentation slides
April 19, 2004; 4:10-5:10 p.m.	107 Guggenheim Hall	Dr. Anil Vullikanti, Los Alamos Labs Routing and Link Scheduling in Ad Hoc Networks
April 23, 2004; 4:10-5:10 p.m.	107 Guggenheim Hall	Abell Distinguished Lecture in Computer Engineering and BMAC Computer Science Department Seminar, Yves Robert, Ecole Normale Supérieure de Lyon, France Steady state scheduling for heterogeneous platforms
April 26, 2004; 4:10-5:10 p.m.	107 Guggenheim Hall	Keith Bush, CSU Graduate Student Investigating Neurological Development and Epilepsy via Computational Models Abstract: While mathematical models of neuron electro-physiology have existed for 40 years, only recently, through advances in computing performance, have studies of these models become tractable. This seminar will cover basic principles of neural modeling, as well as overview collaborative neurological development and epilepsy research currently undertaken by the Department of Computer Science and Department of Biomedical Sciences here at Colorado State.
May 3, 2004; 4:10-5:10 p.m.	107 Guggenheim Hall	Abell Distinguished Lecture in Computer Engineering and BMAC Computer Science Department Seminar, John Morrison, University Cork, Ireland WebCom-G, a Candidate Operating System for Grid-Ireland.

BMAC Schedule, Fall 2003

Date and Time	Location	Title and Speaker(s)
August 25, 3:30-5:00 PM	USC 110	New Graduate Student Orientation, Dale Grit, Ross Beveridge, Dept. of Computer Science, Colorado State University
September 4, 1:10-2 PM	Lory Student Center, Room 220-222	Preserving Digital Information Dr. Richard Sites, Adobe Fellow Presentation Slides (in PDF)
September 8, 4:10-5:10 PM	USC 110	Agent-oriented methodologies - what we can learn from object technology and method engineering Dr. Brian Henderson-Sellers, Visiting Professor, Australia, Abstract and Bio
September 15, 4:10-5:10 PM	USC 110	An Evaluation of Use Case Modeling: Limitations and Opportunities Dr. Dan Turk, Dr. Gretchen Irwin, CIS Dept., Colorado State University, Abstract and Bio
September 22, 4:10-5:10 PM	USC 110	CS Faculty Research Presentations: Fault Tolerant Systems, Software Engineering Roger Alexander, Yashwant Malaiya, Jim Bieman
September 29, 4:10-5:25 PM	USC 110	CS Faculty Research Presentations: Artificial Intelligence, Vision Darrell Whitley, Chuck Anderson, Bruce Draper, Ross McConnell
October 6, 4:10-5:25 PM	USC 110	CS Faculty Research Presentations: Software Engineering, Security Sudipto Ghosh, Indrajit Ray, Indrakshi Ray, Ross Beveridge
October 8, Time 9-9:50 AM	Lory Student Center rooms 224-226	Marshall Potter, Chief Scientist for Information Technology, Federal Aviation Administration, AIO-4 Marshall Potter, the Federal Aviation Administration (FAA) Chief Scientist for Information Technology, will talk on the role and mission of the FAA Information Technology (IT)-Information Systems Security (ISS) R&D Program. This program is based on three thrust areas: (1) Real Time Intrusion Protect Detection, Response, and Recovery, (2) Integrity and Confidentiality in the Mobile Environment, and (3) Trustworthy Systems from Untrustworthy Components with Untrustworthy Actors. Additionally, Marshall Potter will be introducing a new android model for cyber defense, which attempts to characterize cyber defense functions based on similar processes in the human body. This new model is evolving. Marshall Potter welcomes comments, suggestions, and discussion on the concept of using the android model and on the FAA IT-ISS R&D program.
October 13, 4:10-5:10 PM	USC 110	Patterns for Effective Use Cases with The Ever Unfolding Story, Paul Bramble, Emperative, Abstract and Bio
October 20, 4:10-5:10 PM	USC 110	CS Faculty Research Presentations: Parallel/Embedded Systems, Artificial Intelligence Wim Bohm, Sanjay Rajopadhye, H. J. Siegel, Adele Howe
October 27, 4:10-5:10 PM	USC 110	Title to be determined, Stew Crawford
November 3, 4:10-5:25 PM	USC 110	How Robust are Resource Allocations for Tasks in Parallel and Distributed Computing Systems, Prof. H. J. Siegel, CS & ECE, Colorado State University, Abstract and Bio
November 10, CANCELLED	USC 110	Distributed Robotics at the University of Wyoming , Professors William Spears and Diana Gordon-Spears, Computer Science Department, University of Wyoming. Abstract
November 14, Distinguished ISTeC and BMAC Lectures	Lory Student Center Theater	Distinguished Speaker: Professor David Haussler, University of California at Santa Cruz Professor Haussler and his graduate student Jim Kent discovered the algorithm that assembled the human genome for the Human Genome Project. Professor Haussler is a Howard Hughes Medical Institute Investigator, Director of the Center for Biomolecular Science and Engineering, and Professor of Computer Science at the University of California at Santa Cruz. ISTeC Distinguished Lecture, sponsored by CSU ISTeC: The UCSC Human Genome Browser Reception: 2:30 to 3:10 p.m., Lory Student Center Art Lounge Lecture Time, Location: 3:10 to 4 p.m., Lory Student Center Theater Abstract ISTeC (Information Science and Technology Center) is a university-wide organization for promoting, facilitating, and enhancing CSU's research, education, and outreach activities pertaining to the design and innovative application of computer, communication, and information systems. For more information please see ISTeC.ColoState.edu BMAC Distinguished Lecture, sponsored by the CSU Computer Science Department and CSU ISTeC: Comparing the Human, Mouse and Rat Genomes, Reception: 4 to 4:30 p.m., Lory Student Center Art Lounge Lecture Time, Location: 4:30 to 5:30 p.m., Lory Student Center Theater Abstract
November 21, 10-11 a.m.	Lory Student Center, rooms 224-226	A Controlled Experiment on the Impact of the Object Constraint Language in UML-based Development, Dr. Lionel Briand, Canada Research Chair in Software Quality Engineering, Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada; Abstract and Bio
December 1	No BMAC Lecture Scheduled	No BMAC Lecture
December 8, 4:10-5:10PM	USC 110	Aspect-Oriented Modeling: Tackling Software Complexity Through Aspects, Dr. Geri Georg, Department of Computer Science, Colorado State University. Dr. Georg will give an overview of research on aspect-oriented software modeling carried out by the Software Engineering Group at CSU.

BMAC Schedule, Spring 2003

Date and Time	Location	Title and Speaker
February 17, 4:10-5:00 PM	107 Guggenheim	Modeling Local Search Algorithm Performance in Scheduling, Jean Paul Watson, Colorado State University abstract
February 27, 9:00-9:50 AM	107 Guggenheim	Chair Search Seminar: On Evolvability, Complexity and Statistics Dr. Darrell Whitley, Computer Science Department, Colorado State University abstract
March 3, 9:00-9:50 AM	109 Natural Resources	Chair Search Seminar: Image Understanding and Web Security Dr. Henry Baird, Palo Alto Research Center abstract
March 5, 9:00-9:50 AM	170 Rockwell Hall	Chair Search Seminar: Enhancing the Productivity of Information Technology Dr. Amar Gupta, MIT Sloan School of Management abstract
March 17, 4:10-5:00 PM	107 Guggenheim	All of the world is an abstract interpretation (of all of the world) Dr. Dave Schmidt, Computing and Information Sciences Department, Kansas State University abstract
March 31, 4:10-5:00 PM	107 Guggenheim	A Single Program Multiple Data Parallel Processing Platform for FPGAs Phil James-Roxby, Xilinx Labs, Longmont CO abstract
April 7, 4:10-5:00 PM	107 Guggenheim	Design Tool for a Heterogeneous Fabric Generation HetFabBuilder. Christophe Wolinski, IFSIC Rennes (France), abstract
April 14, 4:10-5:00 PM	107 Guggenheim	Latent Semantic Analyis and its Application to Automated Essay Scoring Karen Lochbaum, Knowledge Analysis Technologies abstract
April 21, 4:10-5:00 PM	107 Guggenheim	Replacing the Telephone Network with Voice over Internet Protocol (VoIP) - An Overview John Boese, . abstract
May 5, 4:10-5:00 PM	107 Guggenheim	The Patenting of Computer-related Inventions Jean Macheledt, Macheledt Bales LLP, Fort Collins, CO abstract
Friday May 9, 3:30 PM	Lory Student Center rooms 203-205	Characterization of Magnetic Recording Channels: A Historical Perspective Dr. Thomas Howell, San Jose State and IEEE Magnetics Society Distinguished Lecturer. abstract This is a joint colloquium with the department of Physics, ISTeC, the department of Electrical and Computer Engineering, and the department of Computer Science.
May 19, 2:00-3:00 PM	107 Guggenheim	Using Genetic Programming to Mine DNA-chip Data W. B. Langdon, GlaxoSmithKline, University College London abstract

BMAC Schedule, Fall 2002

Date and Time	Location	Title and Speaker
September 9, 4:10-5:00 PM	Rockwell 165	CS Faculty Research Presentations, Ross McConnell, Sanjay Rajopadhye, Indrakshi Ray, Indrajit Ray, Wim Bohm. No abstract available.
September 16, 4:10-5:00 PM	Rockwell 165	CS Faculty Research Presentations, Sudipto Ghosh, Yashwant Malaiya, Bruce Draper No abstract available.
September 23, 4:10-5:00 PM	Rockwell 165	CS Faculty Research Presentations, Adele Howe, Chuck Anderson, JimBieman, Darrell Whitley. No abstract available.
September 30, 4:10-5:00 PM	Rockwell 165	Certifying Algorithms, Ross M. McConnell, CSU Computer Science Department. abstract
October 7, 4:10-5:00 PM	Rockwell 165	CS Faculty Research Presentations, Robert France, Roger Alexander, Ross Beveridge. No abstract available.
October 14, 4:10-5:00 PM	Rockwell 165	CoDesign with MMALPHA, Kolin Paul, Alpha Group, Computer Science Department, CSU abstract
October 21, 4:10-5:00 PM	Rockwell 165	Aggregating states for stochastic processes, Jon Rowe, Birhingham University, UK abstract
October 28, 4:10-5:00 PM	Rockwell 165	Compiling Loops to High-performance Hardware: a Step Towards SoC Design Patrice Quinton, IRISA, Rennes France abstract
November 4, 4:10-5:00 PM	President's Room, Ammons Hall	THE BIG MAC: Challenging the Conventional Wisdom, Eugene H. Spafford, professor of Computer Sciences at Purdue University, professor of Philosophy (courtesy appointment), and Director of the Center for Education Research Information Assurance and Security. vita abstract A reception will follow the talk. This talk is cosponsored by ISTEC
November 11, 4:10-5:00 PM	Rockwell 165	Talk cancelled
November 18, 4:10-5:00 PM	Rockwell 165	The Rise and Fall of Internet Caching. Matt Haines, Haines Technology Partners, LLC, www.hainespartners.com abstract
December 2, 4:10-5:00 PM	Rockwell 165	No Free Lunch and Beyond. Darrell Whitley, CSU Computer Science Department. abstract

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

BMAC Schedule, 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.

BMAC Schedule, 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

BMAC Schedule, 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

BMAC Schedule, 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.

BMAC Schedule, 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.