Pengyu Nie

Registered user since Wed 20 Dec 2017

Name:Pengyu Nie
Bio:

I’m a Ph.D. student at the University of Texas at Austin. I work with Prof. Milos Gligoric. My research interests focus on the fusion of software engineering, programming languages, and natural language processing. Specific topics include languages for writing executable contracts and executable comments, updating natural language elements for evolving software, and utilizing runtime context to improve ML models for software.

Affiliation:University of Texas at Austin
Research interests:Software Engineering, Programming Languages, Natural Language Programming

Contributions

ISSTA 2023 Author of More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes within the Technical Papers-track
Author of Extracting Inline Tests from Unit Tests within the Technical Papers-track
ICSE 2023 Author of Learning Deep Semantics for Test Completion within the Technical Track-track
Author of pytest-inline: An Inline Testing Tool for Python within the DEMO - Demonstrations-track
ASE 2022 Author of Inline Tests within the Research Papers-track
Author of CoditT5: Pretraining for Source Code and Natural Language Editing within the Research Papers-track
Author of Inline Tests within the Artifact Evaluation-track
PLDI 2022 Author of (OOPSLA 2020) Unifying Execution of Imperative Generators and Declarative Specifications within the SIGPLAN Track-track
ICSE 2021 Author of Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning within the DEMO - Demonstrations-track
AIST 2021 Committee Member in Program Committee within the AIST 2021-track
SPLASH 2020 Author of Unifying Execution of Imperative Generators and Declarative Specifications within the Posters-track
Author of Unifying Execution of Imperative Generators and Declarative Specifications within the OOPSLA-track
ESEC/FSE 2020 Author of On the Naturalness of Hardware Descriptions within the Research Papers-track
Panelist of Conversations on Empirical 2 within the Paper Presentations-track
Panelist of Conversations on Analysis 2 within the Research Papers-track
ISSTA 2020 Author of Debugging the Performance of Maven’s Test Isolation: Experience Report within the Technical Papers-track
SPLASH 2019 Author of Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters within the OOPSLA-track
Author of Design, Implementation, and Application of GPU-based Java Bytecode Interpreters within the OOPSLA Artifacts-track