Weak Memory Models Professors and Supervisors in Greece

Michael D. BondView profile

Professor

National and Kapodistrian University of AthensGreece

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.

Official University Profile

Michalis KokologiannakisView profile

Assistant Professor

National and Kapodistrian University of AthensGreece

Michalis Kokologiannakis is an Assistant Professor in the Department of Computer Science at ETH Zurich, Switzerland. Previously, he was affiliated with the Max Planck Institute for Software Systems (MPI-SWS) in Germany where he completed his PhD. His research focuses on programming languages, compilers, and software verification, with particular emphasis on: Automated verification and testing of concurrent programs Weak memory models employed by modern microprocessors Stateless model checking techniques Formal methods for program analysis His work has led to the development of several verification tools including GenMC (a stateless model checker for C/C++ programs under weak memory models) and Kater (a tool that automates weak memory model metatheory and consistency checking). Dr. Kokologiannakis has published extensively at top-tier programming languages and verification conferences including PLDI, POPL, OOPSLA, and CAV. His research has pioneered advances in stateless model checking, partial order reduction, and verification under weak memory consistency models. He completed his MEng at the National Technical University of Athens (NTUA) before earning his PhD from MPI-SWS.

Official University Profile

Gizopoulos DimitrisView profile

Professor

National and Kapodistrian University of AthensGreece

Professor Gizopoulos Dimitris is a faculty member at the Department of Informatics and Telecommunications, National and Kapodistrian University of Athens. His research focuses on advanced topics in computer architecture, reliability engineering, and hardware security. With a strong emphasis on fault tolerance and computational integrity, his work addresses critical challenges in modern computing systems such as silent data corruptions, GPU reliability, and RISC-V cloud ecosystems. Key research interests include microarchitecture-level analysis, cross-layer system reliability assessment, and energy-efficient computing. His contributions span fault propagation modeling, hardware-software co-design for resilience, and innovative approaches to detecting silent errors in CPUs and GPUs. He actively participates in large-scale projects like NEUROPULS and Vitamin-V, advancing secure neuromorphic architectures and open-source cloud infrastructure. Recent publications highlight trends in silent data corruption quantification, GPU vulnerability analysis, and energy-efficient RISC-V designs. His work bridges theoretical models with practical implementations, emphasizing real-world validation through frameworks like gem5 and fault injection experiments. Despite no listed advisees or grants in current records, his research collaborations and project leadership position him at the forefront of next-generation computing reliability. Labs and teams associated with his work include the Vitamin-V virtual environment development team and the NEUROPULS consortium for secure neuromorphic accelerators. These initiatives reflect his commitment to advancing both theoretical and applied aspects of dependable computing systems.

Official University Profile

Luc MarangetView profile

Researcher

National and Kapodistrian University of AthensGreece

Luc Maranget is a Researcher at Inria Paris working within the Cambium project. His primary research focuses on weak memory models, concurrency, formal verification, and computer architecture. He has made significant contributions to understanding memory models in modern architectures including ARM, x86, and RISC-V. Maranget's research interests center around the formal modeling of memory consistency in modern processor architectures. He has developed theoretical frameworks for understanding relaxed memory models across multiple architectures and has created practical tools like the diy testing suite for validating memory models. His work bridges theoretical computer science with practical hardware implementation concerns, particularly in the domain of concurrent programming. His publication record shows a consistent focus on memory models and concurrency since 2016, with increasing emphasis on formal verification of hardware specifications. His research spans both theoretical aspects (operational semantics for memory models) and practical applications (testing suites, compiler implementations). Maranget teaches courses on programming shared memory multicore machines at MPRI (Master Parisien de Recherche en Informatique) and has previously taught at École polytechnique. He is also the author of H E V E A, a fast LaTeX to HTML translator, demonstrating his interest in programming language implementation. As the main developer of the diy testing suite, Maranget has created an important tool for the memory models research community. His work provides practical validation methods for theoretical models of processor behavior, making significant contributions to the verification of concurrent systems.

Official University Profile

Hernán Ponce de LeónView profile

Researcher

National and Kapodistrian University of AthensGreece

Hernán Ponce de León is a Principal Software Systems Research Engineer at Huawei Dresden Research Center (DRC) with an affiliation at Bundeswehr University Munich. His work focuses on the intersection of programming languages, security, and formal methods, particularly in developing automatic tools to verify low-level code correctness, security, and performance on emerging architectures. His research interests span Software Verification , Programming Languages , and Memory Models , with particular emphasis on weak memory consistency verification. He has made significant contributions to the field through the development of the Dat3M verification framework, which supports multiple memory models including C11, LKMM, Power, ARM, and others. Dr. Ponce de León has served on program committees for major conferences including PLDI, POPL, ECOOP, and OOPSLA, demonstrating his active engagement in the academic community. His work has been recognized with multiple SVCOMP medals and a Distinguished Paper award at OOPSLA 2022. Gold and Silver Medal @ SVCOMP 2025 Gold Medal (x2) @ SVCOMP 2024 Gold Medal @ SVCOMP 2023 Distinguished Paper @ OOPSLA 2022 As maintainer of the Dat3M verification tool, he leads a team of developers working on advancing state-of-the-art techniques for memory model verification. His recent publications focus on static analysis of memory models, SMT encodings, and consistency theories, demonstrating his continued leadership in this specialized research area.

Official University Profile

George PapadimitriouView profile

Assistant Professor

University of PatrasGreece

George Papadimitriou is an Assistant Professor in the Computer Engineering & Informatics Department at the University of Patras , Greece, hosted within the School of Engineering . His primary affiliation lies with the Computer Hardware and Architecture division, where he leads research and teaching activities focused on dependable, energy-efficient computer architectures. Education: PhD in Computer Science, Department of Informatics & Telecommunications, National and Kapodistrian University of Athens (2019) Post-doctoral researcher, Computer Architecture Lab, National and Kapodistrian University of Athens Research Interests: Dr Papadimitriou’s research lies at the intersection of computer architecture , energy efficiency , and microprocessor reliability . His work specifically targets: Robust and energy-efficient CPU/GPU/accelerator architectures Post-silicon validation techniques for catching elusive hardware bugs Silent data corruption detection and mitigation across the compute stack Characterization of voltage margins and power consumption in modern microprocessors Modeling and simulation of domain-specific accelerators for low-power, dependable operation More recently, his team has been extending these methodologies to RISC-V and neuromorphic photonic accelerators within large European consortia. Scientific Awards & Recognition: Eight HiPEAC Paper Awards for top-tier conference publications (MICRO, HPCA, ISCA) between 2017–2024 IEEE Transactions on Computers 2022 Best Paper Award for the article “Anatomy of On-Chip Memory Hardware Fault Effects Across the Layers” TTTC/ITC Gerald W. Gordon Student Award 2023 Research Funding & Projects: Dr Papadimitriou is principal investigator or key technical contributor in multiple Horizon Europe and industry-backed projects that collectively exceed €50 M in funding. Current leadership roles include: DARE (Digital Autonomy for RISC-V in Europe) NEUROPULS (Neuromorphic Energy-Efficient Secure Accelerators) REBECCA (Reconfigurable Heterogeneous Highly Parallel Processing Platform) Vitamin-V (Virtual Environment & Tool-boxing for Trustworthy RISC-V Cloud Services) Intel, IBM, and Thales bilateral research contracts on energy-efficient and resilient microarchitectures Laboratory & Team: He leads the Energy-Efficient and Dependable Architectures (EEDA) research group at University of Patras, operating laboratory facilities for silicon measurement, FPGA emulation, and full-system simulation (gem5, MARSS, custom tools). The team currently comprises 3 PhD candidates, 2 post-docs, and several MSc thesis students collaborating with European and US partners.

Official University Profile

Eran YahavView profile

Associate Professor

National and Kapodistrian University of AthensGreece

Eran Yahav is an Associate Professor in the Computer Science Department at the Technion - Israel Institute of Technology. He previously served as a research staff member at IBM T.J. Watson Research Center from 2004 to 2010. His academic journey began with a B.Sc. from the Technion in 1996, followed by a Ph.D. from Tel Aviv University in 2005. Yahav's research focuses on program analysis, program synthesis, program verification, and machine learning for programming. His work bridges theoretical foundations with practical applications, particularly in developing techniques that help programmers work more effectively with complex frameworks and APIs. He has pioneered approaches that combine static analysis with machine learning to address challenges in code search, completion, and understanding. His recent work heavily intersects with neural network applications to programming tasks, demonstrating how deep learning can enhance traditional program analysis techniques. His publication record shows a clear evolution from traditional program analysis and verification toward integrating machine learning with programming language processing. The most recent articles reveal a strong focus on neural methods for code understanding, including structural language models, adversarial examples for code models, and neural approaches to binary analysis and program synthesis. This represents a significant shift toward leveraging AI techniques to solve longstanding problems in programming languages and software engineering. Yahav has received numerous accolades including the prestigious Alon Fellowship for Outstanding Young Researchers, the Andre Deloro Career Advancement Chair in Engineering, and an ERC Consolidator Grant. He also earned best paper awards at ISSTA 2006 and 2007. As an advisor, Yahav has mentored numerous Ph.D. and Master's students who have gone on to make significant contributions in academia and industry. His research has been supported by substantial grants, including the ERC Consolidator Grant. He also serves as CTO at Tabnine, demonstrating the practical impact of his research. Yahav leads multiple research projects including PRIME (Programming with Millions of Examples), Fender (Preserving Correctness under Weak Memory Models), Saint (Synthesis using Abstract Interpretation), and several others focused on program analysis, verification, and synthesis. His work often involves building practical tools that translate theoretical advances into usable software engineering solutions.

Official University Profile

Mohamed Faouzi AtigView profile

Professor

National and Kapodistrian University of AthensGreece

Mohamed Faouzi Atig is a Professor in Computer Systems at Uppsala University's Department of Information Technology since July 2021, following a progression from Assistant Professor (2014-2018) to Associate Professor (2018-2021). His academic career began with a post-doctoral position at Uppsala University (2010-2012) after earning his PhD from University of Paris Diderot-Paris 7 in 2010, followed by a docent degree (habilitation equivalent) from Uppsala University in 2017. His research focuses on formal verification of concurrent and infinite-state systems, with particular expertise in model checking , weak memory models (including x86-TSO, Release-Acquire), and automata theory applied to string constraints. His work bridges theoretical foundations with practical verification techniques for modern hardware and programming language semantics. Analysis of his publication record reveals a sustained focus on verification challenges in concurrent systems, evolving from foundational work on memory models (2015) to sophisticated techniques for string constraints (2017) and persistent memory (2024-2025). His research demonstrates consistent contributions to top venues like PLDI and POPL, with increasing complexity in handling real-world memory models while maintaining theoretical rigor. At Uppsala University, he has served on program committees for major conferences including POPL, VMCAI, and SPLASH, demonstrating active engagement with the programming languages research community.

Official University Profile

Minki ChoView profile

Research Fellow

National and Kapodistrian University of AthensGreece

Minki Cho is a Research Fellow in the Department of Computer Science and Engineering at Seoul National University, South Korea. Having completed their Ph.D. in August 2023 with a thesis titled "Simplifying Reasoning under Weak Memory Concurrency," they continue active research while maintaining institutional affiliation. Cho's educational background includes: Sep. 2017 - Aug. 2023: Ph.D. Computer Science and Engineering, Seoul National University Mar. 2014 - Feb. 2017: B.S. Computer Science and Engineering, B.S. Philosophy of Mathematics and Logics (double major), Seoul National University Mar. 2011 - Feb. 2014: Seoul Science High School Cho's research focuses on Verified Compilation , Relaxed Memory Concurrency , and Program Logic , bridging theoretical foundations with practical applications in programming language design and verification. Their work addresses fundamental challenges in weak memory models, compiler optimizations, and formal verification frameworks, with particular emphasis on developing rigorous semantic models that enable practical compiler optimizations while maintaining program correctness. Cho's publication record demonstrates consistent contributions to top-tier venues including PLDI, POPL, and OOPSLA from 2020-2025, showing evolution from foundational work on relaxed memory concurrency toward more comprehensive verification frameworks supporting complex language features like integer-pointer casting and liveness properties. Recognition for Cho's work includes: PhD Dissertation Award, Department of Computer Science and Engineering, Seoul National University (2023) Gold medal in University Students Contest of Mathematics, Korean Mathematical Society (2014) Prior to completing their Ph.D., Cho gained teaching experience as a TA for: Computational Civilization (2020 Spring) Programming Languages (2019 Fall) Principles and Practices of Software Development (2019 Spring/2018 Spring) Principles of Programming (2018 Fall)

Official University Profile

Ori LahavView profile

Professor

National and Kapodistrian University of AthensGreece

Ori Lahav is a faculty member in the School of Computer Science at Tel Aviv University. He holds a PhD from Tel Aviv University (supervised by Arnon Avron), completed postdoctoral research at Tel Aviv University (hosted by Mooly Sagiv) and MPI-SWS in Germany (hosted by Viktor Vafeiadis and Derek Dreyer). His research is supported by an ERC Starting Grant and ISF Grant. His research focuses on programming languages, verification, concurrency, and relaxed memory models, with additional interests in proof theory, semantics of non-classical logics, and automated reasoning. His work bridges theoretical foundations with practical applications in compiler design, hardware verification, and distributed systems. Lahav's publications consistently explore concurrency paradigms, weak memory models, and verification techniques. Recent works emphasize formal methods for RDMA, persistent memory, compositional semantics, and automated tooling for memory consistency. Awards: Best Paper & Best Student Paper Awards (DISC 2024) Distinguished Paper Award (OOPSLA 2021) Best Paper Award (TABLEAUX 2017) Distinguished Paper Award (PLDI 2017) Best Paper Award (ECOOP 2017) Kleene Award for Best Student Paper (LICS 2013) He advises PhD and MSc students including Yoav Ben Shimon, Yotam Dvir, and Roy Margalit. His group investigates shared-memory concurrency, denotational semantics, and verification tools. Lahav co-organizes conferences (VMCAI 2024) and Dagstuhl seminars (2023, 2026). He teaches courses on Programming Language Foundations, Discrete Mathematics, and Weak Memory Concurrency.

Official University Profile

Umang MathurView profile

Assistant Professor

National and Kapodistrian University of AthensGreece

Umang Mathur is a Presidential Young Professor (Assistant Professor) in the School of Computing at the National University of Singapore (NUS), where he leads the FOCS Lab and is affiliated with PLSE@NUS (Programming Languages and Software Engineering group). He has established himself as a leading researcher in Formal Methods, with significant contributions to concurrency analysis and program verification. Dr. Mathur received his PhD from the University of Illinois at Urbana-Champaign under Prof. Mahesh Viswanathan. Prior to joining NUS, he worked as a Research Scientist at Facebook Inc. and as a Research Fellow at the Simons Institute for the Theory of Computing. His doctoral work was supported by a Google PhD Fellowship. PhD: University of Illinois at Urbana-Champaign Current Position: Presidential Young Professor at NUS School of Computing Previous Positions: Research Scientist at Facebook, Research Fellow at Simons Institute His research spans Formal Methods and Logic with applications to Programming Languages, Software Engineering, and Cyber-Physical Systems. Dr. Mathur specializes in developing algorithmic techniques for analysis of concurrent software and understanding decidability boundaries in verification and synthesis. His work bridges theoretical foundations with practical implementations, making verification techniques more efficient for real-world systems. Analysis of his recent publications reveals a strong focus on practical concurrency analysis, with many papers addressing race detection, deadlock prediction, and memory model verification. His research consistently demonstrates how theoretical computer science can solve practical software engineering challenges, particularly in making verification techniques scalable and efficient for industrial applications. Google PhD Fellowship ESEC/FSE 2018 Distinguished Paper Award ASPLOS 2022 Best Paper Award POPL 2023 ACM SIGPLAN Distinguished Paper Award CPP 2024 Distinguished Paper Award Dr. Mathur actively mentors numerous PhD students, Master's students, and undergraduates through the FOCS Lab. His research group has received support from Google Research grants and other funding sources. He serves on program committees for major conferences including PLDI, POPL, and ASPLOS, and has organized events like PLMW@PLDI. His teaching includes courses on Data Structures and Algorithms, Foundations of Logic in Computer Science, and advanced topics in Programming Languages. As director of the FOCS Lab, Dr. Mathur oversees a vibrant research group focused on foundational aspects of computer science with direct applications to programming languages and software engineering. The lab maintains strong international collaborations and regularly publishes in top-tier venues, reflecting its significant contributions to the field of formal methods and programming languages.

Official University Profile