Yue Yang's Publications

Conference and Journal Papers

• Memory-Model-Sensitive Data Race Analysis

          Yue Yang, Ganesh Gopalakrishnan, and Gary Lindstrom,
          the 6th International Conference on Formal Engineering Methods (ICFEM'04), 

          abstract ps

• QB or not QB: An Efficient Execution Verification Tool for Memory Orderings

          Ganesh Gopalakrishnan, Yue Yang, and Hemanthkumar Sivaraj,
          the 16th International Conference on Computer Aided Verification (CAV'04), 

          abstract pdf

• Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models

          Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, and Konrad Slind,
          the 18th International Parallel and Distributed Processing Symposium (IPDPS'04).

          abstract  pdf

• Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT

          Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, and Konrad Slind,

          the 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME'03), 

          LNCS 2860, October 2003, Springer Verlag,

          abstract  pdf  ppt

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

          Yue Yang, Ganesh Gopalakrishnan, and Gary Lindstrom,

          to appear in Concurrency and Computation: Practice and Experience.

          abstract  pdf

• Specifying Java Thread Semantics Using a Uniform Memory Model

          Yue Yang, Ganesh Gopalakrishnan, and Gary Lindstrom,
          Joint ACM Java Grande – ISCOPE Conference, 2002.

          abstract  pdf  ppt

• Analyzing the CRF Java Memory Model

          Yue Yang, Ganesh Gopalakrishnan, and Gary Lindstrom,
          the 8th Asia-Pacific Software Engineering Conference (APSEC'01), pages 21-28, 2001.

          Also presented at the Workshop on Software Model Checking (SWMC'01) and the Java Verification Workshop (JVW'02).

          abstract  pdf  ppt

PhD Dissertation

• Formalizing Shared Memory Consistency Models for Program Analysis

          abstract  pdf  ppt

Other Papers

• Rigorous Concurrency Analysis of Multithreaded Programs

          Yue Yang, Ganesh Gopalakrishnan, and Gary Lindstrom,
          in Workshop on Concurrency and Synchronization in Java Programs (CSJP'04),

          also available as Technical Report UUCS-03-026, University of Utah, November 2003.

          abstract  pdf

• A Unified Framework for Handling Constraints During Program Analysis

          Yue Yang and Ganesh Gopalakrishnan, 
          in Workshop on Constraint Programming and Constraint for Verification (CP+CV'04).

• Molecular Dynamics Simulation of Fluid Flow in Confined Geometries

           M.S. Thesis

• ⁵⁷Fe Mossbauer Study of RTiFe₁₁N_x Compounds

          Senlin Ge, Qi Pan, Guoqiang Yang, Jingsong Zhang, Yue Yang, Wei Tao, and Yingchang Yang,

          Solid State Communications, 83(7)487, 1992.