Concepedia

Chaiyasit Manovit

CM

5

Publications

222

Citations

5

H-Index

2004

Active since

Affiliations

Stanford University(Current)

Chaiyasit Manovit is an author at Stanford University specializing in software testing, computer architecture, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer Engineering

Publications per year

2004–2006

5

Publications

5

TSOtool

Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit et al. · ACM SIGARCH Computer Architecture News · 2004 · 102 citations

Engineering, Hardware Verification Language, Mem Testing +17

Testing implementations of transactional memory

Chaiyasit Manovit, Sudheendra Hangal, Hassan Chafi et al. · 2006 · 37 citations

Axiomatic Framework, Engineering, Mem Testing +18

TSOtool: a program for verifying memory systems using the memory consistency model

Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit et al. · 2004 · 30 citations

Program Checking, Engineering, Hardware Verification Language +23

Completely Verifying Memory Consistency of Test Program Executions

Chaiyasit Manovit, Sudheendra Hangal · 2006 · 29 citations

Program Checking, Engineering, Memory Consistency +19

Efficient algorithms for verifying memory consistency

Chaiyasit Manovit, Sudheendra Hangal · 2005 · 24 citations

Program Checking, Engineering, Hardware Verification Language +19

Rows per page

1–5 of 5