Author

Manas Thakur

Observed names: Manas, Thakur, Thakur, Manas
ORCID: 0000-0002-0740-9701
Observed ORCID: 0000-0002-0740-9701
OpenAlex ID: A5037950146
2019 · Manas Thakur, V. Krishna Nandivada · ACM Transactions on Programming Languages and Systems · 12
2023 · Meetesh Kalpesh Mehta, Sebastián Krynski, et al. · Proceedings of the ACM on Programming Languages · 9
2024 · Aditya Anand, Solai Adithya, et al. · Proceedings of the ACM on Programming Languages · 5
2020 · Manas Thakur · ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!) · 5
2025 · Aditya Anand, Vijay Sundaresan, et al. · Proceedings of the ACM on Programming Languages · 3
2022 · Sharma, Rishi, Kulshreshtha, Shreyansh, et al. · arXiv (Cornell University) · 3
2022 · Aditya Anand, Manas Thakur · Lecture notes in computer science · 3
2026 · Mehta, Meetesh Kalpesh, Garg, Anirudh, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
2026 · Arjun H. Kumar, Bhavya Hirani, et al. · Proceedings of the CGO/Proceedings of the ... CGO · 1
2023 · Prakash Neupane, Manas Thakur · Innovations in Software Engineering Conference (ISEC) · 1
2026 · Gauravsingh Sisodia, Poorna Teja Pasala, et al. · Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms
2026 · Meetesh Kalpesh Mehta, Anirudh Garg, et al. · Proceedings of the ACM on Programming Languages
2024 · Aditya Anand, Manas Thakur · Formal Methods in System Design
2023 · Anmolpreet Singh, Aayush Sharma, et al. · Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms
2020 · Manas Thakur, V. Krishna Nandivada · Artifact Digital Object Group
Works count: 21
Citation count: 80
H-index: 5
I10-index: 3
Year
Topic
Type