جستجوی استاد راهنمای دانشگاهی

• Databases
• Programming Languages
• Compilers
• +۷ مورد دیگر

Amir Shaikhha is an Associate Professor (Reader) in the School of Informatics at the University of Edinburgh. He was previously an Assistant Professor (Lecturer) at the same institution from 2020 to 2024 and a Departmental Lecturer at the University of Oxford until August 2020. He is also a Junior Research Fellow at University College, Oxford. His academic journey began with a Ph.D. from EPFL in 2018, where he was awarded the Google Ph.D. Fellowship in structured data analysis and a Ph.D. thesis distinction. His research centers on the design and implementation of data-analytics systems, drawing upon techniques from databases, programming languages, compilers, and machine learning. He develops high-performance systems such as SDQL.py, StructTensor, and VecHT, focusing on the compilation of data science workloads and optimization of tensor operations. His work bridges the gap between high-level abstractions and efficient execution, particularly in sparse and probabilistic computing domains. The recent publications highlight a strong trend in compiler-driven optimizations for data-intensive applications, including automatic differentiation, loop fusion, probabilistic programming, and domain-specific language (DSL) restaging. His research integrates machine learning for systems decisions and emphasizes reproducibility and performance. He has published consistently in top venues like PLDI, OOPSLA, SIGMOD, and CGO, reflecting sustained impact in programming languages and database systems. Dahl-Nygaard Junior Prize, 2025 Google Research Scholar Award, 2025 Most Influential Paper Award, GPCE 2024 Best Paper Award, GPCE 2017 Most Reproducible Paper Award, SIGMOD 2017 Google Ph.D. Fellowship, 2017 Amir Shaikhha has advised PhD students including Hesam Shahrokhi and has been nominated for Best Supervisor of the Year at the University of Edinburgh. He leads research projects that have received recognition and support through awards and grants, including the Google Research Scholar Award. He actively serves the community through program committees (e.g., GPCE, DBPL, DRAGSTERS), editorial roles, and peer review for premier journals. His leadership in organizing workshops and conferences underscores his role as a central figure in the programming languages and databases research communities. He leads a research group focused on compiler and database systems, with recent open-source releases such as StructTensor and VecHT. His team collaborates with researchers from institutions like MIT, EPFL, and TU Berlin, and he co-chairs workshops like Sparse@PLDI and DRAGSTERS. His lab emphasizes innovation in how data-intensive programs are compiled and executed efficiently across modern hardware.

Riyadh Baghdadiمشاهده پروفایل

استادیار

• Compilers
• Programming Languages
• Deep Learning
• +۹ مورد دیگر

Riyadh Baghdadi is an Assistant Professor of Computer Science at New York University Abu Dhabi and a Global Network Assistant Professor at the Tandon School of Engineering, NYU. He is also a Research Affiliate at MIT, where he previously completed a postdoctoral fellowship. His academic journey includes a PhD and Master’s from Sorbonne University (INRIA/UPMC) and an engineering degree from Ecole Supérieure d’Informatique in Algiers. Assistant Professor, NYU Abu Dhabi Global Network Assistant Professor, Tandon School of Engineering, NYU Research Affiliate, MIT His research lies at the intersection of compilers, programming languages, and applied machine learning, with a focus on developing advanced compiler techniques for deep learning, high-performance computing, and data-parallel algorithms. He is the lead developer of the Tiramisu compiler , a polyhedral compiler designed to optimize dense and sparse deep learning workloads across diverse architectures including CPUs, GPUs, and FPGAs. Riyadh’s recent publications demonstrate a strong trend toward integrating machine learning into compiler optimization—particularly in cost modeling, loop scheduling, and automatic code generation. His work addresses critical challenges in optimizing sparse neural networks and enabling efficient execution on resource-constrained platforms like smartphones and autonomous vehicles. Outstanding Paper Award, MLSys 2021 He has mentored 18 students and taught core courses such as Computer Systems Organization and Machine Learning at NYUAD. His service to the academic community includes program committee roles at MLSys, IPDPS, ECOOP, and PACT, as well as organizing workshops on polyhedral compilation and machine learning for hardware-software co-design. Riyadh actively contributes to open-source projects and collaborates with industry leaders including Google, Facebook, NVIDIA, and Intel. He leads the development of Tiramisu and collaborates on DSLs like GraphIt and Halide, focusing on performance portability and automation in compiler design.

Julian Shunمشاهده پروفایل

دانشیار

• Parallel Computing
• High-Performance Computing
• Graph Analytics
• +۷ مورد دیگر

Julian Shun is an Associate Professor at the Massachusetts Institute of Technology (MIT) in the Department of Electrical Engineering and Computer Science (EECS) and a principal investigator in the Computer Science and Artificial Intelligence Laboratory (CSAIL). Previously, he was a Miller Research Fellow at UC Berkeley and earned his Ph.D. from Carnegie Mellon University under Guy Blelloch. His research focuses on parallel and high-performance computing, with emphasis on graph analytics, spatial/graph clustering, and dynamic algorithms. He designs algorithms with theoretical guarantees and empirical efficiency, along with high-level programming frameworks to simplify parallel code development. His work spans cache-oblivious, external-memory, and streaming graph algorithms, addressing scalability and performance across diverse computational architectures. Julien's recent publications highlight advancements in parallel graph traversal, dynamic connectivity, and approximation algorithms for centrality metrics. His research also explores domain-specific languages like GraphIt for graph analytics and frameworks such as Julienne for work-efficient bucketing. Scientific Awards: Miller Research Fellow at UC Berkeley He has taught graduate-level courses at MIT, including 6.506 (Algorithm Engineering) and 6.886 (Graph Analytics), emphasizing theoretical foundations, experimental analysis, and open-ended research projects.

John D. Kubiatowiczمشاهده پروفایل

استاد

• Computer Architecture
• Quantum Computing
• Distributed Systems
• +۷ مورد دیگر

Professor John D. Kubiatowicz is a faculty member at the University of California at Berkeley in the Department of Electrical Engineering and Computer Sciences since 1998. He holds a PhD in Electrical Engineering and Computer Science (minor in Physics) from MIT (1998), an M.S. in EECS (1993), and a double B.S. in Electrical Engineering and Physics (1987) from MIT. His research interests span Quantum Computing Architectures Distributed Systems and Storage Network Security and Peer-to-Peer Protocols Introspective and Manycore Operating Systems Edge and Fog Computing Hardware-Assisted Security He has pioneered systems like OceanStore , a global-scale distributed file system, and Tessellation , a manycore OS with continuous adaptation. The scientific awards he has received include Presidential Early Career Award (PECASE, 2000) Scientific American 50 (2002) Diane S. McEntyre Teaching Award (2003) IEEE ICRA Best Paper (2025) George M. Sprowls Award for MIT PhD thesis (1998) Okawa Research Grant (1998) Best Paper at International Conference on Supercomputing (1993) His recent publications focus on Quantum Circuit Design and Optimization Edge/Fog Computing Architectures Secure Runtime Systems Distributed Garbage Collection Manycore OS Innovations Hardware-Assisted Security Mechanisms He leads the Quantum Architecture Research Center and co-founded the SWARM Lab at Berkeley, advancing a vision of self-adapting, secure systems from the chip level to internet scale.

Jonathan Ragan-Kelleyمشاهده پروفایل

استادیار

• High-Efficiency Visual Computing
• Compilers
• Computer Architecture
• +۳ مورد دیگر

Jonathan Ragan-Kelley is the Esther and Harold E. Edgerton Assistant Professor of Electrical Engineering & Computer Science at MIT and an Assistant Professor of EECS at UC Berkeley. He leads the Visual Computing group at CSAIL, focusing on high-efficiency visual computing, compilers, and architectures for image processing, machine learning, and 3D rendering. His research bridges systems, compilers, and hardware design, emphasizing scalable solutions for computational challenges. Education: PhD in Computer Science from MIT (2014), postdoc at Stanford University, and visiting researcher at Google. He co-created the Halide language and has developed multiple domain-specific languages (DSLs) and compiler systems. Research interests include compiler optimization, scheduling languages (e.g., Exo), and efficient computing frameworks. He has received awards such as the NSF CAREER Award and ACM SIGGRAPH’s Significant New Researcher Award. Awards: ACM SIGGRAPH Award, NSF CAREER, Intel Outstanding Researcher Award Key Contributions: Halide compiler framework, Exo scheduling language, machine learning acceleration techniques Labs/Teams: Visual Computing at MIT CSAIL

Saman Amarasingheمشاهده پروفایل

استاد

• Programming Languages
• Compilers
• Domain-Specific Languages
• +۷ مورد دیگر

Professor Saman Amarasinghe is a full Professor in the Department of Electrical Engineering and Computer Science (EECS) at the Massachusetts Institute of Technology (MIT), and Principal Investigator at MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL). He leads the Commit compiler research group, which focuses on programming languages and compilers that maximize application performance on modern computing platforms. His work spans multiple academic departments and research centers, with strong affiliations to both MIT's School of Engineering and CSAIL. Professor Amarasinghe's research interests center around high-performance domain-specific languages and compiler technology . His work combines language design with sophisticated compilation techniques to deliver unprecedented performance for targeted application domains. His research spans multiple areas including image processing (Halide), sparse tensor algebra (TACO), graph analytics (GraphIt), stream computations (StreamIt), and bioinformatics (Seq). A significant thread throughout his work is the application of machine learning for compiler optimizations, from Meta optimization in 2003 to the OpenTuner autotuner framework. Analysis of Professor Amarasinghe's recent publications reveals a strong focus on sparse computing , compiler vectorization , and domain-specific language implementation . His work consistently bridges theoretical compiler concepts with practical performance gains across diverse application domains. The progression from earlier work on StreamIt and Halide to more recent projects like GraphIt and TACO shows an evolution toward more specialized, high-performance DSLs targeting specific computational patterns. His 2020-2025 publications particularly emphasize sparse tensor operations, GPU acceleration, and machine learning integration with compiler technology. ACM Fellow (2019) Professor Amarasinghe has made significant contributions to academic entrepreneurship and student development. He founded Determina, Inc. (acquired by VMware) based on security research from his MIT lab and co-founded Lanka Internet Services, Ltd., Sri Lanka's first ISP. As faculty director of MIT Global Startup Labs, his programs across 17 countries have helped create over 20 successful startups. His teaching includes the popular Performance Engineering of Software Systems (6.172) course with Professor Charles Leiserson, as well as innovative project-based courses like the Open Source Software Project Lab and Bring Your Own Software Project Lab. His educational approach emphasizes hands-on experience with compiler and language design concepts. Professor Amarasinghe leads the Commit compiler research group at MIT CSAIL, which has produced numerous influential domain-specific languages and compilers including Halide, TACO, Simit, StreamIt, and GraphIt. The lab maintains strong industry connections through projects like OpenTuner and Determina, and collaborates with researchers worldwide on compiler technology. The group's work spans both theoretical compiler research and practical implementation, with a consistent focus on bridging the performance gap between high-level programming abstractions and hardware capabilities.

Charith Mendisمشاهده پروفایل

استادیار

• Compilers
• Programming Languages
• Machine Learning for Systems
• +۳ مورد دیگر

Charith Mendis is an Assistant Professor in the Siebel School of Computing and Data Science at the University of Illinois at Urbana-Champaign, with joint appointments in the Department of Computer Science, Electrical and Computer Engineering, and the Coordinated Science Lab. His research focuses on the intersection of compilers, program optimization, and machine learning systems. Dr. Mendis received his educational background from prestigious institutions: Ph.D. in Computer Science from Massachusetts Institute of Technology (2020) S.M. in Computer Science from Massachusetts Institute of Technology (2015) B.Sc. in Electronics and Telecommunication Engineering from University of Moratuwa (2013) His primary research interests center around compiler technology and machine learning systems. Mendis leads the ADAPT lab at UIUC, where his team works on creating high-performance ML optimization techniques and automated compiler construction using machine learning and formal methods. His work bridges the gap between traditional compiler design and modern machine learning approaches, with applications in tensor compilers, graph neural networks, and sparse computation. He has developed novel frameworks for optimizing deep learning workloads, verification of compiler transformations, and performance modeling for emerging hardware architectures. Mendis has established himself as a leading researcher in compiler optimization for machine learning systems, with a particular focus on tensor compilers, graph neural networks, and performance modeling. His recent publications demonstrate increasing sophistication in combining formal methods with machine learning techniques to solve challenging problems in compiler optimization and verification, with multiple papers accepted at top-tier conferences including OOPSLA, PLDI, POPL, and SIGMOD. His notable scientific achievements include: Google ML and Systems Junior Faculty Award (2025) DARPA Young Faculty Award (2024) NSF CAREER Award (2024) Distinguished Paper Award at POPL (2025) William A. Martin Thesis Award for Outstanding SM thesis, MIT (2015) Multiple teaching excellence awards at UIUC (2021-2023) Dr. Mendis actively mentors students through the ADAPT lab, offering research opportunities for undergraduates, master's students, and PhD candidates interested in compiler technology and machine learning systems. His research is supported by significant funding from the ACE center (part of JUMP 2.0), National Science Foundation (NSF), DARPA, IIDAI, and industry partners including Google, Intel, Amazon, and Qualcomm. He teaches advanced courses in compiler construction and machine learning for compilers. He leads the ADAPT lab at UIUC, which focuses on developing advanced compiler technologies for modern machine learning workloads. The lab maintains active collaborations with industry partners and has established itself as a leading research group in compiler optimization for AI systems. Current projects include tensor compilers, graph neural network optimization, and automated verification of deep learning systems.

• GPU Computing
• Parallel Computing
• Domain-Specific Languages
• +۵ مورد دیگر

Prof. Dr.-Ing. Richard Membarth is a Research Professor for System-on-a-Chip and AI at the Edge Computing at Technische Hochschule Ingolstadt (THI). He is affiliated with the Hardware-Software Co-Design group and holds a secondary position at the German Research Center for Artificial Intelligence (DFKI) Saarbrücken. Co-creator of DSL frameworks like AnyDSL and Hipacc Key contributor to MetaDL (AI metaprogramming) and PRIME (predictive rendering) His research bridges GPU computing , domain-specific languages , and compiler technology , with recent work on Vulkan SPIR-V compilation and device-driven SpMV algorithms . Notable awards include the HiPEAC Paper Award (2018) and multiple Best Paper Awards for his compiler frameworks.

Jaakko Timo Henrik Järviمشاهده پروفایل

استاد

• Generic Programming
• Programming Language Design
• Graphical User Interfaces (GUI)
• +۷ مورد دیگر

Jaakko Timo Henrik Järvi is a Professor in the Department of Informatics at the University of Bergen, Norway, with additional affiliations at the University of Turku, Finland. His research focuses on programming language design, generic programming, and human-computer interaction, particularly in GUI frameworks and software reuse. His research interests include generic programming, programming language design (especially the Magnolia language), high-performance computing, array programming, and GUI engineering. He emphasizes formal methods and algebraic specifications to build reusable and efficient software systems. His work bridges theoretical foundations with practical applications in software development and education. The recent publications highlight a strong trend in declarative GUI frameworks, multi-selection models, and generic programming. His work explores domain-specific languages for GUI structure manipulation, reusable selection semantics across platforms, and optimizing array computations using the Mathematics of Arrays. These efforts reflect a consistent focus on software abstraction, correctness, and reusability. Jaakko Järvi has supervised doctoral students, including Tetiana Yarygina, whose dissertation explored microservice security. While no specific grants are detailed, his work on VisAST was supported by the Research Council of Norway (Project 250683), indicating active external funding. He frequently collaborates with researchers like Magne Haveraaen, Knut Anders Stokke, and Sean Parent. He contributes to tools and frameworks such as the MultiselectJS library and the VisAST educational tool. These are outcomes of collaborative research teams focused on improving software development practices and computer science education.

• High-Performance Computing
• Parallel Programming
• Domain-Specific Languages
• +۳ مورد دیگر

Wenguang Chen is a researcher affiliated with Tsinghua University and Pengcheng Laboratory , specializing in computer science and high-performance computing . His work bridges theoretical advancements with practical applications in domain-specific languages , parallel programming , and machine learning . Research Interests include: Development of modular DSLs for numerical methods (e.g., Mat2Stencil) Performance optimization in distributed and parallel systems Compiler frameworks for privacy-preserving AI (e.g., FHE-based neural network inference) Graph algorithms scaling to trillion-edge datasets Applications of Rust in memory-safe pointer analysis Recent Publications span 2014–2025, focusing on: Parallelization strategies for supercomputing Compiler automation tools Extreme-scale data processing Performance variance diagnosis in production environments

Sandra Diaz Pierمشاهده پروفایل

پژوهشگر

• Computational Neuroscience
• High Performance Computing
• Machine Learning
• +۳ مورد دیگر

Dr. Sandra Diaz Pier is a Scientific Lead at the Jülich Supercomputing Centre (JSC) within the Jülich Research Centre , Germany. Specializing in computational neuroscience , high performance computing (HPC) , and machine learning , she bridges neuroscience and advanced computational methods through her research. Education: B.Sc. in Electronic Systems Engineering, Mexico M.Sc. in Computer Science (focus: machine learning, quantum computing), Mexico Second M.Sc. in Electrical Engineering, Ontario, Canada Ph.D. in Computer Science, Germany (2021) Her research focuses on modeling and simulating brain dynamics and plasticity at multiple scales, leveraging HPC to accelerate large-scale neural network simulations. She actively contributes to EU projects like the Human Brain Project (HBP) , Virtual Brain Cloud , and EBRAINS 2.0 , emphasizing infrastructure development and educational training. Her work includes open-source tools such as the NEST simulator , The Virtual Brain , and L2L , enabling efficient parameter exploration and multiscale co-simulation frameworks. The 15 most recent publications highlight her interdisciplinary approach, spanning topics from quantum computing in biomolecular simulations to neural plasticity algorithms and cloud-based brain modeling . These articles reflect her expertise in integrating machine learning , multi-scale simulation , and HPC infrastructure for neuroscience challenges, including seizure propagation, Parkinson’s disease progression, and swarm intelligence in spiking networks. She leads technical coordination in projects like EBRAINS and serves as a task leader in the HBP infrastructure work package , while also organizing workshops and hackathons for open-source tools. Her role involves supporting domain scientists through methodological research and workflow optimization for brain simulations.

Peter Sestoftمشاهده پروفایل

استاد

• Programming Languages
• Software Development
• Parallel Programming
• +۴ مورد دیگر

Peter Sestoft is a Professor at the IT University of Copenhagen (ITU), leading the Computer Science Department since 2017. His primary roles include academic leadership, research in programming languages and software engineering, and teaching. He holds a PhD in Computer Science from the University of Copenhagen (1991) and has held academic positions at institutions like the Royal Veterinary and Agricultural University and the Technical University of Denmark before joining ITU in 1999. His research focuses on programming languages, functional and managed object-oriented languages, parallel programming, compilers, and spreadsheet implementation technologies. He has developed influential tools like the C5 Generic Collection Library for C# and Moscow ML, a Standard ML implementation. His work on Funcalc and Corecalc advanced spreadsheet technology with user-defined functions and efficient recalculation algorithms. Key contributions include over 30 publications, including books on programming language concepts and Java/C# syntax. He has led major research projects such as 'Popular Parallel Programming' (P3) and 'Probabli' for actuarial calculations. His academic service includes roles on national grant committees and international conference organizing committees. Notable advising includes PhD students like Andrzej Wasowski (ITU Professor) and David Christiansen (Director of Haskell Foundation). His work has been recognized through grants exceeding 25 million DKK and collaborations with institutions like Microsoft Research and Harvard University.

• Software Engineering
• Dependable Systems
• Formal Methods
• +۴ مورد دیگر

Nicolas GUELFI is a Full Professor at the University of Luxembourg's Faculty of Science, Technology and Medicine (Department of Computer Science). He has been a faculty member since 1999, leading the Lassy laboratory for over a decade and co-founding the academic Bachelor in Computer Science program. His research focuses on software engineering, dependability, resiliency, formal methods, and AI-driven systems. He has coordinated over 60 staff members on international projects and contributed to standards like ERCIM's RISE and SERENE working groups. Education: PhD in Formal Methods (Paris XI, 1999) Teaching: Software Engineering across universities (Paris XI, EPFL, EPITA) since 1994 Roles: ERCIM Executive Committee member, Expert for Judicial Conformance Trials Research interests emphasize requirements engineering (MESSIR framework), resilient systems, and AI integration. He has pioneered tools like SEMKIS-DSL and MESAS for system specification. His work bridges academia and industry through DevOps education programs and standards analysis. Publications span formal verification, Petri nets, and model-driven engineering. He has advised on high-stakes litigation involving €0.1M–€100M projects, leveraging his expertise in system conformance.

Stephen A. Edwardsمشاهده پروفایل

دانشیار

• Embedded Systems
• Real-Time Systems
• Hardware Synthesis
• +۵ مورد دیگر

Stephen A. Edwards is an Associate Professor at the Computer Science Department of Columbia University , where he explores automating software for embedded systems and real-time control . His work focuses on compiler techniques for languages like Esterel and domain-specific solutions for device drivers and communication protocols . Education : PhD in Electrical Engineering, University of California, Berkeley (1997) MS in Electrical Engineering, UC Berkeley (1994) BS in Electrical Engineering, California Institute of Technology (1992) Research Interests span hardware synthesis , functional programming , and synchronous languages . He develops domain-specific languages to bridge software and hardware, emphasizing determinism and timing precision in embedded systems. His group's work includes projects like the FHW compiler and the Sparse Synchronous Model . Article Trends show a focus on FPGA-based systems , garbage collection for accelerators, and parallel functional programming . These reflect his broader interests in hardware-software co-design and compiler optimization for real-time applications. Students : John Hui (2021-2024, Apple) Max Levatich (2020-) Richard Townsend (2013-2019, Tufts) Nalini Vasudevan (2007-2011, Google) Marcio Buss (2004-2008) Jia Zeng (2002-2008) Cristian Soviani (2002-2007, Synopsys) Consulting & Expert Services : He provides litigation support and expert witness services in patent cases involving software architecture and computer design , including ITC cases. Labs & Projects : Leads research on sparse synchronous systems and hardware synthesis , with initiatives like the GAPS CLOSURE Project and FHW Compiler for translating Haskell to System Verilog.

• Computer Architecture
• Parallel Processing
• FPGA Design
• +۳ مورد دیگر

Frank Hannig is a Professor at the University of Erlangen-Nuremberg, Germany, specializing in computer architecture and high-performance computing. His research focuses on FPGA acceleration, hardware-software co-design, neural network optimization, and embedded systems. He has collaborated extensively with co-authors such as Jürgen Teich and Oliver Reiche, producing over 200 publications since 2001. His work emphasizes domain-specific languages (DSLs) for image processing (e.g., Hipacc) and compiler optimizations for FPGAs. Key contributions include techniques for quantized neural networks on microcontrollers, CGRA toolchain evaluation, and efficient mapping of CNNs onto processor arrays. Hannig also explores energy-efficient architectures and reconfigurable computing for emerging applications like edge AI and automotive systems. Publications span conferences like ASAP, FPL, and ARC, reflecting his interdisciplinary approach to bridging algorithm design and hardware implementation. His research often addresses practical challenges in deploying machine learning models on resource-constrained devices while maintaining performance and energy efficiency.