WebHaibo CHEN, Professor Cited by 1,474 of University of Science and Technology of China, Hefei (USTC) Read 129 publications Contact Haibo CHEN WebDec 12, 2024 · BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. Jiawei Wang, Bohdan Trach, Ming Fu*, Diogo Behrens, Jonathan Schwender, Yutao Liu, Jitang Lei, Viktor Vafeiadis, Hermann Härtig and Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation (to appear in OSDI'23), …
Did you know?
WebMingyu Li, Jinhao Zhu, Tianxu Zhang, Cheng Tan, Yubin Xia, Sebastian Angel, and Haibo Chen. OSDI 2024, Virtual Conference, July 2024. [abstract, paper] ×. Fault-tolerant and transactional stateful serverless workflows ... WebDec 6, 2024 · In this paper, we present the texture reformer, a fast and universal neural-based framework for interactive texture transfer with user-specified guidance. The challenges lie in three aspects: 1) the diversity of tasks, 2) the simplicity of guidance maps, and 3) the execution efficiency.
WebDec 24, 2024 · Haibo Jin, Ruoxi Chen, Jinyin Chen, Yao Cheng, Chong Fu, Ting Wang, Yue Yu, Zhaoyan Ming The success of deep neural networks (DNNs) in real-world applications has benefited from abundant pre-trained models. However, the backdoored pre-trained models can pose a significant trojan threat to the deployment of downstream DNNs. Web124. 103. Haibo Chen. Institute of Parallel and Distituted Systems, Shanghai Jiao Tong University. Verified email at sjtu.edu.cn - Homepage. Operating Systems Virtualization …
WebView the profiles of professionals named "Haibo Chen" on LinkedIn. There are 1100+ professionals named "Haibo Chen", who use LinkedIn to exchange information, ideas, … WebYaohua Wang, Shuming Chen, Kai Zhang, Jianghua Wan, Xiaowen Chen, Hu Chen, Haibo Wang, "Instruction shuffle: Achieving mimd-like performance on simd architectures" IEEE Computer Architecture Letters (CAL), Vol.11, Issue 2, 2012. (Best paper award, invited to present at the 19th HPCA conference). Sitemap. Follow:
WebBased on it, we design and implement XSTORE, an RDMA-based ordered key-value store with a new hybrid architecture that retains a tree-based index at the server to perform dynamic workloads (e.g., inserts) and leverages a learned cache at the client to perform static workloads (e.g., gets and scans).
WebOct 19, 2024 · Haibo Chen(aka: Hai-bo Chen, Hai-Bo Chen)— disambiguation page Haibo Chen 0001— Shanghai Jiao Tong University, Institute of Parallel and Distributed Systems,China (and 1 more) Haibo Chen 0002— University of Leeds, UK Haibo Chen 0003— University of Science and Technology of China, Hefei, Anhui, China imperial robes warhammer 40kWebOct 26, 2024 · Tuesday, October 26, 2024. Opening Remarks and Best Paper Awards Mirror 1 Tue 26, 08:00 - 08:30 GMT-7. Mirror 2 Tue 26, 17:00 - 17:30 GMT-7. See the list of awards for more information! Session 1: Byzantine fault-tolerance. Dejan Kostić (KTH Royal Institute of Technology) Mirror 1 Tue 26, 08:30 - 09:30 GMT-7. lite and easy meals my choiceWebHaibo Chen, Liwei Yuan, Xi Wu, Binyu Zang, Bo Huang, Pen-chung Yew. "Control flow obfuscation with information flow tracking." Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture - Micro-42 (2009) 391-400 imperial roof exhaust ventWebMar 31, 2024 · dblp: Hai-Bao Chen > Home > Persons Refine list showing all records 42 ( 2) 2024) , ( 2) 872-885 ( 2024) , , , , , , Hai-Bao Chen: Towards Accurate Oriented Object Detection in Aerial Images with Adaptive Multi-level Feature Fusion. ACM Trans. Multim. Comput. Commun. Appl. 19 ( 1): 6:1-6:22 ( 2024) 2024 imperial rome by moses hadasWebConferences. Peiwen Qiu, Yining Li, Zhuqing Liu, Prashant Khanduri, Jia Liu, Ness B. Shroff, Elizabeth S. Bentley, and Kurt Turck, "DIAMOND: Taming Sample and Communication Complexities in Decentralized Bilevel Optimization," in Proc. IEEE INFOCOM, New York City, NY, May 2024 (acceptance rate: 19.2%).; Haibo Yang, … lite and easy meals costWebJul 8, 2024 · A Survey on Adaptive Random Testing. Random testing (RT) is a well-studied testing method that has been widely applied to the testing of many applications, including embedded software systems, SQL database systems, and Android applications. Adaptive random testing (ART) aims to enhance RT's failure-detection ability by more … lite and easy meals qldWebTaolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis. Automatic Verification of Competitive Stochastic Systems. Formal Methods in System Design 43(1):61-92, Springer. 2013. (The conference version was presented at TACAS'12.) Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche. lite and easy meals delivered