I am an Assistant Professor in the Computer Science Department and Institute for Software Research, and am a member
and the Principles of Programming Group
My research interests are in security, privacy, and applications of formal methods and programming languages towards building applications that are safer, less vulnerable, and more trustworthy.
Our work on fast training and certification of globally-robust neural networks is available.
Our paper on fast certification of local robustness was accepted ICLR as a spotlight!
Our paper on leave-one-out unfairness was accepted at FAccT!
Our paper on stateful modeling of network programs was accepted at VMCAI!
Our paper on robust attribution was accepted at NeurIPS!
Our paper on membership inference was accepted at Usenix Security!
Our paper on individual fairness and randomized smoothing was accepted at IJCAI!
Our paper on noninterference and gradual typing was accepted at LICS! Stay tuned for a preprint.
Our paper on influence pathways in LSTM models was accepted at ACL! Stay tuned for a preprint.
Our paper on enforcing remote API policies was accepted at ASIACCS!
Last updated 2/17/21