Vikram S. Adve is a Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign. He co-founded and co-leads the Center for Digital Agriculture and directs the USDA-funded AIFARMS Institute , focusing on AI applications in sustainable agriculture. His research bridges compilers, parallel systems, and AI to address challenges in edge computing and digital farming. Research interests span compiler technologies (LLVM, HPVM), parallel programming models , software reliability , and AI-driven agriculture . Key projects include: CropWizard : Generative AI for agricultural decision-making. HPVM/ApproxHPVM : Compiler IR for edge devices. Hydride/MISAAL : Automated retargetable compiler construction. Recent publications (2018-2025) emphasize compiler optimizations, approximate computing, binary analysis, and AI for systems. Trends show convergence of compiler techniques , heterogeneous computing , and AI applications in agriculture and edge devices. Adve actively recruits students for projects funded by USDA, Intel, Amazon, and Illinois DPI. He leads the HPVM compiler team and digital agriculture initiatives , integrating cross-disciplinary research across CS, engineering, and agronomy.
Stefan K. Muller is the Gladwin Development Chair Assistant Professor in the Computer Science Department at Illinois Institute of Technology. He previously served as a Postdoctoral Researcher at Carnegie Mellon University from 2018-2020 following completion of his PhD there under advisor Umut A. Acar. His academic journey began with an AB from Harvard University in 2012 under Stephen Chong. Dr. Muller's research centers on programming language techniques to improve correctness and efficiency of software, particularly in parallel computing domains. His work spans language and type system design, static resource analysis, and parallel computing methodologies. He leads the Responsive Parallelism research project which extends implicit parallelism models to handle features of consumer software like user interaction and responsiveness requirements. His publication record shows consistent output in top-tier venues including PLDI, POPL, ICFP, and SPAA, with recent work focusing on graph types, responsive parallelism, and resource-aware GPU programming. His research has been supported by NSF grant CCF-2107289. Current advisees include Marelle León (BS), Godha Pallavi Bhogadi (MS), and Alex Friedman (PhD) Former students have gone on to positions at Apple, Amazon, Bloomberg, American Express, and PhD programs at UPenn Teaching responsibilities at Illinois Tech include graduate courses CS534 (Types and Programming Languages), CS536 (Science of Programming), CS440 (Programming Languages and Translators), and CS443 (Compiler Construction). Previously at CMU, he taught Principles of Functional Programming.
Michael L. Scott is the Arthur Gould Yates Professor of Engineering in the Department of Computer Science at the University of Rochester's Hajim School of Engineering and Applied Sciences. He received his Ph.D. from the University of Wisconsin-Madison in 1985 and has been a faculty member at Rochester since 1985, serving as Department Chair multiple times (1996-99, 2007, 2017, 2020-2024). He is a Fellow of the ACM, IEEE, and AAAS, and recipient of numerous awards including the Edsger W. Dijkstra Prize in Distributed Computing. Dr. Scott's research focuses on parallel and distributed systems, with particular expertise in synchronization mechanisms, transactional memory, and persistent memory systems. His work spans theoretical foundations to practical implementations, with numerous influential publications and open-source systems like RSTM and Ralloc. His research has addressed critical challenges in concurrent programming, memory management, and system reliability. His publications show a consistent focus on improving the reliability and performance of concurrent systems, with recent work centered on persistent memory technologies. The trajectory of his research demonstrates a progression from fundamental synchronization algorithms to sophisticated systems addressing modern hardware challenges. His publications span top venues in systems, architecture, and programming languages. His scientific honors include: ACM Fellow (2006) IEEE Fellow (2010) AAAS Fellow Edsger W. Dijkstra Prize in Distributed Computing (2006) University of Rochester's Goergen Award for Teaching (2001) Hajim School Lifetime Achievement Award (2018) IEEE TCCA/HPCA Test of Time Award (2022) Dr. Scott has advised over 25 Ph.D. students who have gone on to successful careers in academia and industry at institutions including Lehigh University, Google, Intel, Facebook, and NVIDIA. His textbook 'Programming Language Pragmatics' is a standard reference in the field, now in its 5th edition. He also co-authored 'Shared-Memory Synchronization,' a comprehensive treatment of the field. He spent the 2014-2015 academic year as a Visiting Scientist at Google. His research group, the Rochester Concurrent Systems Group, has developed numerous influential systems including RSTM (a software transactional memory system), Ralloc (a persistent memory allocator), and Montage (a system for persistent data structures). His work often bridges theoretical correctness with practical performance considerations.
Minos Garofalakis is a Professor at the School of Electronic & Computer Engineering at the Technical University of Crete, specializing in data stream management, complex event processing, and privacy-preserving analytics. His work bridges theoretical and applied computer science, with a focus on scalable algorithms for high-velocity data. Best Paper Award at VLDB 2024 for 'OmniSketch' Leader in sketch-based and distributed stream processing Pioneer in differential privacy for relational data Research interests span stream analytics , probabilistic databases , and interactive query systems . Recent work includes oblivious parallel joins (2025), relational data synthesis under privacy constraints (2024), and cross-platform analytics frameworks (2020). His publications demonstrate a consistent focus on error-controlled approximations and real-time distributed processing. Scientific contributions have been recognized at premier conferences like VLDB, with awards highlighting innovations in multi-dimensional stream analysis and privacy-preserving operations . Collaborations span academia and industry, particularly in bioinformatics and distributed systems.
Christos Diou is an Associate Professor of Artificial Intelligence and Machine Learning at the Department of Informatics and Telematics, Harokopio University of Athens, Greece. His academic career spans over 15 years of participation in national and international research projects, with a focus on machine learning algorithms, domain generalization, causal inference, and bias mitigation. He earned a BSc and Ph.D. in Electrical and Computer Engineering from Aristotle University of Thessaloniki. His research emphasizes the application of machine learning to healthcare, addressing challenges such as visual bias mitigation, causal effect estimation from observational data, and fairness-aware representation learning. Notable projects include REBECCA and RELEVIUM , both EU-funded, and MELIORA , targeting lifestyle interventions for breast cancer risk reduction. He has published extensively in top-tier venues like IEEE TPAMI, CVPR, and ICCV. Christos is a leading voice in AI ethics and healthcare innovation, with over 150 publications and best paper awards at IEEE Big Data Service 2023 and AIAI 2022. His work includes developing platforms like Effector for feature effects and Beam for behavior studies. He collaborates with institutions such as Karolinska Institutet and CERTH/ITI, and his students include PhD candidates Ioannis Sarridis and Aristotelis Ballas.
Panagiotis Hadjidoukas is an Associate Professor and Head of the Laboratory for Computing at the Computer Engineering and Informatics Department, University of Patras, within the School of Engineering. His work focuses on high-performance computing systems and parallel programming models. His research spans parallel and distributed computing , runtime support for parallel programming models , and automation of AI/ML workloads . Key contributions include developing the torc runtime system for task parallelism and pioneering work in extreme-scale scientific simulations. His interests bridge theoretical computer science with practical applications in scientific computing and AI acceleration. Notable achievements include the ACM Gordon Bell Prize Winner (2013) for 11 PFLOP/s cloud cavitation simulations and Finalist (2015) for in-silico lab-on-a-chip microfluidics. His software tools ( torc_lite , torcpy ) enable efficient parallelism across diverse architectures. Doctor of Philosophy (2003), University of Patras Master of Science (2001), University of Patras Diploma in Computer Engineering (1998), University of Patras As Head of the Laboratory for Computing, he leads infrastructure development while maintaining active research collaborations with IBM Research and ETH Zurich. His teaching portfolio includes graduate courses on high-performance computing for data sciences and parallel processing principles.
Michael D. Bond is a Professor in the Department of Computer Science & Engineering at Ohio State University's College of Engineering. He leads the Programming Languages and Software Systems (PLaSS) Research Group, which focuses on designing program analyses and software and hardware systems that enhance computing reliability, scalability, and security. His academic service includes general chair for PLDI 2027, program committee membership for multiple top conferences, and committee roles in SIGPLAN Research Highlights (2024-2027). Professor Bond's research spans programming languages, systems, and security, with particular expertise in memory management, concurrency, hardware transactional memory, information flow control, and predictive race detection. His work bridges theoretical foundations with practical implementations, as evidenced by numerous open-source projects accompanying his publications. The PLaSS group has made significant contributions to understanding and improving memory models, developing efficient garbage collection techniques for modern architectures, and creating novel approaches to secure programming in languages like Rust. Analysis of his recent publications reveals a clear trajectory toward addressing security and reliability challenges in modern computing systems, particularly through language-based approaches. His work increasingly focuses on Rust programming language security mechanisms, memory disaggregation for datacenters, and advanced techniques for detecting and preventing concurrency bugs. The research demonstrates strong continuity in exploring memory models and concurrency while adapting to emerging hardware trends and security challenges. Outstanding Teaching Award, Department of Computer Science and Engineering, Ohio State University (2018) Lumley Research Award, College of Engineering, Ohio State University (2016) OOPSLA 2015 Distinguished Paper and Artifact Awards NSF CAREER Award ACM SIGPLAN Outstanding Doctoral Dissertation Award Intel PhD Fellowship Professor Bond actively mentors several PhD students including Chujun Geng, Vincent Beardsley, Chris Xiong, Victor Chen, and Noah Charlton, with external co-advisee Zixian Cai at Australian National University. His research is currently supported by multiple NSF grants including SaTC-2348754 (2024-2027), CyberCorps-2336531 (2024-2029), and CSR-2106117 (2021-2025), reflecting sustained funding for his work in information flow control, security, and systems research. The PLaSS Research Group maintains a strong presence in both academic and industrial communities, with graduated PhD students securing positions at major technology companies like Google, Amazon Web Services, and Huawei, as well as academic positions at institutions like UIUC and IIT Kanpur. The group's work combines theoretical rigor with practical implementation, consistently producing open-source artifacts that enable reproducibility and further research in the systems and programming languages community.
Ruzica Piskac is a Professor of Computer Science at Yale University, where she leads the Rigorous Software Engineering (ROSE) group. She has made significant contributions to the fields of software verification, security, automated reasoning, and code synthesis, focusing on improving software reliability and trustworthiness through formal techniques. Dr. Piskac received her PhD from the Swiss Federal Institute of Technology (EPFL) in 2011, where her dissertation won the Patrick Denantes Prize. Prior to joining Yale, she led an independent research group at the Max Planck Institute for Software Systems in Germany (2012-2013). Her research spans several key areas: symbolic execution for Haskell (G2), privacy-preserving formal methods (PPFM), functional reactive synthesis, verification of configuration files, and analysis of software updates. Her work consistently bridges theoretical formal methods with practical applications in real-world systems. Dr. Piskac's recent publications demonstrate a strong trend toward applying formal verification techniques to emerging challenges including large language models, quantum computing security, legal accountability of automated systems, and cyber-physical systems. Her research increasingly intersects with AI, cryptography, and legal domains while maintaining strong foundations in formal methods. Her scientific achievements have been recognized with numerous prestigious awards: Multiple Amazon Research Awards Yale University's Ackerman Award for Teaching and Mentoring Facebook Communications and Networking Award Microsoft Research Award for the Software Engineering Innovation Foundation (SEIF) Patrick Denantes Prize for her PhD dissertation Dr. Piskac has graduated five PhD students, four of whom have gone on to become assistant professors of computer science. She has served as Program Chair of the 37th International Conference on Computer Aided Verification and is on the Steering Committee of the Formal Methods in Computer-Aided Design conference. She leads the Rigorous Software Engineering (ROSE) group at Yale, which focuses on several key projects including: Symbolic Execution Engine for Haskell (G2) Privacy Preserving Formal Methods (PPFM) Functional Reactive Synthesis Verifications for Configuration Files Analysis of Software Updates and Configuration Files
Steve Blackburn is a research scientist at Google DeepMind and professor of computer science at the Australian National University in the College of Engineering and Computer Science. His primary research focus is on programming language implementation, with expertise spanning memory management, virtual machines, and performance analysis. He has served in significant leadership roles including Associate Dean for Diversity and Inclusion (2016-2019) and as Program Chair for PLDI 2015 and General Chair for PLDI 2023. Blackburn's research interests center on making software run faster and more power-efficiently on modern hardware. His primary areas include microarchitectural support for managed languages, fast and efficient garbage collection, and the design and implementation of virtual machines. He maintains a strong interest in sound methodology and infrastructure for successful research innovation. His work bridges theoretical computer science with practical systems implementation, with particular focus on memory management frameworks and performance benchmarking. His publication record reveals a consistent focus on memory management systems, with recent work exploring garbage collection in modern contexts including CRuby, Julia, mobile devices, and memory-disaggregated datacenters. His research shows an evolution from foundational garbage collection algorithms toward practical implementations addressing real-world constraints in contemporary programming languages and hardware platforms. A notable trend is his increasing focus on quantifying and understanding the true costs of garbage collection in production environments. Fellow of the ACM Blackburn has supervised numerous doctoral students including Zhen He, John Zigman, Robin Garner, Ting Cao, and currently advises Wenyu Zhao, Zixian Cai, and others. He has also served on multiple program committees for major conferences including PLDI, ASPLOS, ISMM, and OOPSLA, demonstrating his significant contributions to the programming languages and systems research community. His service includes editorial roles for ACM Transactions on Programming Language Applications and Systems from 2017-2020. He leads two major research infrastructure projects: the MMTk memory management framework and the DaCapo benchmark suite, both of which have become foundational tools for researchers in programming languages and systems. These projects reflect his commitment to shared research infrastructure and reproducible methodology in systems research.
Alastair F. Donaldson is a Professor in the Department of Computing at Imperial College London's Faculty of Engineering, where he leads the Multicore Programming Group. He also works as a Software Engineer at Google in the Android Graphics Team. Previously, he served as Director of GraphicsFuzz, an Imperial College spinout company acquired by Google in 2018. His research spans programming languages, compilers, verification, and testing, with a particular focus on randomized and fuzz testing techniques for compilers and program analyzers. Donaldson has developed several influential testing frameworks including GraphicsFuzz, RustSmith, and GrayC, which have significantly advanced compiler testing methodologies. Analysis of his recent publications reveals a strong trend toward practical applications of compiler testing techniques across diverse domains including GPU programming, verification-aware languages, and memory models. His work increasingly incorporates continuous integration practices and focuses on addressing real-world challenges in compiler development and verification. Donaldson maintains active involvement in the programming languages research community, serving on program committees for major conferences including PLDI, POPL, ASPLOS, and SPLASH. He has contributed significantly to advancing compiler testing methodologies and has mentored numerous researchers through PLMW (Programming Languages Mentoring Workshop). He leads the Multicore Programming Group at Imperial College London, which focuses on challenges in parallel and concurrent programming. His work bridges theoretical computer science with practical software engineering challenges, particularly in the areas of compiler correctness and verification.
Andy D. Pimentel is a Full Professor at the University of Amsterdam, where he chairs the Parallel Computing Systems (PCS) group within the Systems and Networking Lab at the Informatics Institute. His work focuses on the design, programming, and run-time management of multi-core and multi-processor computer systems, with particular attention to performance, power/energy consumption, system dependability, and design productivity. His academic background includes: PhD in Computer Science, 1998, University of Amsterdam MSc in Computer Science, 1993, University of Amsterdam Professor Pimentel's research spans multiple critical areas in modern computing systems. His primary interests include multi-core embedded systems, system-level design and simulation, design space exploration, performance and power analysis, system dependability, hardware/software co-design, run-time resource management, and Edge AI. His work addresses the growing challenges of making computer systems faster, more sustainable, energy efficient, reliable, and secure in an era of increasing computational demands and climate concerns. The PCS group he leads performs research on the modeling, analysis and optimization of extra-functional aspects of computing systems, which play a pivotal role in their work. An analysis of Professor Pimentel's recent publications reveals a strong focus on edge computing, distributed AI, and energy-efficient system design. His work bridges theoretical computer architecture with practical implementation challenges, particularly in the context of resource-constrained environments. Key trends include the adaptation of AI models for edge devices, thermal management in advanced architectures, and optimization of multi-core systems for both performance and energy efficiency. His research increasingly addresses sustainability concerns in computing, reflecting broader industry and academic priorities. His notable scientific achievements include: IEEE CEDA Outstanding Service Recognition Award DATE Fellow Award Professor Pimentel has served in numerous leadership roles in the academic community, including as General Chair of Design Automation and Test in Europe (DATE) 2024, Vice General Chair of IEEE/ACM Embedded Systems Week 2025, and General Chair of IEEE/ACM Embedded Systems Week 2026. He has secured significant research funding for projects related to sustainable computing, edge AI, and multi-core system design. His professional service includes board membership with the ICT Research Platform Nederland (IPN) since 2020 and leadership roles in major conferences such as DATE, Embedded Systems Week, and SAMOS. The Parallel Computing Systems group he chairs is a vibrant research team within the Systems and Networking Lab at the Informatics Institute. The PCS group focuses on the challenges of modern computing systems, particularly addressing the extra-functional aspects like performance, power consumption, and system dependability. Their work is highly relevant to current technological challenges in edge computing, sustainable systems design, and the integration of AI into resource-constrained environments.
Michael Carbin is an Associate Professor at MIT in the Department of Electrical Engineering and Computer Science (EECS), where he leads the Programming Systems Group at the Computer Science and Artificial Intelligence Laboratory (CSAIL). His research centers on developing programming systems that handle uncertainty through probabilistic programming, quantum computing, and neural networks. Carbin's work spans programming languages, systems, and machine learning, with themes including uncertainty management, efficiency optimization, and formal verification. His publications demonstrate a strong focus on probabilistic inference methods, neural network optimization, and quantum programming frameworks. Awards and Honors: Sloan Research Fellowship (2020) Multiple Best Paper Awards (OOPSLA 2013, 2014; ICLR 2019) NSF CAREER Award (2018) Google Faculty Research Award (2018) As the head of the Programming Systems Group, he advises 10+ graduate students and postdocs, focusing on cutting-edge systems research. He has secured grants including Facebook Research Awards and NSF funding.
Eleni Tani is an Assistant Professor in the Department of Crop Science at the Agricultural University of Athens, affiliated with the Faculty of Crop Science and the Laboratory of Plant Breeding and Biometry. Her research focuses on molecular breeding for stress tolerance in crops, epigenetic mechanisms underlying environmental adaptation, and genetic variability in cultivated species and their wild relatives. Her work emphasizes the application of '-omics' technologies to improve crop resilience against abiotic and biotic stresses, including drought, salinity, and parasitic weeds like broomrape. She collaborates extensively on projects such as BENEFIT-Med and ZeroParasitic , targeting sustainable solutions for agricultural challenges. Dr. Tani has authored over 49 peer-reviewed articles and edited volumes, contributing to journals like Agronomy , Frontiers in Plant Science , and International Journal of Molecular Sciences . Her research trends highlight interdisciplinary approaches, integrating genomics, epigenetics, and AI-driven methodologies for crop improvement. She supervises 4 PhD candidates and has mentored over 10 postgraduate and 30 undergraduate students. Her teaching portfolio includes courses on plant breeding techniques, biotechnology, and experimental design. Office hours are held daily between 12:00 and 15:00 by appointment. Dr. Tani’s laboratory focuses on translational research bridging basic science and agricultural practice, with ongoing collaborations in Mediterranean crop sustainability and orphan legume revitalization.
Nikolaos S. Papaspyrou is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA), affiliated with the Software Engineering Laboratory and the Division of Computer Science. His research focuses on programming languages, compilers, formal verification, and concurrency. Since October 2021, he has been on leave from NTUA while working as a Software Engineer at Google's V8 JavaScript and WebAssembly engine team. Previously, he served as Director of the Division of Computer Science (2017–2019) and held a sabbatical at Google's Munich compiler group (2015–2016). His academic contributions include pioneering work on Erlang/OTP scalability, concolic testing for functional languages, and static analysis techniques. He has authored numerous publications in top venues like ACM Transactions on Programming Languages and Systems and IEEE conferences. Papaspyrou has supervised over 50 diploma students and multiple PhD candidates, contributing to the education of future researchers and engineers. He actively participates in programming competitions, coaching Greek Olympiad teams, and volunteers in the Hellenic Informatics Society. He teaches advanced courses on programming languages, compilers, and software engineering at NTUA, emphasizing practical applications of theoretical concepts. His educational philosophy integrates problem-solving through programming, as highlighted in his FedCSIS 2013 paper on teaching methodologies.
Anna Pappa is an Emmy Noether Group Leader at the Electrical Engineering and Computer Science Department of Technical University Berlin, leading the Quantum Communication and Cryptography group funded by DFG since 2020. Previously, she held Marie Sklodowska-Curie Fellowships at the Dahlem Center for Complex Quantum Systems (Freie Universität Berlin) and University College London (UCL). Her research focuses on quantum protocols with provable security in realistic environments, quantum communication, cryptography, and secure multi-party computation. She has a PhD from Télécom Paristech and Paris Diderot, and earlier degrees from the National Technical University of Athens (NTUA). Key achievements include experimental plug-and-play quantum coin flipping, quantum network routing algorithms, and entanglement verification techniques resistant to dishonest participants. She has received notable awards such as the Emmy Noether Fellowship (DFG) and Google Anita Borg Memorial Scholarship. Pappa’s work bridges theoretical quantum computing with practical implementations, emphasizing security in quantum systems. Her academic career includes postdoctoral roles at the University of Edinburgh and UCL, alongside software engineering experience at Nokia-Siemens Networks. She has organized seminars on cryptography and quantum computing, and her teaching spans programming languages and cryptography courses at NTUA. Pappa actively participates in conferences like QPL, QCRYPT, and AQIS, contributing to both theoretical advancements and experimental validations in quantum information science.
