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

Andreas Abelمشاهده پروفایل

پژوهشگر

• Microarchitecture Analysis
• Performance Prediction
• Cache Systems
• +۵ مورد دیگر

Dr. Andreas Abel is a postdoctoral researcher at Saarland University working in the Real-Time and Embedded Systems Lab under Prof. Jan Reineke. His work focuses on the intersection of computer architecture, performance analysis, and security, with a particular emphasis on x86 microarchitectures. His research interests span microarchitecture analysis, performance prediction, cache systems, computer security, hardware-software interaction, and reverse engineering. Dr. Abel has made significant contributions to understanding CPU microarchitectures through tools like uops.info, which provides detailed latency, throughput, and port usage data for x86 instructions, and nanoBench, a low-overhead tool for running microbenchmarks on x86 systems. His work bridges theoretical computer science with practical performance analysis, enabling more accurate prediction of program behavior on modern processors. His publication record shows a consistent trajectory from formal methods and model checking in his early career toward increasingly sophisticated analysis of modern processor microarchitectures. Recent work focuses on accurate throughput prediction (FACILE, uiCA), security implications of microarchitectural behavior (Flushgeist), and tools for microbenchmarking (nanoBench). His research demonstrates a unique combination of formal methods expertise applied to practical problems in computer architecture. Dr. Abel has taught various courses at Saarland University including System Architecture, Design and Analysis of Real-Time Systems, and seminars on Resource Sharing in Real-Time Systems and Robustness of Hardware and Software Systems. His teaching spans both undergraduate and graduate levels, reflecting his dual expertise in theoretical computer science and practical systems engineering.

Jan Reinekeمشاهده پروفایل

استاد

• static analysis
• real-time systems
• computer architecture
• +۱ مورد دیگر

Jan Reineke is a Professor of Computer Science at Saarland University , where he leads research at the intersection of hardware and software. His work focuses on timing-predictable microarchitectures, real-time systems, and hardware-software security contracts. Affiliation: Saarland University (since 2012) Previous: Postdoctoral scholar at UC Berkeley (2009-2011) Research Interests include static program analysis, real-time systems, computer architecture, and hardware-related security issues. His group develops tools like LLVMTA , uops.info , and Spectector for cache analysis, microarchitectural profiling, and speculative execution security. Design of timing-predictable processors (RTSS 2018, RTSS 2019) Exact LRU cache analysis (CAV 2017, POPL 2019, RTSS 2019) Detection of speculative information flows (S&P 2020, S&P 2021) Quantitative cache analysis frameworks (RTAS 2025) Recent Articles span cache timing analysis, speculative execution vulnerabilities, and performance modeling. Keywords include Real-Time Systems , Security , Computer Architecture , and Static Analysis , with sub-fields covering cache persistence, hardware-software contracts, throughput prediction, and formal verification of side-channels. Scientific Awards include an ERC Advanced Grant (2021) , multiple best paper awards (RTAS 2025, DATE 2024, CCS 2023), and the Intel Early Career Faculty Honor Program (2012). Advising and Grants : He actively recruits PhD students and postdocs for hardware-software security research, supported by the ERC grant. His lab's alumni include Dr. Sebastian Hahn, and he has hosted numerous student assistants. Labs and Teams : He leads the Real-Time and Embedded Systems Lab at Saarland Informatics Campus, collaborating on projects like uops.info (Intel microarchitectural profiling) and chi (cache hierarchy inference).

Frank Muellerمشاهده پروفایل

استاد

• Parallel Computing
• Quantum Computing
• Real-Time Systems
• +۵ مورد دیگر

Frank Mueller is a Professor in the Department of Computer Science at North Carolina State University's College of Engineering. He maintains an active research and teaching profile with upcoming courses scheduled through 2025, including Parallel Systems (CSC 548), Embedded/Real-Time Systems for Autonomous Driving with Machine Learning, and Quantum Computing. His research interests span multiple cutting-edge computing domains. Mueller is a member of The NSF Quantum Leap Challenge Institute for Robust Quantum Simulation His work bridges theoretical computer science with practical applications in high-performance computing environments. Professor Mueller has been actively involved in numerous conferences including PLDI, PPoPP, LCTES, and IEEE Quantum Week events through 2026, serving on program committees and organizing workshops related to quantum computing and high-performance systems. His teaching portfolio demonstrates significant expertise across multiple domains of computer systems, with courses ranging from foundational operating systems to advanced quantum computing. He has developed specialized teaching resources including the Arc Cluster for parallel systems education and maintains active connections with industry through equipment donations from companies like ARM, Google, and Microsoft.

• Database Systems
• Software Testing
• Program Analysis
• +۷ مورد دیگر

Manuel Rigger is an Assistant Professor at the National University of Singapore's School of Computing, Department of Computer Science. He leads the Trustworthy Engineering of Software Technologies (TEST) Lab, focusing on improving data-centric systems' reliability. Prior to joining NUS, he was a postdoctoral researcher at ETH Zurich and completed his PhD at Johannes Kepler University Linz. His research centers on database systems reliability, software testing, and program analysis. Rigger's work has uncovered over 1,000 unique bugs in critical systems, significantly enhancing real-world software reliability. His research spans automated testing techniques, logic bug detection, query optimization, and compiler technologies, with strong practical impact through widely adopted tools like SQLancer. Rigger's publication record shows consistent high-impact contributions, with recent work focusing on database isolation levels, cardinality estimation testing, and query plan guidance. His research bridges theoretical foundations with practical applications, addressing fundamental challenges in data management systems. The TEST Lab's approach combines traditional testing methods with innovative learning-based techniques to automate database validation at scale. He has received numerous accolades including the EuroSys 2024 Best Paper Award, ICSE 2023 Distinguished Paper Award, and multiple Distinguished Artifact Awards. His work has been recognized with prestigious awards from Amazon Research, Google, and the Singapore government. EuroSys 2024 Best Paper Award for 'Validating Database System Isolation Level Implementations with Version Certificate Recovery' ICSE 2023 ACM SIGSOFT Distinguished Paper Award ASPLOS 2022, OSDI 2020, and OOPSLA 2020 Distinguished Artifact Awards AWS Database Services Amazon Research Award 2024 Singapore Open Research Award 2024 Rigger actively mentors students at all levels, with numerous Master's and Bachelor's theses supervised. His teaching includes courses on software engineering foundations and advanced software testing. He serves on program committees for major conferences including PLDI, ISSTA, and ASPLOS, and organizes workshops like the Fuzzing and Software Security Summer School. His research has practical industry impact with tools like SQLancer being widely adopted in the database community.

Charles Leisersonمشاهده پروفایل

استاد

• Computer Science
• Algorithms
• Parallel Computing
• +۴ مورد دیگر

Charles Leiserson is the Edwin Sibley Webster Professor in the Department of Electrical Engineering and Computer Science (EECS) at MIT. He is renowned for co-authoring the seminal textbook Introduction to Algorithms , now in its fourth edition, which is widely used globally. His research focuses on algorithms, parallel computing, and software performance engineering, with contributions to theoretical computer science and practical systems like the Cilk multithreaded language and the Connection Machine CM-5 architecture. Leiserson’s work spans compiler design (e.g., Pochoir for stencil computations) and high-performance computing frameworks. He explores post-Moore’s Law computational strategies, graph neural networks for financial forensics, and deterministic parallel algorithms. His educational contributions include courses like 6.172 (Performance Engineering of Software Systems) and initiatives in scalable graph learning. His research has led to innovations in parallel programming models, algorithm optimization, and hardware-software co-design. Leiserson’s interdisciplinary work bridges theory and practice, influencing both academic research and real-world applications in finance, cryptography, and supercomputing.

Benjamin Oechsleinمشاهده پروفایل

پژوهشگر

• Operating Systems
• Distributed Systems
• Real-Time Systems
• +۴ مورد دیگر

Benjamin Oechslein is a Researcher at the Department of Computer Science 4 (Distributed Systems and Operating Systems Group) at the University of Erlangen-Nuremberg, part of the Faculty of Engineering. He holds a Diplom-Informatik (Master's equivalent) from the same university, completing his thesis titled Statische WCET Analyse von LLVM Bytecode in 2008 under Prof. Wolfgang Schröder-Preikschat and Dr. Fabian Scheler. His research focuses on invasive computing, real-time systems, parallel operating systems, and resource-aware algorithms for embedded and many-core systems. He has contributed to projects like iRTSS (invasive Runtime Support System) within the SFB/TRR 89 Invasive Computing initiative. Teaching activities include leading exercises and labs for courses such as Betriebssysteme , Betriebssystemtechnik , and Systemnahe Programmierung in C across multiple academic terms from 2009 to 2014. His work spans theoretical and applied aspects of distributed systems, with publications in journals like Journal of Systems Architecture and conferences such as ARCS and CASES. Key technical contributions include developing the OctoPOS parallel operating system and advancing resource-aware algorithms for heterogeneous MPSoCs. His research emphasizes scalability and real-time performance in many-core environments, with applications in image processing and embedded systems.

• Programming Languages
• Program Synthesis
• Program Verification
• +۷ مورد دیگر

Jedidiah McClurg is an Assistant Professor in the Department of Computer Science at Colorado State University, with prior faculty appointments at Colorado School of Mines and the University of New Mexico. He received his Ph.D. in Computer Science from the University of Colorado Boulder in 2018, where he was a member of the CUPLV research group under the supervision of Pavol Cerny. His research focuses on programming languages, program synthesis, verification, and their applications in networking, compilers, and distributed systems. His educational background includes an M.S. in Computer Science from Northwestern University (2013) and a B.S. in Electrical Engineering from the University of Iowa (2009). He has completed internships at Microsoft Research (RiSE Group, 2014) and Rockwell Collins (2011, 2013, 2004). McClurg’s research interests include programming languages, formal verification, software synthesis, software-defined networking, compilers, and system security. His work aims to develop tools and techniques that help programmers write more secure, reliable, and efficient code, especially in safety-critical domains. He has led multiple NSF-funded projects, including FMitF and CRII grants, totaling over $1 million in funding. His recent publications span high-impact venues such as PLDI, CAV, DISC, and SOSR, with topics ranging from neural network optimization and regular expression synthesis to network program verification and FEC code generation. These works reflect a consistent trend toward automating correctness, improving performance, and enabling scalable solutions in systems and networking. NSF CRII: SHF: Foundations for Stateful Network Programming ($175,000) NSF FMitF: Game Theoretic Updates for Network & Cloud Functions ($355,000 for him) NSF FMitF: Robust Enforcement of Customizable Resource Constraints ($250,000 for him) NSF GRFP (awarded to student Lauren Baker) He has advised multiple graduate and undergraduate students, many of whom have secured positions at leading tech companies such as Google, Apple, and Amazon. He is actively involved in academic service, having served on program committees for PLDI, SOSR, CAV, and others, and as a reviewer for journals like IEEE/ACM Transactions on Networking (ToN) and ACM Transactions on Software Engineering (TSE). He also contributes to open-source research via GitHub and maintains a strong online academic presence.

Antonio Barbalaceمشاهده پروفایل

مدرس ارشد

• Operating Systems
• Computer Systems
• Virtualization
• +۱۳ مورد دیگر

Antonio Barbalace is a Senior Lecturer at the Institute for Computing Systems Architecture (ICSA), School of Informatics, The University of Edinburgh. He leads the Systems-Nuts research group and holds key roles including ICSA Lab Manager, interim IoT Lab Manager, and MSc in Computer Science program director. He is also an affiliate member of the Edinburgh Quantum Software Lab and an adjunct Associate Professor in the Department of Electronic and Computer Engineering at Virginia Tech. His research focuses on system software, particularly operating systems, virtualization, and runtime environments for heterogeneous and distributed architectures—from embedded systems to data centers. His work spans OS design (e.g., Popcorn Linux), compiler frameworks (LLVM), real-time systems, scheduling, synchronization, networking, storage, and performance analysis. Recently, he has explored operating systems for Quantum Processing Units and classical simulation of quantum systems. His interests also include power efficiency, fault-tolerance, and security in system software. His recent publications, accepted at ASPLOS'25 and EUROMLSYS'25, highlight innovative work in fused-kernel OS design (Stramash) and kernel-level remote shared memory for AI inference (RMAI), indicating a strong trajectory in high-performance, low-latency system architectures for modern computing paradigms. Scientific Awards: No scientific awards listed in the provided text. Advising and Grants: Antonio actively advises multiple PhD and Master’s students at the University of Edinburgh and has previously supervised students and postdocs at Virginia Tech and Stevens Institute of Technology. His research is supported by current and past projects such as Data-center scale classical simulation of quantum computers, Quantum circuit cutting, Popcorn Linux Next++, and in-storage processing. He has secured funding from sources including ONR and AFOSR during his time at Virginia Tech. Labs and Teams: He leads the Systems-Nuts Research Group , which is part of ICSA and collaborates with the Quantum Software Lab (QSL) at the University of Edinburgh. The group focuses on systems software optimization and quantum computing architecture, supported by hardware testbeds for experimental research.

Steve Zdancewicمشاهده پروفایل

استاد

• Programming Languages
• Computer Security
• Formal Verification
• +۷ مورد دیگر

Steve Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair at the University of Pennsylvania , affiliated with the School of Engineering and Applied Science , Department of Computer and Information Science. He is a leading researcher in programming languages and computer security. University: University of Pennsylvania Department: Computer and Information Science Academic Rank: Professor Research Interests : Programming Languages Formal Verification Computer Security Quantum Programming Type Theory Secure Concurrent Systems Recent Work Trends focus on Coq for formal verification of low-level systems (e.g., LLVM), quantum circuits, and language-based security mechanisms. His work bridges theoretical foundations with practical implementations, emphasizing correctness and security in distributed systems. Scientific Awards : Distinguished Paper Awards (ECOOP 2023, POPL 2020) NSF CAREER award (2004) Alfred P. Sloan Fellow (2009-2010) Christian R. and Mary F. Lindback Award for Distinguished Teaching (2018) Advising : Current Ph.D. students include Calvin Beck Noé De Santo Stephen Mell (co-advised with Osbert Bastani) Francis Rinaldi Joey Velez-Ginorio (co-advised with Konrad Kording) . Former advisees include Nick Rioux (Ph.D. 2025), Paul He (Ph.D. 2024), and Robert Rand (Ph.D. 2018). He has secured grants from NSF Expeditions and TRACTOR program.

• Cryptography
• Algorithm Design
• Compiler Construction
• +۳ مورد دیگر

Mauro Leoncini is a Full Professor at the Department of Physical, Computer and Mathematical Sciences, University of Modena and Reggio Emilia. His academic profile focuses on computer science, specifically in cryptography and compiler design. He teaches courses such as Cryptographic Algorithms (for Computer Science and Mathematics Master's programs) and Compilers (for Computer Science undergraduates). Courses: Cryptographic Algorithms, Compilers Research Areas: Cryptography, Compiler Technology, Social Engineering in Cybersecurity, Algorithm Design Contact: mauro.leoncini@unimore.it His Cryptographic Algorithms course covers asymmetric encryption (RSA, ElGamal), digital signatures, elliptic curve cryptography, and human factors in security vulnerabilities. The Compilers course emphasizes modern compiler architecture (front-end, middle-end, back-end), LLVM IR implementation, and hardware-specific optimizations. Both courses combine theoretical instruction with hands-on laboratory work.

Jannek Squarمشاهده پروفایل

پژوهشگر

• High-Performance Computing
• Parallel Computing
• Code Transformation
• +۵ مورد دیگر

Dr. Jannek Squar is a researcher affiliated with the University of Hamburg and the German Climate Computing Centre (DKRZ). His work focuses on high-performance computing (HPC) infrastructure, code transformation, and parallelization techniques. Academic Rank: Researcher Key Projects: i_SSS (Integrated Support System for Sustainability), HLRE-5 Supercomputer Procurement His research spans automatic code transformation using LLVM , parallelization via OpenMP/MPI , and high-performance I/O optimization . Recent publications highlight applications in sustainable agriculture and compiler-assisted HPC performance analysis. He has supervised multiple theses on topics including elastic cloud solutions, MPI communication modeling, and LLVM-based code verification. No scientific awards are explicitly mentioned in the provided text.

• Cryptography
• Computer Security
• Privacy
• +۳ مورد دیگر

Christian Weinert is a researcher affiliated with the Technical University of Darmstadt, specializing in cryptography and computer security. He completed his PhD in 2021 with a dissertation on practical private set intersection protocols for privacy-preserving applications. His research focuses on: Privacy-preserving technologies including private set operations and contact discovery Secure computation frameworks for machine learning applications Cryptographic protocol design and optimization Mobile security and authentication systems Long-term data protection strategies Weinert's publications demonstrate a consistent focus on practical implementations of cryptographic systems, with recent work emphasizing scalable privacy solutions for federated learning, efficient private information retrieval, and secure computation techniques. His research often bridges theoretical cryptography with real-world applications in systems security.

Utpal Boraمشاهده پروفایل

پژوهشگر

• Computer Architecture
• Programming Languages
• Semantics
• +۳ مورد دیگر

Utpal Bora is a Researcher at the University of Cambridge's Department of Computer Science and Technology. His research focuses on Programming Languages, Semantics, Verification, and Computer Architecture with an emphasis on static analysis of parallel programs, compiler optimization techniques, and performance analysis. He has contributed to projects such as LLOR (automated OpenMP program repair) and Llov (static data-race detection for OpenMP). His work bridges compiler design, parallel computing, and formal methods to improve software reliability and hardware efficiency. Research Interests: Static Analysis of Parallel Programs Compiler Optimization (LLVM) Data-Race Detection in OpenMP Instruction-Level Parallelism (ILP) Performance Modeling (CPI Analysis) Formal Verification of Concurrent Systems Recent work trends show a focus on enhancing parallel programming correctness through automated repair and static analysis tools, alongside optimizing code execution via compiler-level transformations and hardware architecture improvements. His contributions address critical challenges in parallel computing scalability and compiler-driven performance enhancement.

Paul Keirمشاهده پروفایل

مدرس

• High-Performance Parallel Computing
• Compilers for Heterogeneous Architectures
• Functional Programming
• +۵ مورد دیگر

Paul Keir is a Lecturer at the School of Computing, Engineering and Physical Sciences, University of the West of Scotland. He holds a Ph.D. in Computer Science from the University of Glasgow. His research focuses on high-performance parallel computing systems, compilers for GPGPU and heterogeneous architectures, low-power computing, edge computing, secure programming, and functional programming. He has contributed to EU FP7 projects such as Peppher, LPGPU, and CARP, and is a co-investigator on Innovate UK KTP projects (Lumen Research, Visual Management Systems, and Kibble). He leads open-source projects like Curtains and C'est, and is involved with the BSI C++ Panel and Khronos advisory panels for SYCL/OpenCL. Education: Ph.D. in Computer Science, University of Glasgow Research Interests: Dr. Keir's work addresses challenges in parallel programming models for GPGPU systems, compiler optimization, and energy-efficient computing. His interests span metaprogramming, secure programming in C++/Rust, and applications of immersive technologies like virtual/augmented reality in education and smart cities. He also explores functional programming and type systems to ensure software correctness. Grants & Collaborations: Co-Investigator: Innovate UK KTP Projects (Lumen Research, Visual Management Systems, Kibble) EU FP7 Projects: Peppher, LPGPU, CARP Open Source Contributions: GCC, LLVM, Boost, SYCL, C'est Advising: Raymond Holder (M.Phil./Ph.D.): Applications of Immersive Technology to Pedagogy Andrew Gozillon (Completed 2022): Metaprogramming for Heterogeneous Parallelism Labs/Teams: He leads the development of the C++20 metaprogramming library Curtains and compile-time C++ standard library C'est , and contributes to Khronos SYCL standards.

• Cryptography
• Secure Multi-Party Computation
• Privacy-Preserving Techniques
• +۳ مورد دیگر

Oleksandr Tkachenko holds a PhD from the Technical University of Darmstadt (2022) and is actively engaged in research at the intersection of cryptography, secure computation, and data privacy. His work focuses on advancing practical applications of multi-party computation (MPC), privacy-preserving techniques, and front-end security in web technologies. Key contributions include the development of frameworks like MOTION and FUSE for efficient MPC implementations, as well as secure aggregation methods for federated learning (ScionFL). He has also explored polynomial maximization techniques for statistical estimation and privacy-preserving genomic analysis. Collaborations with institutions like TU Darmstadt and co-authors such as Thomas Schneider and Christian Weinert highlight his interdisciplinary approach. His publications span venues like ACM Transactions on Privacy and Security, IEEE ARES, and the Automation conference series, reflecting expertise in both theoretical and applied aspects of cryptography.