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

Personal website:https://pengyunie.github.io/

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