Location and time:

• Time: Mondays, 3:30-4:30 (except where noted below)

• Place: Taylor Hall 2.106

• Parking: We suggest parking garage 1 (PG1) at San Jacinto and 24th

• Mailing list: Please click here for instructions on how to subcribe or unsubscribe

• Need directions? Here are maps showing:

  • Scalable Yahoo map of 24th and Speedway
  • The UT Campus Area
  • Submap including ENS
  • Submap including Taylor Hall
  • Submap including Parking Garage #1

Presentation schedule:

Date	Speaker	Title	Slides/Papers
Jan. 31	Steven K. Reinhardt Department of EECS University of Michigan	Prefetching and Caching Strategies for Modern Memory Systems	Abstract
Feb. 14	Uri Weiser Co-Director, Intel Texas Development Center	VLSI: Is it all about integration and performance? Trends and Directions	Abstract
Feb. 21	Mark Horowitz Stanford University	What computer architects should know about VLSI scaling	Abstract Slides
Feb. 28	Sid Chatterjee University of North Carolina at Chapel Hill	Fast Tree-Structured Computations and Memory Hierarchies	Abstract Slides
Mar. 6	Jun Sawada IBM Austin Research Laboratory	An Introduction to Formal Verification and the FM9801 Project	Abstract
Mar. 20	Anand Sivasubramaniam Department of Computer Science and Engineering Penn State University	Communication and Scheduling for a Multiprogrammed Cluster	Abstract
Mar. 27	Dan Dreps IBM Austin	Wave Pipelined "Elastic" Interface on the POWER4 Chip	Abstract Paper
Apr. 3	Trevor Mudge Department of EECS University of Michigan	Cool Chips	Abstract
Apr. 10	Sanjay Jeram Patel Department of Electrical and Computer Engineering University of Illinois at Urbana-Champaign	Dynamic Optimizations using the rePLay Framework	Abstract
Apr. 17	Fred Pollack Director of Microcomputer Research Labs Intel Corporation	New Microarchitecture Challenges in the Coming Generations of CMOS Process Technologies	Abstract Slides
Apr. 24	Mootaz Elnozahy IBM Austin Research Lab	Scalability and Performance of a ccNUMA-based Wintel System	Abstract
May 1	J Strother Moore Department of Computer Sciences University of Texas at Austin	Proving Commercial Microprocessors Correct: Recent Results with ACL2	Abstract

Previous Seminar Series

• Spring 1999
• Fall 1999

Organization

This seminar series is organized jointly by the Departments of Computer Sciences and Electrical and Computer Engineering at the University of Texas at Austin.