Follow
Pengyu Nie
Title
Cited by
Cited by
Year
Coditt5: Pretraining for source code and natural language editing
J Zhang, S Panthaplackel, P Nie, JJ Li, M Gligoric
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
672022
Learning to update natural language comments based on code changes
S Panthaplackel, P Nie, M Gligoric, JJ Li, RJ Mooney
arXiv preprint arXiv:2004.12169, 2020
632020
Learning deep semantics for test completion
P Nie, R Banerjee, JJ Li, RJ Mooney, M Gligoric
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
372023
A framework for writing trigger-action todo comments in executable format
P Nie, R Rai, JJ Li, S Khurshid, RJ Mooney, M Gligoric
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
272019
Impact of evaluation methodologies on code summarization
P Nie, J Zhang, JJ Li, RJ Mooney, M Gligoric
arXiv preprint arXiv:2108.09619, 2021
202021
Natural language processing and program analysis for supporting todo comments as software evolves
P Nie, JJ Li, S Khurshid, R Mooney, M Gligoric
AAAI Workshops, 2018
192018
Debugging the performance of Maven’s test isolation: Experience report
P Nie, A Celik, M Coley, A Milicevic, J Bell, M Gligoric
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
152020
Deep generation of Coq lemma names using elaborated terms
P Nie, K Palmskog, JJ Li, M Gligoric
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020
142020
Multilingual code co-evolution using large language models
J Zhang, P Nie, JJ Li, M Gligoric
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
122023
Unifying execution of imperative generators and declarative specifications
P Nie, M Parovic, Z Zang, S Khurshid, A Milicevic, M Gligoric
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-26, 2020
102020
Inline tests
Y Liu, P Nie, O Legunsen, M Gligoric
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
72022
Design, implementation, and application of GPU-based Java bytecode interpreters
A Celik, P Nie, CJ Rossbach, M Gligoric
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019
72019
Learning to format Coq code using language models
P Nie, K Palmskog, JJ Li, M Gligoric
arXiv preprint arXiv:2006.16743, 2020
62020
More precise regression test selection via reasoning about semantics-modifying changes
Y Liu, J Zhang, P Nie, M Gligoric, O Legunsen
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
52023
Learning to generate code comments from class hierarchies
J Zhang, S Panthaplackel, P Nie, RJ Mooney, JJ Li, M Gligoric
arXiv preprint arXiv:2103.13426, 2021
52021
On the naturalness of hardware descriptions
J Lee, P Nie, JJ Li, M Gligoric
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
52020
Roosterize: Suggesting lemma names for Coq verification projects using deep learning
P Nie, K Palmskog, JJ Li, M Gligoric
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
42021
pytest-inline: An inline testing tool for Python
Y Liu, Z Thurston, A Han, P Nie, M Gligoric, O Legunsen
2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023
32023
Leveraging class hierarchy for code comprehension
J Zhang, S Panthaplackel, P Nie, JJ Li, R Mooney, M Gligoric
NeurIPS 2020 Workshop on Computer-Assisted Programming, 2020
32020
Machine learning for executable code in software testing and verification
P Nie
22023
The system can't perform the operation now. Try again later.
Articles 1–20