Binyu Zang

Jiaxin Li, Weihua Zhang, Haibo Chen, Binyu Zang: Multi-level phase analysis for sampling simulation. DATE 2013: 649-654

Haibo Chen, Fengzhe Zhang, Rong Chen, Binyu Zang, Pen-Chung Yew: Mercury: Combining Performance with Dependability Using Self-Virtualization. J. Comput. Sci. Technol. 27(1): 92-104 (2012)

Zhenman Fang, Qinghao Min, Keyong Zhou, Yi Lu, Yibin Hu, Weihua Zhang, Haibo Chen, Jian Li, Binyu Zang: Transformer: a functional-driven cycle-accurate multicore simulator. DAC 2012: 106-114

Cheng Tan, Yubin Xia, Haibo Chen, Binyu Zang: TinyChecker: Transparent protection of VMs against hypervisor failures with nested virtualization. DSN Workshops 2012: 1-6

Yubin Xia, Yutao Liu, Haibo Chen, Binyu Zang: CFIMon: Detecting violation of control flow integrity using performance counters. DSN 2012: 1-12

Yubin Xia, Yutao Liu, Haibo Chen, Binyu Zang: Defending against VM rollback attack. DSN Workshops 2012: 1-5

Peng Chen, Donglei Yang, Weihua Zhang, Yi Li, Binyu Zang, Haibo Chen: Adaptive Pipeline Parallelism for Image Feature Extraction Algorithms. ICPP 2012: 299-308

Zhenman Fang, Jiaxin Li, Weihua Zhang, Yi Li, Haibo Chen, Binyu Zang: Improving dynamic prediction accuracy through multi-level phase analysis. LCTES 2012: 89-98

Haibo Chen, Binyu Zang: A case for secure and scalable hypervisor using safe language. PMAM 2012: 134-139

Yuan Zhang, Min Yang, Bo Zhou, Zhemin Yang, Weihua Zhang, Binyu Zang: Swift: a register-based JIT compiler for embedded JVMs. VEE 2012: 63-74

Haibo Chen, Jie Yu, Chengqun Hang, Binyu Zang, Pen-Chung Yew: Dynamic Software Updating Using a Relaxed Consistency Model. IEEE Trans. Software Eng. 37(5): 679-694 (2011)

Zhiwei Xiao, Haibo Chen, Binyu Zang: A Hierarchical Approach to Maximizing MapReduce Efficiency. PACT 2011: 167-168

Liwei Yuan, Weichao Xing, Haibo Chen, Binyu Zang: Security breaches as PMU deviation: detecting and identifying security attacks using performance counters. APSys 2011: 6

Xiang Song, Haibo Chen, Rong Chen, Yuanxuan Wang, Binyu Zang: A case for scaling applications to many-core with OS clustering. EuroSys 2011: 61-76

Zhenman Fang, Donglei Yang, Weihua Zhang, Haibo Chen, Binyu Zang: A comprehensive analysis and parallelization of an image retrieval algorithm. ISPASS 2011: 154-164

Zhaoguo Wang, Ran Liu, Yufei Chen, Xi Wu, Haibo Chen, Weihua Zhang, Binyu Zang: COREMU: a scalable and portable parallel full-system emulator. PPOPP 2011: 213-222

Fengzhe Zhang, Jin Chen, Haibo Chen, Binyu Zang: CloudVisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization. SOSP 2011: 203-216

Olivier Temam, Pen-Chung Yew, Binyu Zang (Eds.): Advanced Parallel Processing Technologies - 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011. Proceedings. Lecture Notes in Computer Science 6965, Springer 2011, isbn 978-3-642-24150-5

Rong Chen, Haibo Chen, Binyu Zang: Tiled-MapReduce: optimizing resource usages of data-parallel applications on multicore with tiling. PACT 2010: 523-534

Xiang Song, Haibo Chen, Binyu Zang: Why software hangs and what can be done with it. DSN 2010: 311-316

Yijian Huang, Haibo Chen, Binyu Zang: Optimizing crash dump in virtualized environments. VEE 2010: 25-36

Shengkai Zhu, Zhiwei Xiao, Haibo Chen, Rong Chen, Weihua Zhang, Binyu Zang: Evaluating SPLASH-2 Applications Using MapReduce. APPT 2009: 452-464

Chen Chen, Xin Wang, Weili Han, Binyu Zang: A Robust Detection of the Sybil Attack in Urban VANETs. ICDCS Workshops 2009: 270-276

Haibo Chen, Liwei Yuan, Xi Wu, Binyu Zang, Bo Huang, Pen-Chung Yew: Control flow obfuscation with information flow tracking. MICRO 2009: 391-400

Weihua Zhang, Lili Liu, Chen Zhang, HongJiang Zhang, Binyu Zang, Chuanqi Zhu: Optimizing techniques for saturated arithmetic with first-order linear recurrence. SAC 2009: 1883-1889

Binyu Zang, Yinsheng Li, Wei Xie, Zhuangjian Chen, Chen-Fang Tsai, Christopher Laing: An ontological engineering approach for automating inspection and quarantine at airports. J. Comput. Syst. Sci. 74(2): 196-210 (2008)

Haibo Chen, Xi Wu, Liwei Yuan, Binyu Zang, Pen-Chung Yew, Frederic T. Chong: From Speculation to Security: Practical and Efficient Information Flow Tracking Using Speculative Hardware. ISCA 2008: 401-412

Yijian Huang, Weihua Zhang, Binyu Zang: Undergraduate education in the computer system of software school, Fudan University. Summit on Computing Education in China 2008: 11

Weihua Zhang, Tao Bao, Binyu Zang, Chuanqi Zhu: Optimizing Bandwidth Constraint through Register Interconnection for Stream Processors. PACT 2007: 434

Zhongding Jiang, Xuan Luo, Yandong Mao, Binyu Zang, Hai Lin, Hujun Bao: Interactive Browsing of Large Images on Multi-projector Display Wall System. HCI (2) 2007: 827-836

Zhongding Jiang, Nan Jiang, Yijie Wang, Binyu Zang: Distance Measurement in Panorama. ICIP (6) 2007: 393-396

Zhongding Jiang, Yandong Mao, Bo Qin, Binyu Zang: A High Resolution Video Display System by Seamlessly Tiling Multiple Projectors. ICME 2007: 2070-2073

Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang, Pen-Chung Yew: Mercury: Combining Performance with Dependability Using Self-virtualization. ICPP 2007: 9

Haibo Chen, Jie Yu, Rong Chen, Binyu Zang, Pen-Chung Yew: POLUS: A POwerful Live Updating System. ICSE 2007: 271-281

Qin Wang, Junpu Chen, Weihua Zhang, Min Yang, Binyu Zang: Optimizing software cache performance of packet processing applications. LCTES 2007: 227-236

Weihua Zhang, Tao Bao, Binyu Zang, Chuanqi Zhu: Data Pipeline Optimization for Shared Memory Multiple-SIMD Architecture. LCPC 2006: 49-63

Weihua Zhang, Xinglong Qian, Ye Wang, Binyu Zang, Chuanqi Zhu: Optimizing compiler for shared-memory multiple SIMD architecture. LCTES 2006: 199-208

Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang, Pen-Chung Yew: Live updating operating systems using virtualization. VEE 2006: 35-44

Mi Zhang, Zunping Cheng, Ziji Ma, Binyu Zang: A Security Model Design in Web Service Environment. CIT 2005: 736-740

Weihua Jiang, Chao Mei, Bo Huang, Jianhui Li, Jiahua Zhu, Binyu Zang, Chuanqi Zhu: Boosting the Performance of Multimedia Applications Using SIMD Instructions. CC 2005: 59-75

Mi Zhang, Zunping Cheng, Yongzun Zhao, Joshua Z. Huang, Yinsheng Li, Binyu Zang: ADDI: an agent-based extension to UDDI for supply chain management. CSCWD (1) 2005: 405-410

Mi Zhang, Jianjun Xu, Zunping Cheng, Yinsheng Li, Binyu Zang: A Web Service-Based Framework for Supply Chain Management. ISORC 2005: 316-319

Yunlei Zhao, Robert H. Deng, Binyu Zang, Yiming Zhao: Practical Zero-Knowledge Arguments from Sigma-Protocols. WINE 2005: 288-298

Yunlei Zhao, Shirley H. C. Cheung, Binyu Zang, Bin Zhu: A Note on the Cramer-Damgård Identification Scheme. WINE 2005: 385-390

Jiahua Zhu, HongJiang Zhang, Hui Shi, Binyu Zang, Chuanqi Zhu: Overflow Controlled SIMD Arithmetic. LCPC 2004: 424-438

Jianhui Li, Binyu Zang, Rong Wu, Chuanqi Zhu: Run-Time Data-Flow Analysis. J. Comput. Sci. Technol. 17(4): 442-449 (2002)

Bo Huang, Binyu Zang, Jing Li, Chuanqi Zhu: A New Approach to Pointer Analysis for Assignments. J. Comput. Sci. Technol. 16(3): 242-250 (2001)

Weiyu Tang, Wu Shi, Binyu Zang, Chuanqi Zhu: Exploiting loop parallelism with redundant execution. J. Comput. Sci. Technol. 12(2): 105-112 (1997)

Chuanqi Zhu, Binyu Zang, Tong Chen: The design considerations and test results of AFT-a new generation parallelizing compiler. APDC 1997: 416-424