Sheng Chen

According to our database, Sheng Chen authored at least 65 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Wireless Signal Correlation Learning Framework for Accurate and Robust Multi-Modal Sensing.

Xiulong Liu, Bojun Zhang, Sheng Chen, Xin Xie, Xinyu Tong, Tao Gu, Keqiu Li

IEEE J. Sel. Areas Commun., September, 2024

PosMonitor: Fine-Grained Sleep Posture Recognition With mmWave Radar.

Xiulong Liu, Wei Jiang, Sheng Chen, Xin Xie, Hankai Liu, Qixuan Cai, Xinyu Tong, Tuo Shi, Wenyu Qu

IEEE Internet Things J., April, 2024

Type-Based Gradual Typing Performance Optimization.

John Peter Campora III, Mohammad Wahiduzzaman Khan, Sheng Chen

Proc. ACM Program. Lang., January, 2024

VoiceMap: Autonomous Mapping of Microphone Array for Voice Localization.

Sheng Chen, Renrui Tan, Zhiming Wang, Xinyu Tong, Keqiu Li

IEEE Internet Things J., January, 2024

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact).

Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao

Dagstuhl Artifacts Ser., 2024

Enabling 6D Pose Tracking on Your Acoustic Devices.

Yuanyuan Wu, Sheng Chen, Xuanqi Meng, Xinyu Tong, Xiulong Liu, Xin Xie, Wenyu Qu

Proceedings of the 22nd Annual International Conference on Mobile Systems, 2024

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types.

Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

Learning Gradual Typing Performance.

Mohammad Wahiduzzaman Khan, Sheng Chen, Yi He

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

FUYAO: DPU-enabled Direct Data Transfer for Serverless Computing.

Guowei Liu, Laiping Zhao, Yiming Li, Zhaolin Duan, Sheng Chen, Yitao Hu, Zhiyuan Su, Wenyu Qu

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Low-cost crossed probing path planning for network failure localization.

Hongyun Gao, Laiping Zhao, Sheng Chen, Keqiu Li

World Wide Web (WWW), November, 2023

Availability-aware Provision of Service Function Chains in Mobile Edge Computing.

Jinxi Li, Deke Guo, Junjie Xie, Sheng Chen

ACM Trans. Sens. Networks, August, 2023

Sublessor: A Cost-Saving Internet Transit Mechanism for Cooperative MEC Providers in Industrial Internet of Things.

Sheng Chen, Qihang Zhang, Xiaodong Dong, Xiaoyi Tao, Keqiu Li, Tie Qiu, Ivan Lee

IEEE Trans. Ind. Informatics, 2023

MiddleCache: Accelerating TCP based In-memory Key-value Stores using eBPF.

Yiren Pang, Sheng Chen, Wenxin Li, Hao Liu, Yulong Li, Xin He, Song Zhang, Zewei Guan, Lide Suo, Yuan Liu

Proceedings of the 29th IEEE International Conference on Parallel and Distributed Systems, 2023

Efficient Storage and Retrieval of Similar Data in Edge Computing Systems.

Yuanfeng Liu, Junjie Xie, Hanlong Liao, Sheng Chen, Xiulong Liu, Deke Guo

Proceedings of the 29th IEEE International Conference on Parallel and Distributed Systems, 2023

Deep Hash Learning of Feature-Invariant Representation for Single-Label and Multi-label Retrieval.

Yuan Cao, Xinzheng Shang, Junwei Liu, Chengzhi Qian, Sheng Chen

Proceedings of the Algorithms and Architectures for Parallel Processing, 2023

Generative Adversarial Network Based Asymmetric Deep Cross-Modal Unsupervised Hashing.

Yuan Cao, Yaru Gao, Na Chen, Jiacheng Lin, Sheng Chen

Proceedings of the Algorithms and Architectures for Parallel Processing, 2023

vHSFC: Generic and Agile Verification of Service Function Chain with parallel VNFs.

Sheng Chen, Jinxi Li, Baochao Chen, Deke Guo, Keqiu Li

Proceedings of the 26th International Conference on Computer Supported Cooperative Work in Design, 2023

What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study.

Ke Sun, Sheng Chen, Meng Wang, Dan Hao

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022

Hash Learning With Variable Quantization for Large-Scale Retrieval.

Yuan Cao, Sheng Chen, Jie Gui, Heng Qi, Zhiyang Li, Chao Liu

IEEE Trans. Circuits Syst. Video Technol., 2022

Trading Cost and Throughput in Geo-Distributed Analytics With A Two Time Scale Approach.

Xinping Xu, Wenxin Li, Renhai Xu, Heng Qi, Keqiu Li, Xiaobo Zhou, Sheng Chen

IEEE Trans. Cloud Comput., 2022

Efficient Online Scheduling for Coflow-Aware Machine Learning Clusters.

Wenxin Li, Sheng Chen, Keqiu Li, Heng Qi, Renhai Xu, Song Zhang

IEEE Trans. Cloud Comput., 2022

An online dynamic pricing framework for resource allocation in edge computing.

Sheng Chen, Baochao Chen, Xiaoyi Tao, Xin Xie, Keqiu Li

J. Syst. Archit., 2022

Efficient collision-slot utilization for missing tags identification in RFID system.

Kaimin Guo, Xin Xie, Sheng Chen, Heng Qi, Keqiu Li

Comput. Commun., 2022

2021

Toward Mining Capricious Data Streams: A Generative Approach.

Yi He, Baijun Wu, Di Wu, Ege Beyazit, Sheng Chen, Xindong Wu

IEEE Trans. Neural Networks Learn. Syst., 2021

Mobile Semantic-Aware Trajectory for Personalized Location Privacy Preservation.

Guoying Qiu, Deke Guo, Yulong Shen, Guoming Tang, Sheng Chen

IEEE Internet Things J., 2021

Unsupervised Lifelong Learning with Curricula.

Yi He, Sheng Chen, Baijun Wu, Xu Yuan, Xindong Wu

Proceedings of the WWW '21: The Web Conference 2021, 2021

Joint Service Placement for Maximizing the Social Welfare in Edge Federation.

Sheng Chen, Baochao Chen, Junjie Xie, Xiulong Liu, Deke Guo, Keqiu Li

Proceedings of the 29th IEEE/ACM International Symposium on Quality of Service, 2021

SILoc: A Speed Inconsistency-Immune Approach to Mobile RFID Robot Localization.

Jiuwu Zhang, Xiulong Liu, Tao Gu, Xinyu Tong, Sheng Chen, Keqiu Li

Proceedings of the 40th IEEE Conference on Computer Communications, 2021

An Intelligent Game Theory Framework for Detecting Advanced Persistent Threats.

Hao Yan, Qianzhen Zhang, Junjie Xie, Ziyue Lu, Sheng Chen, Deke Guo

Proceedings of the 27th IEEE International Conference on Parallel and Distributed Systems, 2021

Anomaly Detection of Network Streams via Dense Subgraph Discovery.

Hao Yan, Qianzhen Zhang, Deming Mao, Ziyue Lu, Deke Guo, Sheng Chen

Proceedings of the 30th International Conference on Computer Communications and Networks, 2021

Localization of Tagged Objects on Shelf via a Portable Camera-augmented RFID Reader.

Yazhe Tian, Sheng Chen, Jiuwu Zhang, Zijuan Liu, Xiulong Liu, Keqiu Li

Proceedings of the 30th International Conference on Computer Communications and Networks, 2021

Online Learning in Variable Feature Spaces under Incomplete Supervision.

Yi He, Xu Yuan, Sheng Chen, Xindong Wu

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Fast and Accurate Detection of Unknown Tags for RFID Systems - Hash Collisions are Desirable.

Xiulong Liu, Sheng Chen, Jia Liu, Wenyu Qu, Fengjun Xiao, Alex X. Liu, Jiannong Cao, Jiangchuan Liu

IEEE/ACM Trans. Netw., 2020

Efficient counter-factual type error debugging.

Sheng Chen, Baijun Wu

Sci. Comput. Program., 2020

Taming type annotations in gradual typing.

John Peter Campora III, Sheng Chen

Proc. ACM Program. Lang., 2020

Approximation of Probabilistic Maximal Frequent Itemset Mining Over Uncertain Sensed Data.

Sheng Chen, Lihai Nie, Xiaoyi Tao, Zhiyang Li, Laiping Zhao

IEEE Access, 2020

Deep Matrix Tri-Factorization: Mining Vertex-wise Interactions in Multi-Space Attributed Graphs.

Yi He, Sheng Chen, Thu Nguyen, Bruce A. Wade, Xindong Wu

Proceedings of the 2020 SIAM International Conference on Data Mining, 2020

Efficient Coflow Transmission for Distributed Stream Processing.

Wenxin Li, Xu Yuan, Wenyu Qu, Heng Qi, Xiaobo Zhou, Sheng Chen, Renhai Xu

Proceedings of the 39th IEEE Conference on Computer Communications, 2020

Load Balance Awared Data Sharing Systems In Heterogeneous Edge Environment.

Sheng Chen, Zheng Chen, Siyuan Gu, Baochao Chen, Junjie Xie, Deke Guo

Proceedings of the 26th IEEE International Conference on Parallel and Distributed Systems, 2020

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, Deke Guo

Proceedings of the 22nd IEEE International Conference on High Performance Computing and Communications; 18th IEEE International Conference on Smart City; 6th IEEE International Conference on Data Science and Systems, 2020

2019

Generating precise error specifications for C: a zero shot learning approach.

Baijun Wu, John Peter Campora III, Yi He, Alexander Schlecht, Sheng Chen

Proc. ACM Program. Lang., 2019

Blame Tracking and Type Error Debugging.

Sheng Chen, John Peter Campora III

Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

Online Learning from Capricious Data Streams: A Generative Approach.

Yi He, Baijun Wu, Di Wu, Ege Beyazit, Sheng Chen, Xindong Wu

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

A Framework for Resource-aware Online Traffic Classification Using CNN.

Wanqian Zhang, Junxiao Wang, Sheng Chen, Heng Qi, Keqiu Li

Proceedings of the 14th International Conference on Future Internet Technologies, 2019

2018

EasyLB: Adaptive Load Balancing Based on Flowlet Switching for Wireless Sensor Networks.

Zhiqiang Guo, Xiaodong Dong, Sheng Chen, Xiaobo Zhou, Keqiu Li

Sensors, 2018

Casts and costs: harmonizing safety and performance in gradual typing.

John Peter Campora III, Sheng Chen, Eric Walkingshaw

Proc. ACM Program. Lang., 2018

Migrating gradual types.

John Peter Campora III, Sheng Chen, Martin Erwig, Eric Walkingshaw

Proc. ACM Program. Lang., 2018

Systematic identification and communication of type errors.

Sheng Chen, Martin Erwig

J. Funct. Program., 2018

More Requests, Less Cost: Uncertain Inter-Datacenter Traffic Transmission with Multi-Tier Pricing.

Xiaodong Dong, Sheng Chen, Laiping Zhao, Xiaobo Zhou, Heng Qi, Keqiu Li

J. Comput. Sci. Technol., 2018

How to Set Timeout: Achieving Adaptive Load Balance in Asymmetric Topology Based on Flowlet Switching.

Zhiqiang Guo, Xiaodong Dong, Sheng Chen, Xiaobo Zhou, Keqiu Li

Proceedings of the 37th IEEE International Performance Computing and Communications Conference, 2018

2017

Exploiting diversity in type checkers for better error messages.

Sheng Chen, Martin Erwig, Karl Smeltzer

J. Vis. Lang. Comput., 2017

Learning user friendly type-error messages.

Baijun Wu, John Peter Campora III, Sheng Chen

Proc. ACM Program. Lang., 2017

How type errors were fixed and what students did?

Baijun Wu, Sheng Chen

Proc. ACM Program. Lang., 2017

2016

Scheduling Dependent Coflows with Guaranteed Job Completion Time.

Yang Liu, Wenxin Li, Keqiu Li, Heng Qi, Xiaoyi Tao, Sheng Chen

Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

Principal type inference for GADTs.

Sheng Chen, Martin Erwig

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

A Calculus for Variational Programming.

Sheng Chen, Martin Erwig, Eric Walkingshaw

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2014

Extending Type Inference to Variational Programs.

Sheng Chen, Martin Erwig, Eric Walkingshaw

ACM Trans. Program. Lang. Syst., 2014

Let's hear both sides: On combining type-error reporting tools.

Sheng Chen, Martin Erwig, Karl Smeltzer

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

Counter-factual typing for debugging type errors.

Sheng Chen, Martin Erwig

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Early detection of type errors in C++ templates.

Sheng Chen, Martin Erwig

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

Type-based parametric analysis of program families.

Sheng Chen, Martin Erwig

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Guided Type Debugging.

Sheng Chen, Martin Erwig

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2013

An abstract representation of variational graphs.

Martin Erwig, Eric Walkingshaw, Sheng Chen

Proceedings of the 5th International Workshop on Feature-Oriented Software Development, 2013

2012

An error-tolerant type system for variational lambda calculus.

Sheng Chen, Martin Erwig, Eric Walkingshaw

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

Optimizing the Product Derivation Process.

Sheng Chen, Martin Erwig

Proceedings of the Software Product Lines - 15th International Conference, 2011