Home
About Me
Ph.D. Study
Research
Publications
Talks
Teaching
Charity
Contact
People
Professors
Scientists
Students
Links
Calendar
CCLS
CS
GSAS
SEAS
|
 |
 |
I am building my portfolio of the research publications.
- Software Engineering
-
Nageswar Keetha, Leon Wu, Gail Kaiser, Junfeng Yang
A Software Checking Framework Using Distributed Model Checking and Checkpoint/Resume of Virtualized PrOcess Domains
Tech Report CUCS-032-09, Department of Computer Science, Columbia University
June 2009
-
Nageswar Keetha, Leon Wu, Gail Kaiser, Junfeng Yang
Distributed eXplode: A High-Performance Model Checking Engine to Scale Up State-Space Coverage
Tech Report CUCS-051-08, Department of Computer Science, Columbia University
December 2008
-
Leon Wu, Gail Kaiser, Jason Nieh, Christian Murphy
Deux: Autonomic Testing System for Operating System Upgrades
Tech Report CUCS-037-08, Department of Computer Science, Columbia University
August 2008
- Christian Murphy, Gail Kaiser, Lifeng Hu, Leon Wu
Properties of Machine Learning Applications for Use in Metamorphic Testing
20th International Conference on Software Engineering and Knowledge Engineering
July 2008
- Smart Grid
To be added
- Computational Finance
To be added
|