Chaiyasit Manovit

According to our database, Chaiyasit Manovit authored at least 6 papers between 1998 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Historical Research Using Email Archives.

Sudheendra Hangal, Vihari Piratla, Chaiyasit Manovit, Peter Chan, Glynn Edwards, Monica S. Lam

Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, 2015

2006

Completely verifying memory consistency of test program executions.

Chaiyasit Manovit, Sudheendra Hangal

Proceedings of the 12th International Symposium on High-Performance Computer Architecture, 2006

Testing implementations of transactional memory.

Chaiyasit Manovit, Sudheendra Hangal, Hassan Chafi, Austen McDonald, Christos Kozyrakis, Kunle Olukotun

Proceedings of the 15th International Conference on Parallel Architectures and Compilation Techniques (PACT 2006), 2006

2005

Efficient algorithms for verifying memory consistency.

Chaiyasit Manovit, Sudheendra Hangal

Proceedings of the SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2005

2004

TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model.

Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit, Juin-Yeu Joseph Lu, Sridhar Narayanan

Proceedings of the 31st International Symposium on Computer Architecture (ISCA 2004), 2004

1998

Synthesis of Synchronous Sequential Logic Circuits from Partial Input/Output Sequences.

Chaiyasit Manovit, Chatchawit Aporntewan, Prabhas Chongstitvatana

Proceedings of the Evolvable Systems: From Biology to Hardware, 1998