Pengyu Nie
Ph.D. Student
The University of Texas at Austin
2501 Speedway C0803, EER 7E-010
Austin, TX 78712
USA
Email: pynie@utexas.edu
Pengyu Nie
Ph.D. Student
The University of Texas at Austin
2501 Speedway C0803, EER 7E-010
Austin, TX 78712
USA
Email: pynie@utexas.edu
Bio

I'm a Ph.D. student in the Department of Electrical and Computer Engineering at the University of Texas at Austin. I work with Prof. Milos Gligoric. My research interests focus on the fusion of natural language processing and software engineering, including comment analysis, comment generation, learning coding convention, etc. I'm also exploring other software engineering and programming language topics, including specification languages and GPU computing.
I obtained my Bachelor's Degree at the University of Science and Technology of China, with majoring in both Physics and Computer Science.

Publications

Learning to format Coq code using language models.
Pengyu Nie, Karl Palmskog, Junyi Jessy Li, and Milos Gligoric.
In The Coq Workshop
(Coq'20), to appear. Paris, France, July 2020.

Debugging the performance of Maven's test isolation: Experience report.
Pengyu Nie, Ahmet Celik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, and Milos Gligoric.
In International Symposium on Software Testing and Analysis
(ISSTA'20), to appear. Los Angeles, California, USA, July 2020.

Learning to update natural language comments based on code changes.
Sheena Panthaplackel, Pengyu Nie, Milos Gligoric, Junyi Jessy Li, and Raymond J. Mooney.
In Annual Meeting of the Association for Computational Linguistics
(ACL'20), to appear. Seattle, Washington, USA, July 2020.

Deep generation of Coq lemma names using elaborated terms.
Pengyu Nie, Karl Palmskog, Junyi Jessy Li, and Milos Gligoric.
In International Joint Conference on Automated Reasoning
(IJCAR'20), to appear. Paris, France, June 2020.

Design, implementation, and application of GPU-based Java bytecode interpreters.
Ahmet Celik, Pengyu Nie, Christopher J. Rossbach, and Milos Gligoric.
In Conference on Object-Oriented Programming Systems, Languages and Applications
(OOPSLA'19), 177:1-177:28. Athens, Greece, October 2019.

A framework for writing trigger-action todo comments in executable format. [slides]
Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, and Milos Gligoric.
In Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
(ESEC/FSE'19), 385–396. Tallinn, Estonia, August 2019.
This paper won an ACM SIGSOFT Distinguished Paper Award.

Natural language processing and program analysis for supporting todo comments as software evolves.
Pengyu Nie, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, and Milos Gligoric.
In The Workshops of the Thirty-Second AAAI Conference on Artificial Intelligence
(NL4SE'18), 775–778. New Orleans, Louisiana, USA, February 2018.

Service

Co-organizer of the Natural Language for Software Engineering (NL4SE) Reading Group at the University of Texas at Austin.

External Reviewer / Sub-reviewer for:
2020: ICSE, ISSTA
2019: ICSE, ISSTA, IJCAI
2018: ASE, ESEC/FSE