Kevin Cheang
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 10
Publications (10 Years): 10
Publications
- Federico Mora, Kevin Cheang, Elizabeth Polgreen, Sanjit A. SeshiaSynthesis in Uclid5. CoRR (2020)
- Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill
- Kevin Cheang, Cameron Rasmussen, Sanjit A. Seshia, Pramod Subramanyan
- Kevin Cheang, Cameron Rasmussen, Sanjit A. Seshia, Pramod Subramanyan