University of Wisconsin -- Madison

Colloquia: September 1995 - August 1997

(Click here for information on current colloquia.)

David Johnson, AT&T Laboratories
The Traveling Salesman Problem: On the State of the Art

Peter Fenwick, University of Auckland
Block-Sorting Text Compression

Routo Terada, University of Sao Paulo and NTT
How to Strengthen FEAL Against Differential Cryptanalysis

Kazuaki Murakami, Kyushu University
PPRAM: A 21st-Century's Microprocessor Architecture

Richard Belew, University of California - San Diego
Adaptive Individuals in Evolving Populations: Models and Algorithms

Stephen Fenwick, Australian National University
Performance Analysis of Distributed Object Stores

C. W. Johnson, Australian National University
High Performance Object Store Research in Australia

George Bekey, University of Southern California
Biologically Inspired Control of Intelligent Machines

Valery Soloviev, North Dakota State University
The CANDID Video-on-Demand Server

Scott Baden, University of California - San Diego
Software Infrastructure for Irregular Scientific Computations on Parallel Processors

Steven Scott, Cray Research
The SCX Channel: A New Supercomputer-Class System Interconnect

Kirk Haller, Dalhousie University
On Blossoming and Duals

Alex Veidenbaum, University of Illinois at Chicago
Prefetching in Second-Level Caches

Una-May O'Reilly, MIT
A Comparative Approach to Understanding Genetic Programming

M. Vidyasagar, Centre for Artificial Intelligence and Robotics, India
Discrete Optimization Using Analog Neural Networks

Jin-Yi Cai, SUNY Buffalo
The Resolution of a Hartmanis Conjecture

Helmut Pottmann, Technical University of Vienna
Studying NURBS Curves and Surfaces with Classical Geometry

Alexander Shevchenko, National Academy of Sciences of Ukraine
POLYE System: Computer Implementation of the R-functions Method

Thomas Ball, AT&T Laboratories
Tracking and Viewing Modifications on the Web

Norman Sondheimer, GE Corporate Research & Development
GE's Experience in Applying Artificial Intelligence Technology: Successes and Research Directions

Gregory Hager, Yale University
Cheap, Fast and Firmly in Control: Lightweight Systems for Real-Time Vision and Robotics

Richard Belew, University of California - San Diego
Global Sampling + Local Search: Hybridized Genetic Algorithms as Function Optimizers

Harold Jordan, University of Colorado at Boulder
Optical Computing: Speed-of-Light Digital Systems

Scott Page, California Institute of Technology
Problem Solving by Teams of Heterogeneous Agents

David Rich, BBN
Future Directions for Debugging Parallel/Distributed Systems

Andrew Glew, Intel
A Code Generator's Perspective on P6

Ronald DeVore, University of South Carolina
Wavelet-Based Image Processing

Ronald DeVore, University of South Carolina
Adaptive Methods and Regularity of PDE's

Joan Feigenbaum, AT&T Laboratories
Decentralized Trust Management

Lotfi Zadeh, University of California - Berkeley
Computing with Words - A Paradigm Shift

Joan Feigenbaum, AT&T Laboratories
Games, Complexity Classes, and Approximation Algorithms

Robert Colwell, Intel
The Pentium Pro Processor

Ellen Zegura, Georgia Institute of Technology
How to Model an Internetwork

Lawrence Rudolph, Hebrew University
The Supersphere Electroholographic Architecture: Computer Architecture Issues for Optical Interconnection Networks

Steven Huss-Lederman, Argonne National Laboratory
What is MPI?

Michael Peshkin, Northwestern University
Image-Guided Surgery

Kim Bruce, Williams College
Typing in Object-Oriented Languages: Achieving Expressibility and Safety

Christos Papadimitriou, University of California - Berkeley
Complexity as Metaphor

Christos Papadimitriou, University of California - Berkeley
Computational Problems in Spatial Databases

Joel Emer, Digital Equipment Corporation
Internal Organization of the Alpha 21164: Design Choices for High Performance

Robert Andrews, Queensland University of Technology
Rule Refinement and Extraction with Local-Function Neural Networks

Jong-Shi Pang, Johns Hopkins University
Complementarity in Engineering

Jong-Shi Pang, Johns Hopkins University
Error Bounds in Mathematical Programming

Michael Mascagni, Institute for Defense Analysis
A Scalable Library For Pseudorandom Number Generation: Theory and Practice

Craig Chambers, University of Washington
Synergistic Language Design and Implementation Research

Wen-Han Wang, Intel
Microcomputer Research Challenges - An Introduction to Intel Microcomputer Research Labs

Kenneth Kennedy, Rice University
Compiler Support for Architecture-Independent Parallel Programming

Kenneth Kennedy, Rice University
Optimization of High Performance Fortran

Heinz-Otto Kreiss, UCLA and Royal Swedish Institute of Technology
Can One Trust Numerical Solutions of the Navier-Stokes Equations?

Michael Brown, Microsoft
New Technology and the Global Economy: A Vision for the Future

Usama Fayyad, Microsoft Research (formerly at JPL)
Observing the Universe Can Drown You in Images: Data Mining Solutions at JPL

Robert Borchers, NSF
From MegaFLOPS to TeraFlops: Computational Science in the Nineties

Craig Dedo, Elmbrook Computer Services
Current and Future Fortran Standards

Steven Huss-Lederman, Argonne National Laboratory
Strassen's Algorithm: A Practical Method for Fast Matrix Multiplication

Alex Pentland, MIT
Smart Rooms: Machine Understanding of Human Action

Alex Pentland, MIT
Toward Second-Generation Image Databases

Jack Dongarra, University of Tennessee and Oak Ridge National Lab
Software Standards and Tools for Concurrent Computing

Jack Dongarra, University of Tennessee and Oak Ridge National Lab
Recent Work in Parallel Algorithms for the Linear Algebra

Joao Meidanis, University of Campinas, Brazil
A Theory for the Consecutive Ones Property

Gary Schultz, Pacific Gas and Electric
Optimization Problems in Electric Power

Reinhard Wilhelm, University of the Saarland, Germany
Cache Behavior Prediction by Abstract Interpretation

Murray Pearson, Waikato University, New Zealand
The Architecture of an Optimistic CPU: The WarpEngine

Renato De Leone, University of Camerino, Italy
Data Envelopment Analysis

Donald Pfefferkorn, Hewlett Packard
Developing Support and Monitoring Software for a Parallel Processor System

Edward Felten, Princeton University
Java Security: Myth vs. Reality

Daniel Boneh, Bellcore
Collusion Secure Fingerprinting of Digital Data

Toshiyuki Shimizu, Fujitsu
AP3000 Parallel Server

Michael Lehman, Sun Microsystems
Sun Microsystems' View of the Future of the Java Computing Environment

Raphael Finkel, University of Kentucky
The Unify Project

Mihalis Yannakakis, AT&T Laboratories
Testing Finite State Systems

Brian Wylie, Swiss Center for Scientific Computing
The Annai Integrated Environment for HPF/MPI Application Engineering

Christian Kanzow, University of Hamburg
Hybrid Methods for Nonlinear Complementarity Problems

Richard Belew, University of California - San Diego
Competitive Co-evolution

Daniel Scales, DEC Western Research Laboratory
Shasta: A Low Overhead, Software-Only Approach for Supporting Fine-Grain Shared Memory

Jorg Peters, Purdue University
Surface Representations

James Golden, GeneSys Technologies
Evolutionary Optimization of Neural Networks For DNA Sequencing

Daniel Lieuwen, AT&T Laboratories
Recovering Scalable Spin Locks

Men-Chow Chiang, IBM-Austin
Experience With Modeling SMP System Performance - A Case Study in an IBM Product Development Site

Sandy Fraser, AT&T Laboratories
Broadband Communications for Consumers

Thomas DeFanti, University of Illinois at Chicago
The Coming Defenestration: Immersive Environments Without Windows

Daniel Lynch, CyberCash
Micropayments - The Energy Pill for a New World Order

Paul Mockapetris, Software.Com
Next Generation Internet: The Cable Perspective

Eric Schmidt, Novell
Evolution or Revolution? The Future of Network Computing

John Morgridge, Cisco Systems
Catching the WAVE

Christian Bischof, Argonne National Laboratory
Building Automatic Differentiation Tools

Jeffrey Hollingsworth, University of Maryland
Online Evaluation of Performance Tuning Alternatives

Eberhard Bertsch, Ruhr University
Non-Correcting Syntax Error Recovery

Robin Milner, Cambridge University
Computing is Interaction

Robin Milner, Cambridge University
The Pi Calculus and its Applications

Susan Eggers, University of Washington
Simultaneous Multithreading: Maximizing On-Chip Parallelism with a New Threaded Processor Architecture

Todd Austin, Intel
Cache-Conscious Data Placement

Joan Boyar, Odense University, Denmark
The Seat Reservation Problem

Kim Larsen, Odense University, Denmark
Search Trees with Relaxed Balance

Jeffrey Thomas, Exponential Technology
The Architecture of Exponential PowerPC X704

Roland Wismueller, Technical University of Munich
OMIS v2.0 - A Universal Interface for On-line Monitoring Systems

Richard Stellwagen, NCR
Data Warehousing in the Real World: An NCR/Teradata Perspective

Sarita Adve, Rice University
The Impact of ILP Processors on Shared-Memory Multiprocessing

Michael Mascagni, University of Southern Mississipi
A Deterministic Particle Method for One-Dimensional Reaction-Diffusion Equations

Kunle Olukotun, Stanford University
The Stanford Hydra Single Chip Multiprocessor

Yoonho Park, University of Houston
Physical Memory Management for Scientific Applications

Donald McClure, Brown University
Examples of Mathematical Approaches to Machine Vision Problems in Manufacturing and Entertainment

Jason Wu, Argonne National Laboratory
A PLAPACK-Based Symmetric Band Reduction Routine

Michael Smith, Harvard University
Code Movement and Code Placement Optimizations in Machine SUIF

Anthony Barrett, Allen-Bradley
The Current State of the Art in Control Programming

Joseph Hellerstein, University of California - Berkeley
Online Aggregation

Margo Seltzer, Harvard University
Issues and Challenges in Extensible Operating Systems

Joseph Flaherty, RPI
A Framework for the Parallel Adaptive Solution of Partial Differential Equations

Tian-Xiao He, Illinois Wesleyan University
C^1 Quadratic Macroelements and C^1 Orthogonal Multiresolution Analyses in 2D

Tomas Pajdla, Czech Technical University
Image-Based Scene Representation at the Czech Technical University

Andre Seznec, IRISA / INRIA
Multiple-Block Ahead Branch Predictors

Ronald Jones, CSIRO, Australia
A Graph-Based Segmentation of Wood Micrographs

Yuhua Luo, University of Balearic Islands
Virtual Studio for TV Program Production


previous section table of contents

Press one of the arrows above to move around in this report.

Send comments about this publication to pubs@cs.wisc.edu.
Mail general questions about the department to cs@cs.wisc.edu.