The Department of Computer Science of Colorado State University, in
cooperation with
ISTeC
(Information Science and Technology Center),
offers the
The CS Colloquium series as a service to all who are interested in computer
science. The current
schedule is here.
Spring 2024
Fall 2023
Spring 2023
Fall 2022
Spring 2022
Fall 2021
Spring 2020
Fall 2019
Fall 2018 & Spring 2019
Fall 2017 & Spring 2018
Fall 2016 & Spring 2017
Fall 2015 & Spring 2016
Fall 2014 & Spring 2015
Spring 2014
Fall 2012
-
Introduction to our Faculty, Program Overview and Welcome to the
Department Bruce Draper, Colorado State University
-
Robust Workflows for Science and Engineering,
David Abramson, Monash University, Melbourne
Australia
-
Tools for Genomic Assembly and Analysis,
Christina Boucher,
Colorado State University
-
Data: Needs, Importance and Challenges to the
Integration of Variable Renewable Energy Source into Electricity Grids,
Mark J. O'Malley,
Professor of Electrical Engineering,
Director, Electricity Research Centre,
University College, Dublin
-
How Fast is my Disk? (Simple Measurements for Simple
Insights),
Richard L. Sites, Google Inc.
-
The Age of Science and Big Data
Dawn Wright
-
ParalleX: An Innovative Execution Model for Exascale Computing
Thomas Sterling,
Professor, School of Informatics and Computing,
Chief Scientist and Associate Executive Director of the
Center for Research in Extreme Scale Technologies (CREST),
Indiana University
-
Real-time, High Data-rate Wireless Sensor Networks,
Behrooz Shirazi,
Huie-Rogers Chair Professor and Director of the
School of Electrical Engineering and Computer Science,
Washington State University
-
Challenges and Opportunities in Computer Architecture Research,
Chita Das, Distinguished Professor of Computer Science and Engineering,
Pennsylvania State University
-
Designing motion gestures for mobile interaction,
Jaime Ruiz,
Colorado State University
-
Cyber Physical Systems: The Need
and Agenda for Re-integrating Physical and Information Systems,
Janos Sztipanovits, Vanderbilt University
-
Debugging Techniques for Highly Parallel Architectures,
David Abramson, Columbia University
-
Multiple Instance Learning of Calmodulin Binding Sites
Fayyaz Minhas,
Computer Science Department,
Colorado State University
-
Mobile Local Search for the Privacy-Aware User,
Rinku Dewri, University of Denver
Spring 2012
-
Super Manners: Collegiality and Professionalism,
Elaine Regelson and Bruce Draper
Computer Science Department,
Colorado State University
-
Leveraging Model-Driven Engineering Techniques in Optimizing Compiler
Research,
Robert France and Tomofumi Yuki,
Computer Science Department,
Colorado State University
-
Guidance of Autonomous Aerial Vehicles: Real-time Planning via
POMDP ,
Edwin Chong,
Electrical and Computer Engineering Department,
Colorado State University
-
Predictive Modeling of Metagenomes ,
Dan Knights,
University of Colorado, Boulder,
-
Statistical Approaches to Infer Gene Regulatory Circuits ,
Majid Kazemian,
University of Illinois, Urbana Champaign
-
Tools for Genomic Assembly and Analysis ,
Christina Boucher,
University of California, San Diego
-
Designing Motion Gestures for Mobile Interaction,
Jaime Ruiz,
University of Waterloo
-
Declarative Parallel Programming,
William Byrd, Indiana University
-
Value of Rapid Prototyping in Building Complex Digital
Systems, Arvind, MIT
-
A Random Walk on Image Patches
Franccedilois Meyer, University of Colorado, Boulder
-
Models, Algorithms, and Software: Tradeoffs in the Design of
High-Performance Computational Simulations in Science and
Engineering, Phil Colella, Lawrence Berkeley National Lab
-
Simultaneous Segmentation of
Multiple Functional Genomics Data Sets with Heterogeneous Patterns of
Missing Data, Michael M. Hoffman, University of
Washington
-
Resilient Asymmetric Security (RAS), Salim
Hariri, University of Arizona
-
Restoration of Soft X-Ray Laser Images of Nanostructures,
Damir Sersic, University of Zagreb
-
Technology Innovation at Linkabit and Qualcomm: Generating
Leading-Edge Products,
Irwin Jacobs, CEO Emeritus, Qualcomm
-
An Overview of Research in Automatic Test Input Generation and Fault
Localization , Sudipto Ghosh, Colorado State University
-
Robust Workflows for Science and Engineering , David
Abramson, Monash University, Melbourne, Australia
Fall 2011
-
Network Attack Detection at Flow Level,
Andrei Sukhov,
Professor, Head of Laboratory of Network Technologies,
Samara State Aerospace University,
Russia
-
SpliceGrapher: Predicting Splice Graphs from Diverse Evidence ,
Mark Rogers, Department of Computer Science, Colorado State University
-
Improving CUDASW++, a Parallelization of Smith-Waterman for CUDA enabled devices
,
Doug Hains, Zach Cashero, Mark Ottenberg,
Department of Compouter Science,
Colorado State University
-
Elementary Landscapes and Quasi-Elementary Landscapes of Local Search Graphs,
Darrell Whitley,
Department of Compouter Science,
Colorado State University
-
Beyond Search: Enabling Biomedical Knowledge Discovery through Natural Language Processing
Karin Verspoor,
Research Assistant Professor,
Center for Computational Pharmacology,
School of Medicine,
University of Colorado, Denver
-
Mathematics of The Hilbert Transform: An Aircraft Autopilot, Power Engineering Dynamic Assessment, and Other Applications - Plusses, Minuses, and Reflections,
Gerald Heydt,
Regents Professor,
Arizona State University,
Department of Electrical, Computer, and Energy Engineering
-
Performance Monitoring for Fun and Profit,
Jim Callister,
Principal Engineer,
Intel Corporation,
Fort Collins, CO USA
-
Architectural Details of the MapR File System,
Ted Dunning,
Chief Application Architect,
MapR Technologies,
San Jose, CA, USA
-
Supporting Iterative Development of Robust Operation Contracts in UML
Requirements Models,
Wuliang Sun,
Department of Computer Science,
Colorado State University
-
Three Dimensional Integrated Circuits,
Trevor Mudge,
Bredt Family Professor of Electrical Engineering and Computer Science,
The University of Michigan, Ann Arbor
Spring 2011
- Graduate Assistantships: Policies and Strategies,
Bruce Draper,
Department of Computer Science,
Colorado State University
- Wireless Cognitive Communications,
Georgios Giannakis,
Department of Electricial and Computer Engineering,
Director, Digital Technology Center,
University of Minnesota
- Technology Transfer & Intellectual Property,
Jeremy Nelson,
Technology Transfer Office,
Colorado State University Research Foundation
- Robust Static Planning Tool for Military Village Search Missions: Model and Heuristics,
Department of Electrical and Computer Engineering,
Colorado State University
and
US Army
- Collaborative Discovery,
Ian Foster,
Computation Institute,
Department of Computer Science,
University of Chicago and Argonne National Laboratory
-
Biometrics: New Solutions for Privacy and Security,
Walter Scheirer,
Director of Research and Development, Securics, Inc,
Vision and Security Technology Lab and Computer Science Department,
University of Colorado at Colorado Springs
- Google Native Client -- Bringing Native Code to the Web
,
Mike Mortensen,
Google
- Collegiality and Professionalism,
Elaine Regelson,
Department of Computer Science,
Colorado State University
- Fourier Analysis of Combinatorial Search Spaces ,
Andrew Sutton,
Computer Science Department,
Colorado State University
- Automated Software Repair Using Genetic Programming,
Stephanie Forrest,
Computer Science Department,
University of New Mexico
- Evolutionary Software Repair,
Stephanie Forrest,
Computer Science Department,
University of New Mexico
- Topological Analysis of Network Attack Vulnerability,
Sushil Jajodia,
Center for Secure Information Systems,
Volgenau School of Engineering,
George Mason University Fairfax
- The Fascinating Competition between STACKS AND QUEUES:
Which Structure Is More Powerful?,
Arnold L. Rosenberg,
Research Professor
Computer Science, Northeastern University,
and
Electrical & Computer Engineering and Computer Science, Colorado State University,
Distinguished University Professor Emeritus,
Computer Science, University of Massachusetts Amherst
- Enabling Efficient Access to Scientific Data Collections,
Sangmi Lee Pallickara,
Department of Computer Science,
Colorado State University
- Videogames and Transformational Play: Learning in the 21st Century,
Sasha Barab,
Barbara Jacobs Chair of Technology,
Indiana University
- Interaction for 3D Visualizations,
Amy Ulinski,
Department of Computer Science,
University of Wyoming
Fall 2010
- Computer Science Graduate Student Orientation,
Bruce Draper and Ross Beveridge,
Department of Computer Science,
Colorado State University
- An Overview of Distributed Systems Research in the Computer Science Department,
Shrideep Pallickara,
Department of Computer Science,
Colorado State University
- Prediction of Calmodulin binders and binding sites ,
Asa Ben-Hur,
Department of Computer Science,
Colorado State University
- Applications for Green, Interactive, High Performance Computers,
Richard W. Linderman,
Information Directorate
Air Force Research Laboratory
Rome, N.Y.
- Robust Resource Management for Heterogeneous Parallel and Distributed Computing Systems,
H. J. Siegel,
Department of Electrical and Computer Engineering
and Department of Computer Science,
Colorado State University
- Petascale Computing for Computational Biology and Genomics,
David A. Bader,
School of Computational Science and Engineering,
Georgia Tech
- Covariance Regularization for Supervised Learning in High Dimensions
Daniell L. Elliott,
Department of Computer Science,
Colorado State University
- A Dataflow Testing Approach for Aspect-Oriented ,
Fadi Wedyan,
Department of Computer Science,
Colorado State University
- Cooperative Control and Optimization in an Uncertain, Asynchronous, Wireless, Networked World,
Christos Cassandras,
Department of Electrical and Computer Engineering,
Boston University
- Secure Personal Health Vaults: A New Vision in Electronic Health Data Management,
Indrajit Ray,
Department of Computer Science,
Colorado State University
- Application-Oriented Networking (AON): Adding Intelligence in the Next-Generation Internet Routers,
Laxmi N. Bhuyan,
Computer Science and Engineering,
University of California, Riverside
- Geometric Methods on Special Manifolds for Visual Recognition
,
Yui Man Lui,
Department of Computer Science,
Colorado State University
- Fingerprinting Custom Botnet Protocol Stacks,
Steve DiBenedetto,
Department of Computer Science,
Colorado State University
- Dynamics of RIB Usage at an Edge Router,
Kaustubh Gadkari,
Department of Computer Science,
Colorado State University
- Use of Static Single Assignment Form for Engineering a Compiler,
Fabrice Rastello,
LIP Laboratory, INRIA,
Ecole Normale Superieure de Lyon
Spring 2010
- Program Analysis and Geometry,
Sriram Sankaranrayanan,
Department of Computer Science,
University of Colorado Boulder
- The Dengue Decision Support System,
Saul Lozano,
Microbiology, Immunology, and Pathology,
Colorado State University
- Between Winning Slow and Losing Fast: Game Control Using Rewards
Reinaldo A. Uribe Muriel,
Universidad de los Andes,
Bogota, Colombia
- Using Machine Learning to Optimize Ultra-High-Resolution Climate Simulations,
John Dennis,
Computational Science Section,
Scientific Computing Division,
National Center for Atmospheric Research,
Boulder, CO
- Search Engine Optimized & Usable Web Design & Development ,
Cecily Crout,
CCSEO,
Fort Collins, CO
- Google Mobile: Search for Anything, Anywhere,
Reena Singhal Lee,
Technical Account Manager, Android,
Google, Partner Solutions Organization
- Performance Optimization with Software Lookup Tables,
Chris Wilcox,
Department of Computer Science,
Colorado State University
- ISTeC101: How to Incrase Your IT Research Impact,
Gavriel Salvenday,
Chair Professor and Head Department of Industrial Engineering,
Purdue University
- Dorina Petriu,
Department of Systems and Computer Engineering,
Carleton University,
Ottawa, Canada
- Being There: Lessons Learned in Rescue Robotics from 11 Incidents from 2001-2009,
Robin Murphy,
Raytheon Professor of Computer Science and Engineering,
Texas A&M University,
College Station, Texas
- Learning by Design,
James Paul Gee,
Mary Lou Fulton Presidential Professor of Literacy Studies,
Arizona State University
- Green Internet Routers,
Sartaj Sahni,
Distinguished Professor and Chair of the Computer and Information Science and Engineering Department,
University of Florida
- Understanding the Performance of Distributed Request Processing Systems,
Amer Diwan,
Department of Computer Science,
University of Colorado, Boulder
- SteerSuite: A Framework for Developing, Evaluating, and Debugging Agent-Based Crowd Simulations,
Petros Faloutsos,
Department of Computer Science,
University of California, Los Angeles
- Using DSLs for Simulation Management in OMS3,
Olaf David,
Department of Civil Engineering,
Colorado State University
- All Hail the GPU: How the Video Game Industry is Transforming Molecular and Materials Simulation,
Sharon Glotzer,
Stuart W. Churchill Collegiate Professor of Chemical Engineering,
Professor of Materials Science and Enginerring, Physics,
University of Michigan, Ann Arbor
Fall 2009
- Graduate Student Orientation, Ross Beveridge,
Bruce Draper, and Dale Grit, Department of Computer Science,
Colorado State University
-
Accurate Protein Function Prediction Using the GOstruct
Method, Asa Ben-Hur, Department of Computer Science,
Colorado State University
-
Detecting Service Violation in Internet and Mobile Ad Hoc
Networks, Bharat Bhargava, Department of Computer Science,
Purdue University
-
Cloud Computing: A
Survey of Causative Forces, Models and Challenge, Shrideep
Pallickara,
Department of Computer Science,
Colorado State University
-
The Rise and Fall of Systems Engineering,
Norman R. Augustine,
Retired Chairman and CEO, Lockheed Martin Corporation
-
Photons at Work: From Silicon to DNA, and Back,
Franco Cerrina,
Chair, Department of Electrical and Computer Engineering,
Boston University
-
Model-Driven Architecture
(MDA) in Practice, Nathan McEachen, TerraFrame, co-founder, CTO &
Interim CEO
-
Computational Thinking and Thinking About Computing,
Jeanette M. Wing,
NSF Assistant Director of the Computer and Information Science and
Engineering Directorate, Carnegie Mellon University,
President's Professor of Computer Science
-
Kodu - End-user Programming and Design for Games,
Matt MacLaurin,
Principal Program Manager,
Creative Systems Group,
Microsoft Research
-
GIScience: Geographical Information Systems at CSU,
Melinda Laituri,
Dept. of Forest, Rangeland, and Watershed Stewardship,
Colorado State University
-
Convex Subspace Routing: A Novel Virtual Coordinates Based
Routing Protocol for Sensor Networks,
Dulanjalie Dhanapala,
Department of Electrical and Computer Engineering,
Colorado State University
- Networks on Chip and Beyond,
Sudeep Pasricha,
Department of Computer Science,
Colorado State University
-
Searching Multidimensional
Parameter Spaces to Optimize Parallel I/O,
Kate Ericson,
and Making Tables Smaller:
Optimizing Lookup Tables in CAM, Alan LaMielle,
Department of Computer Science,
Colorado State University
Spring 2009
-
Average of Synthetic Exact Filters and FaceL,
David Bolme, CSU Computer Science Department
-
User-Based Testing of GUI Systems,
Lee White,
Professor Emeritus, Case Western Reserve,
-
Non-Invasive Brain-Controlled Robots,
Jose Millan,
Swiss Federal Institute of Technology
-
Impossible, Unbelievable ... but True Results of Mathematics
and Physics, Stan Wagon,
Macalester College
-
Many-Task Computing: Bridging the Gap
between High-Throughput Computing and High-Performance
Computing,
Ioan Raicu, University of Chicago,
-
A Simple and Dynamic Data Structure for Pattern Matching in
Texts, Sung-Whan Woo, Colorado State University
-
Granules: A Lightweight Runtime for Cloud Computing,
Shrideep Pallickara, Indiana University
-
Virtualization Performance and its Programming Support for the
Next Generation HPC Systems,
Lamia M. Youseff, University of California at Santa Barbara
-
Toward Exascale Computing,
Craig Stunkel, IBM T.J. Watson Research Center
-
Dynamically Adaptive Systems and the DIVA System,
Benoit Baudry, INRIA, Rennes
-
The Computing Revolution; ManyCore, Clouds, Research and the
Future,
Dan Reed, Microsoft Corporation
-
Searching in the `Real World',
Ophir Frieder, Illinois Institute of Technology
-
Infectious Disease Modeling and Simulation: Stochastic Modeling and
Real World Collaborative Simulation Software Applications Developed at
CSU,
Shaun Case, Research Associate II, Department of Clinical Sciences,
Colorado State University
-
Algorithms Support for Monitoring of Subsurface Contaminant Using
Wireless Sensor Networks,
Qi Han, Assistant
Professor, Colorado School of Mines
-
Statistical Language Detection in Web Pages,
Dr. Richard L. Sites, Google, Inc.
Fall 2008
-
Developing a Shared Vision for the Future of
Networking and Information Technology Research and
Development,
Christopher Greer,
Director, National Coordination Office for Networking and Information
Technology Research and Development, National Science Foundation.
-
Not Your Grandmother's Genetic Algorithm; The Creativity Imperative and the Technology Professional of the Future,
David
Goldberg, Jerry S. Dobrovolny Distinguished Professor,
University of Illinois at Urbana-Champaign.
-
Switched Memory Architectures and the GRAIL,
Sanjay Rajopadhye, Department of Computer Science, Colorado State
University.
-
The Computing Revolution,
Dan Reed, Microsoft Corporation
-
Adaptive Models for Tile Size Selection,
Tomofumi Yuki, Department of Computer Science, Colorado State
University
-
Two Topics in Computer Science, One Numerical and
One Curricular,
Elizabeth Jessup, University of Colorado, Boulder
-
So You Want to Get a Ph.D.: What to Do to Improve Your Career
Options, Darrell Whitley, Professor and Chair, CSU
C.S. Department
- Scalable Fault Tolerance for High Performance
Computing, Zizhong (Jeffrey) Chen, Colorado School of
Mines
- Systems Biology: A Frontier of Computational
Science, Qing Nie
- CUDA: Accelerating Science With Massively Parallel
Computing,
Dr. David Luebke,
Manager, NVIDIA Research, NVIDIA Corporation.
-
Making Parallel and Distributed
Operating Systems Robust,
H.J. Siegel, CSU Electrical And Computer Engineering and Computer
Science Departments, Director of ISTeC.
- Multicore Programming Models and their Implementation
Challenges,
Vivek
Sarkar
- Entering the Golden Age of Heterogeneous Computing,
Michael Mantor
Spring 2008
-
Network Coding: A New Paradigm For Networking,
Anthony Ephremides, University of Maryland, ECE Dept.
- Meeting the Challenges of 21st Century Computational
Geoscience,
Rich Loft, National Center for Atmospheric Research
- Translating Thoughts into Actions by Finding Patterns in
Brainwaves, Chuck Anderson, Department of Computer Science,
Colorado State University
- Vulnerability Discovery in Multi-Version Software Systems with Shared Source
Code effect, Yashwant Malaiya, Department of Computer
Science, Colorado State University
- Scientific Computing: Applications, Algorithms,
Architectures,
Dr. Paolo Bientinesi,
Duke University, Department of Computer Science
-
Precise Program Analysis with Data Structures,
Bor-Yuh Evan Chang,
Computer Science Division,
Department of Electrical Engineering and Computer Science
-
Storage Systems for Global Scale Datacenters,
Dr. Hakim Weatherspoon,
Cornell University
-
Productive Supercomputing,
Greg Malewicz, Google
- Data: Making it be there when you want it
and go away when you want it gone,
Dr. Radia Perlman,
Sun Fellow, Network Protocols and Security Project
- Cartesian computations and the high cost of moving
data, Dr. Larry Carter,
Computer Science and Engineering Dept.,
University of California, San Diego
- Quality Now Requires - Small Delay Fault Model,
Dr. Thomas W. Williams,
Synopsys Fellow at Synopsys in Boulder, Colorado
-
Future Directions in DoD Science and Technology,
Dr. Andre van Tilborg,
Deputy Under Secretary of Defense
(Science & Technology)
- Optimization of Strategies/Heuristics for Delay Tolerant
Ad-Hoc Networks,
Dr. Pascal Bouvry,
Heading, CSC research unit, Faculty of Sciences, Technology and
Communications of Luxembourg University
- Neural Stimulation using Implantable Devices:
Auditory and Optical Systems,
Dr. Timothy Starkweather,
Consultant, Second Sight Medical Products
Fall 2007
- Graduate Student Orientation, Ross Beveridge and Dale Grit, Department of Computer Science, Colorado State University
- Computer Science Department Research Overview , Darrell Whitley, Department of Computer Science, Colorado State University
- Software Reliability and Security Engineering, Yashwant K. Malaiya, Computer Science Department, Colorado State University
- Challenges for Consumer Electronics in the 21st Century, Steve Leibson, Tensilica, Inc.
- Power-Aware High-Performance Computing: The Dawn of a New Era, Ishfaq Ahmad,Computer Science and Eng Dept, University of Texas at Arlington
- The Internet is flat: A brief history of the Internet in the next ten years, Don Towsley, Department of Computer
Science, University of Massachusetts
- Scale-up and scale-out: Evolution and trends in parallel processing, Jose Moreira, IBM Thomas
J. Watson Research Center, Yorktown Heights NY
- A Routing-Driven Key Management Scheme for Heterogeneous Sensor Networks, James Du, North Dakota State University
- Super SOC: Putting the whole system on the chip, Mike Flynn, Stanford University
- High Performance Computing and Atmospheric Modeling, John Michalakes, NCAR, MMM Division
- Experimental Mathematics and High-Performance Computing, David H. Bailey, Lawrence Berkeley National Laboratory
Spring 2007
- Kinematically redundant robots - The promise of human-like dexterity, Prof. Tony Maciejewski, Electrical and Computer Engineering Department, Colorado State University
- Split Decomposition of Graphs, Prof. Ross McConnell, Computer Science Department, Colorado State University
- 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
- Cost-sensitive Classifier Evaluation Using Cost Curves, Prof. Robert Holte, Department of Computing Science, University of Alberta
- Turning Software Development into Income: An Example, Mr. David Schwaab, Rebit Co.
- Malicious Transactions in Mobile Databases, Dr. Vijay Kumar, Computer Science and Informatics Department, University of Missouri, Kansas City
- MANET Simulation Studies: Reversing the Incredibles, Prof. Tracy Camp, Computer Science Department, Colorado School of Mines
- Careers and Challenges for Computer Scientists at Sandia National Laboratories, Dr. Jean-Paul Watson, Sandia National Laboratories
- Using Random Circulations to Find Small Cuts, Prof. Ramakrishna Thurimella, Department of Computer Science, University of Denver
- Genuinely Secure Software, Dr. William S. Worley, CTO, Secure64 Software Corporation
- Why Robots Will Never Have Sex, Prof. Avi Kak, Electrical and Computer Engineering, Purdue University
- 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
Fall 2006
- The Evolution of FreeBSD and Linux , Clemente Izurieta, Computer Science Department, Colorado State University
- Mixed Discrete and Continuous Algorithms for Scheduling Airborne Astronomy Observations, Jeremy Frank, Planning
and Scheduling Group, NASA Ames Research Center
- Graduate Student Orientation, Ross Beveridge and Dale Grit, Department of Computer Science, Colorado State University
- 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
- Reconfigurable Computing: Opportunities and Challenge, Professor Viktor Prasanna, Computer Engineering Division, University of Southern California
- Computer Science Department Research Overview , Dr. Darrell Whitley, Department of Computer Science, Colorado State University
- 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
- The Walls of Computer Design, Professor Jean-Luc Gaudiot, Electrical Engineering and Computer Science Department,
University of California-Irvine
- Viewing HIV as Evolutionary Computation, Dr. Richard K. Belew, University of California at San Diego
- Security Issues in Collaborative Computing, Professor Mikhail Atallah, Distinguished Professor, Computer Science Department, Purdue University
- 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.
- Vulnerabilities in Servers a nd Browsers, Omar Alhazmi and Sung-Whan Woo, Computer Science Department, Colorado State University
- The Spatial Web: Visions For A Geographically Enabled World, Professor Michael F. Goodchild, Professor of Geography, University of California, Santa Barbara
Spring 2006
- Towards Robust Overlay Networks: Enhancing Adaptivity Mechanisms with Byzantine-Resilience, Dr. Cristina Nita-Rotaru, Purdue
University, Department of Computer Sciences
- Beyond the PhD , Darrell Whitley, Department of Computer Science, CSU
- On Demand Skills for an On Demand World, Phil Farley, IBM
- Reducing Complexities, Gautam, Department of Computer Science, CSU
- Model-based Security Engineering, Dr. Jan Juerjens, Senior Researcher, Software and Systems Engineering, Department of Informatics, TU Munich, Germany.
- Fingerprinting Internet Paths using Packet Pair Dispersion, Christos Papadopoulos, Department of Computer Science, Information Sciences Institute and Integrated Media Systems
Center, University of Southern California
- Protecting Critical Computing Systems: A Hardware/Software Codesign Approach, Joseph Zambreno, Department of Electrical and Computer Engineering, Northwestern University
- Toward a better probabilistic understanding of sequence alignment, Dan Brown, Cheriton School of Computer Science, University of Waterloo
- Building Better Gene Finders, Tomas Vinar, University of Waterloo
- Characterizing Flows in Wireless Networks, Xiaoqiao (George) Meng, Computer Science Department, University of California at Los Angeles
- Computational Foundations of Automatic Differentiation, Paul Hovland, Argonne NL
- Are You Stealing Content? Multimedia Security: The Good, The Bad, and The Ugly: We are Going to Catch You!, Edward J. Delp , Purdue
University
- Incorporating Feature Hierarchies into Bayesian Network Learning , Dr. Marie desJardins, Department of Computer Science and Electrical Engineering, University of Maryland, Baltimore County
- Jose Fortes
- Model Driven Engineering for Distributed Real-time and Embedded Systems, Doug Schmidt, Associate Chair of Computer Science and Engineering and Professor of Computer Science, Vanderbilt University
- Helly Circular-Arc Graphs, Ben Joeris, Computer Science Department, CSU
- Case studies of optimization problems in industry , Lawrence "Dave" Davis
- James J. Hack, Senior Scientist, Head, Climate Modeling Section, Deputy Director, Climate and Global Dynamics Division, National Center for Atmospheric Research
Fall 2005
- Graduate Student Orientation, Ross Beveridge and Dale Grit, Department of Computer Science, Colorado State University
- Computer Science Department Research Overview>, Darrell Whitley, Department of Computer Science, Colorado State University
- Bayesian Logistic Regression for Text Classification and Mining, David D. Lewis
- Science funding and the congress: Time = Money, John F. Plumb, Science and Technology Fellow, Office of Senator Ken Salazar
- Kernel methods for the analysis of proteins, Asa Ben-hur, Department of Computer Science, Colorado State University
- Research Opportunities in the Open Analysis and Run-time Reordering Transformation Projects, Michelle Strout, Department of Computer Science, Colorado State University
- Towards Large Scale Kernel Methods, Jason Weston, NEC LAbs
- Software Vulnerabilities Discovery Models and their Applications, Omar Alhazmi, Department of Computer Science, Colorado State University
- Defending Against Distributed Denial of Service (DDoS) Attacks, Christos Papadopoulos, Department of Computer Science, University of Southern California
- Equations, Programs and Circuits: What's polyhedra got to do with it?, Sanjay Rajopadhye, Department of Computer Science, Colorado State University
- Hardware Compilation of Streams and Processes, Monica Chawathe, Department of Computer Science, Colorado State University
Spring 2005
- Evolving Cooperative Teams of Unmanned Aerial Vehicles (UAVS),>Darrell Whitley, Department of Computer Science, Colorado State University
- 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
- Predicting Malicious Attacks from Authorized Insiders, Nayot Poolsappasit, Department of Computer Science, Colorado State University
- Techniques for Model-Based Analysis and Implementation Synthesis of Real-Time Embedded Software, Dr. Zonghua (Sam) Gu,, Department of Computer Science, University of Virginia
- Representation-Independent Compiler Analysis, Dr. Michelle Strout, Argonne National Laboratory, Mathematics and Computer Science Division
- Human Graphics: Imagery That Works For Its Users, Dr. Benjamin Watson, Department of Computer Science, Northwestern University
- Cooperative Edge Cache Grid: Concepts, Architecture and Techniques, Dr. Lakshmish Ramaswamy, Georgia Tech
- A kernel method for predicting protein-protein interactions, Dr. Asa Ben-Hur, Noble Laboratory, University of Washington, Seattle
- Marker Gene Selection and Cancer Classification in Microarray Data Analysis, Yuhang Wang, Department of Computer Science, Dartmouth College
- A Cultural History of the Original JPEG Standard, Dr. Joan Mitchell, IBM Printing Division, Boulder, CO.
- Grid Computing: The Next Big Thing,, Wolfgang Gentzsch, MCNC Grid Computing & Networking Services
- 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
- Quantum Information and Quantum Computing - Why the Excitement?, Dan Marinescu, University of Central Florida
- 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
- Understanding Complex Adaptive Systems: An Evolutionary Agent-based Approach, Ken De Jong, George Mason University
- Adaptive Resource Management in Multithreaded Architectures,, Dan Connors, University of Colorado at Boulder
- Sustained Petaflop and Beyond Can Parallel Computing Systems Meet The Challenges?, Guang Gao, University of Delaware
Fall 2004
- New Graduate Student Orientation, Dale Grit, Ross Beveridge, Dept. of Computer Science, Colorado State University
- Guidelines for Computer Science Teaching Assistants, Liz Boese and Wim Bohm, Department of Computer Science, Colorado State University
- CS Faculty Research Presentations:, Wim Bohm, Sanjay Rajopadhye, Ross McConnell, H.J. Siegel, Colorado State University
- CS Faculty Research Presentations:, Sudipto Ghosh, Roger Alexander, Jim Bieman, Robert France, Yashwant Malaiya, Colorado State University
- CS Faculty Research Presentations: , Darrell Whitley, Ross Beveridge, Bruce Draper, Chuck Anderson, Colorado State University
- CS Faculty Research Presentations:, Dan Massey, Adele Howe, Indrajit Ray, Indrakshi Ray, Colorado State University
- Simplifying Reductions, Sanjay Rajopadhye, Department of Computer Science, Colorado State University.
- Minimax Probability Machine Classification and Regression, Greg Grudic, Department of Computer Science, University of Colorado at Boulder
- Beyond BGP: Building a Secure and Resilient Network Routing Protocols , Dan Massey, Department of Computer Science, Colorado State University.
- Stochastic Local Search Algorithms for MAX-SAT , Holger H. Hoos, Department of Computer Science, University of British Columbia
- Challenges and Possible Solutions for Testing Aspect-Oriented Programs, Roger Alexander, Department of Computer Science, Colorado State University
- Open Source Software in Business, Stormy Peters, Open Source Program Office, Hewlett-Packard Company, Fort Collins, CO
- Routing Dynamics and Route Flap Damping, Beichuan Zhang, Postdoctoral scholar at UCLA
- An Aspect-Oriented Approach to Software Development, Geri Georg and Robert France, Department of Computer Science, Colorado State Unversity
- Learning Control for the Manipulation of Quantum Dynamics, Randy Bartels, Department of Electrical and Computer Engineering, CSU
- Quantitative Vulnerability Assessment in Software Systems,> Omar Alhazmi, Department of Computer Science, Colorado State University
Spring 2004
- 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.
- N+1 Heads Are Better Than N --- or Are They? Arnold L. Rosenberg
- The Consecutive-Ones Property and The Semantic Web -- bringing meaning to the World Wide Web and Dynamic Service Choreography on the Semantic Web, Professor James Hendler,
Director of Semantic Web and Agent Technology, Maryland Information band Network Dynamics Laboratory, University of Maryland
- A Metamodeling Approach to Specifying Design Patterns, Dae-Kyoo Kim, Graduate Student, Dept. of Computer Science
- Performance Transformations for Irregular Applications, Michelle Mills Strout, Argonne National Labs
- Righting the Ship - Evolution of the Offshore Model, Josh Swihart
- Distributed Robotics at the University of Wyoming, Professor William Spears, Department of Computer Science, University of Wyoming
- Building a Secure and Resilient Network Infrastructure, Dr. Dan Massey, University of Southern California Computer Science Department
and Project Leader, USC Information Science Institute, Washington, D.C.
- Warp Processors, Roman Lysecky
- Automated Restructuring of Component-based Software Using DMS, Dr. Robert L. (Larry) Akers, Semantic Designs
- The CORAS MBRA methodology: using UML-models as input to risk analysis, Siv Hilde Houmb, Norwegian University of Science and Technology, Norway
- Computational Maps in the Visual Cortex, Dr. James Bednar, Department of Computer Sciences, The University of Texas at Austin
- Producing Flight Software with Agile Commercial and Government Practices, Jon Hagar, Software engineer and test lead at Lockheed Martin, Denver, Atlas launch vehicles
- Parallel Storage I/O: Programming, Configuration and Performance Perspectives, Dr. Raymond L. Paden, HPC Technical Architect, WW Deep Computing Team, IBM Corporation
- Routing and Link Scheduling in Ad Hoc Networks, Dr. Anil Vullikanti, Los Alamos Labs
- Steady state scheduling for heterogeneous platforms, Yves Robert, Ecole Normale Sup\E9rieure de Lyon, France
- Investigating Neurological Development and Epilepsy via Computational Models, Keith Bush, CSU Graduate Student
- WebCom-G, a Candidate Operating System for Grid-Ireland, John Morrison, University Cork, Ireland
Fall 2003
- New Graduate Student Orientation, Dale Grit, Ross Beveridge, Dept. of Computer Science, Colorado State University
- Preserving Digital Information, Dr. Richard Sites, Adobe Fellow
- Agent-oriented methodologies - what we can learn from object technology and method engineering, Dr. Brian Henderson-Sellers, Visiting Professor, Australia
- An Evaluation of Use Case Modeling: Limitations and Opportunities, Dr. Dan Turk, Dr. Gretchen Irwin, CIS Dept., Colorado State University
- CS Faculty Research Presentations: Fault Tolerant Systems, Software Engineering, Roger Alexander, Yashwant Malaiya, Jim Bieman, Colorado State University
- CS Faculty Research Presentations: Artificial Intelligence, Vision, Darrell Whitley, Chuck Anderson, Bruce Draper, Ross McConnell, Colorado State University
- CS Faculty Research Presentations: Software Engineering, Security, Sudipto Ghosh, Indrajit Ray, Indrakshi Ray, Ross Beveridge, Colorado State University
- Marshall Potter, Chief Scientist for Information Technology, Federal Aviation Administration, AIO-4
- Patterns for Effective Use Cases with The Ever Unfolding Story, Paul Bramble, Emperative
- CS Faculty Research Presentations: Parallel/Embedded Systems, Artificial Intelligence, Wim Bohm, Sanjay Rajopadhye, H. J. Siegel, Adele Howe, Colorado State University
- How Robust are Resource Allocations for Tasks in Parallel and Distributed Computing Systems, Prof. H. J. Siegel, CS & ECE, Colorado State University
- Distributed Robotics at the University of Wyoming , Professors William Spears and Diana Gordon-Spears, Computer Science Department, University of Wyoming
- The UCSC Human Genome Browser and Comparing the Human, Mouse and Rat Genomes, Professor David Haussler, University of California at Santa Cruz
- 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
- Aspect-Oriented Modeling: Tackling Software Complexity Through Aspects, Dr. Geri Georg, Department of Computer Science, Colorado State University
Spring 2003
- Modeling Local Search Algorithm Performance in Scheduling, Jean Paul Watson, Colorado State University
- On Evolvability, Complexity and Statistics, Dr. Darrell Whitley, Computer Science Department, Colorado State University
- Image Understanding and Web Security, Dr. Henry Baird, Palo Alto Research Center
- Enhancing the Productivity of Information Technology, Dr. Amar Gupta, MIT Sloan School of Management
- All of the world is an abstract interpretation (of all of the world), Dr. Dave Schmidt, Computing and Information Sciences Department, Kansas State University
- A Single Program Multiple Data Parallel Processing Platform for FPGAs, Phil James-Roxby, Xilinx Labs, Longmont CO
- Design Tool for a Heterogeneous Fabric Generation HetFabBuilder, Christophe Wolinski, IFSIC Rennes (France)
- Latent Semantic Analyis and its Application to Automated Essay Scoring, Karen Lochbaum, Knowledge Analysis Technologies
- Replacing the Telephone Network with Voice over Internet Protocol (VoIP) - An Overview, John Boese
- The Patenting of Computer-related Inventions, Jean Macheledt, Macheledt Bales LLP, Fort Collins, CO
- Characterization of Magnetic Recording Channels: A Historical Perspective, Dr. Thomas Howell, San Jose State and IEEE Magnetics Society Distinguished Lecturer
- Using Genetic Programming to Mine DNA-chip Data, W. B. Langdon, GlaxoSmithKline, University College London
Fall 2002
- CS Faculty Research Presentations, Ross McConnell, Sanjay Rajopadhye, Indrakshi Ray, Indrajit Ray, Wim Bohm
- CS Faculty Research Presentations, Sudipto Ghosh, Yashwant Malaiya, Bruce Draper
- CS Faculty Research Presentations Adele Howe, Chuck Anderson, JimBieman, Darrell Whitley
- Certifying Algorithms, Ross M. McConnell, CSU Computer Science Department
- CS Faculty Research Presentations, Robert France, Roger Alexander, Ross Beveridge
- CoDesign with MMALPHA, Kolin Paul, Alpha Group, Computer Science Department, CSU
- Aggregating states for stochastic processes, Jon Rowe, Birhingham University, UK
- Compiling Loops to High-performance Hardware: a Step Towards SoC Design, Patrice Quinton, IRISA, Rennes France
- 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
- The Rise and Fall of Internet Caching, Matt Haines, Haines Technology Partners, LLC, www.hainespartners.com
- No Free Lunch and Beyond , Darrell Whitley, CSU Computer Science Department
Spring 2002
- In vivo imaging of biological samples: application of computer vision to biology and genomics, Dr. June Medford, Department of Biology, Colorado State University
- On the Accuracy of Garbage Collection, Amer Diwan, University of Colorado, Boulder
- Iterative Compilation in a Non-Linear Optimisation Space, Michael O'Boyle, University of Edinburgh, UK, currently visiting Stanford University.
- Novel Approaches to Certificate Management in PKI, Prof. Ravi Mukkamala, Department of Computer Science, Old Dominion University
- Indirect Reinforcement Learning: An Analysis of the Exploitation-Exploration Tradeoff and an Application to Human-Computer Interaction, Dr. Satinder Singh Baveja
- MSXmin: A Modular Multicast ATM Packet Switch with Low Delay and Hardware Complexity, Prof. Sibabrata Ray, University of Alabama at Tuscaloosa
- Low Fidelity Algorithm Visualization, Dr. Christopher Hundhausen, University of Hawaii
- A State Variable Approach for Feedback Software Process Control, Joao Cangussu, Purdue University
- Optical High-Speed Networking, Dr. Mohsen Guizani, University of West Florida
- Pervasive Information Communities Organization (PICO), Dr. Behrooz Shirazi, The University of Texas at Arlington
- Bug Riddance: hard core software engineering, Rex Page, The University of Oklahoma
- Algorithms for Computational Biology and Data Mining, Ross McConnell, University of Colorado at Denver
- Software Archaeology, Grady Booch, Chief Scientist, Rational Software Corporation
- A Cryptographic Solution to Implement Access Control in a Hierarchy and More, Indrakshi Ray, Computer Science Department, Colorado State University
- 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
- Three Tools to Help with Cluster and Grid Computing: ATLAS, PAPI, and Netsolve and An Overview and Trends in High Performance Computing, Prof. Jack Dongarra, University of Tennessee
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\FCrnberg.
-
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.