
Registered user since Tue 18 Dec 2018
Name:Ke Mao
Bio:
I am a senior software engineer working on code analysis and continuous integration at WhatsApp. I joined Facebook in 2017 to initially work on the deployment of Sapienz (automated test design system). Before that, I was the CTO and co-founder of MaJiCKe. I authored its key product Sapienz with Prof. Mark Harman and Dr. Yue Jia. I received a PhD in computer science from University College London.
Affiliation:Meta
Personal website:https://research.facebook.com/people/mao-ke/
Contributions
Erlang 2022 | InfERL: Scalable and Extensible Erlang Static Analysis | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2022-profile
View general profile
View general profile