About
S. Hitarth is a researcher affiliated with the Hong Kong University of Science and Technology. He contributed to the OOPSLA track at SPLASH 2023 with two publications focusing on automated synthesis techniques for smart contracts and polynomial programs. His work spans programming languages, algorithm design, and formal verification methodologies.
0Publications listed
Find S. Hitarth elsewhere
Related Searches
You Might Also Like
- TTravis HanceMax Planck Institute for Software Systems · Researcher
Sankha Narayan GuriaNational and Kapodistrian University of Athens · Professor
Yuepeng WangSimon Fraser University · Assistant Professor
Michele ChiariInria · Researcher
Steven KeuchelMax Planck Institute for Software Systems · Researcher
Lingkun KongMax Planck Institute for Software Systems · Researcher