Sheng Chen
Sheng Chen
Assistant Professor of Computer Science, University of Louisiana at Lafayette
E-mail megerősítve itt: louisiana.edu - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Counter-factual typing for debugging type errors
S Chen, M Erwig
Proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2014
602014
Extending type inference to variational programs
S Chen, M Erwig, E Walkingshaw
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (1), 1, 2014
482014
An error-tolerant type system for variational lambda calculus
S Chen, M Erwig, E Walkingshaw
ACM SIGPLAN Notices 47 (9), 29-40, 2012
462012
Guided Type Debugging
S Chen, M Erwig
Functional and Logic Programming, 35-51, 2014
222014
Optimizing the Product Derivation Process
S Chen, M Erwig
Software Product Line Conference (SPLC), 2011 15th International, 35-44, 2011
202011
The function, and dysfunction, of information sources in learning functional programming
C Chambers, S Chen, D Le, C Scaffidi
Journal of Computing Sciences in Colleges 28 (1), 220-226, 2012
152012
Migrating Gradual Types
JP CAMPORA III, S CHEN, M ERWIG, E WALKINGSHAW
142018
Principal type inference for GADTs
S Chen, M Erwig
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
142016
Learning user friendly type-error messages
B Wu, JP Campora III, S Chen
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 106, 2017
132017
How type errors were fixed and what students did?
B Wu, S Chen
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 105, 2017
112017
Let's hear both sides: On combining type-error reporting tools
S Chen, M Erwig, K Smeltzer
Visual Languages and Human-Centric Computing (VL/HCC), 2014 IEEE Symposium …, 2014
112014
A calculus for variational programming
S Chen, M Erwig, E Walkingshaw
LIPIcs-Leibniz International Proceedings in Informatics 56, 2016
102016
Type-based parametric analysis of program families
S Chen, M Erwig
Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014
102014
An abstract representation of variational graphs
M Erwig, E Walkingshaw, S Chen
Proceedings of the 5th International Workshop on Feature-Oriented Software …, 2013
92013
OptBPEL: a tool for performance optimization of BPEL process
S Chen, L Bao, P Chen
Software Composition, 141-148, 2008
92008
Better type-error messages through lazy typing
S Chen, M Erwig
Oregon State University, Technical Report, 2014
72014
Online Learning from Capricious Data Streams: A Generative Approach
Y He, B Wu, D Wu, E Beyazit, S Chen, X Wu
7*
Casts and costs: harmonizing safety and performance in gradual typing
JP Campora, S Chen, E Walkingshaw
Proceedings of the ACM on Programming Languages 2 (ICFP), 98, 2018
62018
Early detection of type errors in C++ templates
S Chen, M Erwig
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and …, 2014
62014
Systematic identification and communication of type errors
S Chen, M Erwig
Journal of Functional Programming 28, 2018
52018
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20