Theo dõi
Meng Wang
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
LLM is Like a Box of Chocolates: the Non-determinism of ChatGPT in Code Generation
S Ouyang, JM Zhang, M Harman, M Wang
arXiv e-prints, arXiv: 2308.02828, 2023
1672023
Feat: functional enumeration of algebraic types
J Duregård, P Jansson, M Wang
Proceedings of the 2012 symposium on Haskell symposium, 61-72, 2012
962012
How functional programming mattered
Z Hu, J Hughes, M Wang
National Science Review 2 (3), 349-370, 2015
652015
The visitor pattern as a reusable, generic, type-safe component
BCS Oliveira, M Wang, J Gibbons
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented …, 2008
512008
Combining syntactic and semantic bidirectionalization
J Voigtländer, Z Hu, K Matsuda, M Wang
ACM SIGPLAN Notices 45 (9), 181-192, 2010
452010
Applicative Bidirectional Programming with Lenses
K Matsuda, M Wang
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
322015
FliPpr: A Prettier Invertible Printing System
K Matsuda, M Wang
European conference on Programming Languages and Systems, 101-120, 2013
322013
Incremental updates for efficient bidirectional transformations
M Wang, J Gibbons, N Wu
ACM SIGPLAN Notices 46 (9), 392-403, 2011
322011
Hobit: Programming lenses without using lens combinators
K Matsuda, M Wang
European Symposium on Programming, 31-59, 2018
312018
Type-directed weaving of aspects for higher-order functional languages
M Wang, K Chen, SC Khoo
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and …, 2006
292006
A study of bug resolution characteristics in popular programming languages
JM Zhang, F Li, D Hao, M Wang, H Tang, L Zhang, M Harman
IEEE Transactions on Software Engineering 47 (12), 2684-2697, 2019
26*2019
An empirical study of the non-determinism of chatgpt in code generation
S Ouyang, JM Zhang, M Harman, M Wang
ACM Transactions on Software Engineering and Methodology 34 (2), 1-28, 2025
252025
Exploring better black-box test case prioritization via log analysis
Z Chen, J Chen, W Wang, J Zhou, M Wang, X Chen, S Zhou, J Wang
ACM Transactions on Software Engineering and Methodology 32 (3), 1-32, 2023
252023
Towards translating real-world code with LLMs: A study of translating to Rust
HF Eniser, H Zhang, C David, M Wang, M Christakis, B Paulsen, J Dodds, ...
arXiv preprint arXiv:2405.11514, 2024
232024
Refactoring pattern matching
M Wang, J Gibbons, K Matsuda, Z Hu
Science of Computer Programming, 2012
232012
Gradual Refinement
M Wang, J Gibbons, K Matsuda, Z Hu
Mathematics of Program Construction, 397-425, 2010
222010
Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem
K Matsuda, M Wang
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
192013
Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins
J Voigtländer, Z Hu, K Matsuda, M Wang
Journal of functional programming, 2013
192013
Ownership guided C to Rust translation
H Zhang, C David, Y Yu, M Wang
International Conference on Computer Aided Verification, 459-482, 2023
182023
Staging with class: a specification for typed template Haskell
N Xie, M Pickering, A Löh, N Wu, J Yallop, M Wang
Proceedings of the ACM on Programming Languages 6 (POPL), Article No.: 61, 2022
182022
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20