Jason Yue Yang

As a member of the Program Analysis Group at Microsoft Research, I am currently working on a path-sensitive data flow analysis tool called ESP. I obtained my Ph.D. from University of Utah, and my B.S. from Peking University.

Publications

• Memory-Model-Sensitive Data Race Analysis (ICFEM'04)

• QB or not QB: An Efficient Execution Verification Tool for Memory Orderings (CAV'04)

• Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models (IPDPS'04)

• Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT (CHARME'03)

• UMM: An Operational Memory Model Specification Framework with Integrated Model Checking Capability (CCPE)

• Specifying Java Thread Semantics Using a Uniform Memory Model (JGI'02)

• Analyzing the CRF Java Memory Model (APSEC'01)

Links

• My home page at University of Utah