Publications

  1. John Peter Campora III and Sheng Chen Taming Type Annotations in Gradual Typing ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'20), Proc. ACM Program. Lang. 4, OOPSLA, Article 191 (November 2020), 30 pages. https://doi.org/10.1145/3428259

  2. Sheng Chen and Baijun Wu Efficient Counter-factual Type Error Debugging Science of Computer Programming. Published online, 2020.

  3. Yi He, Baijun Wu, Di Wu, Ege Beyazit, Sheng Chen, and Xindong Wu Toward Mining Capricious Data Streams: A Generative Approach IEEE Transactions on Neural Networks and Learning Systems. Published online, 2020.

  4. Yi He, Sheng Chen, Thu Nguyen, Bruce A. Wade and Xindong Wu. Deep Matrix Tri-Factorization: Mining vertex-wise interactions in multi-space attributed graphs 2020 SIAM International Conference on Data Mining (SIAM'20), Pages 334342. SIAM, 2020.

  5. Baijun Wu, John Peter Campora III, Yi He, Alexander Schlecht, and Sheng Chen Generating Precise Error Specifications for C: A Zero Shot Learning Approach ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'19), PACMPL, vol. 3 (OOPSLA), 160:1--160:30, 2019
    Project Repository

  6. Yi He, Baijun Wu, Di Wu, Ege Beyazit, Sheng Chen, and Xindong Wu Online Learning from Capricious Data Streams: A Generative Approach Twenty-Eighth International Joint Conference on Artificial Intelligence Main track (IJCAI'19), Pages 2491-2497, 2019.

  7. Sheng Chen and John Peter Campora III Blame Tracking and Type Error Debugging 3rd Summit on Advances in Programming Languages (SNAPL 2019) (SNAPL 2019), Pages 2:1-2:14, 2019.

  8. Sheng Chen and Baijun Wu Efficient Counter-factual Type Error Debugging 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE'19) , Pages 99-106, 2019.

  9. John Peter Campora III, Sheng Chen, and Eric Walkingshaw Casts and Costs: Harmonizing Safety and Performance in Gradual Typing ACM SIGPLAN International Conference on Functional Programming (ICFP'18), PACMPL, vol. 2 (ICFP), 2018, 98:1--98:30
    Project Repository

  10. Sheng Chen and Martin Erwig. Systematic Identification and Communication of Type Errors The Journal of Functional Programming, 2018, To appear

  11. John Peter Campora III, Sheng Chen, Martin Erwig, and Eric Walkingshaw. Migrating Gradual Types. ACM SIGPLAN Symp. on Principles of Programming Languages (POPL'18), PACMPL, vol. 2(POPL), 2018, 15:1--15:29
    Project Repository   Full constraint generation rules

  12. Baijun Wu and Sheng Chen. How Type Errors Were Fixed and What Students Did? ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'17), PACMPL, Vol. 1, 105:1--105:27, 2017.

  13. Baijun Wu, John Peter Campora III, and Sheng Chen. Learning User Friendly Type Error Messages. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'17), PACMPL, Vol. 1, 106:1--106:29, 2017.
    Project Repository

  14. Sheng Chen, Martin Erwig, and Karl Smeltzer. Exploiting diversity in type checkers for better error messages. Journal of Visual Languages and Computing (JVLC), Volume 39 Issue C, Pages 10-21

  15. Sheng Chen, Martin Erwig, and Eric Walkingshaw. A Calculus for Variational Programming. 30th European Conference on Object-Oriented Programming (ECOOP'16), LIPICS Vol. 56, 6:1-6:28, 2016.
    Technical Report

  16. Sheng Chen and Martin Erwig. Principal Type Inference for GADTs. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL'16), Pages 416--428, 2016

  17. Sheng Chen. Variational Typing and Its Applications Doctoral Thesis, Oregon State University, 2015

  18. Sheng Chen and Martin Erwig. Type-Based Parametric Analysis of Program Families. ACM SIGPLAN Int. Conf. on Functional Programming (ICFP'14) Pages 39--51, 2014.

  19. Sheng Chen, Martin Erwig, and Karl Smeltzer Let's Hear Both Sides: On Combining Type-Error Reporting Tools. IEEE Int. Symp. on Visual Languages and Human-Centric Computing (VL/HCC'14) Pages 145--152, 2014.

  20. Sheng Chen and Martin Erwig. Guided Type Debugging Int. Symp. on Functional and Logic Programming (FLOPS'14) LNCS 8475, Pages 35--51, 2014.

  21. Sheng Chen and Martin Erwig. Counter-Factual Typing for Debugging Type Errors. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL'14) Pages 583--594, 2014.
    Haskell benchmark

  22. Sheng Chen and Martin Erwig. Early Detection of Type Errors in C++ Templates ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'14) Pages 133--144, 2014.

  23. Sheng Chen, Martin Erwig, and Eric Walkingshaw. Extending Type Inference to Variational Programs ACM Transactions on Programming Languages and Systems,Vol. 36, No. 1, 1:1--1:54, 2014

  24. Martin Erwig, Eric Walkingshaw, and Sheng Chen. An Abstract Representation of Variational Graphs. ACM Int. Workshop on Feature-Oriented Software Development (FOSD'13) Pages 25--32, 2013.

  25. Christopher Chambers, Sheng Chen, Duc Le, Christopher Scaffidi The function, and dysfunction, of information sources in learning functional programming Journal of Computing Sciences in Colleges, Vol. 28, Issue 1, 220--226, 2012

  26. Sheng Chen, Martin Erwig, and Eric Walkingshaw. An Error-Tolerant Type System for Variational Lambda Calculus. ACM SIGPLAN Int. Conf. on Functional Programming (ICFP'12) Pages 29--40, 2012.

  27. Sheng Chen and Martin Erwig. Optimizing the Product Derivation Process. IEEE Int. Software Product Line Conference (SPLC'11) Pages 35--44, 2011.

    Before 2010

  28. Sheng Chen, Liang Bao, and Ping Chen. OptBPEL: A Tool for Performance Optimization of BPEL Process. Int. Symp. on Software Composition (SC'08), LNCS 4985. Pages 141--148, 2008.

  29. Liang Bao, Sheng Chen, Xiyang Liu, Shengming Hu, and Ping Chen. Towards a Reversible BPEL Debugger. IEEE International Conference on Web Services (ICWS'08), Pages 832--833, 2008.

  30. Liang Bao, Ping Chen, Xiang Zhang, Sheng Chen, Shengming Hu, Yang Yang. Batch Invocation of Web Services in BPEL Process. Int. Conf. on Service Oriented Computing} (ICSOC'08), LNCS 5364, Pages 511--516, 2008.

  31. Sheng Chen, Liang Bao, Ping Chen, Shengming Hu, Meng Wang. Study of Algorithm on Data Race and Deadlock Detection for BPEL Process. Journal of Xidian University, 35(6), 2008. (in Chinese)

  32. Liang Bao, Shengli Song, Sheng Chen, Ping Chen, Shengming Hu, Weiyong Cui. Research on static process slicing in BPEL. Systems Engineering and Electronics, 31(1), 2009. (in Chinese)

Back to Sheng's Home Page

Last modified: October 2020