ICFP/SPLASH 2025 (series) / Sheera Shamsu
Registered user since Tue 25 Mar 2025
Name:Sheera Shamsu
Country:India
Affiliation:IIT Madras
Research interests:Mechanized Formal Verification, Garbage Collectors, Graph problems
Contributions
Using general profile