Pengyu Nie
Pengyu Nie
The University of Texas of Austin
Verified email at utexas.edu - Homepage
Title
Cited by
Cited by
Year
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
102018
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
72020
Deep generation of Coq lemma names using elaborated terms
P Nie, K Palmskog, JJ Li, M Gligoric
International Joint Conference on Automated Reasoning, 97-118, 2020
32020
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
32019
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
22020
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
22020
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
22019
Executable trigger-action comments
P Nie, R Rai, JJ Li, S Khurshid, RJ Mooney, M Gligoric
arXiv preprint arXiv:1808.01729, 2018
12018
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
2021
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
2021
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
2020
Learning to Format Coq Code Using Language Models
P Nie, K Palmskog, JJ Li, M Gligoric
arXiv preprint arXiv:2006.16743, 2020
2020
Leveraging Class Hierarchy for Code Comprehension
J Zhang, S Panthaplackel, P Nie, JJ Li, RJ Mooney, M Gligoric
The system can't perform the operation now. Try again later.
Articles 1–13