FIND PROFESSORS AND RESEARCH OPPORTUNITIES

YourScholar.ai helps discover professors by research area, explore academic profiles, and find potential collaboration opportunities for Master's, PhD, and scholarship applications.

4641_xw.jpg

Xinyu Wang

Programming Languages Formal Methods Software Engineering (SE) Artificial Intelligence

Research Performance Summary

35
Total Papers
1108
Total Citations
19
H-Index
2012-2025
Active Research Span

First Recorded Paper

Near-optimal spectrum allocation for cognitive radios: a frequency-time auction perspective

Year: 2012

Citations: 5

Venue: 2012 IEEE Global Communications Conference (GLOBECOM)

Latest Recorded Paper

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search

Year: 2025

Citations: 1

Venue: Proceedings of the ACM on Programming Languages 9 (PLDI)

Last 10 Years Publication Activity

This timeline shows the professor's yearly publication activity.

2025
2
2024
6
2023
5
2022
4
2021
3
2020
4
2018
3
2017
3
2016
1
2015
2
2014
1

Publication Venues and Collaboration

Journal, Conference, and Book Publication Breakdown

Conference 28
Journal 3
Book 0

Top Coauthors

Wang Dillig Chen

Research Impact by Period

2025-2026

Period Stats
Papers 2
Citations 3
Avg. Citations / Paper 1.5
H-Index 1

2020-2024

Period Stats
Papers 22
Citations 622
Avg. Citations / Paper 28.3
H-Index 14

2015-2019

Period Stats
Papers 9
Citations 476
Avg. Citations / Paper 52.9
H-Index 8

2010-2014

Period Stats
Papers 2
Citations 7
Avg. Citations / Paper 3.5
H-Index 2

Contact and Professional Links

Contact Information

xwangsd@umich.edu
7347631325

Professional Links

Google Scholar
University Page

Detected Research Keywords

Cloud Infrastructure Code Infrastructure Code Programs Web Automation Programs Complex Sql Queries Correlated Mobility Cluster Mobility Cluster Scalability