جست‌وجوی استاد و پژوهشگر

Tony Hoskingمشاهده پروفایل

استاد

• Programming Language Implementation
• Memory Management
• Garbage Collection
• +۹ مورد دیگر

Tony Hosking serves as Professor and Director of the School of Computing at the Australian National University, with additional research contributions through Data61 (formerly NICTA). Previously, he spent 22 years on the faculty at Purdue University. His leadership extends to major programming languages conferences including serving as General Chair for PPoPP 2026. Education BSc in Computer Science from University of Adelaide MSc in Computer Science from University of Waikato PhD in Computer Science from University of Massachusetts at Amherst Hosking's research centers on programming language implementation with particular expertise in memory management systems. His work bridges theoretical foundations and practical systems, focusing on garbage collection algorithms, virtual machine design, and compiler optimizations for managed runtimes. He investigates how hardware architectures can better support language features through runtime systems. Professional Recognition Named ACM Distinguished Scientist in 2012 ACM Life Member status Active IEEE Member Hosking maintains extensive service to the programming languages community through conference organization and committee work. He has held leadership roles across PLDI, SPLASH, ISMM, and PPoPP conferences since 2013, including program committees, steering committees, and session chair positions. His GitHub activity shows continued technical engagement through 2025.

• Memory management
• Concurrent programming
• Formal verification
• +۴ مورد دیگر

Jaehwang Jung is a researcher affiliated with Korea Advanced Institute of Science and Technology (KAIST) in South Korea and Rebellions Inc. They have been actively publishing research papers at premier programming languages conferences including PLDI and POPL from 2020 through 2025. Dr. Jung's research focuses on memory management systems and formal verification techniques for concurrent programming. Their work primarily centers around developing and verifying memory reclamation techniques using separation logic, with particular emphasis on pointer-based and epoch-based approaches. They have made significant contributions to the understanding of relaxed memory models and their implications for concurrent data structure verification. Analysis of their publication history reveals a clear progression from foundational work on memory reclamation (2020) toward increasingly sophisticated verification techniques for concurrent systems. Their research spans both theoretical aspects of separation logic and practical implementations of memory management systems, demonstrating strong connections between formal methods and systems programming. As an active member of the programming languages community, Dr. Jung has served as an Artifact Evaluator for POPL 2021 and continues to contribute to advancing the state of the art in concurrent program verification.

• High-Performance Computing
• Parallel Processing
• Code Optimization
• +۳ مورد دیگر

Georgios Goumas is an Associate Professor in the Division of Computer Science at the School of Electrical and Computer Engineering, National Technical University of Athens. His research focuses on high-performance computing, parallel systems, and efficient resource management for modern computing platforms. Research domains: Serverless computing scalability and memory management Quantum algorithm design for classification Virtual memory optimization Hardware acceleration for sparse computations NUMA-aware concurrent data structures Recent innovations include DaeMon for disaggregated systems, eBPF-based Linux memory management, and multi-GPU matrix multiplication optimizations. Publications demonstrate consistent advancement in low-level system efficiency across quantum, serverless, and heterogeneous computing domains. Dr. Goumas teaches undergraduate and graduate courses on Operating Systems, Parallel Processing, and Code Optimization Techniques. His lab develops open-source tools like Paralia runtime for auto-tuning linear algebra and FPGA-based accelerators for scientific computing.

Angelos Bilasمشاهده پروفایل

استاد

• Computer Systems
• Computer Architecture
• Storage Systems
• +۲ مورد دیگر

Angelos Bilas is a Professor in the Department of Computer Science at the University of Crete and a collaborating researcher at FORTH-ICS. He holds a B.Eng. from the University of Patras (1993), and M.A. and Ph.D. from Princeton University (1995, 1998). His research focuses on computer systems, storage systems, and computer architecture, with recent emphasis on optimizing memory management and storage efficiency. Bilas has held roles such as Chair of the Department of Computer Science (2016–2020) and coordinated the FP7 EU project IOLanes (2010–2013). He serves on editorial boards, including ACM Transactions on Storage since 2016. His work has been recognized with awards like the Marie Curie Excellent Teams Award (2005–2009) and patents in storage and networking. Current affiliations: University of Crete (Professor), FORTH-ICS (Researcher) Educations: Ph.D. (Princeton, 1998), M.A. (Princeton, 1995), B.Eng. (Patras, 1993) His research interests span storage systems, parallel architectures, and runtime systems. Recent work includes TeraHeap (ASPLOS'23) for big data frameworks and Tebis (EuroSys'22) for LSM key-value stores. His publications emphasize optimization in memory-mapped I/O, storage efficiency, and heterogeneous acceleration. Awards include the Marie Curie Excellent Teams Award and four patents. He has supervised 35+ master's and 8+ Ph.D. students, contributing to over 45 EU/nationally funded projects. Current initiatives include the EVOLVE H2020 project (2019–2021) for HPC and big data integration. Labs/Teams: Active in FORTH-ICS and collaborations with industry on storage and cloud-HPC convergence.

Sam Lindleyمشاهده پروفایل

دانشیار

• Programming Languages
• Type Systems
• Effect Handlers
• +۵ مورد دیگر

Sam Lindley is a Reader in Programming Language Design and Implementation at the Laboratory for Foundations of Computer Science within the School of Informatics at The University of Edinburgh. He holds a prestigious UKRI Future Leaders Fellowship focused on Effect Handler Oriented Programming. His academic career spans multiple institutions including Heriot-Watt University and Imperial College London. His research interests center on programming language theory and implementation, with specific expertise in type systems, effect handlers, session types, and functional programming. Lindley's work bridges theoretical foundations with practical implementation, particularly in compiler design and language semantics. His research has significant implications for language safety, efficiency, and expressiveness. Lindley's publication record demonstrates consistent contributions to top programming languages venues including PLDI, POPL, ICFP, and OOPSLA. His recent work explores modal effect types, scoped effects, and the application of effect handlers to systems programming and WebAssembly. The trend shows increasing focus on practical applications of theoretical concepts in real-world language implementations. Major Awards: UKRI Future Leaders Fellowship in Effect Handler Oriented Programming Lindley has served in significant leadership roles including ICFP 2023 Program Chair and PLDI 2025 Area Chair. He actively participates in the programming languages community through numerous program committees and workshop organization. His research is conducted within the Laboratory for Foundations of Computer Science, a leading center for theoretical computer science research at Edinburgh.

Erez Petrankمشاهده پروفایل

استاد

• concurrent computing
• programming languages
• memory management
• +۵ مورد دیگر

Erez Petrank is a Professor of Computer Science at the Technion - Israel Institute of Technology, where he holds the Andrew and Erna Viterbi Chair. His academic career spans decades with significant contributions to systems research, particularly in memory management and concurrent programming. He has maintained continuous academic service through leadership roles in major conferences including SPAA'24, ISMM 2023, and PPOPP 2021. His research focuses on concurrent computing, programming languages, and systems with special emphasis on memory management. Additional interests include parallelism, cryptography, data structures, approximation algorithms, and distributed computing. Petrank's work bridges theoretical foundations with practical systems implementation, particularly evident in his persistent memory research and garbage collection innovations. Petrank's publication record shows consistent contributions to ACM SIGPLAN conferences over two decades, with recent work focusing on non-volatile memory systems, lock-free data structures, and memory reclamation techniques. His research demonstrates a clear trajectory from foundational memory management concepts toward modern persistent memory architectures, reflecting adaptability to evolving hardware paradigms while maintaining theoretical rigor. H-index: 41 (Google Scholar) Erdos number: 2 62 co-authors across diverse research collaborations Petrank has mentored numerous researchers through his academic position and conference leadership roles, serving on program committees for major venues including PLDI, PPoPP, and ISMM. His professional service includes executive committee membership in ACM SIGPLAN (2009-2012) and steering committee roles for multiple conferences. He maintains active research collaborations with institutions worldwide, as evidenced by his extensive co-author list spanning theoretical computer science to practical systems implementation. His academic lineage traces back through Oded Goldreich, Shimon Even, and Hao Wang to intellectual giants including Isaac Newton and Galileo Galilei, reflecting deep roots in theoretical computer science and mathematics.