Date: Mon, 28 Mar 2005 11:55:49 -0600 From: Jared Davis Subject: This week in ACL2 Hi, This week's ACL2 meeting will be an extended (one hour) roundtable to make up for the short roundtable last week. We'll end the meeting at 5pm so that interested people can go to the talk by Dirk Meyer from AMD about "The Future of Computing" (abstract below). We'll be getting back to a more usual schedule next week. Thanks, and hope to see you there, Jared Event: AMD Day Talk http://www.ece.utexas.edu/news/amd05.html Speaker: Dirk Meyer Executive VP of AMD's Computation Products Group Title "The Future of Computing" Date: Wednesday, March 30, 2005 Time: 5:00 p.m. Place: ACES 2.302 Reception to follow in the ACES connector lobby at 6:00 p.m. ABSTRACT: On March 30th , Advanced Micro Device's Vice President and Former Director of Engineer, Dirk Meyer will be giving a talk at the University of Texas about the future of computing. Mainstream computing today ranges from large server products down to small, low power, handheld devices, many of which run on different architectures and ISAs. Maintaining software across this vast array of products results in large amounts of overhead costs and engineering resources. With the increasingly large number of transistors on modern day microprocessors, transistor real estate is becoming cheaper, and feature sets are growing larger. The ability to increase the performance of these machines is becoming almost independent of the underlying instruction set architecture. Only a small part of the overall chip is dedicated to the instruction set decode. Dirk will explain how it is now possible to move towards a consolidation of instruction set architectures and mitigate software costs. PROFILE: Executive Vice President, Computation Products Group http://www.amd.com/us-en/Corporate/AboutAMD/0,,51_52_570_11573,00.html, Dirk Meyer is Executive Vice President of the Computation Products Group at AMD and has responsibility for all product development, manufacturing, operations and marketing in support of this business. He joined AMD in 1996 as the director of engineering for the AMD-K7 microprocessor development program in Austin , Texas . In April 1999, Meyer was promoted to the position of vice president of engineering for the Computation Products Group. Meyer came to AMD from Digital Equipment Corporation, where he worked for nearly a decade and was co-architect of the Alpha 21064 and 21264 microprocessors. Meyers microprocessor industry experience includes tenures at not only AMD and Digital but also Intel Corporation. Over the years, he has been involved in the design of x86, Alpha, VAX, and embedded processors. Meyer graduated from the University of Illinois , where he received a bachelor's degree in computer engineering. He also received a master's degree in business administration from Boston University.