Model Checking with Maximal Causality Reduction
Jeff Huang is currently an Assistant Professor in the Department of Computer Science and Engineering at Texas A&M University. His research focuses on developing techniques and tools for improving software performance and reliability based on fundamental program analyses and programming language theory. His research has won awards including ACM SIGSOFT Outstanding Dissertation Award, SIGPLAN PLDI Distinguished Paper Award, SIGPLAN Research Highlights, Google Faculty Research Award, and NSF CAREER Award.
Mon 23 Oct Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change
|15:30 - 16:00|
Jeff HuangTexas A&M University
|16:00 - 16:30|
|16:30 - 17:00|
Sam GuyerTufts University