جستجوی استاد راهنمای دانشگاهی

Jyothi Veduradaمشاهده پروفایل

استادیار

• Compilers
• Program Analysis
• High-Performance Computing
• +۳ مورد دیگر

Jyothi Vedurada is an Assistant Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Hyderabad (IIT Hyderabad). Her research focuses on compilers, program analysis, high-performance computing (HPC), and software engineering. Prior to joining IIT Hyderabad, she was a postdoctoral researcher at Microsoft Research Lab in Bangalore and worked as a Software Engineer at Hewlett Packard in Chennai. Her research spans four major areas: Compiler Optimizations : Developing global compiler optimizations for CPU-GPU heterogeneous systems to enhance performance across varied hardware environments. ML for PL : Leveraging AI to overcome scalability and semantic challenges in program analysis, with applications in bug detection, API misuse recommendation, and algorithm description generation for Jupyter notebooks. Parallelization : Designing efficient GPU algorithms for tasks like Approximate Nearest Neighbour search and subgraph isomorphism optimization, alongside developing the Tensor Transposition Library for GPUs (TTLG). Concurrency Testing : Creating systematic testing frameworks for concurrent systems, including language-agnostic libraries and mock storage systems to validate weak isolation levels in databases. Scientific Awards & Recognition : Distinguished Artifact Award at ECOOP 2025 Google Research exploreCSR Award (2021) Tata Consultancy Services PhD Fellowship ACM SIGAI, SIGPLAN, and IEEE Travel Grants Advising & Collaborations : Supervising 11 PhD and MTech students, including Soumik Kumar Basu and Karthik V, with projects spanning compiler optimizations, HPC, and AI-driven software analysis. Collaborating with institutions like Microsoft Research and IIT Madras.

Rushikesh K. Joshiمشاهده پروفایل

استاد

• Software Engineering
• Distributed Systems
• Program Analysis
• +۵ مورد دیگر

Rushikesh K. Joshi is a Professor in the Department of Computer Science & Engineering at the Indian Institute of Technology Bombay. His research focuses on computational models for programs, their structures and dynamics, including processes, interactions, concurrency, and distributed systems. He has taught advanced courses like CS 770 (Process Engineering), CS 787 (Language Engineering), and CS 757 (Design and Re-engineering). Research Interests: He specializes in software engineering, distributed systems, program analysis, and code refactoring. His work includes modular process modeling, trace language mining, and consistency models for business processes. He also explores objectification of procedural code through projects like Ox and AccessViz. Notable Projects: Anonymous Remote Computing (ARC), Filter Objects, Constore Graph Database, and Ox (objectification of Linux kernel structures). Funding sources include IBM, Microsoft, Infosys, and the Ministry of Information Technology. Scientific Contributions: His research has led to publications in IEEE Transactions, LNCS, and other venues. He has advised over 100 theses, including Ph.D. students Karnika Shivhare, Omkarendra Tiwari, and Vrinda Yadav.

Supratim Biswasمشاهده پروفایل

استاد

• Programming Languages
• Compiler Optimization
• Parallelizing Compilers
• +۲ مورد دیگر

Supratim Biswas is a Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Bombay, where he has served since 1995. His academic career spans over four decades, beginning as a Lecturer in the Computer Center in 1980, progressing to Assistant Professor in 1985, Associate Professor in 1990, and achieving full Professorship in 1995. He has held significant administrative roles including Dean of Academic Programs (2007-2010), Head of CSE Department (2000-2003), and Director of IITB-Monash Academy (2009-2010). His research interests focus on Programming Languages, Compiler Optimization, Parallelizing Compilers, Parallel and Distributed computing, and Combinatorial Optimization . Professor Biswas has made substantial contributions to compiler technology, particularly in parallelization techniques for modern architectures. His work bridges theoretical compiler design with practical applications in high-performance computing and CAD systems, demonstrating how compiler optimizations can significantly enhance computational efficiency in real-world applications. The publication record shows a consistent research trajectory spanning nearly four decades, with recent work (2012-2015) focusing on GPU-based parallel algorithms, loop parallelization techniques for non-uniform data dependencies, and mesh processing for CAD applications. His research demonstrates evolution from foundational compiler theory to contemporary parallel architectures, maintaining relevance through practical applications in computational geometry, CAD systems, and high-performance computing. Excellence in Teaching Award (2000) Professor Biswas has supervised over 60 doctoral and master's students, establishing himself as a dedicated mentor in systems software education. His sponsored research portfolio includes significant projects with CDAC (350 lacs), MIT (133 lacs), TCS (81.3 lacs), and Intel Corporation (10 lacs), demonstrating strong industry-academic collaboration. His teaching portfolio spans both undergraduate and postgraduate levels, including foundational courses like Discrete Structures and advanced topics like Parallelizing Compilers, reflecting his commitment to curriculum development across multiple generations of computer science education. His laboratory work has supported students across B.Tech, M.Tech, and Ph.D. programs, with particular emphasis on compiler construction and operating systems. Through the Continuing Education Program, he has extended his expertise to industry professionals, conducting numerous specialized courses for organizations including VSNL, TCS, DRDO, and Reliance.

Virendra Singhمشاهده پروفایل

استاد

• Cyber Security
• Computer Architecture
• Compiler Support for Modern Architectures
• +۶ مورد دیگر

Virendra Singh is a Professor at the Indian Institute of Technology Bombay , affiliated with both the Department of Electrical Engineering and Department of Computer Science & Engineering . He leads the Computer Architecture and Dependable Systems Lab (CADSL) and coordinates the Indo-Japanese Joint Laboratory for Intelligent Dependable Cyber Physical Systems and the Information Security Research and Development Centre (ISRDC). Ph.D. in Computer Science from Nara Institute of Science and Technology (NAIST), Japan (2002-2005) M.E. and B.E. in Electronics & Communication from Malaviya National Institute of Technology (MNIT), Jaipur (1994-1996 and 1990-1994) Research Interests : Virendra Singh focuses on Cyber Security , Computer Architecture , Fault-Tolerant Computing , Formal Verification , Trusted Computing , and Blockchain Technology . His work integrates security into hardware design, with a strong emphasis on Cyber Physical Cognitive Systems and Software Defined Networking . Recent Publications highlight advancements in cache security , quantum-resistant cryptography , malware detection , and heterogeneous computing , reflecting his interdisciplinary approach. Awards : SP Sukhatme Excellence in Teaching Award (2021) Students : He currently supervises 15 Ph.D. students, advancing cutting-edge research in security and architecture.

Rajesh Kediaمشاهده پروفایل

استادیار

• Computer Architecture
• Embedded Systems
• VLSI Design Automation
• +۶ مورد دیگر

Rajesh Kedia is an Assistant Professor in the Department of Computer Science & Engineering at Indian Institute of Technology Hyderabad . He received his Ph.D. from IIT Delhi under the supervision of Prof. M. Balakrishnan and Prof. Kolin Paul, and holds a B.Tech. in Electronics and Communication Engineering from MNIT Jaipur (2006). His research focuses on computer architecture , embedded systems , and VLSI design automation , with specific emphasis on thermal management of processors and memories , shared resource management , and FPGA-based accelerator design . His recent publications address CNN execution time prediction, thermal modeling for 3D systems, and efficient resource allocation in multi-accelerator environments. Rajesh has received multiple scientific awards including the Visvesvaraya Ph.D. fellowship , IEEE Senior Member designation, and a BEST PAPER NOMINATION at DATE 2022 . He has mentored several Ph.D. and M.Tech students, including Lakshay Arora , Venugopal Ramamurthy , and M A Muneeb , with research topics spanning compilers, thermal management, and RISC-V architecture. He actively contributes to the academic community as a reviewer for leading conferences/journals (ASPDAC, DAC, IEEE ESL, CODES+ISSS) and previously served as Design Contest co-chair for ISLPED 2024 . His work has been supported by a SERB startup research grant (INR 20.26L) for shared resource management research.

Ramakrishna Upadrastaمشاهده پروفایل

دانشیار

• Domain Specific Programming Languages for Parallelization
• LLVM Optimizations
• Polyhedral Compilation
• +۶ مورد دیگر

Ramakrishna Upadrasta is an Associate Professor in the Department of Computer Science & Engineering and Heritage Science & Technology at Indian Institute of Technology Hyderabad. He earned his PhD from University of Paris-Sud and INRIA, Paris, with a focus on improving scalability in polyhedral compilation tools. His academic journey includes an M.S. from Colorado State University, M.Tech from Indian Institute of Science (IISc), and B.E. in Electrical and Electronics Engineering from Andhra University. His research expertise includes: Domain Specific Programming Languages for Parallelization LLVM Optimizations Polyhedral Compilation Abstract Interpretation Sub-polyhedral Approximations High-Performance Computing (HPC) He leads the IITH-LLVM group and collaborates with industries on compiler technologies. His work addresses scalability vs. precision trade-offs in static analysis tools and extends polyhedral compilation frameworks like Pluto and Polly. Scientific Recognition : HiPEAC paper award for his POPL-2013 publication As an educator, he has taught advanced compiler courses (e.g., CS6250, CS5260) and coordinated interdisciplinary initiatives, including Sanskrit language courses via Samskrita Bharati. His students span PhD, M.Tech, and B.Tech levels, focusing on compiler design and parallelization.

Amey Karkareمشاهده پروفایل

استاد

• Compilers
• Functional Programming
• Program Analysis
• +۳ مورد دیگر

Amey Karkare is a Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Kanpur (IIT Kanpur). He holds a PhD from IIT Bombay and has been affiliated with IIT Kanpur since 2010, progressing through academic ranks to his current role since 2021. Education: PhD, IIT Bombay (2003-2008); B.Tech., IIT Kanpur (1994-1998) Research Interests: His work spans compilers , functional programming , program analysis , code optimization , and programming education . He focuses on improving compiler error messages, automated error repair, and educational tools like Prutor for programming courses. Recent Publications highlight advancements in pedagogical error repair , intelligent problem indicators , error localization , and GPU energy optimization . Notably, his 2023 paper on automated error repair received a Best Paper Award. Awards & Recognitions: Poonam and Prabhu Goel Chair Fellowship (2022) IIT Kanpur 1989 Batch Faculty Award for innovative teaching (2019) Best Faculty of the Year by Computer Society of India (2018) P. K. Kelkar Young Faculty Fellowship (2013-2016) Teaching & Advising : He supervises PhD, M.Tech, and B.Tech students, offering courses like Advanced Compiler Optimizations and Principles of Programming Languages . His projects integrate AI and functional programming in education.

Swarnendu Biswasمشاهده پروفایل

استادیار

• Programming Languages
• Compilers
• Runtime Systems
• +۷ مورد دیگر

Swarnendu Biswas is an Assistant Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Kanpur. He teaches courses including Programming for Performance (CS 610), Analysis of Concurrent Programs (CS 636), and Compiler Design (CS 335), demonstrating his expertise across multiple areas of computer systems. His research interests center on Programming Languages, Compilers, Runtime Systems, and Parallel Software Systems. He leads the PROSPAR (Programming Languages and PARallel Systems) research group, which focuses on developing techniques to build efficient and correct parallel software through program analysis, compiler optimizations, and runtime systems. His recent publications reveal a strong trend in addressing fundamental challenges in parallel computing, with work spanning cache coherence, false sharing detection, data race analysis for GPUs, verification of neural networks, and thermal-aware management of heterogeneous systems. His research bridges theory and practice with significant contributions to both hardware and software aspects of parallel systems. His scientific achievements have been recognized through multiple prestigious awards: Google India Research Award 2021 Google Explore CSR 2022 Research Grant from Intel Corporation SERB Start-up Research Grant 2019 Google Cloud Platform Research Credits (2019, 2020) IITK Initiation Grant 2019 As an advisor, he mentors several PhD and MTech students working on cutting-edge research in parallel systems. His PROSPAR group has secured significant funding from industry and government sources, supporting innovative research in programming languages and parallel systems. The group actively collaborates with industry partners including Google and Intel, addressing real-world challenges in parallel computing. He leads the PROSPAR research group at IIT Kanpur, which brings together faculty, PhD students, and MTech researchers to tackle challenging problems at the intersection of programming languages, compilers, and parallel systems. The group maintains strong industry connections and focuses on practical solutions that can be deployed in real systems.