Greenberg, Michael
Stevens Institute of Technology
5 papers on CoChatORCID 0000-0003-0014-7670
Most cited papers
- Verified
MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation
Cassano, F., Gouwar, J., Nguyen, D., Nguyen, S., Phipps-Costin, L., Pinckney, D., Yee, M.-H., Zi, Y., Anderson, C. J., Feldman, M. Q., et al. (2023) · IEEE Transactions on Software Engineering
Software Engineering ResearchTopic Modeling
Cited by 394
- Verified
HIV-1 coreceptor use in triple-class treatment-experienced patients: Baseline prevalence, correlates, and relationship to enfuvirtide response
Melby, T., DeSpirito, M., DeMasi, R., Heilek‐Snyder, G., Greenberg, M. L., & Graham, N. (2006) · The Journal of Infectious Diseases
HIV/AIDS drug development and treatmentHIV Research and Treatment
Cited by 112
- Verified
Executable formal semantics for the POSIX shell
Greenberg, M., & Blatt, A. J. (2020) · Proceedings of the ACM on Programming Languages
Logic, programming, and type systemsSoftware Testing and Debugging Techniques
Cited by 21
- Verified
MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code Generation
Cassano, F., Gouwar, J., Nguyen, D., Nguyen, S., Phipps-Costin, L., Pinckney, D., Yee, M.-H., Zi, Y., Anderson, C. J., Feldman, M. Q., et al. (2022) · arXiv
Software Engineering ResearchTopic Modeling
Cited by 17
- Verified
Executing Shell Scripts in the Wrong Order, Correctly
Liargkovas, G., Kallas, K., Greenberg, M., & Vasilakis, N. (2023) · Proceedings of the 19th Workshop on Hot Topics in Operating Systems
Parallel Computing and Optimization TechniquesLogic, programming, and type systems
Cited by 3
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free