Prof. Dr.-Ing. Richard Membarth is a Research Professor for System-on-a-Chip and AI at the Edge Computing at Technische Hochschule Ingolstadt (THI). He is affiliated with the Hardware-Software Co-Design group and holds a secondary position at the German Research Center for Artificial Intelligence (DFKI) Saarbrücken. Co-creator of DSL frameworks like AnyDSL and Hipacc Key contributor to MetaDL (AI metaprogramming) and PRIME (predictive rendering) His research bridges GPU computing , domain-specific languages , and compiler technology , with recent work on Vulkan SPIR-V compilation and device-driven SpMV algorithms . Notable awards include the HiPEAC Paper Award (2018) and multiple Best Paper Awards for his compiler frameworks.
George Bosilca is a Research Professor at the University of Tennessee, Knoxville, affiliated with the Department of Electrical Engineering and Computer Science and the Innovative Computing Laboratory. He holds a PhD in Computer Science (University of Paris XI, 2004) and an MS in Math and Computer Science (University of Paris XI, 1999). His research focuses on distributed algorithms, parallel programming paradigms, performance modeling/optimization, and resilience in programming models. He contributes to exascale computing initiatives through projects like PaRSEC and Open MPI. Key research areas include task-based runtimes, MPI standardization for exascale systems, and fault-tolerant distributed computing. His work emphasizes scalable and portable constructs for high-performance applications. Bosilca is involved with the Innovative Computing Laboratory (ICL) and collaborates on projects like the EPEXA ecosystem and Argobots threading framework. Recent publications highlight advancements in asynchronous many-task systems, GPU-accelerated collective operations, and resilience strategies for HPC platforms. His contributions span theoretical frameworks and practical implementations, bridging algorithmic innovation with real-world HPC challenges.
Nuno Pereira Lopes is an Associate Professor at Instituto Superior Técnico , part of Universidade de Lisboa , and a researcher at INESC-ID . He also serves as an advisor at FuriosaAI , focusing on tensor contraction processors for AI workloads. Research Interests : Compilers, formal verification of LLVM optimizations, machine learning frameworks, undefined behavior exploitation, probabilistic model checking, blockchain security, and many-core code generation. Teaching : Compilers and Computer/Informatics Engineering projects. Funding : Supported by Google, Matter Labs, NLnet, Oracle, PRACE, RNCA, and Woven by Toyota. Recent Publications focus on LLVM backend validation , PyTorch pipeline parallelism , C++ dynamic cast optimization , undefined behavior in C/C++ , and AI tensor processors . His work bridges compiler design, formal methods, and AI hardware. Academic Service includes representing Portugal in ISO/IEC JTC 1/SC 22 (C++), organizing FLoC'26 , and serving on program committees for PLDI, EuroLLVM, and CGO.
Amirhosein Taherkordi is a Professor in the Networks and Distributed Systems group at the Department of Informatics, University of Oslo, Norway. His research focuses on resource-efficiency, scalability, adaptability, dependability, mobility and data-intensiveness of distributed systems for emerging computing technologies including Internet of Things (IoT), Fog/Edge/Cloud Computing, and Cyber-Physical Systems (CPS). Dr. Taherkordi received his Ph.D. from the Informatics Department at the University of Oslo under the supervision of Prof. Frank Eliassen, with his thesis titled "Programming Wireless Sensor Networks: From Static to Adaptive Models." He holds an M.Sc. in Information Technology Engineering (Software Engineering) from University of Science and Technology and a B.Sc. in Computer Engineering from Sharif University of Technology. His research spans multiple domains of distributed systems with emphasis on practical applications. He investigates energy efficiency in wireless sensor networks, communication optimization in IoT systems, and adaptive resource allocation in edge computing environments. His work addresses critical challenges in network traffic classification, federated learning for vehicular networks, and data processing across heterogeneous platforms. Analysis of his recent publications reveals a strong trajectory toward communication-efficient federated learning techniques for vehicular networks, energy-aware protocols for IoT data collection, and advanced machine learning approaches for network traffic analysis. His research consistently focuses on optimizing resource usage while maintaining system performance and privacy in distributed architectures. Dr. Taherkordi actively contributes to several research initiatives including the CPS Lab at UiO for Cyber Physical Systems, DILUTE: Fluid Service Abstraction for Large-Scale Cloud IoT Systems, and the Gemini Centre on IoT at UiO. His work bridges theoretical advances with practical implementations in transportation systems, environmental monitoring, and industrial automation.
Brandon Lucia is a Full Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University's College of Engineering. He leads the abstract research group focusing on the intersection of computer architecture, systems, and programming languages. His work bridges theoretical foundations with practical implementations in energy-constrained environments. Lucia's research centers on intermittent computing systems and edge computing in extreme environments. His work on energy-harvesting systems has established fundamental principles for batteryless computing, while his orbital edge computing research pioneers computational intelligence for nanosatellite constellations. These research thrusts address critical challenges in reliability, efficiency, and programmability for systems operating under severe power constraints. His publication record shows a clear evolution from foundational work on intermittent computing models to sophisticated applications in space computing and edge intelligence. Recent publications demonstrate increasing integration of dataflow architectures with energy-harvesting constraints, particularly in satellite constellations where computational resources must be managed across distributed, power-constrained platforms operating in extreme environments. NSF CAREER Award (2017) IEEE TCCA Young Computer Architect Award (2019) Sloan Foundation Fellowship (2021) ASPLOS Best Paper Awards (2018, 2020) OOPSLA Distinguished Paper and Artifact Awards (2015) Lucia actively mentors numerous PhD students including Brad Denby, Zhuo Cheng, and Emily Ruppel, many of whom contribute significantly to his research program. His abstract research group maintains strong industry connections while pursuing fundamental advances in computing systems. The group has developed multiple open-source tools including Legerdemain for program analysis and MultiCacheSim for cache coherence simulation. His laboratory work spans from theoretical foundations of intermittent computing to practical implementations in space systems. Current projects include computational nanosatellite constellations, energy-minimal dataflow architectures, and secure edge computing systems that operate reliably despite frequent power failures.
Heather Miller is a tenure-track Assistant Professor in the Software and Societal Systems Department within Carnegie Mellon University's School of Computer Science. Her academic journey includes prior roles as an Assistant Clinical Professor at Northeastern University's College of Computer and Information Science and as Executive Director of the Scala Center at EPFL. Miller's research centers on distributed and concurrent computation through the lens of programming languages, with particular emphasis on data-centric systems, big data processing, and edge computing. A defining theme throughout her work is composability - enabling construction of complex distributed systems through composition of components that are correct by construction. Her projects span distributable closures, flexible serialization techniques, futures and promises for asynchronous programming, and deterministic concurrent dataflow models. Her recent publications demonstrate strong trends in applying programming language theory to practical distributed systems challenges, with increasing focus on WebAssembly instrumentation, microservice resilience, and language model pipelines. This evolution reflects her commitment to bridging theoretical foundations with real-world system requirements. Dahl-Nygaard Junior Prize (2023) Mentorship forms a significant component of Miller's academic work. She actively supervises multiple PhD, MS, and undergraduate researchers at CMU, including Christopher Meiklejohn, Matthew Weidner, Huairui Qui, Ria Pradeep, and Luke Dramko. Her service contributions span numerous top-tier conferences including PLDI, SPLASH, ECOOP, and ICSE where she has served as committee member, chair, and keynote speaker. Miller co-founded the Curry On conference to foster industry-academia dialogue, hosting successful editions in Prague, Rome, Barcelona, Amsterdam, and London. She leads research groups focused on distributed programming models and maintains strong industry connections through Two Sigma, where she holds an affiliation. Her work consistently emphasizes practical open-source implementations, primarily within the Scala ecosystem where she's been a core contributor since 2011.
Mark Oskin is an Adjunct Professor at the School of Computer Science and Engineering , University of Washington , focusing on Software & Hardware Systems . He leads the Sampa Group and collaborates on projects like HammerBlade and BlackParrot. University: University of Washington School: School of Computer Science and Engineering Department: Department of Electrical & Computer Engineering His research spans Computer Architecture , Parallel Computing , and Graph Processing , with additional expertise in Quantum Computing , Open Source Hardware , and Distributed Shared Memory . Ongoing work includes custom manycore devices for graph execution and open-source RISC-V designs. Past projects like Grappa and WaveScalar advanced distributed memory and dataflow execution. Recent publications include BlackParrot: An Agile Open Source RISC-V Multicore for Accelerator SoCs (IEEE Micro 2020) and Perceptual Compression of Video Storage and Processing Systems (SoCC 2019), reflecting trends in hardware-software co-design, quantum systems, and energy-efficient video processing. Best Paper Award , USENIX ATC 2015 IEEE Micro Top Picks , 2009 Mark has advised numerous students, including Amrita Mazumdar (IoT video compression startup), Brandon Lucia (CMU), and Steve Swanson (UC San Diego). He co-founded Corensic, a startup exploring deterministic multithreaded execution.
Maurizio Zamboni is a Full Professor at the Department of Electronics and Telecommunications (DET) at the Polytechnic University of Turin, where he also serves as Student Ombudsman. His academic career spans over three decades with continuous teaching and research contributions in electronics and computing fields. Professor Zamboni's research interests focus on cutting-edge areas including CMOS integrated circuits, computer architecture, quantum computing, semiconductor devices, and VLSI design. His work particularly emphasizes emerging nanotechnologies for digital microelectronic architectures and the design of high-performance or low-consumption processing systems. He has developed expertise in circuit architectures for probabilistic computing, logic-in-memory computing, magnetic devices, and quantum architectures. His recent publications (2021-2025) reveal a strong trend toward quantum computing applications, in-memory processing architectures, and novel approaches to overcoming the memory wall problem. These works span both theoretical algorithm development and practical hardware implementations, with significant focus on quantum annealing, FPGA-based quantum emulation, and memory-mapped processing architectures. Professor Zamboni has been actively supervising PhD students working on quantum computing algorithms, hardware AI accelerators for automotive applications, and quantum-related optimization approaches. He leads research within the VLSILAB Group at DET, focusing on the intersection of nanoelectronics, quantum computing, and advanced computer architectures. His work bridges theoretical computer science with practical electronic design, creating novel solutions for next-generation computing challenges.
Jaakko Timo Henrik Järvi is a Professor in the Department of Informatics at the University of Bergen, Norway, with additional affiliations at the University of Turku, Finland. His research focuses on programming language design, generic programming, and human-computer interaction, particularly in GUI frameworks and software reuse. His research interests include generic programming, programming language design (especially the Magnolia language), high-performance computing, array programming, and GUI engineering. He emphasizes formal methods and algebraic specifications to build reusable and efficient software systems. His work bridges theoretical foundations with practical applications in software development and education. The recent publications highlight a strong trend in declarative GUI frameworks, multi-selection models, and generic programming. His work explores domain-specific languages for GUI structure manipulation, reusable selection semantics across platforms, and optimizing array computations using the Mathematics of Arrays. These efforts reflect a consistent focus on software abstraction, correctness, and reusability. Jaakko Järvi has supervised doctoral students, including Tetiana Yarygina, whose dissertation explored microservice security. While no specific grants are detailed, his work on VisAST was supported by the Research Council of Norway (Project 250683), indicating active external funding. He frequently collaborates with researchers like Magne Haveraaen, Knut Anders Stokke, and Sean Parent. He contributes to tools and frameworks such as the MultiselectJS library and the VisAST educational tool. These are outcomes of collaborative research teams focused on improving software development practices and computer science education.
Yue Li is an Associate Professor at the School of Computer Science, Nanjing University, where they co-run the PASCAL Research Group with Tian Tan. Their work focuses on static program analysis techniques and tools for programming languages, software engineering, security, and hardware verification. PhD in Computer Science from UNSW Sydney (2016) Postdoctoral research at Aarhus University (Denmark) and UNSW Sydney B.Eng and M.Eng from Northwestern Polytechnical University (2010, 2012) Research interests center on Program Analysis and Programming Languages , with a focus on: Pointer analysis for database-backed applications Context sensitivity optimization Reflection analysis in Java/Android Operational semantics for hardware languages Distributed dataflow analysis frameworks Developer-friendly static analysis tools Key publication trends (2016-2025) span static analysis , pointer precision , reflection handling , and tool frameworks across conferences like OOPSLA, PLDI, ICSE, ISSTA, and journals including TOPLAS and IEEE TSE. Notable artifacts include Tai-e and Chianina systems. 2025: ICSE Best Artifact & Distinguished Paper Awards 2024: IEEE TSE Publication on Generic Sensitivity 2023: OOPSLA Distinguished Artifact, SPLASH/ECOOP committees 2021: National Youth Talent Support Program, ZiJin Scholar 2016: ECOOP Distinguished Paper, CGO Best Paper As co-PI of PASCAL Research Group, they lead projects on precision-guided analysis, microservice systems, and cloud-based dataflow frameworks, with teaching awards for SICP and Software Analysis courses.
Tiziano De Matteis is an Assistant Professor in the @Large Research group at Vrije Universiteit Amsterdam's Faculty of Science, Department of Computer Systems. He also holds an affiliation with the Network Institute. His research focuses on overcoming post-Moore architecture challenges through parallel and distributed computing, high-performance systems, energy efficiency, and FPGA applications. Previously, he was a PostDoc at ETH Zurich's SPCL Group and earned his MSc/PhD from the University of Pisa. Education PhD in Computer Science, University of Pisa MSc in Computer Science, University of Pisa Research Interests Post-Moore architectures for distributed ecosystems Energy-aware parallel computing High-level abstractions for parallel software development FPGA-based hardware acceleration Data stream processing and distributed systems Recent Research Trends Recent work emphasizes: Data center risk analysis and sustainability Optimizing microservices and distributed scheduling LLM model offloading to NVMe storage Python-based data-centric programming productivity GPU interconnect performance in supercomputing Grants & Projects Participates in the EU-funded 'Extreme and Sustainable Graph Processing' project (2023-2025), exploring scalable graph algorithms and energy-efficient computing systems. Teaching Accelerator-Centric Computing Ecosystems Computer Organization Distributed Systems Systems Seminar
Nectarios Koziris is a Professor at the Department of Computer Science , National Technical University of Athens (NTUA) , and former Dean of the School of Electrical and Computer Engineering . His research focuses on Parallel and Distributed Systems , Computer Architecture , and Cloud Computing . Key Research Themes: Compiler-OS-Architecture Interaction, Datacenter Hyperconvergence, Sparse Matrix Optimization, Quantum Computing, FPGA Virtualization Leadership: Founder of ~okeanos (Europe's largest public Cloud IaaS), Co-founder of GFOSS , Member of IEEE Computer Society Greece, Advisor to Arrikto Inc. His work has led to over 180 publications with 5800+ citations (h-index 33) , including two Best Paper Awards (IPDPS 2001, CCGRID 2013) and Intel Recognition (2015). He has supervised 12 PhD students and participated in 15+ EU projects as coordinator or consortium partner. Scientific Leadership: Program Co-Chair for Europar 2012 , Organizer for IPDPS , ICPP , SC conferences, and active member in Cloud Computing Expert Groups for the European Commission.
Giorgio Scorzelli is a researcher at the University of Utah, serving as Director of Software Development for the Center for Extreme Data Management, Analysis, and Visualization (CEDMAV) and the National Science Data Fabric (NSDF) . He specializes in extreme data management, scientific visualization, and computational topology, with a focus on scalable solutions for climate science, materials science, and neuroscience datasets. His work emphasizes democratizing data access through platforms like OpenVisus , enabling efficient analysis of petascale and exascale data. Key contributions include orchestrating cyberinfrastructure, optimizing parallel I/O, and developing real-time visualization systems for heterogeneous resources. Notable scientific contributions include the NSF Grant #2127548 for NSDF development . His projects integrate cloud computing, geo-distributed storage, and FAIR digital objects to lower barriers to data democratization. Giorgio's research spans multi-resolution algorithms , computational topology , and 3D geometric modeling , with applications in infrastructure security, archaeological reconstruction, and biomedical imaging. His work bridges abstract mathematical frameworks (e.g., Boolean algebras, chain complexes) with practical software solutions.
Miryung Kim is a Professor and Vice Chair of Graduate Studies in UCLA's Computer Science Department, where she directs the Software Engineering and Analysis Laboratory. She is renowned for her pioneering work in software evolution, code clone management, and establishing the emerging field of Software Engineering for Data Intensive Computing (SE4DA and SE4ML). Her research focuses on automated testing and debugging for Apache Spark, developer tools for heterogeneous computing, and conducting systematic studies of refactoring practices in industry. She led the first large-scale study of data scientists in industry and developed JDebloat, a Java bytecode debloating tool that made significant tech transfer impact to the Navy. Her recent publications demonstrate strong trends in fuzz testing for big data analytics and heterogeneous computing, with a focus on natural input generation, co-dependence awareness, and leveraging hardware probes for acceleration. Her work bridges software engineering with data-intensive and heterogeneous computing paradigms. ACM SIGSOFT Influential Educator Award (2022) ICSME Most Influential Paper Award (2023 and 2020) NSF CAREER award Google Faculty Research Award Okawa Foundation Research Award Humboldt Fellow ACM Distinguished Member As an academic advisor, she has produced eight tenure-track faculty members at institutions including Columbia, Purdue, and Virginia Tech. Her research has been supported by National Science Foundation, Air Force Research Laboratory, Google, IBM, Intel, Okawa Foundation, Samsung, and Office of Naval Research. She previously served as Program Co-Chair of ESEC/FSE 2022 and has delivered keynotes at ASE 2019 and ISSTA 2022. She maintains active industry collaborations, serving as an Amazon Scholar at Amazon Web Services and having spent time as a visiting researcher at Microsoft Research.
Jingling Xue is a Scientia Professor at the School of Computer Science and Engineering at the University of New South Wales (UNSW) in Sydney, Australia. As an IEEE Fellow of the Computer Society, he leads the Programming Languages and Compilers research group, focusing on practical applications of compiler optimization and program analysis techniques. His work bridges theoretical foundations with real-world software systems, particularly in developing open-source tools for large-scale program analysis. Professor Xue received his B.Eng and M.Eng degrees from Tsinghua University in 1984 and 1987, respectively, followed by a PhD from the University of Edinburgh in 1992. His academic journey has established him as a leading figure in programming languages and compiler technology. Xue's research spans programming languages, compiler technology, and program analysis with emphasis on practical relevance. His current projects include compiler techniques for improving parallelism and locality, pointer/alias analysis for million-line-scale programs, and static/dynamic analysis for detecting bugs and security vulnerabilities in real-world applications like web browsers and Android apps. His group actively develops open-source tools to support scientific replicability and reproducibility in these areas. His recent publications demonstrate a strong focus on applying program analysis techniques to modern challenges including AI compilers, homomorphic encryption, security vulnerability detection, and graph processing systems. The work shows evolution from traditional compiler optimization to addressing emerging domains like privacy-preserving computation and deep learning systems while maintaining rigorous theoretical foundations. Scientific Awards: Best Paper Award at CGO'13 Best Paper Award at CGO'16 Distinguished Paper Award at ECOOP'16 Distinguished Paper Award at ICSE'18 Distinguished Paper Award at ISSTA'19 Distinguished Paper Award at ASE'19 Distinguished Artifact Award at ISSTA'23 Best Artifact Award at FSE'23 Distinguished Paper Award at ASE'23 Test-of-Time Award at CGO'21 Professor Xue has successfully supervised 30 PhD students to completion, many of whom now work as professors or researchers in academia and industry. He has served as Program Chair for major conferences including LCTES'13, CC'18, CGO'20, and General Chair for LCTES'20. His group currently focuses on memory safety in Rust, smart contract analysis, AI compilers, compilation for privacy-preserving computation, and adversarial attacks in deep learning. The Programming Languages and Compilers group maintains strong connections with industry partners, translating theoretical advances into practical tools for real-world software development challenges. Their work on pointer analysis, memory safety, and compiler optimizations continues to influence both academic research and industrial practice.
