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

Viktor Vafeiadisمشاهده پروفایل

پژوهشگر

• Weak Memory Models
• Concurrency
• Program Verification
• +۴ مورد دیگر

Viktor Vafeiadis is a tenured researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Germany. He received his BA and PhD from the University of Cambridge (2004, 2008) and worked as a postdoctoral researcher at Microsoft Research Cambridge and the University of Cambridge before joining MPI-SWS in 2010. His research focuses on concurrency , verification of concurrent programs, weak memory consistency , weak persistency , and formal semantics of programming languages. Research Areas: Weak Memory Models, Program Verification, Persistent Programming, Automated Model Checking Key Tools: Cave (automated verification tool), GenMC (model checker), Kater (consistency checker) His recent work explores linearizability under relaxed memory , mixed-size memory accesses , and formalizing ARMv8 persistency . Awards include the ACM SIGPLAN John C. Reynolds Award (2008), ERC Consolidator Grant (2020), and Robin Milner Young Researcher Award (2022). Selected Awards: ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award (2008) ERC Consolidator Grant (2020) ACM SIGPLAN Robin Milner Young Researcher Award (2022) Distinguished Paper Awards: PLDI'17, OOPSLA'21, ECOOP'17 He has mentored numerous PhD students including Ellen Arlt , Pavel Golovin , and Aristotelis Koutsouridis , while alumni advisees include Soham Chakraborty and Michalis Kokologiannakis . His collaborative work spans institutions like University of Cambridge , Microsoft Research , and ETH Zürich .

• Cloud Computing
• Distributed Systems
• Grid Computing
• +۸ مورد دیگر

Christine Morin is a Professor at INRIA - Institut National de Recherche en Informatique et en Automatique, focusing on advanced research topics in cloud computing, distributed systems, and high-performance computing. Fields of Research: Cloud Computing, Distributed Systems, Grid Computing, Virtualization, Parallel Computing, High Performance Computing, Fault Tolerance, Resource Management, Operating Systems, Autonomic Computing, Energy Efficiency Long-term Research Contributions: SLA management in cloud environments, self-adaptable systems, energy-efficient computing, distributed application deployment Her work has been particularly influential in the areas of cloud security, SLA verification, fault tolerance mechanisms, and energy-efficient computing. She has pioneered approaches to self-adaptable security monitoring in IaaS clouds and developed innovative frameworks for cloud bursting PaaS environments. Christine Morin has published extensively on topics related to: Autonomic cloud management systems like Snooze and Merkat Energy-aware resource allocation and consumption models Message logging and fault tolerance protocols Distributed application deployment under SLA constraints Virtual organization support in grid operating systems Her research has contributed significantly to the evolution of cloud computing infrastructure, particularly in the areas of security monitoring, resource management, and energy efficiency.

• High-Performance Computing
• Parallel I/O Systems
• Scientific Computing
• +۳ مورد دیگر

Venkatram Vishwanath is a Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), affiliated with the College of Engineering. His research focuses on high-performance computing (HPC), parallel I/O systems, machine learning applications, and scientific computing. He has contributed to advancing scalable data management, performance optimization on supercomputers, and interdisciplinary projects such as the HACC cosmological simulation framework. Collaborations with institutions like Argonne National Laboratory highlight his work in bridging computational science with practical applications. Key areas of expertise include topology-aware data aggregation, GPU performance modeling, and accelerating I/O operations for large-scale simulations. His work on frameworks like vl3 and PIDX has improved parallel data handling and visualization. Awards and recognitions are not explicitly listed in the provided data, but his extensive publication record and leadership in HPC projects reflect significant contributions to the field.

Tianyin Xuمشاهده پروفایل

دانشیار

• Cloud Computing
• Datacenter Systems
• System Reliability
• +۴ مورد دیگر

Tianyin Xu is an Associate Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), with a courtesy appointment in the Department of Electrical and Computer Engineering. He leads research in cloud and datacenter systems reliability, security, and configuration management. His work bridges theoretical foundations with practical implementations that have been adopted in real-world systems. Dr. Xu earned his PhD from UC San Diego and has held positions at Microsoft Research Asia, Facebook, and has collaborated with industry partners including VMware, Intel, and IBM. His research has been published in top-tier systems conferences including OSDI, SOSP, NSDI, ASPLOS, and EuroSys. His primary research interests focus on making computer systems reliable and secure at cloud and datacenter scale. He investigates approaches to help systems defend against software bugs, configuration errors, and design flaws. His work often combines formal methods with practical systems building to create tools that detect and prevent failures in production environments. Analysis of his recent publications shows a strong focus on cloud reliability, AI for systems, memory management, and configuration validation. His work increasingly integrates AI techniques with traditional systems approaches, particularly in using large language models for configuration validation and multi-agent systems for reliability engineering. There's also a consistent thread of work on memory systems, particularly with emerging technologies like CXL. 2025 Best Paper Award at ASPLOS'25 (cxlfork) 2025 Spotlight at ICML'25 (ITBench) 2024 Jay Lepreau Best Paper Award at OSDI'24 (Anvil) 2024 C.W. Gear Outstanding Junior Faculty Award 2022 NSF CAREER Award 2021 Facebook Academic of the Month 2016 Jay Lepreau Best Paper Award at OSDI'16 (PCheck) Dr. Xu actively advises numerous PhD, Master's, and undergraduate students, with many alumni securing positions at top tech companies and academic institutions. He serves on program committees for major systems conferences and co-organizes the UIUC Systems Research Seminar. His research is supported by NSF, VMware, Facebook, IBM, Intel, Boeing, Azure, GCP, and GitHub. He is also a co-lead of Infrastructure for Trusted and Confidential Computing at IIDAI and co-editor of SIGOPS Blog.

• Operating Systems
• Energy-Aware Systems
• Power Management
• +۴ مورد دیگر

Frank Bellosa is a Professor and head of the Operating Systems Group at the Karlsruhe Institute of Technology (KIT). Previously, he held roles at the University of Erlangen, including Assistant Professor and researcher in the Operating Systems Department. He earned his PhD from the University of Erlangen in 1998, focusing on memory-conscious scheduling in multiprocessor systems. His research interests center on energy-aware systems, including OS-directed power management, thermal management in distributed systems, and flexible operating system architectures. Key projects include Event-Driven Clock Scaling (Process Cruise Control) and Energy-Aware Memory Management. He has advised numerous students on topics like temperature-aware scheduling and power management for embedded systems. Bellosa's publications span dynamic thermal management, cooperative I/O, and energy-efficient file systems. His work emphasizes reducing energy consumption while maintaining performance through innovative OS mechanisms. He has contributed to international conferences and workshops, including EuroSys and USENIX, and serves on program committees for major systems conferences. Current roles include leading the Operating Systems Group at KIT and contributing to initiatives like the Disruptive Memory Systems workshop. His research bridges hardware and software, addressing challenges in modern computing systems' efficiency and scalability.

Thomas Schierlمشاهده پروفایل

پژوهشگر

• Video Coding
• Wireless Communication Protocols
• Multimedia Systems
• +۳ مورد دیگر

Dr. Thomas Schierl is the Head of the Video Communication and Applications Department at Fraunhofer Heinrich Hertz Institute (HHI) in Berlin. Since 2010, he has led research groups in multimedia communications and video coding, co-developing key video coding standards such as H.264 SVC and HEVC. He currently heads the Video Coding & Analytics department since 2015, focusing on video compression, wireless transmission, and standardization. Education: Diplom-Ingenieur (Computer Engineering) from Berlin University of Technology, 2003 Dr.-Ing. in Electrical Engineering and Computer Science, Berlin University of Technology, 2010 Research interests span video over wireless networks, system integration of video codecs, and cellular network protocols. He contributed to MPEG-2 Transport Stream standards and co-authored IETF RFCs for video payload formats. In 2014, he received the Emmy Award for MPEG-2 Transport Stream development. Active in standardization bodies: JCT-VC, MPEG, IETF, 3GPP, and DVB. His work includes high-level syntax for HEVC parallelism and V2X resource pooling for 5G NR. Labs/Teams: Leads the Video Coding & Analytics team at HHI, specializing in cutting-edge video compression and communication technologies.

Thomas Zeiserمشاهده پروفایل

پژوهشگر

• High-Performance Computing
• Lattice Boltzmann Methods
• Computational Fluid Dynamics
• +۳ مورد دیگر

Dr. Thomas Zeiser serves as Head of Systems & Services and Chief Operating Officer HPC at NHR@FAU (Center for National High Performance Computing Erlangen) at Friedrich Alexander University Erlangen-Nuremberg. He leads the Systems & Services group of NHR@FAU and HPC4FAU since the end of 2020 and serves as deputy for NHR@FAU in the NHR Betreiberausschuss. His work focuses on transitioning from serving FAU only to national center operations, managing HPC systems, procuring new infrastructure, financial controlling of NHR@FAU's budgets, and supporting planning for a new data center building. Dr. Zeiser's research interests center around High-Performance Computing with specific expertise in Lattice Boltzmann Methods , large-scale simulations, evaluation of HPC hardware and software, and efficient operation of HPC systems. His work bridges the gap between theoretical computational methods and practical implementation in high-performance environments. He has implemented the first job-based job and performance monitoring for RRZE's HPC systems and has extensive experience in procurement of HPC infrastructure. Analysis of Dr. Zeiser's publication record reveals a consistent focus on practical applications of computational methods in HPC environments. His research demonstrates a progression from fundamental lattice Boltzmann method development toward increasingly complex system-level concerns including fault tolerance, performance monitoring, energy efficiency, and scalable implementations. The publications show strong collaboration patterns with researchers at FAU and other German institutions, particularly in the areas of computational fluid dynamics and parallel computing. Dr. Zeiser regularly serves as a reviewer for various journals and compute time commissions of different HPC centers. He is also one of the local organizers for the Ferienakademie of TUM, FAU, and Universität Stuttgart held in Sarntal. His work with NHR@FAU positions him at the forefront of national high-performance computing infrastructure in Germany. At NHR@FAU and RRZE (Regional Computing Center Erlangen), Dr. Zeiser leads teams responsible for operating some of Germany's most powerful academic supercomputing resources. His group plays a critical role in supporting computational research across multiple disciplines at FAU and increasingly at the national level through the NHR initiative.