Ching-Tsun Chou

According to our database, Ching-Tsun Chou authored at least 21 papers between 1987 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of two.

2014

Revisiting the Complexity of Hardware Cache Coherence and Some Implications.

Rakesh Komuravelli, Sarita V. Adve, Ching-Tsun Chou

ACM Trans. Archit. Code Optim., 2014

2011

DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism.

Byn Choi, Rakesh Komuravelli, Hyojin Sung, Robert Smolinski, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Nicholas P. Carter, Ching-Tsun Chou

Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011

2010

Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols.

Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou

Formal Methods Syst. Des., 2010

2007

Hierarchical cache coherence protocol verification one level at a time through assume guarantee.

Xiaofang Chen, Yu Yang, Michael Delisi, Ganesh Gopalakrishnan, Ching-Tsun Chou

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

2006

Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee.

Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2004

A Simple Method for Parameterized Verification of Cache Coherence Protocols.

Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

Experience with Applying Formal Methods to Protocol Specification and System Architecture.

Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park

Formal Methods Syst. Des., 2003

2001

A Specification Methodology by a Collection of Compact Properties as Applied to the Intel^® Itanium^TM Processor Bus Protocol.

Kanna Shimizu, David L. Dill, Ching-Tsun Chou

Proceedings of the Correct Hardware Design and Verification Methods, 2001

1999

Formal Verification of a Partial-Order Reduction Technique for Model Checking.

Ching-Tsun Chou, Doron A. Peled

J. Autom. Reason., 1999

The Mathematical Foundation fo Symbolic Trajectory Evaluation.

Ching-Tsun Chou

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1996

Simple Proof Techniques for Property Preservation via Simulation.

Ching-Tsun Chou

Inf. Process. Lett., 1996

1995

Mechanical Verification of Distributed Algorithms in Higher-Order Logic.

Ching-Tsun Chou

Comput. J., 1995

1994

A Formal Theory of Undirected Graphs in Higher-Order Logic.

Ching-Tsun Chou

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1993

Predicates, Temporal Logic, and Simulations.

Ching-Tsun Chou

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

1992

A Sequent Formulation of a Logic of Predicates in HOL.

Ching-Tsun Chou

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

A Note on Interactive Theorem Proving with Theorem Continuation Functions.

Ching-Tsun Chou

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

1990

Synchronizing asynchronous bounded delay networks.

Ching-Tsun Chou, Israel Cidon, Inder S. Gopal, Shmuel Zaks

IEEE Trans. Commun., 1990

1989

Linear Broadcast Routing.

Ching-Tsun Chou, Inder S. Gopal

J. Algorithms, 1989

1988

Understanding and Verifying Distributed Algorithms Using Stratified Decomposition.

Ching-Tsun Chou, Eli Gafni

Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, 1988

Linear Broadcast Routing.

Ching-Tsun Chou

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988

1987

Synchronizing Aysnchronous Bounded Delay Networks.

Ching-Tsun Chou, Israel Cidon, Inder S. Gopal, Shmuel Zaks

Proceedings of the Distributed Algorithms, 1987