"Programming Uncertain <T>hings"
Kathryn S. McKinley
Principal Researcher, Microsoft
Thursday, February 4, 2016
3:30 pm, Ryerson 251
*Reception to follow in Ryerson 255 at 4:30 pm*
In 1985, industry adapted the IEEE floating point standard, which was wildly successful in delivering programmability, reliability, and portability for applications that reasoned and computed with floating point numbers. Computing is at a similar point in its history for estimates, wherein a standardized abstraction has the potential to improve the way programmers think about and solve the growing variety of problems that involve uncertainty.
About the Speaker:
Kathryn S. McKinley is a Principal Researcher at Microsoft. She was previously an Endowed Professor of Computer Science at The University of Texas at Austin. She received her BA, MS, and PhD from Rice University. Her research interests span programming language design and implementation, runtimes, architecture, performance, and energy efficiency for cloud and mobile. She and her collaborators have produced several widely used tools: DaCapo Java Benchmarks (31,800+ downloads), TRIPS Compiler, Hoard memory manager, MMTk memory management toolkit, and Immix garbage collector. Her current work focuses energy efficient systems and on Uncertain<T>, a programming language system for correct and efficient applications that sense and reason about the complexity of the world with estimates. She has graduated 21 PhD students. Dr. McKinley was honored to testify to the House Science Committee (Feb. 14, 2013). She served as CRA-W co-chair. She is an IEEE and ACM Fellow.
Host: Hank Hoffmann
For more information about future and/or past Distinguished Lectures, please visit: Distinguished Lecture Series