CUFinder

Yahui Song

About Yahui Song

Yahui Song, With an exceptional h-index of 2 and a recent h-index of 2 (since 2020), a distinguished researcher at National University of Singapore, specializes in the field of Programming Languages Software Engineering.

His recent articles reflect a diverse array of research interests and contributions to the field:

ProveNFix: Temporal Property guided Program Repair

Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection

Staged Specifications for Automated Verification of Higher-Order Imperative Programs

Automated Temporal Verification for Algebraic Effects

Automated Temporal Verification with Extended Regular Expressions

An SQL Frontend on top of OCaml for Data Analysis

A synchronous effects logic for temporal verification of pure esterel

Automated temporal verification of integrated dependent effects

Yahui Song Information

University

Position

PhD student in School of Computing

Citations(all)

18

Citations(since 2020)

18

Cited By

2

hIndex(all)

2

hIndex(since 2020)

2

i10Index(all)

0

i10Index(since 2020)

0

Email

University Profile Page

Google Scholar

Yahui Song Skills & Research Interests

Programming Languages Software Engineering

Top articles of Yahui Song

ProveNFix: Temporal Property guided Program Repair

2024

Yahui Song
Yahui Song

H-Index: 1

Xiang Gao
Xiang Gao

H-Index: 7

Wenhua Li
Wenhua Li

H-Index: 3

Abhik Roychoudhury
Abhik Roychoudhury

H-Index: 34

Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection

2023/11/21

Wenhua Li
Wenhua Li

H-Index: 3

Quang Loc Le
Quang Loc Le

H-Index: 12

Yahui Song
Yahui Song

H-Index: 1

Staged Specifications for Automated Verification of Higher-Order Imperative Programs

arXiv preprint arXiv:2308.00988

2023/8/2

Darius Foo
Darius Foo

H-Index: 3

Yahui Song
Yahui Song

H-Index: 1

Automated Temporal Verification for Algebraic Effects

2022/11/25

Yahui Song
Yahui Song

H-Index: 1

Darius Foo
Darius Foo

H-Index: 3

Automated Temporal Verification with Extended Regular Expressions

2022

Yahui Song
Yahui Song

H-Index: 1

An SQL Frontend on top of OCaml for Data Analysis

2022

Yan Dong
Yan Dong

H-Index: 3

Yahui Song
Yahui Song

H-Index: 1

A synchronous effects logic for temporal verification of pure esterel

2021

Yahui Song
Yahui Song

H-Index: 1

Automated temporal verification of integrated dependent effects

2020

Yahui Song
Yahui Song

H-Index: 1

See List of Professors in Yahui Song University(National University of Singapore)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine