This site is currently broken for new queries. It seems like some bot hit it and we ran out of exa credits.
Enter your personal website to find others like you. Powered by Exa's "find similar". Built on Val Town.
I am broadly interested in topics related to programming languages and software engineering.
My research interests include software testing, distributed system, program analysis, and machine learning.
Research is for curiosity and fun, though practical implications can emerge.
Who, What, Why and How?
correct programs, and particularly interested in developing program analysis,
Thanks for the recognition!
[2023-03-21] Attended the Women in STEMM Leadership Summit!
The 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
I am looking for talented students who are interested in software engineering and analysis of mobile/VR applications.