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

Rohan Padhyeمشاهده پروفایل

استادیار

• Software Engineering
• Programming Languages
• Systems
• +۶ مورد دیگر

Rohan Padhye is an Assistant Professor at the Software and Societal Systems Department within Carnegie Mellon University's School of Computer Science . He leads the PASTA Lab and is affiliate faculty at CyLab . Ph.D. in Computer Science from UC Berkeley Master's degree in Computer Science from IIT Bombay His research spans software engineering, programming languages, systems, and security . He develops techniques for automated bug detection using dynamic program analysis and coverage-guided fuzz testing. His work includes tools like ChocoPy for compilers education and Fray for concurrency testing. Recent publications focus on: date/time bugs in Python, LLM-generated property-based tests , exception dependency analysis , and distributed system fuzzing . He has received multiple NSF grants and Amazon Research Awards . 2025: NSF Grant for Practical Controlled Concurrency Testing 2025: Amazon Research Award for property-based testing 2022: Goldwater Scholarship for John Billos (PASTA Lab member) He advises PhD students including Ao Li and Vasudev Vikram, and has mentored numerous undergraduate researchers through the REUSE program . His group's work is funded by NSF, CyLab, and Amazon .

Josh Blochمشاهده پروفایل

استاد

• Software Engineering
• Programming Languages
• Java Development
• +۲ مورد دیگر

Josh Bloch is a Professor at Carnegie Mellon University's School of Computer Science within the Software and Societal Systems Department (S3D). He holds a B.S. in computer science from Columbia University and a Ph.D. in computer science from Carnegie Mellon University. Prior to his current academic role, Bloch held significant industry positions: Senior Systems Designer at Transarc (CMU spinoff) Distinguished Engineer at Sun Microsystems, where he authored the Java Collections library Chief Java Architect at Google His research focuses on Software Engineering, Programming Languages, and Java ecosystem development. Bloch led the design and implementation of foundational Java platform features including the Collections Framework, java.math package, enums, annotations, for-each loop, try-with-resources, and assert statement. He is the author of the seminal book 'Effective Java', recipient of the 2001 Jolt Award. No information regarding student advising, research grants, or laboratory teams is provided in the source material.