| Counter-factual typing for debugging type errors S Chen, M Erwig Proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2014 | 80 | 2014 |
| Extending type inference to variational programs S Chen, M Erwig, E Walkingshaw ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (1), 1, 2014 | 63 | 2014 |
| An error-tolerant type system for variational lambda calculus S Chen, M Erwig, E Walkingshaw ACM SIGPLAN Notices 47 (9), 29-40, 2012 | 59 | 2012 |
| Toward mining capricious data streams: A generative approach Y He, B Wu, D Wu, E Beyazit, S Chen, X Wu IEEE transactions on neural networks and learning systems, 2020 | 44 | 2020 |
| Online Learning from Capricious Data Streams: A Generative Approach Y He, B Wu, D Wu, E Beyazit, S Chen, X Wu | 42* | |
| Migrating Gradual Types JP CAMPORA III, S CHEN, M ERWIG, E WALKINGSHAW | 37 | 2018 |
| Guided Type Debugging S Chen, M Erwig Functional and Logic Programming, 35-51, 2014 | 33 | 2014 |
| Online Learning in Variable Feature Spaces under Incomplete Supervision Y He, X Yuan, S Chen, X Wu | 29 | 2021 |
| Optimizing the Product Derivation Process S Chen, M Erwig Software Product Line Conference (SPLC), 2011 15th International, 35-44, 2011 | 23 | 2011 |
| 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 | 21 | 2018 |
| A calculus for variational programming S Chen, M Erwig, E Walkingshaw LIPIcs-Leibniz International Proceedings in Informatics 56, 2016 | 21 | 2016 |
| Principal type inference for GADTs S Chen, M Erwig Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 20 | 2016 |
| An abstract representation of variational graphs M Erwig, E Walkingshaw, S Chen Proceedings of the 5th International Workshop on Feature-Oriented Software …, 2013 | 18 | 2013 |
| 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 | 17 | 2012 |
| 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 | 16 | 2014 |
| Learning user friendly type-error messages B Wu, JP Campora III, S Chen Proceedings of the ACM on Programming Languages 1 (OOPSLA), 106, 2017 | 15 | 2017 |
| How type errors were fixed and what students did? B Wu, S Chen Proceedings of the ACM on Programming Languages 1 (OOPSLA), 105, 2017 | 14 | 2017 |
| Type-based parametric analysis of program families S Chen, M Erwig Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014 | 14 | 2014 |
| Taming type annotations in gradual typing JP Campora, S Chen Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 8 | 2020 |
| Systematic identification and communication of type errors S Chen, M Erwig Journal of Functional Programming 28, 2018 | 8 | 2018 |
Martin ErwigStretch Professor of Computer Science, Oregon State University在 oregonstate.edu 的电子邮件经过验证
