Information for:
Current Students
Alumni
Community
Faculty & Staff
Military
Patients
Search
Resources
A-Z Index
Calendar
Campus Maps
D2L LMS
Email
Libraries
MyAugusta
News
Jobs & Careers
Portals
Pounce
Shuttles
Admissions
Academics
About
Student Life
Athletics
Research
Health
Giving
Toggle navigation
Alphabetical List
Emeriti
Clinical Adjuncts
Organizational Units
College of Allied Health Sciences
College of Education and Human Development
College of Nursing
College of Science and Mathematics
Dental College of Georgia
James M. Hull College of Business
Medical College of Georgia
Pamplin College of Arts, Humanities, and Social Sciences
School of Computer and Cyber Sciences
School of Public Health
The Graduate School
Libraries
Emeritus Faculty
Administrative Units
FAQ
Home
Faculty Directory
Profile
Update Your Profile
Directory FAQs
PACT Login
Give Feedback
Yuyan Bao
Assistant Professor
Yuyan Bao
Assistant Professor
Academic Appointment(s)
School of Computer and Cyber Sciences
Department of Computer & Cyber Sciences
UH-102
Personal Website
General
Credentials
Instruction
Scholarship
Service
Education
Ph.D., Computer Science.
University of Central Florida, 2017
ME, Computer Software Engineering
Beihang University, 2007
BE, Computer Science.
Beijing University, 2003
Courses Taught Most Recent Academic Year
CSCI 8940
Dissertation Research
AIST 3610
System Analysis & Design
CSCI 8510
Independent Study: PRG Lang & PRG Verifications
Scholarship
Selected Recent Publications
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs, 2024
Journal Article, Academic Journal
Graph IRs for Impure Higher-Order Languages (Technical Report), 2023
Research Report
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies, 2023
Journal Article, Academic Journal
Modeling Reachability Types with Logical Relations, 2023
Research Report
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs, 2023
Journal Article, Academic Journal
Department Service
Faculty Search Committee
2022 - Present
Role:
Committee Member
Professional Service
Computer Software and Media Applications
2023 - Present
Role:
Editor, Journal Editor