Sheng Chen

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 20

Top Topics

Variational Approximation

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

John Peter Campora III, Mohammad Wahiduzzaman Khan, Sheng Chen
Type-Based Gradual Typing Performance Optimization. Proc. ACM Program. Lang. 8 (POPL) (2024)
John Peter Campora III, Sheng Chen, Martin Erwig, Eric Walkingshaw
Migrating gradual types. J. Funct. Program. 32 (2022)
Yi He, Baijun Wu, Di Wu, Ege Beyazit, Sheng Chen, Xindong Wu
Toward Mining Capricious Data Streams: A Generative Approach. IEEE Trans. Neural Networks Learn. Syst. 32 (3) (2021)
Yi He, Xu Yuan, Sheng Chen, Xindong Wu
Online Learning in Variable Feature Spaces under Incomplete Supervision. AAAI (2021)
Yi He, Sheng Chen, Baijun Wu, Xu Yuan, Xindong Wu
Unsupervised Lifelong Learning with Curricula. WWW (2021)
Yi He, Sheng Chen, Thu Nguyen, Bruce A. Wade, Xindong Wu
Deep Matrix Tri-Factorization: Mining Vertex-wise Interactions in Multi-Space Attributed Graphs. SDM (2020)
Sheng Chen, Baijun Wu
Efficient counter-factual type error debugging. Sci. Comput. Program. 200 (2020)
John Peter Campora III, Sheng Chen
Taming type annotations in gradual typing. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Baijun Wu, John Peter Campora III, Yi He, Alexander Schlecht, Sheng Chen
Generating precise error specifications for C: a zero shot learning approach. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Yi He, Baijun Wu, Di Wu, Ege Beyazit, Sheng Chen, Xindong Wu
Online Learning from Capricious Data Streams: A Generative Approach. IJCAI (2019)
Sheng Chen, John Peter Campora III
Blame Tracking and Type Error Debugging. SNAPL (2019)
Sheng Chen, Baijun Wu
Efficient Counter-factual Type Error Debugging. TASE (2019)
Sheng Chen, Martin Erwig
Systematic identification and communication of type errors. J. Funct. Program. 28 (2018)
John Peter Campora III, Sheng Chen, Martin Erwig, Eric Walkingshaw
Migrating gradual types. Proc. ACM Program. Lang. 2 (POPL) (2018)
John Peter Campora III, Sheng Chen, Eric Walkingshaw
Casts and costs: harmonizing safety and performance in gradual typing. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Baijun Wu, John Peter Campora III, Sheng Chen
Learning user friendly type-error messages. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Baijun Wu, Sheng Chen
How type errors were fixed and what students did? Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Sheng Chen, Martin Erwig, Karl Smeltzer
Exploiting diversity in type checkers for better error messages. J. Vis. Lang. Comput. 39 (2017)
Sheng Chen, Martin Erwig, Eric Walkingshaw
A Calculus for Variational Programming. ECOOP (2016)
Sheng Chen, Martin Erwig
Principal type inference for GADTs. POPL (2016)
Sheng Chen, Martin Erwig
Guided Type Debugging. FLOPS (2014)
Sheng Chen, Martin Erwig, Eric Walkingshaw
Extending Type Inference to Variational Programs. ACM Trans. Program. Lang. Syst. 36 (1) (2014)
Sheng Chen, Martin Erwig
Type-based parametric analysis of program families. ICFP (2014)
Sheng Chen, Martin Erwig
Early detection of type errors in C++ templates. PEPM (2014)
Sheng Chen, Martin Erwig, Karl Smeltzer
Let's hear both sides: On combining type-error reporting tools. VL/HCC (2014)
Sheng Chen, Martin Erwig
Counter-factual typing for debugging type errors. POPL (2014)
Martin Erwig, Eric Walkingshaw, Sheng Chen
An abstract representation of variational graphs. FOSD (2013)
Sheng Chen, Martin Erwig, Eric Walkingshaw
An error-tolerant type system for variational lambda calculus. ICFP (2012)
Sheng Chen, Martin Erwig
Optimizing the Product Derivation Process. SPLC (2011)