Chaiyasit Manovit
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2004–2015
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CHI | Historical Research Using Email Archives. | Sudheendra Hangal, Vihari Piratla, Chaiyasit Manovit, Peter Chan, Glynn Edwards, Monica S. Lam |
| 2006 | HPCA | Completely verifying memory consistency of test program executions. | Chaiyasit Manovit, Sudheendra Hangal |
| 2005 | SPAA | Efficient algorithms for verifying memory consistency. | Chaiyasit Manovit, Sudheendra Hangal |
| 2004 | ISCA | TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model. | Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit, Juin-Yeu Joseph Lu, Sridhar Narayanan |