Information for:

Resources

Yuyan Bao

Assistant Professor

Yuyan Bao

Assistant Professor

Academic Appointment(s)

Administration
Department of Computer & Cyber Sciences

School of Computer and Cyber Sciences
Department of Computer & Cyber Sciences

Education

  • Ph.D., Computer Science. University of Central Florida, 2017

  • ME, Computer Software Engineering Beihang University, 2007

  • BE, Computer Science. Beijing University of Technolo, 2003

Courses Taught Most Recent Academic Year

  • CSCI 8940

    Dissertation Research

  • AIST 3610

    System Analysis & Design

  • CSCI 8510

    Independent Study: PRG Lang & PRG Verifications

Teaching Interests

My teaching interests span programming languages and program verification. I am particularly interested in teaching courses on program semantics, type systems, and program verification techniques.

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