Publications
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
© Leon L. Wu All rights reserved.