报告时间：2014年4月22日（周二）上午10:00 - 11:00 报告地点：301会议室 报告人：Jeff Huang
(Department of Computer Science, University of Illinois at Urbana-Champaign)
报告摘要：
The trend of concurrency in software development keeps growing. However, concurrency remains hard to reason about. In this talk, I will discuss some of the major research challenges in concurrent programming and highlight a constraint-based approach for concurrent program analysis. I will focus on two techniques: CLAP - an SMT solver based system that composes thread control-flow profiles to reproduce concurrency failures, and RVPredict - a trace-based data race detector that precisely predicts the maximal possible races that can be found based on a single execution trace.
报告人简介：
Jeff is currently a Postdoctoral Researcher at the Department of Computer Science, University of Illinois at Urbana-Champaign. He received his Ph.D. from The Hong Kong University of Science and Technology in 2012. His research focuses on developing techniques and tools for improving concurrent software quality and reliability based on fundamental program analyses and programming language theory. He received 2013 SIGSOFT Outstanding Dissertation Award and 2013 PLDI Distinguished Paper Award. He was also the winner of 2012 PLDI Student Research Competition and a winner of 2010 Professor Samuel Chanson Best Teaching Assistant Award.
附件下载：
Constraint-based Concurrent Program Analysis
报告地点：301会议室
报告人：Jeff Huang
(Department of Computer Science, University of Illinois at Urbana-Champaign)
报告摘要：
The trend of concurrency in software development keeps growing. However, concurrency remains hard to reason about. In this talk, I will discuss some of the major research challenges in concurrent programming and highlight a constraint-based approach for concurrent program analysis. I will focus on two techniques: CLAP - an SMT solver based system that composes thread control-flow profiles to reproduce concurrency failures, and RVPredict - a trace-based data race detector that precisely predicts the maximal possible races that can be found based on a single execution trace.
报告人简介：
Jeff is currently a Postdoctoral Researcher at the Department of Computer Science, University of Illinois at Urbana-Champaign. He received his Ph.D. from The Hong Kong University of Science and Technology in 2012. His research focuses on developing techniques and tools for improving concurrent software quality and reliability based on fundamental program analyses and programming language theory. He received 2013 SIGSOFT Outstanding Dissertation Award and 2013 PLDI Distinguished Paper Award. He was also the winner of 2012 PLDI Student Research Competition and a winner of 2010 Professor Samuel Chanson Best Teaching Assistant Award.