Pengyu Nie

According to our database1, Pengyu Nie authored at least 10 papers between 2018 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Unifying execution of imperative generators and declarative specifications.
Proc. ACM Program. Lang., 2020

Learning to Format Coq Code Using Language Models.
CoRR, 2020

On the naturalness of hardware descriptions.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Debugging the performance of Maven's test isolation: experience report.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Deep Generation of Coq Lemma Names Using Elaborated Terms.
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

Learning to Update Natural Language Comments Based on Code Changes.
Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

2019
Design, implementation, and application of GPU-based Java bytecode interpreters.
Proc. ACM Program. Lang., 2019

A framework for writing trigger-action todo comments in executable format.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2018
Executable Trigger-Action Comments.
CoRR, 2018

Natural Language Processing and Program Analysis for Supporting Todo Comments as Software Evolves.
Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018


  Loading...