Ching-Tsun Chou

Publication Activity (10 Years)

Years Active: 1987-2014
Publications (10 Years): 0

Top Topics

Decision Problems

Computational Complexity

Top Venues

ACM Trans. Archit. Code Optim.

Publications

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