フォロー
Pengyu Nie
タイトル
引用先
引用先
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
902022
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
712020
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
582023
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
312019
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
302023
Impact of evaluation methodologies on code summarization
P Nie, J Zhang, JJ Li, RJ Mooney, M Gligoric
arXiv preprint arXiv:2108.09619, 2021
242021
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
202018
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
192020
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
152020
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
132023
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
92022
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
92019
Learning deep semantics for test completion. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)
P Nie, R Banerjee, JJ Li, RJ Mooney, M Gligoric
IEEE, 2023
62023
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
62020
Learning to format Coq code using language models
P Nie, K Palmskog, JJ Li, M Gligoric
arXiv preprint arXiv:2006.16743, 2020
62020
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
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
42023
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
Machine learning for executable code in software testing and verification
P Nie
32023
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20