Kelvin Ku

According to our database, Kelvin Ku authored at least 3 papers between 2007 and 2008.

Collaborative distances:

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

2008

PtYasm: Software Model Checking with Proof Templates.

Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates.

Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

2007

A buffer overflow benchmark for software model checkers.

Kelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007