معرفی
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.
۰مقاله منتشرشده
S. Hitarth در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- TTravis HanceMax Planck Institute for Software Systems · پژوهشگر
Sankha Narayan GuriaNational and Kapodistrian University of Athens · استاد
Yuepeng WangSimon Fraser University · استادیار
Michele ChiariInria · پژوهشگر
Steven KeuchelMax Planck Institute for Software Systems · پژوهشگر
Lingkun KongMax Planck Institute for Software Systems · پژوهشگر