Sheng Chen

According to our database, Sheng Chen authored at least 34 papers between 2011 and 2025.

Collaborative distances:

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

2025

BLIA: Detect model memorization in binary classification model through passive Label Inference attack.

Mohammad Wahiduzzaman Khan, Sheng Chen, Ilya Mironov, Leizhen Zhang, Rabib Noor

CoRR, March, 2025

2024

Type-Based Gradual Typing Performance Optimization.

John Peter Campora III, Mohammad Wahiduzzaman Khan, Sheng Chen

Proc. ACM Program. Lang., 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

Fairness-Aware Streaming Feature Selection with Causal Graphs.

Leizhen Zhang, Lusi Li, Di Wu, Sheng Chen, Yi He

CoRR, 2024

Gradual Typing Performance, Micro Configurations and Macro Perspectives.

Mohammad Wahiduzzaman Khan, Sheng Chen

Proceedings of the Theoretical Aspects of Software Engineering, 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

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

Migrating gradual types.

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

J. Funct. Program., 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

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

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

Taming type annotations in gradual typing.

John Peter Campora III, Sheng Chen

Proc. ACM Program. Lang., 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

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

Efficient Counter-factual Type Error Debugging.

Sheng Chen, Baijun Wu

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 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

2018

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

John Peter Campora III, Sheng Chen, Eric Walkingshaw

Proc. ACM Program. Lang., 2018

Systematic identification and communication of type errors.

Sheng Chen, Martin Erwig

J. Funct. Program., 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

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