Research Publications

[ORCID] [DBLP] [Google Scholar] [PhD Thesis]

Legend. J: Journal; C: Conference; P: Poster; T: PaTent; X : arXiv

2024:

[J4] Aditya Anand and Manas Thakur. “Partial Program Analysis for Staged Compilation Systems”. Formal Methods in System Design (FMSD), Springer, 2024. [URL] [Preprint]

[J3] Aditya Anand, Solai Adithya, Swapnil Rustagi, Priyam Seth, Vijay Sundaresan, Daryl Maier, V. Krishna Nandivada, and Manas Thakur. “Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes”. In Proceedings of the ACM on Programming Languages (PLDI), Copenhagen, Denmark, June 24-28, 2024. [URL] [Preprint]

2023:

[T1] Vijay Sundaresan, Daryl Maier, Krishna Nandivada Venkata, and Manas Thakur. “Split-Scalarization of Thread-Local Objects in Optimized Object Code”. (Filed) US Patent Office, September 11, 2023.

[C9] Anmolpreet Singh, Aayush Sharma, Meetesh Kalpesh Mehta, and Manas Thakur. “Debugging Dynamic Language Features in a Multi-Tier Virtual Machine”. In Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages (VMIL), Cascais, Portugal, October 22-27, 2023. [URL] [Preprint]

[J2] Meetesh Kalpesh Mehta, Sebastian Krynski, Hugo Gualandi, Manas Thakur, and Jan Vitek. “Reusing Just-In-Time Compiled Code”. In Proceedings of the ACM on Programming Languages (OOPSLA), Cascais, Portugal, October 22-27, 2023. [URL] [Preprint]

[C8] Prakash Neupane and Manas Thakur. “Variational Study of the Impact of Call Graphs on Precision of Android Taint Analysis”. In Proceedings of the 16th Innovations in Software Engineering Conference (ISEC), IIIT Allahabad, India, February 23rd-25th, 2023. [URL]

2022:

[C7] Rishi Sharma, Shreyansh Kulshreshtha, and Manas Thakur. “ZS3: Marrying Static Analyzers and Constraint Solvers to Parallelize Loops in Managed Runtimes”. In Proceedings of the 32nd Annual International Conference on Computer Science and Software Engineering (CASCON), Toronto, Canada, November 15th-17th, 2022. [URL]

[C6] Aditya Anand (with Manas Thakur). “A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis”. In Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion), Auckland, New Zealand, December 5th-10th, 2022. [URL] [Preprint] [Poster]

[C5] Aditya Anand and Manas Thakur. “Principles of Staged Static+Dynamic Partial Analysis”. In Proceedings of the 29th International Static Analysis Symposium (SAS), Auckland, New Zealand, December 5th-10th, 2022. [URL] [Preprint]

[X1] Rishi Sharma, Shreyansh Kulshreshtha, and Manas Thakur. “Can We Run in Parallel? Automating Loop Parallelization for TornadoVM”. CoRR abs/2205.03590, May 10th, 2022. [URL]

2021:

[P3] Shreyansh Kulshreshtha, Rishi Sharma, and Manas Thakur. “Can we run in parallel? Automating Loop Parallelization for TornadoVM”. Poster in the 35th European Conference on Programming (ECOOP), July 14th-15th, 2021. [Poster]

[P2] Namrata Malkani and Manas Thakur. “Refactoring Scala Programs to Promote Functional Design Patterns”. Poster in the 35th European Conference on Programming (ECOOP), July 14th-15th, 2021. [Poster]

2020:

[C4] Manas Thakur. “How (Not) To Write Java Pointer Analyses After 2020”. In Proceedings of the ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming Software (Onward!), part of SPLASH, Chicago, Illinois, USA, November 15th-20th, 2020. [URL] [Preprint] [Talk]

[C3] Manas Thakur and V. Krishna Nandivada. “Mix Your Contexts Well: Opportunities Unleashed by Recent Advances in Scaling Context-Sensitivity”. In Proceedings of the ACM SIGPLAN International Conference on Compiler Construction (CC), San Diego, California, USA, February 22nd-23rd, 2020. [URL] [Preprint] [Slides]

2019:

[C2] Manas Thakur and V. Krishna Nandivada. “PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java Programs”. Presented in the Object-Oriented Programming, Systems, Languages and Applications (OOPSLA) track of the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH), Athens, Greece, October 23rd-25th, 2019. [URL] [Talk]

[J1] Manas Thakur and V. Krishna Nandivada. “PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java Programs”. ACM Transactions on Programming Languages and Systems (TOPLAS), July 2019. [URL] [Preprint]

[P1] Manas Thakur and V. Krishna Nandivada. “Precise, Efficient and Secure Just-In-Time Analysis of Java Programs”. Poster in the European Conference on Programming Languages (ECOOP), London, UK, July 17th-18th, 2019. [Poster]

[C1] Manas Thakur and V. Krishna Nandivada. “Compare Less, Defer More: Scaling Value-Contexts Based Whole-Program Heap Analyses”. In Proceedings of the International Conference on Compiler Construction (CC), Washington, DC, USA, February 16th-17th, 2019. [URL] [Preprint] [Slides]