Pengyue Jiang's Photo

Pengyue Jiang

Occupation: Ph.D. Student
Department: Department of Computer Science
Affiliation: Cornell Univeristy
Office: 440B Gates Hall, Ithaca, NY 14853, U.S.A.
Mobile phone: +1(217)979-8498
Email address: pengyuejiang@cs.cornell.edu

Resources & Links

Introduction

I am Pengyue Jiang, a Computer Science Ph.D. candidate at Cornell University. I am advised by Professor Owolabi Legunsen. My research interest is in Software Engineering. I am commited to devote myself in finding and doing research that can have widespread and significant impacts for developers.

Before joining Cornell, I obtained my B.S. degree in Computer Science + Philosophy from University of Illinois Urbana-Champaign. I grew up in Suzhou, China, and lived there for the first 18 years of my life. I am grateful for my wonderful parents, supportive friends, and wise mentors.

I expect to graduate in August 2027 and am actively looking for full-time positions.

Publications

  1. Block Tests
    Kevin Guan, Pengyue Jiang, Milos Gligoric, and Owolabi Legunsen
    ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications
    (OOPSLA 2026), pages 2044-2072, Oakland, CA, U.S.A., October 2026
  2. Automated Inline-Test Generation without Relying on Method-Level Unit Tests
    Pengyue Jiang, Yu Liu, Anna Guo, Milos Gligoric, and Owolabi Legunsen
    40th European Conference on Object-Oriented Programming
    (ECOOP 2026), pages 13:1-13:32, Brussels, Belgium, June-July 2026
  3. Fine-Grained Analyses for Evolution-Aware Runtime Verification
    Pengyue Jiang, Kevin Guan, Mahdi Khosravi, Moustafa Ismail, Marcelo d'Amorim, and Owolabi Legunsen
    48th International Conference on Software Engineering
    (ICSE 2026), pages 3523-3535, Rio de Janeiro, Brazil, April 2026
  4. eMOP: A Maven Plugin for Evolution-Aware Runtime Verification
    Ayaka Yorihiro, Pengyue Jiang, Valeria Marqués, Benjamin Carleton, and Owolabi Legunsen
    23rd International Conference on Runtime Verification, Tool Demonstration
    (RV 2023), pages 363-375, Thessaloniki, Greece, October 2023

Presentations

  1. "Automated Inline-Test Generation without Relying on Method-Level Unit Tests", European Conference on Object-Oriented Programming (ECOOP 2026) Brussels, Belgium July 2, 2026
  2. "How Good Are the Specs? A Study of the Bug-Finding Effectiveness of Existing Java API Specifications", Guest Lecture at Cornell's CS 6156: Runtime Verification Ithaca, NY, U.S.A. February 24, 2024
  3. "eMOP: A Maven Plugin for Evolution-Aware Runtime Verification", 23rd International Conference on Runtime Verification (RV 2023) Thessaloniki, Greece October 3, 2023