Massachusetts Institute of Technology
University of California — San Diego
Attribute‐Based Detection of Unfamiliar Classes with Humans in the Loop
University of Southern California
Enhancing Software Security via Scalable Verification and Program Synthesis Techniques
