Registered user since Mon 9 Dec 2019
Hi! My name is Kesha and I’m a graduate student in Computer Science at the University of Maryland. I’m part of the PLUM group and advised by Mike Hicks. I’m interested in programming language design, program analysis, and formal verification, with a special focus on the application area of quantum computing.
|CPP 2023||FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores|
|Show activities from other conferences|