Sheng Chen

Mohammad Wahiduzzaman Khan

Proc. ACM Program. Lang., January, 2024

2021

Toward Mining Capricious Data Streams: A Generative Approach.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., 2021

Unsupervised Lifelong Learning with Curricula.

[BibT_eX]

[DOI]

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

Online Learning in Variable Feature Spaces under Incomplete Supervision.

[BibT_eX]

[DOI]

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

2020

Efficient counter-factual type error debugging.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2020

Taming type annotations in gradual typing.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

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

[BibT_eX]

[DOI]

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

2019

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

[BibT_eX]

[DOI]

Yi He

Alexander Schlecht

Proc. ACM Program. Lang., 2019

Blame Tracking and Type Error Debugging.

[BibT_eX]

[DOI]

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

Online Learning from Capricious Data Streams: A Generative Approach.

[BibT_eX]

[DOI]

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

2018

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

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Migrating gradual types.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Systematic identification and communication of type errors.

[BibT_eX]

[DOI]

J. Funct. Program., 2018

2017

Exploiting diversity in type checkers for better error messages.

[BibT_eX]

[DOI]

Karl Smeltzer

J. Vis. Lang. Comput., 2017

Learning user friendly type-error messages.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

How type errors were fixed and what students did?

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

2016

Principal type inference for GADTs.

[BibT_eX]

[DOI]

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

A Calculus for Variational Programming.

[BibT_eX]

[DOI]

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

2014

Extending Type Inference to Variational Programs.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2014

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

[BibT_eX]

[DOI]

Karl Smeltzer

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

Counter-factual typing for debugging type errors.

[BibT_eX]

[DOI]

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

Early detection of type errors in C++ templates.

[BibT_eX]

[DOI]

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

Type-based parametric analysis of program families.

[BibT_eX]

[DOI]

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

Guided Type Debugging.

[BibT_eX]

[DOI]

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

2013

An abstract representation of variational graphs.

[BibT_eX]

[DOI]

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

2012

An error-tolerant type system for variational lambda calculus.

[BibT_eX]

[DOI]

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

2011

Optimizing the Product Derivation Process.

[BibT_eX]

[DOI]