Guohui Wang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
42
Venues
23
Active years
2006–2025
Best venue rank
A*
Where they publish
- NationalACSSC6 papers
- MulticonferenceICASSP4 papers
- CAPSEC3 papers
- AIMC3 papers
- NationalSETTA2 papers
- NationalHOTNETS2 papers
- CICFEM2 papers
- A*INFOCOM2 papers
- BCLOUD2 papers
- CISCAS2 papers
- A*SIGCOMM2 papers
- BFASE1 paper
- CHPCC1 paper
- ADATE1 paper
- BVTC1 paper
- AUSENIX1 paper
- A*AAAI1 paper
- BAPLAS1 paper
- NationalFCCM1 paper
- AIROS1 paper
- NationalTASE1 paper
- BLCN1 paper
- BIC2E1 paper
Papers
42 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SETTA | Strategy-Aware Liquidity for Account-Based Blockchains. | Ximeng Li, Sensen Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhi-Ping Shi |
| 2024 | FASE | Refinement Verification of OS Services based on a Verified Preemptive Microkernel. | Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi |
| 2024 | HPCC | Augur: Predictive and Adaptive Data Management in SSD-SMR Hybrid Storage System Using Reinforcement Learning. | Guanghui Zhou, Guohui Wang, Zhengang Chen, Zhiping Shi, Yong Guan |
| 2023 | APSEC | Formal Verification of Interrupt Isolation for the TrustZone-based TEE. | Leping Zhang, Qianying Zhang, Xinyue Wang, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan |
| 2023 | DATE | Region-based Flash Caching with Joint Latency and Lifetime Optimization in Hybrid SMR Storage Systems. | Zhengang Chen, Guohui Wang, Zhi-Ping Shi, Yong Guan, Tianyu Wang |
| 2021 | VTC | Priority-based Distributed Queuing Random Access Mechanism for mMTC/uRLLC Terminals Coexistence. | Yifan Chen, Guohui Wang, Huiyue Yi, Wuxiong Zhang |
| 2021 | USENIX | Hashing Linearity Enables Relative Path Control in Data Centers. | Zhehui Zhang, Haiyang Zheng, Jiayao Hu, Xiangning Yu, Chenchen Qi, Xuemei Shi, Guohui Wang |
| 2021 | SETTA | Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics. | Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan |
| 2020 | AAAI | Revisiting Image Aesthetic Assessment via Self-Supervised Feature Learning. | Kekai Sheng, Weiming Dong, Menglei Chai, Guohui Wang, Peng Zhou, Feiyue Huang, Bao-Gang Hu, Rongrong Ji, Chongyang Ma |
| 2020 | APLAS | Formal Verification of Atomicity Requirements for Smart Contracts. | Ning Han, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan |
| 2020 | APSEC | Formal Verification of Memory Isolation for the TrustZone-based TEE. | Yuwei Ma, Qianying Zhang, Shijun Zhao, Guohui Wang, Ximeng Li, Zhiping Shi |
| 2020 | FCCM | Gbit/s Non-Binary LDPC Decoders: High-Throughput using High-Level Specifications. | Oscar Ferraz, Srinivasan Subramaniyan, Guohui Wang, Joseph R. Cavallaro, Gabriel Falco, Madhura Purnaprajna |
| 2020 | IROS | Batch Normalization Masked Sparse Autoencoder for Robotic Grasping Detection. | Zhenzhou Shao, Ying Qu, Guangli Ren, Guohui Wang, Yong Guan, Zhiping Shi, Jindong Tan |
| 2019 | APSEC | Formal Modelling and Verification of Spinlocks at Instruction Level. | Leping Zhang, Qianying Zhang, Guohui Wang, Zhiping Shi, Minhua Wu, Yong Guan |
| 2019 | HOTNETS | Accelerated Service Chaining on a Single Switch ASIC. | Dingming Wu, Ang Chen, T. S. Eugene Ng, Guohui Wang, Haiyong Wang |
| 2019 | ICFEM | Towards Verifying Ethereum Smart Contracts at Intermediate Language Level. | Ximeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han |
| 2019 | TASE | A HOL Theory of the Differential for Matrix Functions. | Yuhan Nie, Zhiping Shi, Aixuan Wu, Ximeng Li, Guohui Wang, Yong Guan |
| 2018 | ICFEM | Formalization of Symplectic Geometry in HOL-Light. | Guohui Wang, Yong Guan, Zhiping Shi, Qianying Zhang, Xiaojuan Li, Yongdong Li |
| 2016 | LCN | Air-Interface Slice Based Dynamic Resource Reservation for Ultra-Low-Latency IoT Transmissions. | Guolin Sun, Guohui Wang, Guisong Liu |
| 2015 | IC2E | Software-Defined Flow Table Pipeline. | Xiaoye Sun, T. S. Eugene Ng, Guohui Wang |
| 2014 | ACSSC | On the performance of LDPC and turbo decoder architectures with unreliable memories. | Joo Andrade, Aida Vosoughi, Guohui Wang, Georgios Karakonstantis, Andreas Burg, Gabriel Falco, Vtor Manuel Mendes da Silva, Joseph R. Cavallaro |
| 2014 | ACSSC | A high performance GPU-based software-defined basestation. | Kaipeng Li, Michael Wu, Guohui Wang, Joseph R. Cavallaro |
| 2014 | ICASSP | Efficient architecture mapping of FFT/IFFT for cognitive radio networks. | Guohui Wang, Bei Yin, Inkeun Cho, Joseph R. Cavallaro, Shuvra S. Bhattacharyya, Jarmo Takala |
| 2014 | ICASSP | A 3.8Gb/s large-scale MIMO detector for 3GPP LTE-Advanced. | Bei Yin, Michael Wu, Guohui Wang, Chris Dick, Joseph R. Cavallaro, Christoph Studer |
| 2014 | INFOCOM | HadoopWatch: A first step towards comprehensive traffic forecasting in cloud computing. | Yang Peng, Kai Chen, Guohui Wang, Wei Bai, Zhiqiang Ma, Lin Gu |
| 2013 | ACSSC | HSPA;/LTE-A turbo decoder on GPU and multicore CPU. | Michael Wu, Guohui Wang, Bei Yin, Christoph Studer, Joseph R. Cavallaro |
| 2013 | CLOUD | Virtual network diagnosis as a service. | Wenfei Wu, Guohui Wang, Aditya Akella, Anees Shaikh |
| 2013 | ICASSP | A fast and efficient sift detector using the mobile GPU. | Blaine Rister, Guohui Wang, Michael Wu, Joseph R. Cavallaro |
| 2013 | ICASSP | Accelerating computer vision algorithms using OpenCL framework on the mobile GPU - A case study. | Guohui Wang, Yingen Xiong, Jay Yun, Joseph R. Cavallaro |
| 2013 | ISCAS | Parallel interleaver architecture with new scheduling scheme for high throughput configurable turbo decoder. | Guohui Wang, Aida Vosoughi, Hao Shen, Joseph R. Cavallaro, Yuanbin Guo |
| 2012 | ACSSC | Parallel nonbinary LDPC decoding on GPU. | Guohui Wang, Hao Shen, Bei Yin, Michael Wu, Yang Sun, Joseph R. Cavallaro |
| 2012 | ACSSC | Low complexity opportunistic decoder for network coding. | Bei Yin, Michael Wu, Guohui Wang, Joseph R. Cavallaro |
| 2012 | SIGCOMM | Programming your network at run-time for big data applications. | Guohui Wang, T. S. Eugene Ng, Anees Shaikh |
| 2011 | ACSSC | GPU accelerated scalable parallel decoding of LDPC codes. | Guohui Wang, Michael Wu, Yang Sun, Joseph R. Cavallaro |
| 2011 | CLOUD | Switching the optical divide: fundamental challenges for hybrid electrical/optical datacenter networks. | Hamid Hajabdolali Bazzaz, Malveeka Tewari, Guohui Wang, George Porter, T. S. Eugene Ng, David G. Andersen, Michael Kaminsky, Michael A. Kozuch, Amin Vahdat |
| 2011 | ISCAS | Multi-layer parallel decoding algorithm and vlsi architecture for quasi-cyclic LDPC codes. | Yang Sun, Guohui Wang, Joseph R. Cavallaro |
| 2010 | INFOCOM | The Impact of Virtualization on Network Performance of Amazon EC2 Data Center. | Guohui Wang, T. S. Eugene Ng |
| 2010 | SIGCOMM | c-Through: part-time optics in data centers. | Guohui Wang, David G. Andersen, Michael Kaminsky, Konstantina Papagiannaki, T. S. Eugene Ng, Michael Kozuch, Michael P. Ryan |
| 2009 | HOTNETS | Your Data Center Is a Router: The Case for Reconfigurable Optical Circuit Switched Paths. | Guohui Wang, David G. Andersen, Michael Kaminsky, Michael Kozuch, T. S. Eugene Ng, Konstantina Papagiannaki, Madeleine Glick, Lily B. Mummert |
| 2008 | IMC | Distributed algorithms for stable and secure network coordinates. | Guohui Wang, T. S. Eugene Ng |
| 2007 | IMC | Towards network triangle inequality violation aware distributed systems. | Guohui Wang, Bo Zhang, T. S. Eugene Ng |
| 2006 | IMC | Measurement based analysis, modeling, and synthesis of the internet delay space. | Bo Zhang, T. S. Eugene Ng, Animesh Nandi, Rudolf H. Riedi, Peter Druschel, Guohui Wang |