Sheng Chen

36 papers A* 5A 6B 3C 1Misc 3Journal 16Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
BLIA: Detect model memorization in binary classification model through passive Label Inference attack.
CoRR
Mohammad Wahiduzzaman Khan, Sheng Chen, Ilya Mironov, Leizhen Zhang, Rabib Noor
2024 J jnl
Fairness-Aware Streaming Feature Selection with Causal Graphs.
CoRR
Leizhen Zhang, Lusi Li, Di Wu, Sheng Chen, Yi He
2024 J jnl
Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact).
Dagstuhl Artifacts Ser.
Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao
2024 A conf
Formalizing, Mechanizing, and Verifying Class-Based Refinement Types.
ECOOP
Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao
2024 Misc conf
Gradual Typing Performance, Micro Configurations and Macro Perspectives.
TASE
Mohammad Wahiduzzaman Khan, Sheng Chen
2024 A conf
Learning Gradual Typing Performance.
ECOOP
Mohammad Wahiduzzaman Khan, Sheng Chen, Yi He
2024 J jnl
Type-Based Gradual Typing Performance Optimization.
Proc. ACM Program. Lang.
John Peter Campora III, Mohammad Wahiduzzaman Khan, Sheng Chen
2023 B conf
What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study.
APLAS
Ke Sun, Sheng Chen, Meng Wang, Dan Hao
2022 J jnl
Migrating gradual types.
J. Funct. Program.
John Peter Campora III, Sheng Chen, Martin Erwig, Eric Walkingshaw
2021 A* conf
Online Learning in Variable Feature Spaces under Incomplete Supervision.
AAAI
Yi He, Xu Yuan, Sheng Chen, Xindong Wu
2021 J jnl
Toward Mining Capricious Data Streams: A Generative Approach.
IEEE Trans. Neural Networks Learn. Syst.
Yi He, Baijun Wu, Di Wu, Ege Beyazit, Sheng Chen, Xindong Wu
2021 A* conf
Unsupervised Lifelong Learning with Curricula.
WWW
Yi He, Sheng Chen, Baijun Wu, Xu Yuan, Xindong Wu
2020 A conf
Deep Matrix Tri-Factorization: Mining Vertex-wise Interactions in Multi-Space Attributed Graphs.
SDM
Yi He, Sheng Chen, Thu Nguyen, Bruce A. Wade, Xindong Wu
2020 J jnl
Efficient counter-factual type error debugging.
Sci. Comput. Program.
Sheng Chen, Baijun Wu
2020 J jnl
Taming type annotations in gradual typing.
Proc. ACM Program. Lang.
John Peter Campora III, Sheng Chen
2019 — conf
Blame Tracking and Type Error Debugging.
SNAPL
Sheng Chen, John Peter Campora III
2019 Misc conf
Efficient Counter-factual Type Error Debugging.
TASE
Sheng Chen, Baijun Wu
2019 J jnl
Generating precise error specifications for C: a zero shot learning approach.
Proc. ACM Program. Lang.
Baijun Wu, John Peter Campora III, Yi He, Alexander Schlecht, Sheng Chen
2019 A* conf
Online Learning from Capricious Data Streams: A Generative Approach.
IJCAI
Yi He, Baijun Wu, Di Wu, Ege Beyazit, Sheng Chen, Xindong Wu
2018 J jnl
Casts and costs: harmonizing safety and performance in gradual typing.
Proc. ACM Program. Lang.
John Peter Campora III, Sheng Chen, Eric Walkingshaw
2018 J jnl
Migrating gradual types.
Proc. ACM Program. Lang.
John Peter Campora III, Sheng Chen, Martin Erwig, Eric Walkingshaw
2018 J jnl
Systematic identification and communication of type errors.
J. Funct. Program.
Sheng Chen, Martin Erwig
2017 J jnl
Exploiting diversity in type checkers for better error messages.
J. Vis. Lang. Comput.
Sheng Chen, Martin Erwig, Karl Smeltzer
2017 J jnl
How type errors were fixed and what students did?
Proc. ACM Program. Lang.
Baijun Wu, Sheng Chen
2017 J jnl
Learning user friendly type-error messages.
Proc. ACM Program. Lang.
Baijun Wu, John Peter Campora III, Sheng Chen
2016 A conf
A Calculus for Variational Programming.
ECOOP
Sheng Chen, Martin Erwig, Eric Walkingshaw
2016 A* conf
Principal type inference for GADTs.
POPL
Sheng Chen, Martin Erwig
2014 A* conf
Counter-factual typing for debugging type errors.
POPL
Sheng Chen, Martin Erwig
2014 C conf
Early detection of type errors in C++ templates.
PEPM
Sheng Chen, Martin Erwig
2014 J jnl
Extending Type Inference to Variational Programs.
ACM Trans. Program. Lang. Syst.
Sheng Chen, Martin Erwig, Eric Walkingshaw
2014 Misc conf
Guided Type Debugging.
FLOPS
Sheng Chen, Martin Erwig
2014 B conf
Let's hear both sides: On combining type-error reporting tools.
VL/HCC
Sheng Chen, Martin Erwig, Karl Smeltzer
2014 A conf
Type-based parametric analysis of program families.
ICFP
Sheng Chen, Martin Erwig
2013 — conf
An abstract representation of variational graphs.
FOSD
Martin Erwig, Eric Walkingshaw, Sheng Chen
2012 A conf
An error-tolerant type system for variational lambda calculus.
ICFP
Sheng Chen, Martin Erwig, Eric Walkingshaw
2011 B conf
Optimizing the Product Derivation Process.
SPLC
Sheng Chen, Martin Erwig