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

Håkan Grahnمشاهده پروفایل

استاد

• Computer Architecture
• Multicore Systems
• GPU Computing
• +۷ مورد دیگر

Håkan Grahn is a Professor of Computer Engineering at the Department of Computer Science, School of Computing, Blekinge Institute of Technology (BTH) in Sweden. He has been a faculty member since 1996, becoming a full professor in 2007. His academic leadership includes serving as Head of Department (1999-2002) and Dean of Research (2011-2013) at BTH. He leads multiple significant research projects including GPAI (General Purpose AI Computing) and Green Clouds, with funding from ELLIIT, the Knowledge Foundation, and Vinnova. His educational background includes: M.Sc. in Computer Science and Engineering (1990) from Lund University Ph.D. in Computer Engineering (1995) from Lund University Håkan's research spans several interconnected domains in computer science and engineering, with a strong emphasis on practical applications. His work in computer architecture focuses on optimizing system performance through innovative cache coherence protocols and memory management techniques. In the realm of parallel computing , he investigates multicore systems, GPU computing, and thread-level speculation to enhance computational efficiency. His research in AI and machine learning addresses energy efficiency, data stream mining, and practical applications in areas like district heating systems and airborne networks. The integration of image processing with machine learning forms another significant strand of his work, particularly in historical document analysis and medical imaging applications. These research areas converge in his leadership of major initiatives like BigData@BTH and GPAI, where he bridges theoretical advances with real-world implementation challenges. Analysis of Håkan's recent publications reveals a clear trajectory toward increasingly applied research with strong industry connections. While maintaining foundational work in computer architecture, his output increasingly focuses on practical AI applications, energy efficiency in computing, and domain-specific implementations in sectors like telecommunications, energy systems, and defense. The interdisciplinary nature of his work is evident in collaborations spanning computer science, engineering, and domain-specific applications, with a growing emphasis on sustainability and resource optimization in computing systems. Håkan has successfully supervised numerous doctoral students, with ten graduates and six current Ph.D. candidates. His research has been supported by substantial funding from: The Knowledge Foundation (BigData@BTH, HINTS, Green Clouds) ELLIIT (GPAI project) Vinnova (FANET-MCA, Directed COM & EW) Industry partners including Ericsson, Saab, Telenor, and Fortnox He is actively involved in multiple research groups including DISL (Distributed and Intelligent Systems Lab), CCS-Lab (Communication and Computer Systems Research Lab), and previously PAARTS (Parallel Architectures and Applications for Real-Time Systems). His leadership extends to organizing academic events like the Nordic workshop on Multi-Core Computing and the Swedish Artificial Intelligence Society workshop.

Yufei Dingمشاهده پروفایل

دانشیار

• Compiler Technology
• Machine Learning
• Quantum Computing
• +۳ مورد دیگر

Yufei Ding is an Associate Professor in the Computer Science & Engineering Department at the University of California, San Diego (UCSD), where she leads the PICASSO Lab. Her research spans domain-specific language design, architecture and compiler optimization, and hardware acceleration, with current focus on developing high-performance, energy-efficient, and high-fidelity programming frameworks for quantum computing and machine learning. Dr. Ding received her Ph.D. in Computer Science from North Carolina State University and a B.S. in Physics from the University of Science and Technology of China. Her interdisciplinary background bridges physics and computer science, enabling her to tackle challenges in emerging computing paradigms. Her research interests focus on Compiler Technology, Machine Learning, and Quantum Computing , with specific expertise in domain-specific language design, architecture and compiler optimization, and hardware acceleration. Dr. Ding's work addresses critical challenges in programming frameworks for emerging technologies, particularly in making quantum computing more accessible and efficient through innovative compiler techniques and runtime systems. Dr. Ding's scientific contributions have been recognized with prestigious awards including the NSF CAREER Award (2020) and the IEEE Computer Society TCHPC Early Career Researchers Award for Excellence in High-Performance Computing (2019) . As an active researcher and educator, Dr. Ding serves on program committees for major conferences including PLDI, PPoPP, and SPLASH. She currently has Ph.D. openings in quantum computing and machine learning systems research, as well as a postdoc position in quantum computing for physics Ph.D. candidates with relevant background. Dr. Ding founded and leads the PICASSO Lab at UCSD, which focuses on developing innovative solutions for programming emerging computing technologies. The lab's work bridges theoretical foundations with practical implementations to address real-world challenges in high-performance computing.

Gilbert Bernsteinمشاهده پروفایل

استادیار

• Computer Graphics
• Programming Languages
• High-Performance DSLs
• +۷ مورد دیگر

Gilbert Bernstein is an Assistant Professor in the Computer Science & Engineering department within the College of Engineering at the University of Washington. His research bridges computer graphics and programming languages, with a focus on high-performance domain-specific languages. Previously, he was a post-doctoral scholar at UC Berkeley and MIT working with Jonathan Ragan-Kelley, and received his PhD from Stanford University under Pat Hanrahan. His research interests span Computer Graphics, Programming Languages, High-Performance DSLs, Physical Simulation, Geometry & Topology, Differentiable Programming, Hardware DSLs, Tools for Artists, Fabrication, and Human-Computer Interaction. Bernstein develops languages and compilers that enable efficient computation for creative applications, physical simulations, and graphics rendering systems. His recent publications reveal strong trends in differentiable programming for graphics applications, domain-specific languages for hardware acceleration, and computational approaches to traditional crafts like quilting and knitting. His work consistently combines formal language theory with practical applications in graphics and fabrication. Bernstein actively mentors students across multiple institutions including current advisees Felix Hahnlein (UW Postdoc), Ryan Zambrotta (UW PhD), Haoran Peng (UW PhD), and previous students including Alex Reinking (UC Berkeley PhD 2022, now at Qualcomm) and MacKenzie Leake (Stanford PhD 2021, now at Adobe Research). His lab works on diverse projects including debugging CAD programs, compilers for finite element methods, semantics for knitting machines, algebraic scheduling of tensor programs, and exocompilers for hardware accelerators. Bernstein also collaborates on DSLs for networking, Counterstrike bots, gradient-based optimization, memory management, hardware design, and garment design tools.

Adam Chlipalaمشاهده پروفایل

استاد

• Programming Languages
• Formal Methods
• Computer Systems
• +۵ مورد دیگر

Adam Chlipala is a Professor at the Massachusetts Institute of Technology working at the intersection of programming languages, formal methods, and computer systems. His research focuses on building practical verified systems with end-to-end machine-checked proofs, particularly using the Coq proof assistant. His educational background includes a Computer Science undergraduate degree from Carnegie Mellon University (2003) and a PhD in Computer Science from the University of California, Berkeley (2007). Following a postdoctoral position at Harvard University through 2011, he joined MIT as faculty. Chlipala's research spans multiple domains with strong emphasis on dependent types , verified compilation , and hardware-software co-verification . His work consistently bridges theoretical foundations with practical implementation, as evidenced by his development of the Ur/Web programming language and his focus on creating clean-slate hardware-software stacks with formal guarantees. Key research thrusts include cryptographic constant-time verification, side-channel security, and verified tensor compilation. His recent publications (2020-2025) reveal a clear trajectory toward increasingly complex verified systems, with growing emphasis on hardware-software integration, cryptographic implementations, and performance-critical applications. The work consistently leverages Coq for machine-checked proofs while addressing real-world constraints like timing channels and hardware interfaces. Chlipala is the author of the influential textbook Certified Programming with Dependent Types , which serves as a primary educational resource for Coq at numerous institutions worldwide. His professional activities include significant service to the PL community through program committees for major conferences including PLDI, POPL, ICFP, and CPP. He leads research initiatives connecting hardware and software verification, most notably through the DeepSpec project which aims to build fully verified computing stacks. His current work focuses on practical applications of dependent types for business applications through Ur/Web and verified cryptographic implementations.

Fredrik Kjolstadمشاهده پروفایل

استادیار

• Compilers
• Programming Models
• Performance Engineering
• +۳ مورد دیگر

Fredrik Kjolstad is an Assistant Professor in the Department of Computer Science at Stanford University, specializing in compilers and programming models for sparse computing and performance engineering. His research focuses on separating algorithms from data representations to enable portable applications across diverse hardware platforms. His research interests span compilers, programming models, performance engineering, and computer architecture, with particular emphasis on sparse tensor algebra, compiler design for heterogeneous systems, and high-performance computing. He has pioneered frameworks like TACO, Simit, and Distal that enable efficient sparse computations across CPUs, GPUs, and specialized accelerators. Dr. Kjolstad's publications demonstrate expertise in compiler optimization techniques for sparse data structures, tensor algebra, and distributed systems. His work consistently addresses the challenge of bridging high-level programming abstractions with efficient hardware execution across diverse architectures. MIT EECS First Place George M. Sprowls PhD Thesis Award NSF CAREER Award Rosing Award Adobe Fellowship Google Research Scholarship Best Paper Awards at EuroMPI 2013, OOPSLA 2017, and OOPSLA 2021 ISCA Distinguished Artifact Award PLDI and OOPSLA Distinguished Paper Awards He advises multiple PhD students including James Dong, Olivia Hsu, and Rohan Yadav, while leading research on compiler technologies that have received significant grant support. His group develops practical tools like the TACO compiler and Legate Sparse that are used in both academic and industrial settings. Current projects focus on programmable accelerators for sparse tensor algebra, distributed sparse computing, and compiler support for emerging hardware architectures.

Rachit Nigamمشاهده پروفایل

استادیار

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

Rachit Nigam serves as an Assistant Professor in the Department of Electrical Engineering and Computer Science (EECS) at the Massachusetts Institute of Technology's School of Engineering. He leads the FLAME Lab, focusing on the intersection of programming languages and computer architecture. His research profile demonstrates significant involvement in major programming languages conferences including PLDI, SPLASH, and ICFP, where he has served in various committee roles from Artifact Evaluation to Student Research Competition Chair. Dr. Nigam's research centers on programming languages and hardware systems, with particular emphasis on creating compilers that transform programs into architectures. His work bridges theoretical type systems with practical hardware implementation, developing tools like Calyx (an intermediate language for hardware accelerator generators) and Dahlia (implementing time-sensitive affine types). His approach combines formal methods with practical compiler design to address challenges in predictable accelerator generation and hardware compilation. His publication record reveals a consistent trajectory in hardware-aware programming language design, with recent work focusing on unifying static and dynamic intermediate languages for accelerator generators. The publications demonstrate expertise across multiple subfields including type systems for hardware timing constraints, modular hardware design methodologies, and synthesis-aided compiler techniques for specialized architectures like DSPs. As an active member of the programming languages community, Nigam has served on numerous conference committees including PLDI, OOPSLA, and LCTES. He has chaired sessions, organized tutorials (including 'DSL-based Hardware Generation'), and contributed to community initiatives like PL Tea. His GitHub presence shows active development in projects related to hardware compilation with significant contributions to repositories like Calyx, Filament, and Dahlia. Dr. Nigam leads the FLAME Lab at MIT, which focuses on creating programming models and compiler infrastructure for hardware acceleration. His work with the Calyx compiler ecosystem represents a significant contribution to the field of hardware accelerator generation, providing tools that enable more predictable and efficient hardware compilation processes. His research has practical implications for domain-specific hardware accelerators and the broader challenge of making hardware design more accessible through programming language techniques.

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

استاد

• Computer Architecture
• Parallel Programming
• Chip Multiprocessors
• +۴ مورد دیگر

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.

Fernando Magno Quintão Pereiraمشاهده پروفایل

دانشیار

• Compilers
• Code Generation
• Compiler Optimizations
• +۳ مورد دیگر

Fernando Magno Quintão Pereira is an Associate Professor at the Federal University of Minas Gerais (UFMG), Brazil, specializing in compiler design and program analysis. His academic journey began with a Ph.D. from UCLA in 2008 under Jens Palsberg's supervision, establishing his foundation in compiler research. His research focuses on compilers , with core expertise in code generation , compiler optimizations , and static program analyses . Recent work explores quantum compilation, binary analysis, and security-aware compilation techniques. His publications reveal consistent contributions to major conferences including PLDI, CGO, and SPLASH, with emphasis on practical optimization frameworks and theoretical compiler advancements. Analysis of his 15 most recent publications (2020-2026) shows dominant themes in binary optimization (e.g., AnghaBench), security-aware compilation (e.g., Memory-Safe Elimination of Side Channels), and emerging architecture support (e.g., Quantum Computing Compilation). His work bridges theoretical compiler principles with real-world systems challenges. He actively contributes to the academic community through: Program committees for PLDI (2020-2025), CGO (2021-2026), and SPLASH conferences Leadership roles including CGO Finance Chair (2026) and PLDI Diversity & Inclusion Co-Chair (2023-2024) Organizing JENSFEST 2024 and serving on multiple conference steering committees Pereira maintains an active research group evidenced by continuous publication output and conference leadership, with his personal website ( homepages.dcc.ufmg.br/~fernando/ ) serving as a hub for his academic activities.

• Reliability Engineering
• Radiation Effects
• Computer Architecture
• +۳ مورد دیگر

Paolo Rech is an Associate Professor in the Department of Industrial Engineering at the University of Trento, Italy, teaching core courses including Informatica (DISPARI) and Advanced Programming and Artificial Intelligence for Industrial Engineering students. His research spans hardware-software reliability under radiation exposure with emphasis on real-world applications. His primary research domains feature: Reliability Engineering : Pioneering fault-tolerance methodologies for radiation-prone environments Radiation Effects : Quantifying neutron/gamma impacts on GPUs, TPUs, and quantum devices Computer Architecture : Designing hardened RISC-V systems and post-CMOS accelerators AI Reliability : Developing fault-aware neural networks for safety-critical deployment Quantum Vulnerability : Characterizing error mechanisms in quantum circuits Analysis of his 15 most recent publications reveals a dominant focus on radiation-hardened computing systems, with 83% of works addressing neutron-induced faults in GPUs/TPUs and quantum devices. His methodology consistently integrates neutron beam experiments, fault injection frameworks, and architectural hardening techniques across space, medical, and autonomous systems applications. Scientific Awards: None documented in available sources. His teaching directly feeds into research supervision, with course content on C++ programming, object-oriented design, and quantum computing foundations forming the basis for student projects in fault-tolerant system development. Current grants likely support neutron irradiation testing and quantum reliability initiatives given publication patterns, though specific funding details aren't publicly itemized. He operates within University of Trento's engineering research ecosystem, collaborating with teams specializing in radiation testing and quantum computing through projects like ARCHYTAS and Trikarenos, though no dedicated lab name is specified in source materials.

GÖKÇE YILDIRIMمشاهده پروفایل

مدرس

• Machine Learning
• Optimization
• Random Number Generation
• +۴ مورد دیگر

Dr. Gökçe Yildirim serves as a Doctor Lecturer at Bingöl University's Vocational School of Technical Sciences within the Department of Machine and Metal Technologies since 2019, advancing from Lecturer (2019-2025) to her current position. Her academic foundation was built at Fırat University through sequential engineering degrees culminating in a 2024 PhD in Software Engineering. Educational background: Mechatronics Engineering BSc, Fırat University (2010-2014) Mechatronics Engineering MSc, Fırat University (2014-2017) Software Engineering PhD, Fırat University (2018-2024) Her research program centers on machine learning and optimization with distinctive expertise in chaotic-system-based random number generation . This computational focus drives interdisciplinary applications across medical diagnostics, agricultural forecasting, and gaming analytics. Recent work demonstrates sophisticated integration of nonlinear dynamics with security-critical applications, reflecting both theoretical depth and practical implementation skills. Publication analysis reveals consistent output since 2018 with accelerating international engagement. The 2023 works mark significant maturation of her research identity, particularly the Chaos, Solitons & Fractals paper establishing her innovative optimization approach for chaotic random number generators. Her portfolio shows remarkable versatility across domains while maintaining core computational methodology. Scientific recognition: No major awards documented in current records Dr. Yildirim maintains active teaching responsibilities across foundational engineering disciplines while pursuing research. Her vocational school context emphasizes practical skill development, with research directly informing curriculum design. Current publications indicate ongoing projects in secure random number generation and agricultural data mining, though specific grant details remain undisclosed. No dedicated research laboratory is documented, suggesting computational work leverages shared university resources within the vocational school's applied engineering framework.

Gang Meiمشاهده پروفایل

دانشیار

• Numerical Simulation and Computational Modeling
• GPU Computing
• Machine Learning
• +۵ مورد دیگر

Dr. Gang Mei is an Associate Professor in Scientific Computing within the School of Engineering and Technology at China University of Geosciences (Beijing), where he has held academic positions since 2014. His career progression includes Postdoctoral Researcher (2014-2016), Lecturer (Oct-Dec 2016), and current Associate Professor (since Jan 2017). His research bridges computational science and engineering applications with significant editorial contributions to computer science literature. Education: Ph.D. in Computer Science, University of Freiburg, Germany (2014) Research Interests: Dr. Mei specializes in Numerical Simulation and Computational Modeling, GPU Computing, Machine Learning, and Data Mining, with strong applications in Network Science and Spatial Information Systems. His work integrates Distributed and Parallel Computing techniques for large-scale scientific simulations, particularly in geospatial modeling and network analysis. The research demonstrates consistent focus on computational efficiency through hardware acceleration and algorithmic optimization across diverse domains including satellite imagery processing, financial event detection, and medical image classification. Publication Trends: His editorial portfolio reveals strong interdisciplinary patterns connecting computer science fundamentals with domain-specific applications. Recent works emphasize GPU-accelerated methods for data-intensive problems (2020-2022), spatial-temporal modeling (2019-2020), and network science applications (2021). The publications consistently address computational scalability challenges while maintaining practical relevance across geospatial, financial, medical, and engineering contexts. Professional Recognition: As an IEEE Member, Dr. Mei serves on editorial boards for IEEE Access and PeerJ Computer Science, reflecting peer recognition in computational fields. His editorial contributions span 15+ publications demonstrating expertise in evaluating cutting-edge computer science research. Academic Service: Beyond editorial work, Dr. Mei's service includes advising on computational methodology across multiple disciplines. His role as Academic Editor demonstrates commitment to scholarly communication, particularly in bridging theoretical computer science with practical engineering applications. No grant funding details were specified in available materials.