Compilers and Runtime Environments Professors and Supervisors

Sang-Hoon Kimمشاهده پروفایل

دانشیار

National and Kapodistrian University of AthensGreece

Sang-Hoon Kim is an Associate Professor in the Department of Software and Computer Engineering and Department of Artificial Intelligence at Ajou University, South Korea. He leads the Systems Software Lab (Paldal Hall 1004-2) and maintains active collaborations with Virginia Tech as a Visiting Scholar since August 2024. His academic journey includes a Ph.D. in Computer Science from KAIST (2016) under advisors Seungryoul Maeng and Jin-Soo Kim, and a B.S. in Computer Science from KAIST (2002). His research spans operating systems, memory management, and storage systems with focus on mobile platforms, heterogeneous architectures, and SSD technologies. Key interests include memory fragmentation control , distributed thread execution , key-value storage optimization , and resource disaggregation . His work bridges theoretical innovation with practical system implementations, particularly for mobile and datacenter environments. Kim's publication portfolio shows consistent output in top-tier venues including USENIX FAST, VLDB, ICDCS, and ASPLOS. His research demonstrates evolution from mobile memory management (2015-2017) toward distributed systems and hardware-aware software (2019-present), with recent emphasis on resource-disaggregated environments and heterogeneous-ISA computing. The 2024 Best Paper Award at USENIX FAST highlights his impact in storage systems research. Best Paper Award at USENIX FAST'24 Multiple patents including US-9588912B2 for memory control He directs significant research projects funded by ETRI, NRF, and US ONR, including current work on memory-centric computing systems (2020-2023) and disaggregated non-volatile memory systems using RDMA (2018-2020). His Systems Software Lab maintains strong industry partnerships with Samsung Electronics and NHN, with prior projects improving Android memory management and developing SSD-based storage systems for large-scale internet services.

پروفایل رسمی دانشگاه

Anil Madhavapeddyمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Anil Madhavapeddy is the Professor of Planetary Computing at the University of Cambridge Computer Laboratory, where he co-leads the Energy & Environment Group and is a member of the Systems Research Group. He is also a Fellow at Pembroke College where he serves as Director of Studies in Computer Science. Madhavapeddy completed his PhD from the University of Cambridge in 2003 and his BEng in Information Systems Engineering from Imperial College in 1999. He holds a JM Keynes Fellowship since 2022 for his work combining computer science with economics, and serves on the management committee of the Cambridge Conservation Initiative where he co-directs 4C (Cambridge Centre for Carbon Credits) and the Centre for Earth Observation. His research spans computer systems and programming languages with a strong focus on applying these technologies to global conservation, biodiversity, and climate change challenges. He leads the OCaml Labs group and has made significant contributions to open-source projects including OCaml, Docker, Xen, and OpenBSD. His work often bridges computer science with environmental science, developing computational approaches to address planetary-scale challenges. Madhavapeddy's recent publications demonstrate a clear trajectory toward integrating programming language research with environmental monitoring and conservation. His work spans from foundational programming language techniques to applied geospatial computing systems, with increasing emphasis on biodiversity measurement, carbon credit systems, and planetary-scale environmental monitoring. JM Keynes Fellowship (2022-present) As an educator, Madhavapeddy teaches undergraduate courses including Foundations of Computer Science, Software & Security Engineering, and Cloud Computing. He mentors MPhil and PhD students and co-founded the award-winning book 'Real World OCaml' (2nd Edition, 2022). He has co-founded several companies including Unikernel Systems, High Energy Magic, Segfault, and Tarides to translate research into real-world impact. Madhavapeddy leads the OCaml Labs group at Cambridge and works closely with the Energy & Environment Group, collaborating with colleagues from Plant Sciences, Zoology, Economics, and NGOs including UNEP-WCMC and the IUCN. His current efforts are primarily focused on conservation technology through partnerships with organizations like Canopy PACT.

پروفایل رسمی دانشگاه

Kunle Olukotunمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Kunle Olukotun is a Professor of Electrical Engineering and Computer Science at Stanford University's School of Engineering, where he has been faculty since 1991. He directs the Stanford Pervasive Parallelism Lab (PPL) and co-leads the Transactional Coherence and Consistency (TCC) project. His research focuses on computer architecture, parallel programming environments, and scalable parallel systems. Key areas include chip multiprocessors (CMPs), transactional memory systems, domain-specific languages (DSLs) for heterogeneous computing, and hardware-software co-design for machine learning workloads. His work bridges theoretical foundations with practical systems implementation. Notable contributions include the Stanford Hydra research project (one of the first chip multiprocessors with thread-level speculation), founding Afara Websystems (acquired by Sun Microsystems), and developing the Niagara processor architecture. His DSL frameworks like Green-Marl and Spatial enable efficient graph analysis and hardware acceleration. His publications reveal strong trends in parallel systems evolution: from foundational CMP research (2000s) to transactional memory (2004-2010), then DSLs for heterogeneous computing (2010-2015), and currently foundation model systems (2023-2025). Subfield analysis shows consistent focus on hardware-software co-design, sparse computation, and compiler techniques across decades. ACM Fellow (2006) for contributions to multiprocessors on a chip and multi-threaded processor design Best Paper Award at IEEE International Symposium on Workload Characteristics (IISWC '10) for EigenBench Olukotun actively mentors researchers through the Stanford Pervasive Parallelism Lab (PPL), which seeks to proliferate parallelism across application domains. His projects have secured significant industry partnerships, including the acquisition of his startup Afara Websystems by Sun Microsystems. Current research focuses on compiler frameworks for foundation model systems and hardware acceleration for sparse machine learning workloads, supported by collaborations with major tech companies. He leads the Stanford Pervasive Parallelism Lab (PPL), which develops compiler and runtime systems for heterogeneous architectures. The lab's work spans DSLs, hardware acceleration, and parallel programming models, with strong industry ties to companies like NVIDIA and Google. Current initiatives include the Mosaic compiler framework and Stardust architecture for sparse tensor computation.

پروفایل رسمی دانشگاه

Vincent Weaverمشاهده پروفایل

دانشیار

University of MaineUnited States

Vincent Weaver is an Associate Professor in the Electrical and Computer Engineering Department at the University of Maine's College of Engineering. He leads the VMW Research Group, focusing on low-level systems research including hardware performance counters, computer architecture, and operating systems. Weaver received his BS in Electrical Engineering from the University of Maryland College Park in December 2000, followed by MS (January 2009) and PhD (May 2010) degrees in Electrical and Computer Engineering from Cornell University. He joined the University of Maine faculty in July 2012 as an Assistant Professor and earned tenure and promotion to Associate Professor in September 2018. His research centers on hardware performance analysis, architectural simulation, and systems programming with emphasis on Linux kernel development and embedded systems. Weaver's work bridges theoretical computer architecture with practical systems implementation, often resulting in open-source tools that advance the field. His publications reveal a consistent focus on performance analysis techniques, code optimization, and security through low-level system understanding. Weaver maintains an active teaching schedule including courses in embedded systems, operating systems, and network engineering. He values students with strong programming skills and encourages open source contributions as part of the learning process. His research group provides hands-on experience with cutting-edge processor architectures and performance analysis tools.

پروفایل رسمی دانشگاه

Limin Jiaمشاهده پروفایل

استاد پژوهش

IMDEA Software InstituteSpain

Limin Jia is a Research Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University, with a courtesy appointment in the Computer Science Department. She is affiliated with CyLab, CMU's security and privacy research institute. She received her PhD in Computer Science from Princeton University and a BE from the University of Science and Technology in China. Her research applies formal techniques to enhance software security, focusing on programming languages and distributed systems. Key interests include: Language-based security mechanisms Formal verification of distributed systems Secure compilation techniques Intermittent computing foundations Her publications demonstrate strong emphasis on security guarantees in programming languages (Rust/WebAssembly), formal methods for intermittent systems, and software supply chain security. Recent works frequently address type systems, compiler verification, and energy-constrained computing. Dr. Jia maintains an extensive advising portfolio with current and former students spanning PhD and Master's programs. She teaches foundational security courses including Browser Security and Introduction to Information Security .

پروفایل رسمی دانشگاه

Zhou Yangمشاهده پروفایل

استادیار

Max Planck Institute for Security and PrivacyGermany

Zhou Yang is an Assistant Professor at the University of Alberta and Fellow at the Alberta Machine Intelligence Institute (Amii), with research focusing on the intersection of software engineering and artificial intelligence. His academic journey includes a Ph.D. from Singapore Management University, an M.Sc. in Software System Engineering from University College London, and undergraduate studies at Yangzhou University. His research interests span Software Engineering, Artificial Intelligence, AI for Software Engineering (AI4SE), Software Engineering for AI (SE4AI), Large Language Models, and Cybersecurity. Yang's work explores how human and AI collaboration can improve code writing, how AI impacts open-source communities, and how developers build software in emerging environments like VR/AR. His recent publications demonstrate strong trends in code language models, with significant contributions to ASE, ICSE, ISSTA, and top journals like TOSEM and TSE. His research addresses critical challenges including token efficiency in code generation, user perception of AI coding assistants, privacy preservation in code models, and fairness in AI systems. 2024 IEEE Computer Society Best Paper Award (1 out of 183 submissions) ACM Distinguished Paper Award from ISSTA 2024 Distinguished Reviewer Award from Internetware 2024 SMU Research Staff Excellence Award (1 of 4 university-wide) SMU Presidential Fellowship Award SMU Dean's List Award 1st Place in ACM Student Research Competition at ICSE 2024 Yang actively mentors graduate students with regular one-on-one meetings, constructive feedback, and support for top-venue publications. He provides full funding through teaching assistantships and research grants, including travel support for conferences. His lab focuses on responsible research conduct and societal implications of AI work. Though early-career, he actively builds professional networks for students through collaborations and supports diverse career paths in academia and industry. He leads research in the Alberta Machine Intelligence Institute, focusing on practical applications where software engineering principles enhance AI systems and where AI techniques solve real-world software engineering challenges.

پروفایل رسمی دانشگاه

Đorđe Žikelićمشاهده پروفایل

استادیار

Max Planck Institute for Security and PrivacyGermany

Đorđe Žikelić is an Assistant Professor of Computer Science at the School of Computing and Information Systems at Singapore Management University (SMU) in Singapore. He completed his PhD in 2023 at the Institute of Science and Technology Austria (ISTA) under Krishnendu Chatterjee and Petr Novotný, receiving both Outstanding PhD Thesis and Outstanding Scientific Achievement awards. Prior to his doctorate, he earned bachelor's and master's degrees in mathematics from the University of Cambridge. His educational background includes: PhD in Computer Science, Institute of Science and Technology Austria (ISTA), 2023 Bachelor's and Master's in Mathematics, University of Cambridge Dr. Žikelić's research focuses on advancing formal methods to ensure software and AI systems are correct, safe, and trustworthy. His work bridges theoretical aspects of formal reasoning about probabilistic systems with practical automated verification methods. His primary research interests span three interconnected areas: Program Analysis and Verification: He develops techniques for analyzing probabilistic programs, numerical programs, and efficient quantifier elimination methods, addressing fundamental challenges in verifying complex software systems. Trustworthy AI and Safe Autonomy: He creates formal verification frameworks for learning-enabled control systems and neural networks, ensuring AI operates safely in uncertain environments through methods like runtime monitoring and certificate repair. Probabilistic System Verification: He explores broader applications including bidding games on graphs and blockchain protocol analysis, extending formal methods to novel domains beyond traditional finite-state verification. His publication trajectory shows a consistent progression from theoretical foundations to practical applications, with recent work increasingly focused on integrating formal verification with machine learning. His 2024-2025 publications demonstrate growing expertise in verifying learning-based systems and developing practical tools like PolyQEnt for quantified entailment solving. His scientific achievements have been recognized with: Outstanding PhD Thesis Award at ISTA Outstanding Scientific Achievement Award at ISTA Distinguished Paper Award at FM 2024 Dr. Žikelić serves on program committees for major conferences including TACAS, PLDI, AAAI, and CAV. He actively mentors through the Programming Languages Mentoring Workshop (PLMW) at PLDI 2025. His research group at SMU focuses on developing novel algorithms for verifying correctness of programs and AI systems, with current projects spanning formal methods, artificial intelligence, and programming languages.

پروفایل رسمی دانشگاه

Anitha Gollamudiمشاهده پروفایل

استادیار

University of Massachusetts LowellUnited States

Anitha Gollamudi is an Assistant Professor in the Department of Computer Science at the Miner School of Computer and Information Sciences, University of Massachusetts Lowell. She teaches core courses including Systems Security (COMP 5300), Compiler Construction (COMP 4060/5340), and Organization of Programming Languages (COMP 3010). Her research focuses on language-based security through hardware-assisted mechanisms, cryptography, and formal methods. Current projects include: Automatic compartmentalization of Trusted Execution Environment (TEE) programs Formal foundations of Fully Homomorphic Encryption (FHE) compilers Privacy-preserving machine learning with encrypted learning Analysis of her 8 recent publications (2016-2025) reveals dominant themes in TEE security and secure compilation. Key contributions address memory safety in WebAssembly, authorization logic for computation principals, and formal verification of cryptographic systems. Her work consistently bridges theoretical foundations with practical implementations for real-world security challenges. No scientific awards were mentioned in the available information. Professor Gollamudi actively mentors students across levels, currently advising PhD candidates Wesley B. Nuzzo and Samuel Dodson alongside undergraduate Benjamin Houle. Her former students include Nam Bui, James Chen, Yuka Akiyama (honors thesis), and Andrew Eggleston. She emphasizes collaborative research and encourages prospective students to contact her with research interests and academic background. She leads a research group focused on applying programming language techniques to security problems, with ongoing projects targeting enclave placement optimization, FHE correctness verification, and encrypted machine learning frameworks.

پروفایل رسمی دانشگاه