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

Paulo Garciaمشاهده پروفایل

استادیار

• Embedded Real-Time Systems
• Hardware/Software Co-Design
• FPGA Acceleration
• +۳ مورد دیگر

Paulo Garcia is an Assistant Professor in the Department of Systems and Computer Engineering at Carleton University, Ottawa, Canada. He holds a Ph.D. in Computer Engineering from the University of Minho, Portugal, with research periods at Asian Institute of Technology and University of Würzburg. His academic roles include serving as a faculty member, thesis chair/examiner, and committee member in multiple university initiatives. Research Focus: Embedded real-time systems, hardware/software co-design, FPGA acceleration, and engineering pedagogy. Specific technical areas include multicore architectures, runtime systems, and hardware accelerators for embedded applications. His work emphasizes synergies between processor architectures, compilers, and FPGA-based solutions. Teaching: Courses include SYSC 3310 (Real-Time Systems), SYSC 4310 (Computer Architecture), and SYSC 5807 (Hardware/Software Co-Design). He supervises senior projects like robotic systems and eHealth wearable devices. Awards & Grants: Includes 2020 awards from General Dynamics Mission Systems and Carleton’s Rapid Response Grant, plus multiple scholarships from FCT Portugal and EU programs. His research has been supported by industry partnerships and defense collaborations. Service: Active in academic service as a thesis evaluator, member of student mental health committees, and representative in university governance bodies. Engaged in curriculum development and embedded systems program revisions.

Bo Zhaoمشاهده پروفایل

استادیار

• Distributed Systems
• Machine Learning Systems
• Large-Scale Data Processing
• +۲ مورد دیگر

Bo Zhao is an Assistant Professor in the Department of Computer Science at Aalto University, leading the Aalto Data-Intensive System group (ADIS). His research focuses on building efficient data-intensive systems across multiple layers, from scalable machine learning systems to distributed data management systems. Research Focus: Scalable machine learning systems Distributed data processing Hardware-software co-design Quantum computing systems High-performance computing Current Projects: AthenaRL (scalable RL systems), LARA (quantum ML algorithms), FlexMoE (efficient mixture-of-experts systems). His group develops systems enabling ML deployment across hardware from quantum computers to mobile devices. Education & Career: PhD from Humboldt-Universität zu Berlin. Previously at Queen Mary University of London, Imperial College London, and Amazon Web Services. Research published in SOSP, VLDB, USENIX ATC.

John Criswellمشاهده پروفایل

دانشیار

• Computer Security
• Automatic Compiler Transformations
• Secure Virtual Architecture
• +۳ مورد دیگر

John Criswell is an Associate Professor of Computer Science at the Hajim School of Engineering & Applied Sciences, University of Rochester. He holds a PhD from the University of Illinois at Urbana-Champaign (UIUC), which he completed prior to joining the faculty in 2014. His primary research focuses on computer security, with a particular emphasis on compiler-based security mechanisms, memory safety, and control-flow integrity. He also explores secure virtual architectures and embedded systems security. Dr. Criswell’s work integrates compiler transformations, hardware-software co-design, and runtime enforcement to secure commodity software systems. His contributions include innovations in RISC-V architecture security, control-flow protection for embedded systems, and compiler extensions for safer C programming (e.g., Checked C). He has also developed frameworks like InversOS and IskiOS to enhance kernel and hypervisor security. His research trends reflect a strong focus on mitigating modern threats such as code-reuse attacks, memory corruption vulnerabilities, and side-channel exploits. He frequently collaborates on open-source projects, including FreeBSD kernel refactoring and LLVM-based security tools. Dr. Criswell’s expertise spans academia and industry, with a commitment to advancing both theoretical and applied security solutions. His work has been published in top-tier conferences and journals, and he regularly contributes to educational resources for security practitioners.

Sandhya Dwarkadasمشاهده پروفایل

استاد مهمان

• Parallel and distributed computing
• Computer architecture and networks
• Compiler-runtime-architecture integration
• +۵ مورد دیگر

Sandhya Dwarkadas is a Visiting Research Professor of Computer Science at the University of Rochester's Hajim School of Engineering & Applied Sciences. She holds a PhD from Rice University and has been recognized with an NSF Postdoctoral Fellowship and an NSF CAREER award. Her work focuses on parallel/distributed computing, architecture, and compiler-runtime integration. Education: PhD, Rice University Research Interests: Parallel and distributed computing Computer architecture and networks Compiler/Runtime/Architecture integration Software distributed shared memory Performance evaluation and simulation methodologies Awards: NSF Postdoctoral Fellowship NSF CAREER Award Projects & Contributions: Co-led the Cashmere and InterWeave distributed sharing projects, and leads the ARCH project (focusing on compiler/runtime/architecture integration for high-performance computing). Active in parallel applications development and uniprocessor/multiprocessor architecture analysis. Labs/Teams: ARCH Project leadership, collaborating on runtime systems and architecture optimization.

• Distributed Systems
• Network Function Virtualization
• Systems Correctness
• +۴ مورد دیگر

Aurojit Panda is an Assistant Professor of Computer Science at New York University's Faculty of Arts and Science. His research focuses on lightweight mechanisms for system correctness, network function virtualization, and distributed systems. He holds a Ph.D. from UC Berkeley and a B.S. from Brown University. Education: Ph.D., Computer Science, UC Berkeley (2017) B.S., Math-Computer Science, Brown University (2008) Research Interests: Network Function Virtualization (NFV) Distributed Systems Correctness Machine Learning Tooling and Optimization Operating Systems and SmartNIC Offloading Recent work includes designing distributed shared logs for datacenters, analyzing straggler effects in large model training, and developing tools like NNSmith for deep learning compiler testing. Teaching includes courses on distributed systems, operating systems, and big data/machine learning. He is actively involved in research teams such as NetSys Lab and contributes to open-source projects like NetBricks and BESS.

Wonsun Ahnمشاهده پروفایل

دانشیار

• Compilers
• Computer Architecture
• Compiler/Hardware Co-optimization
• +۳ مورد دیگر

Wonsun Ahn is a Teaching Associate Professor in the Department of Computer Science at the University of Pittsburgh's School of Computing and Information. He holds a PhD from the University of Illinois at Urbana-Champaign (2012). His research focuses on compilers, computer architecture, and their co-optimization for parallel machines, GPUs, and quantum computing. He has authored numerous papers on topics like compiler/hardware integration and parallel processing, and has served on over a dozen conference program committees and journal editorial boards. His research interests include compiler design, hardware architecture, and improving programmability for parallel systems. Notable areas of work include deterministic execution, atomic block optimization, and energy-efficient IoT device updates. Dr. Ahn actively contributes to both academic and industrial advancements in high-performance computing and parallel processing. Dr. Ahn has no listed awards but maintains an active presence in the academic community through conference involvement and editorial work. His contact information includes an office at 5423 Sennott Square and an email at wahn@pitt.edu . He oversees no listed student advisees or grants but is affiliated with the Department of Computer Science's research initiatives.

Chia-Che Tsaiمشاهده پروفایل

استادیار

• Operating Systems
• Software System Security
• Secure Hardware
• +۴ مورد دیگر

Chia-Che Tsai is an Assistant Professor in the Department of Computer Science & Engineering at Texas A&M University, part of the College of Engineering. He joined the faculty in Spring 2019 after earning his Ph.D. from Stony Brook University in 2017 and completing a postdoc at UC Berkeley's RISE Lab. His educational background includes an M.S. from Columbia University and a B.S. from National Taiwan University. His research focuses on operating systems, software security, and secure hardware, with emphasis on compatibility, performance, and hardware support. Key interests include library operating systems (e.g., Graphene), SGX-based security, and cloud computing. He has received notable awards, including the 2016 EuroSys Best Paper Award and NSF grants for confidential cloud applications and resilient systems. Teaching responsibilities span courses like Operating Systems (undergraduate/graduate), Software Security, Distributed Systems, and Secure Computer Systems. His work integrates practical system design with theoretical principles, addressing challenges in multi-tenant environments and secure execution. Current research explores enclave-based security, deterministic debugging, and virtualization techniques. He leads projects funded by NSF and collaborates with industry partners, emphasizing real-world impact in secure computing systems.

• Logic Programming
• Computational Logic
• Abstract Interpretation
• +۳ مورد دیگر

Baudouin Le Charlier is a researcher with a focus on computational logic, programming languages, and system security. He has led multiple research projects, including sequential analysis under Unix, automated IT resource monitoring, and abstract interpretation for declarative languages. His work spans 1992–2008, with a strong emphasis on logic programming and formal semantics. Key Research Areas: Logic Programming, Abstract Interpretation, Data Stream Processing, Unix Systems, and Programming Language Interoperability. Notable Projects: Asax (Sequential Analysis), Survauto (IT Monitoring), COMPULOG-Net (Computational Logic Network), ABILE (Abstract Interpretation Tools). His 15 most recent publications (1995–2008) highlight trends in declarative semantics, interoperability mechanisms, and distributed audit analysis. These works often intersect with constraints, tools, and formal modeling.

Tiark Rompfمشاهده پروفایل

دانشیار

• Programming Languages
• Compilers
• Software Engineering
• +۱۳ مورد دیگر

Tiark Rompf is an Associate Professor in the Department of Computer Science at Purdue University, where he has been a faculty member since Fall 2014. He is the founder and director of the Purdue Center for Programming Principles and Software Systems (PurPL), a research group focused on next-generation software systems that integrate data-driven algorithms, also known as "Software 2.0". His academic background includes a PhD from École Polytechnique Fédérale de Lausanne (EPFL), an MS from Universität zu Lübeck, and a BS from Universität Bremen, all in computer science. His research spans programming languages, compilers, systems, databases, machine learning, and AI. He is a leading figure in meta-programming, domain-specific languages (DSLs), and compiler design, particularly through his work on Lightweight Modular Staging (LMS). His interdisciplinary work bridges theory and practice, aiming to make high-level programming languages performant and scalable. The most recent publications highlight his focus on advanced type systems (e.g., reachability types), query languages (e.g., Flan, Rhyme), compiler IRs, and the integration of machine learning and data management systems. These works appear in top venues like POPL, OOPSLA, ICFP, SIGMOD, and ECOOP, indicating sustained influence and innovation in programming language research. Among his scientific contributions, he has no explicitly listed awards in the provided text, but his leadership in founding PurPL and his extensive publication record in premier conferences are significant recognitions of his impact. He advises a group of active researchers and students, many of whom are co-authors on his recent papers. His lab, PurPL, fosters collaborative research in programming principles and software systems, often involving meta-programming, differentiable programming, and system-level optimizations. He has led or co-led multiple collaborative projects, including work on Flare (a native compiler for Apache Spark), HACCLE (secure multi-party computation), and AutoGraph (imperative-style differentiable programming).

Philipp Hallerمشاهده پروفایل

دانشیار

• Programming Languages
• Type Systems
• Concurrency
• +۱۱ مورد دیگر

Philipp Haller is an Associate Professor in the Department of Computer Science at KTH Royal Institute of Technology, affiliated with the Theoretical Computer Science Group, Digital Futures, and WASP. He holds a PhD from EPFL (2010) and has held research positions at Stanford and EPFL, and industry roles at Typesafe Inc. Research Interests: His work centers on programming language design, concurrency (especially actor and futures models), distributed programming, type systems, and serverless computing. He is a leading contributor to the Scala language, having co-created its async/await syntax and futures library. His recent research includes the Portals framework for stateful serverless applications and formal models for consistency and concurrency safety. Publication Trends: His recent work (2020–2024) shows a strong focus on safe and scalable concurrency, stateful serverless systems, formal verification of language features, and distributed data consistency. He frequently publishes in top venues like ECOOP, OOPSLA, and PLDI, often combining theory with practical implementations in Scala. 2019 ACM SIGPLAN Programming Languages Software Award (for Scala) 2017 Teacher of the Year, EECS, KTH Advising and Grants: He supervises PhD students including Jonas Spenger, Xin Zhao, and Viktor Palmkvist. He led the Software Development Academy, a reskilling program for immigrants funded by the Wallenberg Foundations. He actively participates in academic service, co-chairing workshops like PLACES and AGERE!, and serving on program committees for OOPSLA, ECOOP, and POPL. Labs and Teams: He is part of the Theoretical Computer Science Group at KTH and leads research related to the Portals framework, which unifies dataflow and actor models for edge and serverless computing.

Yuvraj Patelمشاهده پروفایل

استادیار

• Computer Systems
• Operating Systems
• Concurrency
• +۶ مورد دیگر

Yuvraj Patel is a Lecturer (Assistant Professor) in Computer Science at the School of Informatics, University of Edinburgh, and a member of the Institute for Computing Systems Architecture (ICSA). He previously served as a postdoctoral researcher and Associate Lecturer at the University of Wisconsin–Madison, where he also earned his Ph.D. under Professors Andrea and Remzi Arpaci-Dusseau. His research spans operating systems, concurrency, security, storage systems, and distributed systems. His research focuses on performance and security challenges in concurrent systems, particularly where synchronization primitives are shared among untrusted tenants. He introduced the concepts of scheduler subversion and adversarial synchronization , showing that synchronization must be treated competitively rather than cooperatively. His key contributions include Scheduler-Cooperative Locks (SCLs) for fair lock usage and Trātṛ , a kernel extension that detects and mitigates synchronization attacks. He has extensive industry experience from nearly eight years at NetApp working on the WAFL filesystem and a stint at SanDisk on FTL design. His recent publications, appearing in venues like USENIX Security, EuroSys, FAST, and OSDI, demonstrate a consistent focus on real-world systems problems involving isolation, fairness, and security in shared environments. His work combines deep systems insight with practical implementation and evaluation. US Patent 10,705,951 – Shared Fabric Attached Memory Allocator US Patent 10,621,162 – Storage Tier Verification Checks US Patent 8,078,653 – Process for Fast File System crawling Yuvraj Patel actively mentors students and is currently recruiting Ph.D. candidates at the University of Edinburgh. He has advised multiple undergraduate and graduate students on topics including fairness in locking, adversarial synchronization, and kernel critical section analysis. His teaching includes Security Engineering at Edinburgh and Introduction to Operating Systems at Wisconsin. He leads a research group focused on building abstractions for near-ideal isolation in shared environments, with ongoing work in synchronization, storage systems, and kernel security. His team develops open-source software such as Trātṛ, CuttleFS, and SCL implementations.

• Program Analysis
• Software Verification
• Debugging
• +۱۳ مورد دیگر

Manuel V. Hermenegildo is a Distinguished Professor at the IMDEA Software Institute and a Full Professor in the Department of Artificial Intelligence at the Technical University of Madrid (UPM). He is the founding Scientific Director of IMDEA Software and leads the CLIP Lab, a joint research unit between UPM and IMDEA Software focused on computational logic, programming languages, and parallelism. His career spans leadership in national research policy, academic positions in Spain and the U.S., and extensive international collaboration. PhD in Electrical and Computer Engineering, University of Texas at Austin (1986) M.S. in Electrical and Computer Engineering, University of Texas at Austin (1984) M.S. in Electrical Engineering, Technical University of Madrid (1981) His research centers on global program analysis, verification, debugging, and optimization for functional and non-functional properties such as time, memory, and energy. He has pioneered work in abstract interpretation, partial evaluation, constraint and logic programming, parallelizing compilers, and computational logic. His methodologies support the development of safe, efficient, and reliable software systems. The integration of static and dynamic analysis, resource-aware compilation, and assertion-based debugging are recurring themes in his work. His recent publications emphasize incremental and modular analysis, assertion checking, energy-aware computing, and verification via Horn clauses. Trends show a strong focus on making static analysis more practical, scalable, and integrated into real-world development workflows, particularly for logic and declarative languages. He frequently publishes in top venues such as TPLP, SCP, TOPLAS, and POPL. ACM Fellow Julio Rey Pastor Prize (2006) Aritmel Prize (2005) Elected member, Academia Europaea (2010) Test of Time Award, ICLP 2017 Best Paper Awards at ICSOC 2011 and ICLP 2005 Fulbright-Hays Scholarship Hermenegildo has supervised numerous PhD students and postdocs, many of whom are now leading researchers. He has been principal investigator in over 50 research projects funded by the EU, Spanish government, NSF, and industry partners. His leadership extends to national research policy, where he directed Spain’s National Research Directorate and launched the Ramón y Cajal fellowship program. He has served on tenure and evaluation committees for institutions worldwide and is active in shaping research agendas through roles in Informatics Europe and EIT Digital. He leads the CLIP Lab, which develops advanced program analysis tools and systems such as the Ciao programming environment, CiaoPP static analyzer, and LPdoc documentation generator. The lab fosters collaboration across academia and industry, focusing on next-generation program development tools, verification, and resource-aware computing.

Sebastian Fischmeisterمشاهده پروفایل

استاد

• Embedded Systems
• Distributed Systems
• Formal Methods
• +۸ مورد دیگر

Sebastian Fischmeister is a Professor and NSERC/Magna Industrial Research Chair in Automotive Software for Connected and Automated Vehicles at the Department of Electrical and Computer Engineering, University of Waterloo. His research focuses on systems at the intersection of software technology, distributed systems, and formal methods, with applications in automotive systems, avionics, and medical devices. He has pioneered frameworks for scalable location-based pervasive computing and verifiable real-time communication schedules, contributing to the ASTM F29.21 standard. Education: Dipl.-Ing. in Computer Science (Vienna University of Technology, 2000), Ph.D. in Computer Science (University of Salzburg, 2002) Research Themes: Real-time embedded systems, runtime monitoring, security analysis, data analytics for validation, and performance evaluation. Scientific Awards: APART Stipend (2005) Ontario Early Researcher Award (2014) Multiple best paper and tool awards He is an ACM Distinguished Speaker and actively participates in organizing conferences such as ESCAR, RTSS, DATE, and ICPE. His work includes significant contributions to anomaly detection, cybersecurity in automotive networks, and runtime verification techniques under unreliable conditions.

Gennady Pekhimenkoمشاهده پروفایل

دانشیار

• Computer Architecture
• Systems Research
• Applied Machine Learning
• +۳ مورد دیگر

Dr. Gennady Pekhimenko is an Associate Professor in the Department of Computer Science and cross-appointed to the Electrical and Computer Engineering department at the University of Toronto. He leads the EcoSystem research group and serves as CEO/Co-Founder of CentML, with affiliations at CIFAR and Vector Institute. PhD in Computer Science from Carnegie Mellon University (2016) His research spans computer architecture, systems optimization, and applied machine learning, with a focus on memory hierarchy efficiency, hardware acceleration, and compiler design. Recent work emphasizes large language model training, GPU virtualization, and processing-in-memory systems. Key article trends include: 1) Memory optimization for transformers and sparse models (2024-2025), 2) GPU resource management (2022-2024), 3) Prompt programming languages (2025), and 4) Deep learning compilation frameworks (2021-2023). Major Awards: NVIDIA Graduate Fellowship, Microsoft Research PhD Fellowship, ISCA Hall of Fame, AWS/Google/VMware research grants Key Collaborations: Onur Mutlu (CMU), Todd Mowry (CMU), Vector Institute researchers

Bengisu Elisمشاهده پروفایل

پژوهشگر

• High-Performance Computing (HPC)
• Parallel Computing
• GPU Programming
• +۵ مورد دیگر

Bengisu Elis is a researcher at the Chair of Computer Architecture & Parallel Systems at the Technical University of Munich . Her work focuses on High-Performance Computing (HPC) , GPU programming, and parallel systems. Email: bengisu.elis@tum.de Room: 01.04.037, Garching near Munich Research Interests : Elis specializes in GPU-CPU parallelism , MPI profiling , and performance modeling for HPC systems. Her work addresses challenges in: Optimizing synchronization mechanisms Reducing memory access overhead Enhancing task scheduling Scientific Awards : HPCAsia '24 Best Paper Award Winner Teaching & Advising : Elis has supervised multiple master's theses and internships, including: Jakob Schäffeler (2025) - Comparing GPU Programming Models Tizian Leonhardt (2024) - Low-overhead Sampling Techniques