FormaliSE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
Manish Shetty

Registered user since Sun 8 Nov 2020

Name:Manish Shetty
Country:United States
Affiliation:University of California, Berkeley
Personal website: https://manishs.org
Research interests:Programming Languages, Program Synthesis and Analysis, Machine Learning Systems

Contributions

Show activities from other conferences

Using general profile