Activities

Talks

  • Data-Driven Precondition Inference with Automatic Feature Learning
    • Jan ‘17 @ Microsoft Research, Bengaluru, India
    • Jun ‘16 @ The 37th PLDI Conference, Santa Barbara, CA
    • May ‘16 @ Software Research Lunch, Stanford University, CA
    • May ‘16 @ University of California, Berkeley, CA
  • Efficient Synthesis of Syntactic Profiles for Sets of Strings
    • Dec ‘16 @ Microsoft Research, Redmond, WA

Service

  • Artifact Evaluation: OOPSLA 2018 AEC

Teaching

  • Graduate Teaching Assistant
    • Spring ‘16 @ UCLA, for CS 131 (Programming Languages)
    • Fall ‘14 @ UCLA, for CS 131 (Programming Languages)
  • Undergraduate Teaching Assistant
    • Spring ‘14 @ IIT Bombay, for CS 152 (Abstractions and Paradigms in Programming)
    • Fall ‘13 @ IIT Bombay, for CS 131 (Computer Programming and Utilization)
    • Fall ‘11 @ IIT Bombay, for CS 131 (Computer Programming and Utilization)