Mercury: Combining Performance with Dependability Using Self-virtualization ∗ Haibo Chen,Rong Chen,Fengzhe Zhang,Binyu Zang Parallel Processing Institute Fudan University {hbchen,chenrong,fzzhang,byzang}@fudan.edu.cn A

Source URL: ipads.se.sjtu.edu.cn

• Hardware virtualization
• X86 architecture
• X86 virtualization
• Hypervisor
• Xen
• Paravirtualization
• Hyper-V
• Operating-system-level virtualization
• Protection ring
• Virtualization
• Network virtualization
• VMware

CFIMon: Detecting Violation of Control Flow Integrity using Performance Counters Yubin Xia† ‡, Yutao Liu† ‡, Haibo Chen†, Binyu Zang‡ †Institute of Parallel and Distributed Systems, Shanghai Jiao Tong Unive

Source URL: ipads.se.sjtu.edu.cn

• Central processing unit
• Machine code
• Software bugs
• Return-oriented programming
• Computer memory
• Instruction set architectures
• Buffer overflow protection
• Self-modifying code
• Subroutine
• Stack
• Return-to-libc attack
• Instruction set

From Speculation to Security: Practical and Efficient Information Flow Tracking Using Speculative Hardware Haibo Chen† , Xi Wu† , Liwei Yuan† , Binyu Zang† , Pen-chung Yew‡ , and Frederic T. Chong§ † ‡

Source URL: ipads.se.sjtu.edu.cn

• Computer architecture
• Computing
• Computer engineering
• Central processing unit
• Instruction set architectures
• Processor register
• Itanium
• X86
• CPU cache
• Optimizing compiler
• 64-bit computing
• Pointer

Why Software Hangs and What Can Be Done With It ∗ Xiang Song, Haibo Chen and Binyu Zang Parallel Processing Institute, Fudan University {xiangsong, hbchen, byzang}@fudan.edu.cn

Source URL: ipads.se.sjtu.edu.cn

• Computing
• Software engineering
• Computer programming
• Software bugs
• Computer errors
• Software testing
• Software
• Infinite loop
• Debugging
• Crash
• Bug tracking system
• Hang

Computation and Communication Efficient Graph Processing with Distributed Immutable View Rong Chen†, Xin Ding†, Peng Wang†, Haibo Chen†, Binyu Zang†, Haibing Guan§ Shanghai Key Laboratory of Scalable Computing

Source URL: ipads.se.sjtu.edu.cn

• Graph connectivity
• Graph theory
• Vertex
• Connected component
• RochaThatte cycle detection algorithm
• K-connectivity certificate

Concurrent and Consistent Virtual Machine Introspection with Hardware Transactional Memory Yutao Liu†, Yubin Xia†, Haibing Guan§, Binyu Zang†, Haibo Chen† Shanghai Key Laboratory of Scalable Computing and System

Source URL: ipads.se.sjtu.edu.cn

• Software
• System software
• Computing
• Concurrency control
• Transaction processing
• Transactional memory
• Programming language implementation
• Cyberwarfare
• Rootkit
• Hypervisor
• Hyper-V
• VM

Live Updating Operating Systems Using Virtualization ∗ Haibo Chen,Rong Chen,Fengzhe Zhang,Binyu Zang Parallel Processing Institute, Fudan University {hbchen,chenrong,fzzhang,byzang}@fudan.edu.cn

Source URL: ipads.se.sjtu.edu.cn

• Software
• Computer architecture
• System software
• Linux kernel
• Computing platforms
• Patch
• Xen
• Dynamic software updating
• Hypervisor
• NetBSD
• Security-Enhanced Linux
• Loadable kernel module

POLUS: A POwerful Live Updating System Haibo Chen, Jie Yu, Rong Chen,Binyu Zang Parallel Processing Institute Fudan University Shanghai, 200433, China {hbchen,yujie,chenrong,byzang}@fudan.edu.cn

Source URL: ipads.se.sjtu.edu.cn

• Computing
• Software
• System software
• Dynamic software updating
• System administration
• Software maintenance
• Patch
• Java platform
• Polus
• Linux kernel
• Upgrade
• Java

CloudVisor: Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with Nested Virtualization Fengzhe Zhang, Jin Chen, Haibo Chen and Binyu Zang Parallel Processing Institute Fudan University

Source URL: ipads.se.sjtu.edu.cn

„Arsch huh - Zäng ussenander“ Songtext Übersetzung ins Hochdeutsche Du machst das Frühstücksfernsehen an und selbstverständlich wie die Wetterkarte kommt unter "ferner liefen" wo sie wieviele Asylanten plattgem

Source URL: www.dresden-place-to-be.de