Skip to main content

 

Research Interests

  • Programming languages and compilers
    • Program analysis
    • Language design
  • Software engineering
    • Build and configuration systems
    • Analysis of highly-configurable software
  • Software security
    • Side-channel attack detection and mitigation
    • Blockchain smart contracts

Professional Activities

  • Program committee (MODEVAR 2019, SPLC Challenge 2018)
  • NSF Panelist (2019)
  • Artifact Evaluation Committee (OOPSLA 2018, POPL 2018)

Honors & Awards

  • MacCracken Fellowship (NYU)
  • Global Research Initiative Fellowship (NYU)
  • Matthew Smosna Prize (NYU)
  • SIGPLAN Research Highlight (ACM SIGPLAN)

Funding

  • PI, NSF grant “SHF: Small: Collaborative Research: Static Analysis Infrastructure for Variability-Aware Bug Detection and Translation of Highly-Configurable Software Systems”, 2018-2021.