MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Yue Yang" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

18 documents found, showing 1 through 10. Next 10 →

ATOM

Specifying Java thread semantics using a uniform memory model
by Yue Yang — 2002 — In ACM Java Grande Conference
…Specifying Java Thread Semantics Using a Uniform Memory Model ABSTRACT Yue Yang School…
Cited by 7 (3 self) – Add To MetaCart

Analyzing the CRF Java Memory Model
by Yue Yang Ganesh, Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom — 2001 — In the 8th Asia-Pacific Software Engineering Conference
…Analyzing the CRF Java Memory Model Yue Yang, Ganesh Gopalakrishnan, and Gary Lindstrom # School…
Add To MetaCart

Formalizing the Java Memory Model for Multithreaded Program Correctness and Optimization
by Yue Yang, Yue Yang, Ganesh Gopalakrishnan, Ganesh Gopalakrishnan, Gary Lindstrom, Gary Lindstrom — 2002 — University of Utah
…Formalizing the Java Memory Model for Multithreaded Program Correctness and Optimization Yue Yang…
Cited by 5 (2 self) – Add To MetaCart

Rigorous concurrency analysis of multithreaded programs
by Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom — 2004 — In PODC Workshop on Concurrency and Synchronization in Java Programs (CSJP
…Rigorous Concurrency Analysis of Multithreaded Programs ABSTRACT Yue Yang, Ganesh Gopalakrishnan…
Cited by 2 (1 self) – Add To MetaCart

Analyzing the Intel Itanium memory ordering rules using logic programming and SAT
by Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind — 2003 — In CHARME
…Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT ⋆ Yue Yang…
Cited by 11 (6 self) – Add To MetaCart

QB or not QB: An efficient execution verification tool for memory orderings
by Ganesh Gopalakrishnan, Yue Yang, Hemanthkumar Sivaraj — 2004 — In Computer-Aided Verification (CAV), LNCS 3114
… Gopalakrishnan, Yue Yang, and Hemanthkumar Sivaraj School of Computing, University of Utah {ganesh…
Cited by 6 (1 self) – Add To MetaCart

G.: Memory-model-sensitive data race analysis
by Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom — 2004 — ICFEM. Volume 3308 of LNCS
…Memory-Model-Sensitive Data Race Analysis ⋆ Yue Yang 1 , Ganesh Gopalakrishnan, and Gary Lindstrom…
Cited by 3 (0 self) – Add To MetaCart

Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models
by Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind — 2003 — In International Parallel and Distributed Processing Symposium (IPDPS
…Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models ∗ Yue…
Cited by 10 (5 self) – Add To MetaCart

Analyzing the CRF Java Memory Model
by Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom — 2001 — In the 8th Asia-Pacific Software Engineering Conference
…Analyzing the CRF Java Memory Model Yue Yang, Ganesh Gopalakrishnan, and Gary Lindstrom ∗ School…
Cited by 9 (6 self) – Add To MetaCart

Interpreting Arithmetic in the R.E. Degrees Under ...-Induction
by C. T. Chong, Richard A. Shore, Yue Yang
… AND YUE YANG Abstract. We study the problem of the interpretability of arithmetic in the r.e. degrees…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB