Kevin Cheang

Researcher. UC Berkeley Ph.D..

headshot.jpg

California, USA

About

Hi, welcome to my homepage. I’m Kevin, a researcher and Applied Scientist at AWS AI Labs, where I build and evaluate long-horizon autonomous LLM agents reliably for structured data. Currently, I work on Kiro.

I received my Ph.D. in Computer Science from the University of California, Berkeley in August 2023, advised by Sanjit A. Seshia. During my Ph.D., I was a graduate student researcher in the Learn & Verify group and affiliated with the ADEPT/SLICE labs, working on formal verification, automated reasoning, and secure systems.

Before Berkeley, I received my B.Sc. in Combined Honors Computer Science and Mathematics from the University of British Columbia.

Research focus

  • Reliable long-horizon autonomous coding agents and behavorial evaluations.
  • Retrieval-augmented reasoning on structured data and tool-augmented agents.
  • Vulnerability detection, mitigations, automated reasoning (formal methods) and secure hardware platforms (prior work).

Selected publications

  1. Learning to Triage Taint Flows Reported by Dynamic Program Analysis in Node.js Packages
    Ronghao Ni ,  Aidan Yang ,  Min-Chien Hsu , and 5 more authors
    2025
    Submission
    PDF
  2. ASPLOS
    Lifting Micro-Update Models from RTL for Formal Security Analysis
    Adwait Godbole ,  Kevin Cheang ,  Yatin A. Manerkar , and 1 more author
    In Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 , 2024
    PDF
  3. CCS
    Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing
    Dayeol Lee ,  Kevin Cheang ,  Alexander Thomas , and 7 more authors
    In ACM Conference on Computer and Communications Security , Nov 2022
    PDF
  4. CAV
    UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
    Elizabeth Polgreen ,  Kevin Cheang ,  Pranav Gaddamadugu , and 5 more authors
    In The 34th International Conference on Computer Aided Verification (CAV), August 2022 , Aug 2022
    PDF
  5. CAV
    The Move Prover
    Jingyi Emma Zhong ,  Kevin Cheang ,  Shaz Qadeer , and 6 more authors
    In Proceedings of the 32nd International Conference on Computer Aided Verification (CAV ’20) , Jul 2020
    PDF
  6. CSF
    A Formal Approach to Secure Speculation
    Kevin Cheang ,  Cameron Rasmussen ,  Sanjit A. Seshia , and 1 more author
    In 32nd IEEE Computer Security Foundations Symposium (CSF ’19), Hoboken, NJ, USA, , Jul 2019
    PDF
View all publications

Awards

Services

Program committee / paper reviewer

  • 2024: ECOOP, TACAS, VMCAI
  • 2023: POPL - PriSC
  • 2021: CAV, FMCAD
  • 2019: TACAS

Artifact evaluation committee

  • 2024: ICCPS, USENIX, ECOOP, TACAS
  • 2023: CCS, ICCPS, CAV
  • 2022: CAV

Teaching

University of California, Berkeley

  • CS 164, Programming Languages and Compilers (Fall 2020)
  • EECS 219C, Formal Methods: Specification, Verification, and Synthesis (Spring 2019)

University of British Columbia

  • CS 221, Basic Algorithms and Data Structures (2014)
  • CS 213, Introduction to Computer Systems (2014)
  • CS 121, Models of Computation (2013)

Contact

To contact me, please find me on LinkedIn!