Mithuna S. Thottethodi is a Professor and Interim Associate Head of Teaching and Learning at the Elmore Family School of Electrical and Computer Engineering at Purdue University. He holds a B.Tech. from the Indian Institute of Technology, Kharagpur (1996), and a Ph.D. in Computer Science from Duke University (2002). His research focuses on computer architecture, interconnection networks, distributed systems, and security, with notable work on sparse tensor accelerators and processing-near-memory architectures. His work has been funded by the NSF, AT&T, and SK Hynix. Research interests include security, interconnection networks in multicores, storage performance optimization, and memory hierarchies. Notable contributions span hardware accelerators for machine learning, secure speculative execution, and datacenter network congestion control. He has advised over 20 graduate students, many of whom have joined top tech firms like Google, Microsoft, and Intel. Awards: NSF CAREER Award (2007) Wilfred Hesselberth Teaching Excellence Award (2021) Multiple Eta Kappa Nu Outstanding Professor Awards Teaching includes undergraduate courses like EE 437 (Computer Design) and graduate courses such as ECE 666 (Advanced Computer Architecture). He also advises VIP and EPICS student teams.
Kyle C. Hale is an Associate Professor at Oregon State University's School of Electrical Engineering and Computer Science (College of Engineering). He holds a Ph.D. and M.S. from Northwestern University (2016, 2013) and a B.S. in Computer Science from UT Austin (2010). Prior to joining Oregon State in 2024, he served as an Associate Professor at Illinois Tech in Chicago. His research spans operating systems, high-performance computing (HPC), virtualization, computer architecture, and system security. Current work focuses on specialized system software stacks for emerging computing paradigms like memory disaggregation and parallelism optimization. He leads the HExSA Lab and collaborates with the HiPCastor group. Scientific Awards: NSF CAREER Award (2023-2028) Illinois Tech College of Computing Excellence in Research (2023) Illinois Tech College of Computing Excellence in Teaching (2021) Illinois Tech Department of Computer Science Teacher of the Year (2020) EuroSys '22 Best Artifact Award Recent Research Trends: His publications emphasize compiler techniques for memory-disaggregated systems, optimizing parallel runtimes through hardware-software integration, virtualization at fine granularities, and accelerating machine learning workloads via system-level innovations. Keywords include HPC, virtualization, parallelism, and secure execution contexts. Teaching: Courses taught include Computer Architecture (CS/ECE 472), System Security (CSP 544), Operating Systems (CS 450), and advanced topics in serverless/edge computing. He actively recruits PhD students to the HExSA Lab.
Mehmet Esat Belviranli is an Assistant Professor in the Computer Science Department at the Colorado School of Mines, where he directs the High Performance Systems and Software Lab (HyperSys). His research focuses on increasing resource utilization in heterogeneous architectures through runtime systems, scheduling algorithms, and performance modeling, with publications in top venues including MICRO, PPoPP, and SC. Education: Ph.D. in Computer Science, University of California, Riverside (2016) M.S. in Computer Science, Bilkent University (2009) B.S. in Computer Science, Bilkent University (2006) Belviranli's research spans heterogeneous architectures, runtime systems, performance modeling, parallel programming, autonomous computing, deep learning acceleration, cyber-physical systems, and edge-cloud platforms. His work develops analytical models and programming abstractions to address resource management, scheduling, and security challenges in diversely heterogeneous systems, with applications in edge computing, autonomous systems, and machine learning acceleration. Recent projects emphasize real-world constraints and security implications. His publication trends reveal increasing focus on edge-cloud resource management (e.g., HARNESS), security vulnerabilities in heterogeneous systems (e.g., MC3), and deep learning acceleration under resource constraints. Key themes include memory contention modeling, scheduling for cyber-physical systems, and concurrent DNN execution, reflecting a shift toward practical deployment in security-sensitive edge environments. Scientific Awards: U.S. Air Force Research Lab Summer Faculty Fellowship Award (2022) U.S. Air Force Research Lab Summer Faculty Fellowship Award (2021) Oak Ridge National Laboratory Significant Event Award (2019) Best Paper Finalist, IEEE HPEC 2018 Outstanding Paper Award, DATE 2024 Belviranli mentors Ph.D. students Ismet Dagli (MLCommons Rising Star 2024, CGO'24 SRC finalist) and Justin Davis (DATE'24 Outstanding Paper Award winner). He has secured $2M+ in funding from NSF, DoE, and SRC, including an NSF-SaTC grant on mobile security (2024), a DoE grant on superconductive systems (2023), and an NSF FuSe grant on graphene nanoribbons (2023), often leading multi-institutional teams from Rochester, Virginia, Arizona, and Minnesota. The HyperSys Lab develops ecosystems for high-performance heterogeneous systems, with recent projects including HARNESS for edge-cloud resource management and MC3 for mobile SoC security. The lab has received equipment donations from Google Coral.ai and Xilinx, and collaborates with national labs on security challenges and next-generation semiconductor technologies.
Gene Cooperman is a Professor at the Khoury College of Computer Sciences at Northeastern University, with an affiliation in the College of Engineering. His research focuses on high-performance computing (HPC), transparent checkpoint-restart systems, and model checking. He leads the High Performance Computing Laboratory, where he explores checkpointing technologies like DMTCP, MANA for MPI, and CRAC for CUDA, aiming to enhance HPC workflows on supercomputers such as NERSC's Perlmutter. His work bridges distributed computing, parallel algorithms, and system software to address challenges in fault tolerance, scalability, and resource management. Cooperman has advised 10 PhD students and co-authored over 125 refereed publications, contributing to projects like Geant4-MultiThreaded and Roomy for disk-based computation. His teaching includes courses on computer systems and HPC seminars. Education: Background in computational algebra and parallel computing, transitioning to HPC systems and checkpointing. Research Themes: Transparent checkpointing, MPI agnostic solutions, CUDA integration, and HPC resource optimization. Recent articles emphasize MPI checkpointing, reversible debugging (FReD), and CUDA support, reflecting trends in distributed and GPU-accelerated systems. His grants include NSF, NERSC/DOE, and MemVerge funding. Cooperman collaborates with institutions like CERN and NERSC, advancing applications in particle physics simulations and supercomputing. Current students include Aayushi Gautam, Jiajun Cao, Rohan Garg, and Twinkle Jain.
Clyde Kruskal is an Associate Professor in the Department of Computer Science at the University of Maryland, College Park. His research focuses on parallel architectures, models, and algorithms. He earned a Ph.D. from New York University in 1981 and a bachelor’s degree from Brandeis University in 1976. His work includes foundational contributions to parallel computing, such as the read–modify–write concept in distributed systems. Kruskal’s research spans topics like interconnection networks, synchronization mechanisms, and algorithm design for parallel systems. Education: Bachelor’s Degree: Brandeis University, 1976 Master’s Degree: New York University (Courant Institute), 1978 Ph.D.: New York University (Courant Institute), 1981 Research Interests: Parallel computing architectures, parallel algorithms design, multiprocessor synchronization, interconnection networks, and computational geometry problems like graph coloring and visibility analysis. His work emphasizes theoretical foundations and practical implementations in parallel systems. Notable Contributions: Kruskal co-authored the book Problems With A Point: Exploring Math And Computer Science (2019), and his research includes foundational papers on parallel prefix operations, sparse matrix algorithms, and synchronization protocols. His publications span over three decades, reflecting sustained contributions to parallel computing theory and practice. Advising & Outreach: He has mentored students through programs like the Summer Combinatorial Algorithms REU at UMD, fostering undergraduate research in algorithm design and parallel computing.
Emmett Witchel is a Professor of Computer Science at the University of Texas at Austin , with research spanning computer architecture, systems, networking, security, and privacy . His work focuses on low-level systems optimization and secure concurrent execution. Research Interests: Concurrent systems, secure execution environments, GPU integration, distributed systems. Teaching: CS 380L (Advanced Operating Systems), CS 371M (Mobile Computing). Scientific Awards: Runner-up Best Paper, ASPLOS 2013 Runner-up Award for Outstanding Research, USENIX Symposium 2012 IEEE Micro Top Pick Award 2007 ACM Honorable Mention 2004 George M. Sprowls Award, MIT EECS 2004 Recent Publications demonstrate leadership in CXL pod databases ( Tigon ), stateful serverless computing ( Boki ), SmartNIC-accelerated file systems ( LineFS ), and GPU security ( Telekine ). His work bridges hardware-software co-design and practical systems implementation.
Tianzheng Wang is an Associate Professor and Director of the Dual-Degree and Partnerships Programs at the School of Computing Science, Simon Fraser University. His research focuses on database systems, transaction processing, parallel and distributed computing, and embedded systems. He holds a PhD in Computer Science from the University of Toronto (2017) and a BSc in Computing from Hong Kong Polytechnic University (2012). Research Interests: Database systems optimized for modern hardware, parallel programming, synchronization, and distributed architectures. His work emphasizes high-performance transaction processing and efficient indexing techniques, with applications in cloud and embedded systems. Awards: ACM SIGMOD Best Paper Award (2025), IEEE TCSC Early Career Award (2019), and multiple distinguished reviewing recognitions (SIGMOD/VLDB 2021-2024). His research has been integrated into systems like Amazon Redshift and DragonflyDB. Teaching: Leads courses such as CMPT 454 (Database Systems II), CMPT 300 (Operating Systems), and special topics in databases. Actively mentors graduate and undergraduate students in research projects. Labs & Collaborations: Heads the Data-Intensive Systems Lab, part of SFU's Data Science and Systems groups. Collaborates on tools like PiBench for persistent memory benchmarking and contributes to open-source projects like CoroBase and Tabular.
Phillip B. Gibbons is a Professor in both the Computer Science Department and Electrical & Computer Engineering Department at Carnegie Mellon University. He received his Ph.D. in Computer Science from the University of California at Berkeley in 1989 and has held research positions at AT&T Bell Laboratories, Lucent Bell Laboratories, and Intel Research Pittsburgh before joining CMU's faculty. His research spans parallel computing, distributed systems, databases, computer architecture, and machine learning. Gibbons' work bridges theory and systems, with publications in top-tier conferences including SOSP, OSDI, SIGMOD, VLDB, NeurIPS, and many others across computer science and engineering disciplines. His research has been supported by significant funding from NSF, Intel, and other organizations. Gibbons has made substantial contributions to streaming algorithms, parallel computing frameworks, distributed systems security, and large-scale machine learning systems. His work on data stream algorithms with Alon, Matias, and Szegedy has been particularly influential in the field. He has served in numerous leadership roles including Editor-in-Chief of ACM Transactions on Parallel Computing (2012-2018) and on the editorial boards of Journal of the ACM and IEEE Transactions on Cloud Computing. He has also been active on program committees for major conferences in systems, databases, and theory. IEEE Fellow (2014) - For contributions to parallel computing and databases ACM Fellow (2006) - For contributions to parallel computing, databases, and sensor networks Selected for Oral Presentation at NeurIPS '13 (only 20 selected out of 1420 submissions) Co-winner of the best paper award for NSDI '06 Gibbons has advised numerous students and mentored researchers who have gone on to make significant contributions in academia and industry. His research has been supported by major grants including the $15M Intel Science and Technology Center for Cloud Computing (2011-2015) where he served as Co-PI/Co-Director. He currently leads research projects on write-efficient algorithms, big learning systems, and visual cloud systems. His laboratory work focuses on bridging theoretical computer science with practical systems implementation, particularly in the areas of parallel and distributed computing. Current research directions include adapting algorithms for emerging memory technologies and optimizing machine learning systems for large-scale deployment.
Andrew Warfield is an Adjunct Professor in the Department of Computer Science at the University of British Columbia (UBC) and a Senior Principal Engineer at Amazon. His research focuses on computer systems software, including virtualization, distributed storage, security, and high-availability systems. He previously held roles as Associate Professor at UBC, CTO at Coho Data, and Technical Director at Citrix Systems. His work has led to projects like Remus (high-availability replication), Tralfamadore (execution analysis), and secure hypervisor development with Xen. Warfield's education includes a PhD from the University of Cambridge's Computer Laboratory, where he researched I/O device virtualization under Steven Hand. He has held visiting roles at Intel Research Cambridge and internships at AT&T Research and Nortel Networks. Research Grants: Supported by Intel Research, NSERC, Network Appliance, and the Communications Security Establishment. Professional Activities: Technical Advisory Board Member at Teradici, and involvement in program committees for conferences like HotOS, EuroSys, and FAST. His research emphasizes practical systems, aiming to bridge the gap between theoretical computer science and real-world applications. Notable contributions include innovations in storage for virtualized environments, secure hypervisor architectures, and disaster-tolerant systems like SecondSite. Warfield is affiliated with UBC's Department of Computer Science and maintains active collaboration with industry partners. Though currently not actively recruiting students, his prior mentorship has influenced many in systems research.
Henry F. (Hank) Korth is a Professor of Computer Science and Engineering at Lehigh University, with a courtesy appointment in the Department of Decision and Technology Analytics in the College of Business. He serves as Director of the Blockchain Lab in the Center for Financial Services and Co-Director of the Computer Science and Business Program. Korth is a Fellow of the ACM and IEEE, and a recipient of the VLDB 10-Year Award and Bell Labs President's Silver Award for contributions to database technologies. PhD in Computer Science from Princeton University MA, MSE in Computer Science from Princeton University BA in Mathematics from Williams College Korth's research spans database systems, blockchain systems, distributed systems, and real-time systems. He has pioneered transaction management in parallel and distributed systems, query processing, and the impact of modern computing architectures on database performance. His recent work focuses on blockchain applications in enterprise databases, including acceleration of zero-knowledge proofs, benchmarking frameworks, central-bank digital currencies, and private-yet-provable accounting systems. His contributions are rooted in both theoretical advancements and practical implementations, such as the QTM™ aggregation engine and the DataBlitz™ main-memory storage manager. Scientific awards include: ACM Fellow IEEE Fellow 10-Year Award at the VLDB Conference Bell Labs President's Silver Award Korth actively supervises research within the Blockchain Lab and is affiliated with the Scalable Software Systems Research Group at Lehigh. His scholarly output reflects a deep engagement with blockchain benchmarking, concurrency control, verifiable databases, and the evolution of database systems in response to technological shifts.
Mohsen Lesani is an Associate Professor in the Computer Science and Engineering Department at the University of California, Santa Cruz's Baskin School of Engineering. His research focuses on reliability and security of software systems, particularly concurrent and distributed systems, with recent emphasis on secure replicated systems and distributed machine learning. Dr. Lesani received his PhD from UCLA, MS in artificial intelligence from Sharif University of Technology, and BS in software engineering from University of Tehran. He was previously a postdoc at MIT. His educational background provides a strong foundation for his interdisciplinary research spanning programming languages, distributed systems, and security. His research interests center on creating reliable and secure distributed systems. Current projects include resilient and secure distributed systems, heterogeneous and reconfigurable secure distributed systems, automatic analysis and synthesis of replicated objects, verification of distributed systems, data analytics, secure exchange across blockchains, machine learning for performance models, domain-specific languages and type systems, and automatic fence insertion for concurrent systems. His work bridges theoretical foundations with practical implementations to address real-world challenges in distributed computing. Lesani's research has been recognized with several prestigious awards including the NSF CAREER award in 2020 and DARPA YFA award in 2022. His work has also received the SIGPLAN Research Highlight in 2019, a distinguished paper award at OOPSLA 2018, and a best paper award at ISSRE 2015. These accolades reflect the impact and quality of his contributions to the field. He actively mentors PhD students in the Safe and Secure Software (S3) lab, including Xiao Li, Eric Chan, Javad Saber-Latibari, and Tejas Mane. His research has been supported by multiple NSF grants, demonstrating sustained funding for his innovative work. Lesani serves on program committees for major conferences including POPL, PLDI, OOPSLA, and DISC, contributing to the academic community. Lesani leads the Safe and Secure Software (S3) lab at UC Santa Cruz, where his team works on cutting-edge research in distributed systems, programming languages, and security. The lab fosters a collaborative environment where theoretical insights are translated into practical systems that address real-world challenges in reliability and security of distributed applications.
Immanuel Trummer is a Professor of Computer Science at Cornell University, specializing in database systems, query optimization, and applications of large language models (LLMs) and quantum computing. He leads research projects such as DB-BERT, UDO, and SkinnerDB, focusing on automated database tuning, adaptive query processing, and leveraging LLMs for code synthesis and system optimization. His research interests span quantum computing for database optimization, cost-efficient LLM utilization, and voice-based data exploration. Key contributions include developing systems like CEDAR for claim verification, CodexDB for LLM-driven code generation, and ThalamusDB for multimodal data querying. Trummer has received prestigious awards, including the NSF CAREER Award (2023-2028) and the Best Demonstration Award at BDA 2020. His work has been funded by NSF, Google, Huawei, and others, supporting projects like quantum-index selection and misinformation detection. He advises graduate students in database systems and teaches advanced courses such as CS 6320 (Advanced Database Systems) and CS 7390 (Seminar in Database Systems). His research lab hosts open-source tools like JoinGym and maintains extensive collaborations in industry and academia.
Timothy Rogers is an Associate Professor in the Department of Electrical and Computer Engineering at Purdue University, located in West Lafayette. His research focuses on GPU architecture, parallel processing, and simulation frameworks, with particular emphasis on optimizing hardware acceleration, memory systems, and concurrency management. He holds an office at BHEE 326A and can be reached at timrogers@purdue.edu. His work spans GPU performance modeling, SIMT architecture analysis, and energy-efficient computing. Recent contributions include frameworks like ThreadFuser for MIMD program analysis, CRISP for concurrent rendering, and Simr for data center microservices. He has also contributed to hardware ray tracing units and RISC-V core integration studies. Rogers has been active in conference leadership, serving as General Chair for ISPASS 2024 and securing NSF travel grants for student participation. His research bridges theoretical architecture design with practical implementation, addressing challenges in modern massively parallel systems.
Kunal Agrawal is a Professor in the Department of Computer Science & Engineering at the McKelvey School of Engineering, Washington University in St. Louis. She holds a PhD from MIT (2009), an MS from the National University of Singapore (2002), and a BE from Mumbai University (2001). Her research focuses on parallel computing, runtime systems for parallel programming, scheduling, transactional memory, and cache-aware/streaming algorithms. She joined WashU in 2009 after working with MIT's Supercomputing Technologies Group. Her 2012 NSF CAREER Award supports developing concurrency platforms for high-throughput parallel programs. Collaborative projects include enhancing atmospheric simulation software (GEOS-Chem) and studying novel computer memory properties. She also contributed to an NSF-funded study on interactive parallel applications. Her lab explores foundational challenges in parallel system design. Lab Website: Link Google Scholar Profile: Link Research emphasizes bridging theoretical guarantees with practical efficiency in parallel systems, addressing scalability and resource management in real-time environments.
Alastair F. Donaldson is a Professor and Director of Research in the Department of Computing at Imperial College London, where he leads the FastPL research group. His work bridges formal methods, software testing, and programming languages, with a focus on enhancing the reliability of high-performance and parallel software systems. He has held key roles including Director of Research (since 2023) and previously served as Lecturer (2011–2014), Senior Lecturer (2014–2017), and Reader (2017–2020) before being promoted to Professor in 2020. His research interests include formal verification, compiler testing, GPU programming, concurrency, and fuzzing. He has made significant contributions to the verification of GPU kernels, metamorphic testing of graphics drivers, and the development of tools like GPUVerify and GraphicsFuzz. His work combines theoretical rigor with practical impact, demonstrated by the acquisition of his startup GraphicsFuzz by Google in 2018 and his subsequent roles as Senior Software Engineer and Visiting Researcher at Google. His recent publications reflect a sustained focus on compiler and system reliability, with trends in fuzzing, formal specification, and automated testing of complex systems such as WebGPU, CXL cache coherence, and large language models for code generation. His work increasingly integrates empirical validation with formal techniques to uncover subtle bugs in real-world systems. Scientific awards and recognitions include: 2017 BCS Roger Needham Award EPSRC Early Career Fellowship Fellow of the British Computer Society Best Paper awards at EuroSys 2024, MET 2021, IISWC 2019, IWOCL 2019, and ICST 2016 Best Industry Paper at ICST 2024 ACM SIGSOFT Distinguished Paper at ISSTA 2023 ACM SIGPLAN Most Influential OOPSLA Paper Award (2012 paper), awarded in 2022 Best Student Paper at PPoPP 2014 He has advised numerous PhD students and leads a vibrant research group. He has secured significant research funding and collaborates extensively with industry and academia. His service includes leadership roles such as General Chair of PLDI 2020, PC Chair of ECOOP 2019, and Steering Committee Chair of PLDI (2022–2025). He also serves on the advisory board of PACM-PL and on program committees for top venues including POPL, OOPSLA, PLDI, ICSE, and ISSTA. He leads the FastPL research group, which focuses on the design and implementation of programming tools and techniques for reliable software. The group conducts cutting-edge research in compiler testing, formal methods, and high-performance systems, fostering collaboration across academia and industry.
