Haibo ChenAssistant Professor System Research Group, Parallel Processing Institute Fudan University Shanghai, P.R.China Phone: +86-21-51355363-19 E-mail: hbchen at fudan dot edu dot cn |
|
I found and lead the System Research Group doing research that improves the dependability of computer systems. I am seeking solutions to improve the reliability, security and trustworthiness of system software. Recently, I have some special interests in system virtualization and multi-core related research. I am looking for self-motivated students with good background on systems related area. Drop me an E-mail if you have interests to work with me.
|
Tiled MapReduce: Optimizing Resource Usages of Data-parallel Applications on Multicore with Tiling. The Nineteenth International Conference on Parallel Architectures and Compilation Techniques (PACT 2010). Vienna, Austria, September, 2010. Why Software Hangs and What can be done with it? The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (Short Paper, to appear). Chicago, Illinois, USA, June, 2010. Safe Binary Device Driver Reuse via User-level Binary Translation. The 2010 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE-2010). Pittsburgh, PA, USA. March, 2010. Optimizing Crash Dump in Virtualized Environments. Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'10, poster). pp. 25¨C36. Pittsburgh, PA, USA. March, 2010. Dynamic Software Updating Using a Relaxed Consistency Model. IEEE Transactions on Software Engineering. (TSE, to appear). 2010. Control Flow Obfuscation with Information Flow Tracking. In 42nd international Conference on Microarchitecture(MICRO'09). New York, USA. December, 2009. [pdf]
Corey: An Operating System for Many Cores. In 8th USENIX Symposium on Operating Systems Design and Implementation(OSDI-2008). San Diego, CA, USA. December, 2008. [pdf] Heterogenous Live Migration of Virtual Machines. In the 2008 International Workshop on Virtualization Techniques (Co-located with ISCA-2008). Beijing China, June, 2008. [pdf][ppt] TPM-Performance Sensible Key Management Protocols for Service Provisioning in Cloud Computing. In the 16th International Workshop on Security Protocols (SPW 2008), Cambridge England,April,2008. [pdf][ppt] Practical and Efficient Information Flow Tracking Using Speculative Hardware. In Proceedings of 35th International Symposium on Computer Architecture (ISCA-2008), Beijing China, June, 2008. [pdf][ppt] Tamper-Resistant Execution in an Untrusted Operating System Using A Virtual Machine Monitor. Parallel Processing Institute Technical Report, Number: FDUPPITR-2007-08001, Fudan University, August, 2007. [pdf][bib][ppt] Mercury: Combining Performance with Dependability Using Self-virtualization. (Best Paper Award) In Proceedings of 36th International Conference on Parallel Processing (ICPP-2007), XiAn China, September, 2007. [pdf][bib][ppt] POLUS: A POwerful Live
Updating System. Daonity-Grid Security from Two Levels of Virtualization. Elsevier Information Security Technical Report. (Invited Paper), To Appear in September 2007. [pdf][bib][ppt] Daonity: Protocol Solutions to Grid Security Using Hardware Strengthened Software Environment. In Fifteenth International Workshop on Security Protocols (SPW 2007), Czech Republic, April 2007. [pdf][bib] [ppt] Live Updating Operating Systems Using Virtualization. In SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE-2006), pp. 35-44, Ottawa, Canada, June 2006. [pdf][bib][ppt] Dynamic Update of Operating Systems. Mini-Micro Systems (In Chinese), Accepted in Februray, 2007.[pdf][bib][ppt] Periodic Constant Detection and Propagation. Mini-Micro Systems (In Chinese), 2006, 27 (11): 2156-2160. [pdf][bib][ppt] |