Chaiyasit Manovit

Publication Activity (10 Years)

Years Active: 1998-2015
Publications (10 Years): 1

Top Topics

Historical Documents

Top Venues

CHI Extended Abstracts

Publications

Sudheendra Hangal, Vihari Piratla, Chaiyasit Manovit, Peter Chan, Glynn Edwards, Monica S. Lam
Historical Research Using Email Archives. CHI Extended Abstracts (2015)
Chaiyasit Manovit, Sudheendra Hangal
Completely verifying memory consistency of test program executions. HPCA (2006)
Chaiyasit Manovit, Sudheendra Hangal, Hassan Chafi, Austen McDonald, Christos Kozyrakis, Kunle Olukotun
Testing implementations of transactional memory. PACT (2006)
Chaiyasit Manovit, Sudheendra Hangal
Efficient algorithms for verifying memory consistency. SPAA (2005)
Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit, Juin-Yeu Joseph Lu, Sridhar Narayanan
TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model. ISCA (2004)
Chaiyasit Manovit, Chatchawit Aporntewan, Prabhas Chongstitvatana
Synthesis of Synchronous Sequential Logic Circuits from Partial Input/Output Sequences. ICES (1998)