Ching-Tsun Chou

23 papers A* 2A 1B 3Journal 8Unranked 9
YearRankTypeTitle / Venue / Authors
2014 J jnl
Revisiting the Complexity of Hardware Cache Coherence and Some Implications.
ACM Trans. Archit. Code Optim.
Rakesh Komuravelli, Sarita V. Adve, Ching-Tsun Chou
2011 B conf
DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism.
PACT
Byn Choi, Rakesh Komuravelli, Hyojin Sung, Robert Smolinski, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Nicholas P. Carter, Ching-Tsun Chou
2010 J jnl
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols.
Formal Methods Syst. Des.
Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou
2007 — conf
Hierarchical cache coherence protocol verification one level at a time through assume guarantee.
HLDVT
Xiaofang Chen, Yu Yang, Michael Delisi, Ganesh Gopalakrishnan, Ching-Tsun Chou
2006 B conf
Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee.
FMCAD
Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou
2004 B conf
A Simple Method for Parameterized Verification of Cache Coherence Protocols.
FMCAD
Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park
2003 J jnl
Experience with Applying Formal Methods to Protocol Specification and System Architecture.
Formal Methods Syst. Des.
Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park
2001 — conf
A Specification Methodology by a Collection of Compact Properties as Applied to the Intel
CHARME
Kanna Shimizu, David L. Dill, Ching-Tsun Chou
1999 J jnl
Formal Verification of a Partial-Order Reduction Technique for Model Checking.
J. Autom. Reason.
Ching-Tsun Chou, Doron A. Peled
1999 A* conf
The Mathematical Foundation fo Symbolic Trajectory Evaluation.
CAV
Ching-Tsun Chou
1996 A conf
Formal Verification of a Partial-Order Reduction Technique for Model Checking.
TACAS
Ching-Tsun Chou, Doron A. Peled
1996 J jnl
Simple Proof Techniques for Property Preservation via Simulation.
Inf. Process. Lett.
Ching-Tsun Chou
1995 J jnl
Mechanical Verification of Distributed Algorithms in Higher-Order Logic.
Comput. J.
Ching-Tsun Chou
1994 — conf
A Formal Theory of Undirected Graphs in Higher-Order Logic.
TPHOLs
Ching-Tsun Chou
1994 — conf
Mechanical Verification of Distributed Algorithms in Higher-Order Logic.
TPHOLs
Ching-Tsun Chou
1993 — conf
Predicates, Temporal Logic, and Simulations.
HUG
Ching-Tsun Chou
1992 — conf
A Note on Interactive Theorem Proving with Theorem Continuation Functions.
TPHOLs
Ching-Tsun Chou
1992 — conf
A Sequent Formulation of a Logic of Predicates in HOL.
TPHOLs
Ching-Tsun Chou
1990 J jnl
Synchronizing asynchronous bounded delay networks.
IEEE Trans. Commun.
Ching-Tsun Chou, Israel Cidon, Inder S. Gopal, Shmuel Zaks
1989 J jnl
Linear Broadcast Routing.
J. Algorithms
Ching-Tsun Chou, Inder S. Gopal
1988 — conf
Linear Broadcast Routing.
FSTTCS
Ching-Tsun Chou
1988 A* conf
Understanding and Verifying Distributed Algorithms Using Stratified Decomposition.
PODC
Ching-Tsun Chou, Eli Gafni
1987 — conf
Synchronizing Aysnchronous Bounded Delay Networks.
WDAG
Ching-Tsun Chou, Israel Cidon, Inder S. Gopal, Shmuel Zaks