The Association for Computing Machinery, ACM, has selected 47 new inductees as 2009 Fellows including EECS faculty members David Karger, professor of computer science and principal investigator with the Computer Science and Artificial Intelligence Lab, CSAIL, and Martin Rinard, professor of computer science and principal investigator in CSAIL.
David Karger is cited by the ACM "for efficient algorithms for combinatorial optimization problems based on randomization." As he describes on his CSAIL website, Karger splits his research between algorithms and information retrieval. His work in algorithms has focused on applications of randomization to optimization problems and led to significant progress on several core problems. He has also researched applications of theoretical ideas to applied areas such as compilers and networks.
His research in information retrieval has focused on new interfaces and algorithms for helping people sift effectively through large masses of information. His work on the Scatter/Gether browsing system at Xerox PARC led to two patents. More recently he has been researching retrieval systems that personalize themselves to best fit their individual users' needs and behaviors. He recently received the National Academy of Science's 2004 Award for Initiative in research.
Martin Rinard is cited by the ACM "for For his contributions to program analysis for parallel computing and techniques for enabling software systems to execute successfully in the face of errors and failures." Rinard notes on his website: Much of my research has focused on several major topics: robust, resilient software that can survive errors, program verification, the analysis and optimization of multithreaded programs, the analysis and optimization of divide and conquer programs, synchronization optimizations, and automatic parallelization of sequential programs.
Software systems are often perceived to be fragile and brittle, vulnerable to errors that cause the system to crash. My research group has developed a set of techniques that make software systems robust, resilient, and reliable by enabling them to survive a range of otherwise fatal errors. The overall goal is to make the software survive any error, continue to execute, and provide acceptable service to its users.
congratulations David and Martin!