The Revenge of the Overlay: Automatic Compaction of OS Kernel Code
via On-Demand Code Loading , [ pdf ] [ ppt] Haifeng He, Saumya Debray, and Gregory Andrews Proc. ACM Conference on Embedded Systems Software (EMSOFT), Oct. 2007.
Code Compaction of an Operating System Kernel , [ pdf ] [ ppt] Haifeng He, John Trimble, Somu Perianayagam, Saumya Debray, and Gregory Andrews 20th IEEE/ACM International Symposium on Code Generation and Optimization (CGO), San Jose, California, March 2007.
Locating Faulty Code Using Failure-Inducing Chops , [ pdf ]
Neelam Gupta, Haifeng He, Xiangyu Zhang, and Rajiv Gupta, 20th IEEE/ACM International Conference on Automated Software Engineering (ASE'05) Long Beach, California, November 2005.
Experimental Evaluation of Using Dynamic Slices for Fault Location , [ pdf ]
Xiangyu Zhang, Haifeng He , Neelam Gupta, and Rajiv Gupta, Sixth International Symposium on Automated and Analysis-Driven Debugging, (AADEBUG'05) Monterey, California, September 19-21, 2005.
Automated Debugging using Path-Based Weakest Preconditions , [ pdf ] Haifeng He and Neelam Gupta, Fundamental Approaches to Software Engineering (FASE'04), ETAPS Joint Conference 2004, Barcelona, Spain, March 29-31, 2004.
Workshop
Binary Rewriting and Instrumentation of an Operating System Kernel
, [pdf ]
Mohan Rajagopalan, Somu Perianayagam, Haifeng He, Gregory Andrews, and Saumya Debray Proc. 2006 Workshop on Instrumentation and Applications, held in
conjunction with ASPLOS XII, San Jose, CA, October 22, 2006
Profile-Guided Specialization of an Operating System Kernel ,[pdf ]
Somu Perianayagam, Haifeng He, Mohan Rajagopalan, Gregory Andrews, and Saumya Debray Proc. 2006 Workshop on Instrumentation and Applications, held in
conjunction with ASPLOS XII, San Jose, CA, October 22, 2006
