| Topic | Timeframe | Presenter | Description |
| BSP (Bulk Synchronous Processing) | Feb. | Keller | A software library for high-performance computing based on a particular theoretical model |
| Charm++ | Feb. | Ross Luengen | A software library for distributed parallel computing from UIUC. |
| Fortran90/HPF | Mar. | Keller | Fortran 90 and High-Performance Fortran |
| NESL | Feb. | Keller | Nested-expression language |
| pSather | Mar. | Glen Gebhart | A parallel object-oriented language based on Eifel. |
| Split-C | Mar. | Greg Matthews | A C based library from UC Berkeley |
| ZPL | Feb. | Greg Schueler | High-level programming language that maps into MPI, etc. |
| LogP | Mar. 7 | Peter Boothe | A theoretical model that takes communication cost into account |
| BMF | Mar. | Eugene Tsimberg | Bird-Meertens Formalism, a formalism for modeling and optimizing parallel computations |
| Java parallel computing | Mar. | Craig Radnovich | |
| Generic Co-ordination Forms (skeletons) | Mar. 21 | Roy Pollock | |
| UNITY model | Mar. | Greg Fishbein | |
| Berkeley NOW | Mar. | Nathan Field | Network of Workstations for parallel computing |
| Globus | Mar. | Chuck Schied | Geographically distributed computing |
| Argos | April | Seth Heidkamp | A real-time language based on statecharts |
| DisCo | April | Sage Weil | Specification tool for reactive languages |
| Esterel | April | Jon Beeler | A language for synchronous real-time computing |
| Lustre | April | Josh Hoyt | A verification-oriented real-time language |
| Reactive | April | Dave Beydler | Thread-based real-time language |
| sE | April | Zeke Burgess | Synchronous Eifel |
| PTL | April | Alex Wilkins | Propositional Temporal Logic checker |
| TLA | April | Keller | Temporal Logic of Actions |
| Other suggestions for topics: |