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
Yuyan Bao
Specification Languages
Verification Languages
Programming Languages
Software Security
About
My research is in the areas of specification and verification languages, programming languages and software security.
Research Performance Summary
2013-2025
Active Research Span
First Recorded Paper
Fine Grained Region Logic for Reasoning about Frame Properties
Year:
2013
Citations:
0
Venue:
N/A
Latest Recorded Paper
Reproduction Package for Article'Modeling Reachability Types with Logical Relations'
Year:
2025
Citations:
0
Venue:
Zenodo
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
Bao
Rompf
Jia
Research Impact by Period
Papers
8
Citations
20
Avg. Citations / Paper
2.5
H-Index
2
Papers
10
Citations
215
Avg. Citations / Paper
21.5
H-Index
8
Papers
6
Citations
103
Avg. Citations / Paper
17.2
H-Index
4
Papers
2
Citations
3
Avg. Citations / Paper
1.5
H-Index
1
Contact and Professional Links
Detected Research Keywords
Fine Grained Region
Grained Region Logic
Reachability Types Tracking
Aliasing Separation Higher
Separation Higher Order
Graph Irs Impure
Irs Impure Higher
Impure Higher Order
Higher Order Languages
Modeling Reachability Types