Optimizing the Product Derivation Process. - Sheng Chen 008; Martin Erwig (SPLC, 2011)

An error-tolerant type system for variational lambda calculus. - Sheng Chen 008; Martin Erwig; Eric Walkingshaw (ICFP, 2012)

An abstract representation of variational graphs. - Martin Erwig; Eric Walkingshaw; Sheng Chen 008 (FOSD, 2013)

Guided Type Debugging. - Sheng Chen 008; Martin Erwig (FLOPS, 2014)

Type-based parametric analysis of program families. - Sheng Chen 008; Martin Erwig (ICFP, 2014)

Early detection of type errors in C++ templates. - Sheng Chen 008; Martin Erwig (PEPM, 2014)

Counter-factual typing for debugging type errors. - Sheng Chen 008; Martin Erwig (POPL, 2014)

Let's hear both sides: On combining type-error reporting tools. - Sheng Chen 008; Martin Erwig; Karl Smeltzer (VL/HCC, 2014)

Extending Type Inference to Variational Programs. - Sheng Chen 008; Martin Erwig; Eric Walkingshaw (ACM Trans. Program. Lang. Syst., 2014)

A Calculus for Variational Programming. - Sheng Chen 008; Martin Erwig; Eric Walkingshaw (ECOOP, 2016)

Principal type inference for GADTs. - Sheng Chen 008; Martin Erwig (POPL, 2016)

Scheduling Dependent Coflows with Guaranteed Job Completion Time. - Yang Liu; Wenxin Li 001; Keqiu Li; Heng Qi; Xiaoyi Tao; Sheng Chen 008 (Trustcom/BigDataSE/ISPA, 2016)

How type errors were fixed and what students did? - Baijun Wu; Sheng Chen 008 (Proc. ACM Program. Lang., 2017)

Learning user friendly type-error messages. - Baijun Wu; John Peter Campora III; Sheng Chen 008 (Proc. ACM Program. Lang., 2017)

Exploiting diversity in type checkers for better error messages. - Sheng Chen 008; Martin Erwig; Karl Smeltzer (J. Vis. Lang. Comput., 2017)

How to Set Timeout: Achieving Adaptive Load Balance in Asymmetric Topology Based on Flowlet Switching. - Zhiqiang Guo; Xiaodong Dong; Sheng Chen 008; Xiaobo Zhou 003; Keqiu Li (IPCCC, 2018)

More Requests, Less Cost: Uncertain Inter-Datacenter Traffic Transmission with Multi-Tier Pricing. - Xiaodong Dong; Sheng Chen 008; Laiping Zhao; Xiaobo Zhou 003; Heng Qi; Keqiu Li (J. Comput. Sci. Technol., 2018)

Systematic identification and communication of type errors. - Sheng Chen 008; Martin Erwig (J. Funct. Program., 2018)

Migrating gradual types. - John Peter Campora III; Sheng Chen 008; Martin Erwig; Eric Walkingshaw (Proc. ACM Program. Lang., 2018)

Casts and costs: harmonizing safety and performance in gradual typing. - John Peter Campora III; Sheng Chen 008; Eric Walkingshaw (Proc. ACM Program. Lang., 2018)

EasyLB: Adaptive Load Balancing Based on Flowlet Switching for Wireless Sensor Networks. - Zhiqiang Guo; Xiaodong Dong; Sheng Chen 008; Xiaobo Zhou 003; Keqiu Li (Sensors, 2018)

A Framework for Resource-aware Online Traffic Classification Using CNN. - Wanqian Zhang; Junxiao Wang; Sheng Chen 008; Heng Qi; Keqiu Li (CFI, 2019)

Online Learning from Capricious Data Streams: A Generative Approach. - Yi He 007; Baijun Wu; Di Wu 056; Ege Beyazit; Sheng Chen 008; Xindong Wu 001 (IJCAI, 2019)

Blame Tracking and Type Error Debugging. - Sheng Chen 008; John Peter Campora III (SNAPL, 2019)

Generating precise error specifications for C: a zero shot learning approach. - Baijun Wu; John Peter Campora III; Yi He 007; Alexander Schlecht; Sheng Chen 008 (Proc. ACM Program. Lang., 2019)

AI-Aided Game: Enhancing the Defense Performance of Scale-Free Network via Deep Reinforcement Learning. - Ziyue Lu; Guoming Tang; Baochao Chen; Bangbang Ren; Sheng Chen 008; Deke Guo (HPCC/DSS/SmartCity, 2020)

Load Balance Awared Data Sharing Systems In Heterogeneous Edge Environment. - Sheng Chen 008; Zheng Chen; Siyuan Gu; Baochao Chen; Junjie Xie; Deke Guo (ICPADS, 2020)

Efficient Coflow Transmission for Distributed Stream Processing. - Wenxin Li 001; Xu Yuan 001; Wenyu Qu; Heng Qi; Xiaobo Zhou 003; Sheng Chen 008; Renhai Xu (INFOCOM, 2020)

Deep Matrix Tri-Factorization: Mining Vertex-wise Interactions in Multi-Space Attributed Graphs. - Yi He 007; Sheng Chen 008; Thu Nguyen 001; Bruce A. Wade; Xindong Wu 001 (SDM, 2020)

Approximation of Probabilistic Maximal Frequent Itemset Mining Over Uncertain Sensed Data. - Sheng Chen 008; Lihai Nie; Xiaoyi Tao; Zhiyang Li 001; Laiping Zhao (IEEE Access, 2020)

Taming type annotations in gradual typing. - John Peter Campora III; Sheng Chen 008 (Proc. ACM Program. Lang., 2020)

Efficient counter-factual type error debugging. - Sheng Chen 008; Baijun Wu (Sci. Comput. Program., 2020)

Fast and Accurate Detection of Unknown Tags for RFID Systems - Hash Collisions are Desirable. - Xiulong Liu; Sheng Chen 008; Jia Liu 008; Wenyu Qu; Fengjun Xiao; Alex X. Liu; Jiannong Cao 001; Jiangchuan Liu (IEEE/ACM Trans. Netw., 2020)

Online Learning in Variable Feature Spaces under Incomplete Supervision. - Yi He 007; Xu Yuan 001; Sheng Chen 008; Xindong Wu 001 (AAAI, 2021)

Localization of Tagged Objects on Shelf via a Portable Camera-augmented RFID Reader. - Yazhe Tian; Sheng Chen 008; Jiuwu Zhang; Zijuan Liu; Xiulong Liu; Keqiu Li (ICCCN, 2021)

Anomaly Detection of Network Streams via Dense Subgraph Discovery. - Hao Yan; Qianzhen Zhang; Deming Mao; Ziyue Lu; Deke Guo; Sheng Chen 008 (ICCCN, 2021)

An Intelligent Game Theory Framework for Detecting Advanced Persistent Threats. - Hao Yan; Qianzhen Zhang; Junjie Xie; Ziyue Lu; Sheng Chen 008; Deke Guo (ICPADS, 2021)

SILoc: A Speed Inconsistency-Immune Approach to Mobile RFID Robot Localization. - Jiuwu Zhang; Xiulong Liu; Tao Gu 001; Xinyu Tong; Sheng Chen 008; Keqiu Li (INFOCOM, 2021)

Joint Service Placement for Maximizing the Social Welfare in Edge Federation. - Sheng Chen 008; Baochao Chen; Junjie Xie; Xiulong Liu; Deke Guo; Keqiu Li (IWQoS, 2021)

Unsupervised Lifelong Learning with Curricula. - Yi He 007; Sheng Chen 008; Baijun Wu; Xu Yuan 001; Xindong Wu 001 (WWW, 2021)

Mobile Semantic-Aware Trajectory for Personalized Location Privacy Preservation. - Guoying Qiu; Deke Guo; Yulong Shen 001; Guoming Tang; Sheng Chen 008 (IEEE Internet Things J., 2021)

Toward Mining Capricious Data Streams: A Generative Approach. - Yi He 007; Baijun Wu; Di Wu 056; Ege Beyazit; Sheng Chen 008; Xindong Wu 001 (IEEE Trans. Neural Networks Learn. Syst., 2021)

Efficient collision-slot utilization for missing tags identification in RFID system. - Kaimin Guo; Xin Xie 001; Sheng Chen 008; Heng Qi; Keqiu Li (Comput. Commun., 2022)

An online dynamic pricing framework for resource allocation in edge computing. - Sheng Chen 008; Baochao Chen; Xiaoyi Tao; Xin Xie 001; Keqiu Li (J. Syst. Archit., 2022)

Efficient Online Scheduling for Coflow-Aware Machine Learning Clusters. - Wenxin Li 001; Sheng Chen 008; Keqiu Li; Heng Qi; Renhai Xu; Song Zhang 008 (IEEE Trans. Cloud Comput., 2022)

Trading Cost and Throughput in Geo-Distributed Analytics With A Two Time Scale Approach. - Xinping Xu; Wenxin Li 001; Renhai Xu; Heng Qi; Keqiu Li; Xiaobo Zhou 003; Sheng Chen 008 (IEEE Trans. Cloud Comput., 2022)

Hash Learning With Variable Quantization for Large-Scale Retrieval. - Yuan Cao 005; Sheng Chen 008; Jie Gui; Heng Qi; Zhiyang Li 001; Chao Liu 008 (IEEE Trans. Circuits Syst. Video Technol., 2022)

What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study. - Ke Sun 017; Sheng Chen 008; Meng Wang 002; Dan Hao 001 (APLAS, 2023)

vHSFC: Generic and Agile Verification of Service Function Chain with parallel VNFs. - Sheng Chen 008; Jinxi Li; Baochao Chen; Deke Guo; Keqiu Li (CSCWD, 2023)

Generative Adversarial Network Based Asymmetric Deep Cross-Modal Unsupervised Hashing. - Yuan Cao 005; Yaru Gao; Na Chen; Jiacheng Lin; Sheng Chen 008 (ICA3PP (1), 2023)

Deep Hash Learning of Feature-Invariant Representation for Single-Label and Multi-label Retrieval. - Yuan Cao 005; Xinzheng Shang; Junwei Liu; Chengzhi Qian; Sheng Chen 008 (ICA3PP (1), 2023)

Efficient Storage and Retrieval of Similar Data in Edge Computing Systems. - Yuanfeng Liu; Junjie Xie; Hanlong Liao; Sheng Chen 008; Xiulong Liu; Deke Guo (ICPADS, 2023)

MiddleCache: Accelerating TCP based In-memory Key-value Stores using eBPF. - Yiren Pang; Sheng Chen 008; Wenxin Li 001; Hao Liu; Yulong Li; Xin He; Song Zhang 008; Zewei Guan; Lide Suo; Yuan Liu (ICPADS, 2023)

Sublessor: A Cost-Saving Internet Transit Mechanism for Cooperative MEC Providers in Industrial Internet of Things. - Sheng Chen 008; Qihang Zhang; Xiaodong Dong; Xiaoyi Tao; Keqiu Li; Tie Qiu 001; Ivan Lee 001 (IEEE Trans. Ind. Informatics, 2023)

Availability-aware Provision of Service Function Chains in Mobile Edge Computing. - Jinxi Li; Deke Guo; Junjie Xie; Sheng Chen 008 (ACM Trans. Sens. Networks, 2023)

Low-cost crossed probing path planning for network failure localization. - Hongyun Gao 002; Laiping Zhao; Sheng Chen 008; Keqiu Li (World Wide Web (WWW), 2023)

FUYAO: DPU-enabled Direct Data Transfer for Serverless Computing. - Guowei Liu; Laiping Zhao; Yiming Li; Zhaolin Duan; Sheng Chen 008; Yitao Hu; Zhiyuan Su; Wenyu Qu (ASPLOS (3), 2024)

Learning Gradual Typing Performance. - Mohammad Wahiduzzaman Khan; Sheng Chen 008; Yi He 007 (ECOOP, 2024)

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types. - Ke Sun 017; Di Wang 017; Sheng Chen 008; Meng Wang 002; Dan Hao 001 (ECOOP, 2024)

Enabling 6D Pose Tracking on Your Acoustic Devices. - Yuanyuan Wu; Sheng Chen 008; Xuanqi Meng; Xinyu Tong; Xiulong Liu; Xin Xie 001; Wenyu Qu (MobiSys, 2024)

Gradual Typing Performance, Micro Configurations and Macro Perspectives. - Mohammad Wahiduzzaman Khan; Sheng Chen 008 (TASE, 2024)

Fairness-Aware Streaming Feature Selection with Causal Graphs. - Leizhen Zhang; Lusi Li; Di Wu 056; Sheng Chen 008; Yi He 007 (CoRR, 2024)

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact). - Ke Sun 017; Di Wang 017; Sheng Chen 008; Meng Wang 002; Dan Hao 001 (Dagstuhl Artifacts Ser., 2024)

VoiceMap: Autonomous Mapping of Microphone Array for Voice Localization. - Sheng Chen 008; Renrui Tan; Zhiming Wang; Xinyu Tong; Keqiu Li (IEEE Internet Things J., 2024)

Type-Based Gradual Typing Performance Optimization. - John Peter Campora III; Mohammad Wahiduzzaman Khan; Sheng Chen 008 (Proc. ACM Program. Lang., 2024)

PosMonitor: Fine-Grained Sleep Posture Recognition With mmWave Radar. - Xiulong Liu; Wei Jiang; Sheng Chen 008; Xin Xie 001; Hankai Liu; Qixuan Cai; Xinyu Tong; Tuo Shi; Wenyu Qu (IEEE Internet Things J., 2024)

Toward Robust RFID Localization via Mobile Robot. - Jiuwu Zhang; Xiulong Liu; Sheng Chen 008; Xinyu Tong; Zeyu Deng; Tao Gu 001; Keqiu Li (IEEE/ACM Trans. Netw., 2024)

A Wireless Signal Correlation Learning Framework for Accurate and Robust Multi-Modal Sensing. - Xiulong Liu; Bojun Zhang 001; Sheng Chen 008; Xin Xie 001; Xinyu Tong; Tao Gu 001; Keqiu Li (IEEE J. Sel. Areas Commun., 2024)

Fine-Grained Recognition of Manipulation Activities on Objects via Multi-Modal Sensing. - Xiulong Liu; Bojun Zhang 001; Lizhang Wang; Sheng Chen 008; Xin Xie 001; Xinyu Tong; Tao Gu 001; Keqiu Li (IEEE Trans. Mob. Comput., 2024)

Fork: A Dual Congestion Control Loop for Small and Large Flows in Datacenters. - Yuan Liu; Wenxin Li 001; Yulong Li; Lide Suo; Xuan Gao; Xin Xie 001; Sheng Chen 008; Ziqi Fan; Wenyu Qu; Guyue Liu (EuroSys, 2025)

Lark: A Buffer-aware Building Block for Programmable Packet Scheduling in Datacenters. - Song Zhang 008; Wenxin Li 001; Yulong Li; Yuan Liu; Lide Suo; Sheng Chen 008; Yitao Hu; Laiping Zhao; Keqiu Li (INFOCOM, 2025)

BSSN: Enabling Adjustable Blockchain Storage for Resource-Constrained IoT Scenarios. - Baochao Chen; Xiulong Liu; Hao Xu 025; Sheng Chen 008; Keqiu Li (IEEE Internet Things J., 2025)

BLIA: Detect model memorization in binary classification model through passive Label Inference attack. - Mohammad Wahiduzzaman Khan; Sheng Chen 008; Ilya Mironov; Leizhen Zhang; Rabib Noor (CoRR, 2025)

TightLLM: Maximizing Throughput for LLM Inference via Adaptive Offloading Policy. - Yitao Hu; Xiulong Liu; Guotao Yang; Linxuan Li; Kai Zeng; Zhixin Zhao; Sheng Chen 008; Laiping Zhao; Wenxin Li 001; Keqiu Li (IEEE Trans. Computers, 2025)