Yao Li is an Assistant Professor of Computer Science at Portland State University, specializing in Programming Languages, Formal Verification, and Dependent Types. They earned a Ph.D. in Computer and Information Science from the University of Pennsylvania (2022), supervised by Stephanie Weirich, and hold a Master’s and Bachelor’s in Software Engineering from Shanghai Jiao Tong University (2016, 2013) under Zhengwei Qi. Ph.D., Computer and Information Science, University of Pennsylvania (2022) M.S., Software Engineering, Shanghai Jiao Tong University (2016) B.S., Software Engineering, Shanghai Jiao Tong University (2013) Their research focuses on formal verification of functional programming languages, particularly Haskell, and mechanized proofs using tools like Coq. They work on specifying and verifying networked servers, lazy program cost analysis, and embedded systems through program adverbs and Tlön embeddings. Recent publications (2018-2025) demonstrate expertise in Haskell verification, formal methods, and interaction trees. Key trends include bridging the gap between mechanized formalization and real-world code, advancing lazy evaluation semantics, and enhancing software verification through dependent types. Yao Li actively participates in academic service as a committee member and session chair in conferences like POPL, ICFP, and PLDI, contributing to artifact evaluation, program organization, and student research competitions.
Hanjun Kim is a researcher at Yonsei University, focusing on compiler design, machine learning optimization, and hardware-aware programming techniques. His work bridges theoretical research with practical implementations in embedded systems and security domains. Research Interests Compiler-driven optimization for PIM (Processing-in-Memory) architectures Homomorphic encryption compiler design Parallel computing for DNN/LLM inference Network function program analysis Recent research trends include: application of compiler techniques to optimize resource utilization in heterogeneous computing environments, particularly for AI workloads and secure computation. His publications demonstrate expertise in tackling performance bottlenecks through architectural and compiler co-design. Conference Service 2025 SPLASH OOPSLA Review Committee 2025 LCTES Program Committee 2024 CGO Program Committee 2023 LCTES Program Committee 2022 CGO Organization Committee 2020 LCTES Program Committee
Samuel Thibault is a Professor at University of Bordeaux, affiliated with Laboratoire Bordelais de Recherche en Informatique (LaBRI) and Inria Bordeaux -- Sud-Ouest. He is a member of the SATANAS team at LaBRI (theme: High Performance Runtime Systems for Parallel Architectures) and the STORM research team at Inria Bordeaux (previously RunTime). His work bridges academic research and practical implementation of high-performance computing systems. Thibault's research focuses on task-based runtime systems, particularly StarPU, for heterogeneous and parallel computing architectures. His work addresses critical challenges in scheduling algorithms, memory management under constraints, data locality optimization, and performance modeling for complex NUMA architectures. He has made significant contributions to the field of parallel computing through the development and analysis of runtime systems that efficiently manage tasks across diverse hardware resources including CPUs, GPUs, and other accelerators. His research has practical applications in scientific computing, deep learning inference, and large-scale simulations requiring extreme computing power. His recent publication trends show a strong emphasis on optimizing task-based runtime systems for heterogeneous architectures with particular attention to memory constraints and data locality. There's a clear progression toward applying these techniques to deep learning inference workloads, as evidenced by his StarONNX project. His work consistently addresses the challenge of balancing throughput and latency in complex computing environments, with increasing focus on recursive task graphs and dynamic adaptation strategies. Thibault is actively involved in European research initiatives including TEXTAROSSA (focusing on exascale technologies) and EXA2PRO (high development productivity on heterogeneous systems). His work has been published consistently in top-tier conferences and journals in parallel and distributed computing. As part of the STORM team at Inria Bordeaux, Thibault contributes to advancing the state of the art in runtime systems for high-performance computing. His team's work on StarPU has become a reference implementation in the field, enabling researchers and practitioners to develop applications that can efficiently utilize heterogeneous computing resources without needing to manage the complexity of different hardware architectures directly.
François Trahay is a Full Professor in the Computer Science department at Télécom SudParis (Institut Mines-Télécom) and a member of the Benagil Inria team. He leads research in high-performance systems, runtime systems, and performance analysis for HPC and distributed systems. He holds an HDR from Institut Polytechnique de Paris and a PhD from University of Bordeaux (2009). His work includes the EZTrace framework for performance analysis and contributions to storage systems optimization. Education: 2021: Habilitation à Diriger des Recherches (HDR), Institut Polytechnique de Paris 2010: PostDoc at Riken, University of Tokyo 2009: PhD in Computer Science, University of Bordeaux 2006: MS in Computer Science, University of Bordeaux Research focuses on runtime system design, HPC trace analysis, and storage efficiency. Recent projects include PALLAS trace format (IPDPS 2025) and GPU performance prediction (Euro-Par 2024). He advises 4 current PhD students and has supervised 2 former students now in industry. Key contributions include: Co-developer of EZTrace performance analysis framework Co-author of 60+ peer-reviewed papers in top venues (IPDPS, IEEE Cluster, ICPP) Technical leadership in Inria's Benagil team and Samovar Lab
François Trahay is an Associate Professor at Telecom SudParis, affiliated with the SAMOVAR research laboratory. His research focuses on high-performance computing systems, storage optimization, and performance analysis tools for parallel and distributed environments. He completed his PhD at Université Bordeaux I (2009) and Habilitation (HDR) at Institut Polytechnique de Paris (2021). Research Interests: Trahay specializes in optimizing storage systems (SSDs, RAID configurations), developing performance analysis frameworks (e.g., EZTrace, NumaMMA), and enhancing energy efficiency in HPC. Key areas include I/O performance, parallel runtime systems, and adaptive computing for machine learning workloads. Publication Trends: His recent work (2018–2025) demonstrates strong focus on: (1) SSD/RAID management techniques for modern storage hardware, (2) HPC performance tools for tracing and analysis, and (3) optimization strategies for distributed deep learning systems. Laboratory Affiliation: Member of SAMOVAR Laboratory (UMR CNRS), conducting research in distributed systems, networks, and computational efficiency.
Fayssal Benkhaldoun is a Professor at Université Paris 13, affiliated with the LAGA laboratory (UMR7539). He has held leadership roles including former Head of the MCS team (Modeling and Scientific Computing) at LAGA and former President of the Scientific Council at IUT Villetaneuse. He is also the Project Leader of the International Office at IUT Villetaneuse. His research focuses on numerical methods for partial differential equations, particularly finite volume schemes for hyperbolic and elliptic problems. Key areas include shallow water equations, flow in porous media, mesh adaptation, and combustion front propagation. He has organized major conferences such as the International Symposium on Finite Volumes for Complex Applications (FVCA), initiating its first edition in 1996. Recent work emphasizes advanced numerical techniques like stabilized meshless methods, GPU acceleration, and parallel computing for CFD applications. His contributions span environmental modeling (flood simulation, sediment transport) and industrial applications (phosphate slurry rheology). Students advised include Jan Karel (2014, streamer propagation) and Saida Sari (2013, multilayer shallow water equations). He co-organized conferences since 1996 and has been an invited speaker at numerous institutions globally.
Philippe Poignet is a Professor at the University of Montpellier, affiliated with the Institut Universitaire de Technologie (IUT) and conducting research at the LIRMM (Laboratory of Informatics, Robotics, and Microelectronics of Montpellier). He served as Director of LIRMM from July 2015 to October 2023 and co-heads the IRP with Stanford University since 2025. His work focuses on Surgical Robotics, with a particular emphasis on medical device development, control systems, and biomedical applications. Co-founder of startup ACUSURGICAL (retinal surgery robotics) Scientific collaborator with STERLAB (flexible ureteroscopy robotics) Co-organized Summer School on Surgical Robotics (SSSR) for 20 years His research spans medical robotics , control theory , and biomedical imaging , with applications in needle steering, tissue interaction, and surgical precision. Recent publications highlight advances in soft tensegrity design , model predictive control , and multi-modality imaging registration . Scientific recognition includes: Best Paper Award at ARK’22 Prix de l’Innovation de l’I-Site MUSE (2020) Chevalier des Palmes Académiques (2019) He supervises doctoral students in projects related to flexible robotics , bioimpression , and robotic shoulder surgery , with collaborations across Europe and industry partners like CARANX Medical and CEDRAT Technologies.
Mathieu Brédif is a Permanent Researcher at LASTIG, Gustave Eiffel University, affiliated with the National School of Geographic Sciences (ENSG) and IGN. He serves as co-chair of ISPRS Working Group II/3 on Point Cloud Processing (2016-2020) and chaired ISPRS Working Group III/5 on Graphics and Remote Sensing (2012-2016). His academic appointments include Assistant Professor at École Polytechnique teaching Image Analysis and Computer Vision (INF573) and 3D Computer Graphics (INF443) since 2019-2020. Telecom ParisTech PhD (2005-2010) Stanford University Master in Computer Science (2004) École Polytechnique Engineering Degree (2000-2005) Brédif's research focuses on Lidar processing, 3D reconstruction, and geovisualization , with significant contributions to point cloud analysis, urban scene modeling, and historical image integration. His work bridges computer vision, photogrammetry, and geographic information systems, emphasizing practical applications in urban planning and cultural heritage. He has developed novel algorithms for point cloud inpainting, visibility estimation, and distributed 3D reconstruction. His publications reveal consistent focus on urban modeling through point cloud processing (58% of works), image-based rendering techniques (22%), and geovisualization systems (15%). The research trajectory shows increasing emphasis on deep learning applications for LiDAR data since 2016, alongside continued development of geometric algorithms for photogrammetric processing. ANR project leadership in geospatial data valorization (structurAtion et vaLorisation du patrimoinE géoGraphique - 9) iSpace&Time 4D web GIS development (5) European project participation in high-volume point cloud analysis (8) Brédif actively mentors doctoral candidates, currently supervising Melvin Hersent, Alexane Nghien, and Florent Geniet, with 8 completed PhDs including Pierre Biasutti and Murat Yirci. His laboratory work centers on the GEOVIS research team , developing the iTowns open-source framework for 3D geospatial visualization, which powers the Géoportail's 3D data engine and supports multiple ANR projects in cultural heritage visualization.
Raji Susan Mathew is an Assistant Professor at the School of Data Science, Indian Institute of Science Education and Research Thiruvananthapuram (IISER TVM). Her research focuses on regularization techniques, compressed sensing, and deep learning for medical image reconstruction, particularly in magnetic resonance imaging (MRI) and quantitative susceptibility mapping (QSM). Current affiliation: School of Data Science, IISER TVM Prior appointments: C. V. Raman Postdoctoral Fellow and Research Associate III at Indian Institute of Science, Bangalore Education: Ph.D. in MR image reconstruction from IIIT-Kerala, M.Tech in Signal Processing from Cochin University of Science and Technology, B.Tech in Electronics and Communication Engineering from Mahatma Gandhi University Her recent publications highlight expertise in AI-driven medical imaging solutions, including QSM optimization , vision transformers for nerve tracking , and unsupervised learning for corrosion analysis . She has also contributed to book chapters on parallel MRI theory and regularization frameworks. Scientific awards include the C. V. Raman Postdoctoral Fellowship and Maulana Azad National Fellowship , supporting her work on efficient algorithms for medical image processing. Dr. Mathew advises Ph.D. and BS-MS students on topics like spiking neural networks in imaging , uncertainty-aware QSM reconstruction , and lightweight AI models for disease classification . She actively reviews for journals like IEEE Transactions on Medical Imaging and conferences like ISBI and ICASSP.
Romain Raveaux is an Associate Professor at the LIFAT Computer Science Laboratory, University of Tours, affiliated with Polytech Tours. His research focuses on Image Analysis, Machine Learning, Structural Pattern Recognition, Graph Matching, Graph Neural Networks, Discrete Optimization, Reinforcement Learning, and Transfer Learning . Email: romain.raveaux@gmail.com , romain.raveaux@laposte.net Address: 64 av. Jean Portalis, Tours, France, 37200 Phone: +33 (0)2 47 36 14 27 Research Interests Graph Matching and Neural Networks Discrete Optimization for Pattern Recognition Transfer Learning in Graph-Based Models Historical Document Analysis Scientific Trends His recent work bridges Graph Neural Networks with Mixed-Integer Programming , focusing on Image Semantic Segmentation and Graph Cycle Detection . Earlier studies emphasize Genetic Algorithms for graph classification and Graph Edit Distance optimization in pattern recognition.
Ahed Alboody is a Professor and Researcher at HESAM University Group, specifically affiliated with CESI and the Digital Innovation Laboratory for Businesses and Learning to Support Territorial Competitiveness (LINEACT) in Nice, France. He holds a specialized doctorate in computer science from the University of Toulouse 3 Paul Sabatier and has extensive experience in deep learning, computer vision, and remote sensing applications. His work bridges academic research with practical applications in environmental monitoring, human-computer interaction, and spatial reasoning systems. Education: Specialized Doctorate in Computer Science, University of Toulouse 3 Paul Sabatier (IRIT), 2011 Master 2 Research in Electronics, Automation and Systems Engineering, National Polytechnic Institute of Toulouse (INPT-ENSEEIHT), National School of Civil Aviation (ENAC), ISAE-SUPAERO, and University of Toulouse III, 2006 Engineering Diploma in Electronics and Telecommunications, University of Tishreen (Techrine), Lattakia, Syria, 2002-2003 Undergraduate studies in Electronics and Telecommunications, University of Tishreen (Techrine), Lattakia, Syria, 2002 Alboody's research focuses on advanced applications of deep learning and computer vision, particularly in the areas of 3D hand gesture recognition, hyperspectral and multispectral image processing, and semantic segmentation. His work combines theoretical advancements in mixture-of-experts architectures with practical applications in remote sensing and environmental monitoring. He has pioneered approaches in frugal learning and zero-shot learning for image segmentation tasks, with applications in digital twins and collaborative robot environments. His publication record demonstrates a clear evolution from foundational work in spatial reasoning systems (2008-2012) to current cutting-edge research in deep learning architectures for 3D gesture recognition and hyperspectral image analysis. Recent publications (2022-2024) show a strong focus on mixture-of-experts transformers, parallel architectures for efficient computation, and applications in environmental monitoring with drones and satellite imagery. Alboody actively supervises Master's level research projects (two M2 level projects mentioned) and serves as a reviewer for prestigious journals including IEEE Transactions on Neural Networks and Learning Systems and IEEE Transactions on Geoscience and Remote Sensing. He has also been a member of the Technical Program Committee for international conferences on databases and knowledge applications. His laboratory work centers around the Digital Innovation Laboratory for Businesses and Learning to Support Territorial Competitiveness (LINEACT), where he leads research in engineering and digital tools. Current projects include developing graph neural networks for 3D hand gesture recognition using depth and skeleton data, and implementing frugal learning approaches for semantic image segmentation in collaborative robot environments.
Andrei-Constantin Braitor is a researcher specializing in control engineering and power systems, with a focus on DC microgrids, stability analysis, and power electronics. His work addresses challenges in voltage stability, overvoltage/overcurrent protection, and control design for DC microgrids in hybrid electric aircraft and meshed networks. He has collaborated with notable researchers such as Houria Siguerdidjane and Alessio Iovine on projects involving droop control, admittance matrix computation, and consensus-based control algorithms. Research Interests: DC Microgrid Stability and Control Distributed Control Systems Power Electronics Integration Aerospace Power Systems Nonlinear Dynamics in Power Networks His recent publications (2020-2025) explore advanced hierarchical control frameworks, fault-tolerant designs, and educational applications of control engineering through animated cartoons. He has contributed to both theoretical stability analysis and practical control implementations in meshed and parallel-operated converter systems. No scientific awards, grants, or lab affiliations were explicitly mentioned in the provided texts. His student advising record is currently empty.
Mr. Jean-Charles Billaut is a Professor at the Polytechnic School of Tours (EPU) within the University of Tours, affiliated with the Computer Science Department and the Fundamental and Applied Computer Science Laboratory of Tours (LIFAT). His primary research focuses on Operational Research, particularly in scheduling theory, production planning, and logistics optimization, with notable contributions to healthcare and food supply chain systems. He has held leadership roles, including Director of the Computer Science Laboratory since 2007 and Editor-in-Chief of the European Journal of Operational Research since 2007. His work bridges theoretical advancements and real-world applications, addressing challenges in multi-agent scheduling, robust production systems, and emergency logistics. Key collaborations include optimizing chemotherapy production and medical sample dispatching, reflecting his commitment to impactful operational research. His research often employs metaheuristics and exact methods to solve complex scheduling and routing problems, emphasizing sustainability and resilience in supply chains.
David Chisnall is a researcher affiliated with the University of Cambridge and active in systems programming, compiler design, and cross-language interoperability. He contributes to conferences like POPL, PLDI, ISMM, and SPLASH, with particular focus on secure compilation and memory management.
Binoy Ravindran is a Professor at Virginia Tech’s College of Engineering, Department of Electrical and Computer Engineering, leading the Systems Software Research Group (SSRG). His research focuses on computer systems, emphasizing security, performance, concurrency, distributed systems, and real-time computing, with recent work in software verification and heterogeneous-ISA platforms. Key projects: Low-level Reasoning Machine (LLRM), Popcorn Linux, LibrettOS, Hyflow, HermiTux, SlimGuard, HydraVM, KairosVM. He has co-authored 15+ papers from 2025 to 2022, spanning venues like ASPLOS, POPL, PLDI, VEE, PPoPP, and MIDDLEWARE, with awards including ACM Distinguished Scientist and eight Best Paper Awards. Service roles: Editorial Boards (IEEE Transactions on Cloud Computing, ACM TECS), Program Co-Chair (ACM Systor 2025), Committee memberships across ASPLOS, PLDI, and more.
