See How Your Research Aligns
Create a free account to analyze your research alignment,
identify potential research gaps, and generate personalized
application documents for this professor.
Create Free Account
Xinyu Wang
Programming Languages
Formal Methods
Software Engineering (SE)
Artificial Intelligence
About
I am a tenure-track assistant professor in the Electrical Engineering and Computer Science Department at the University of Michigan.
My research interests are in the areas of programming languages, formal methods, software engineering, and artificial intelligence.
Previously I was a researcher at Microsoft. I obtained my Ph.D. from the University of Texas at Austin.
Research Performance Summary
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.
Publication Venues and Collaboration
Journal, Conference, and Book Publication Breakdown
Top Coauthors
Wang
Dillig
Chen
Research Impact by Period
Papers
2
Citations
3
Avg. Citations / Paper
1.5
H-Index
1
Papers
22
Citations
622
Avg. Citations / Paper
28.3
H-Index
14
Papers
9
Citations
476
Avg. Citations / Paper
52.9
H-Index
8
Papers
2
Citations
7
Avg. Citations / Paper
3.5
H-Index
2
Contact and Professional Links
Detected Research Keywords
Cloud Infrastructure Code
Infrastructure Code Programs
Web Automation Programs
Complex Sql Queries
Correlated Mobility Cluster
Mobility Cluster Scalability