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 Ph.D. student in Computer Science at Cornell University since 2023. 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.

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 to-appear, Oakland, CA, U.S.A., October 2026
  1. Automated Inline-Test Generation without Relying on Method-Level Unit Tests
    Pengyue Jiang, Yu Liu, Anna Guo, Milos Gligoric, and Owolabi Legunsen
    European Conference on Object-Oriented Programming
    (ECOOP 2026), pages to-appear, Brussels, Belgium, June-July 2026
  1. 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 to-appear, Rio de Janeiro, Brazil, April 2026
  1. 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. "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
  2. "eMOP: A Maven Plugin for Evolution-Aware Runtime Verification", 23rd International Conference on Runtime Verification Thessaloniki, Greece October 3, 2023