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

Jeremy Gibbonsمشاهده پروفایل

استاد

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

Jeremy Gibbons is a Professor of Computing at the University of Oxford, affiliated with the Department of Computer Science within the Faculty of Computer Science. He serves as Director of the Professional Programmes, overseeing part-time postgraduate degrees in Software Engineering. His roles include Chair of the Faculty of Computer Science (2012–2016), Director of the Software Engineering Programme, and Fellow of Kellogg College. Gibbons' research focuses on programming methodologies, particularly functional and object-oriented languages, with an emphasis on program calculation, design patterns, and bidirectional transformations. He leads the Algebra of Programming research group and is Editor-in-Chief of the Journal of Functional Programming and The Art, Science, and Engineering of Programming . Education includes a D.Phil. from Oxford University. His work spans formal methods, domain-specific modeling for clinical trials (e.g., CancerGrid project), and semantic frameworks for software systems. He has advised numerous students and contributed to open-access initiatives in publishing. Key collaborations include roles in ACM SIGPLAN and IFIP Working Groups 2.1 and 2.11. Research interests emphasize foundational aspects like profunctor optics, categorical programming, and algorithm design. Notable projects include datatype-generic programming and metadata-driven engineering for clinical trials. His work bridges theoretical computer science with practical applications in software architecture and system design.

Michela Becchiمشاهده پروفایل

دانشیار

• Computer Architecture
• Systems Software
• Heterogeneous Computing
• +۵ مورد دیگر

Michela Becchi is an Associate Professor in the Department of Electrical and Computer Engineering at North Carolina State University. She specializes in computer architecture, systems software, and applications, with a focus on heterogeneous systems, parallel algorithms, and acceleration techniques for bioinformatics, pattern recognition, and quantum computing. Her work spans multi-core CPUs, GPUs, FPGAs, and distributed clusters, emphasizing the boundary between hardware and software design. Dr. Becchi holds a Ph.D. and Master’s degree in Computer Engineering from Washington University in St. Louis (2009) and a Bachelor’s degree in Computer Engineering from Politecnico di Milano, Italy (2000). Her research has been recognized with prestigious awards, including the NSF CAREER Award (2015) and the University of Missouri System President Award for Early Career Excellence (2016). Her research interests include compiler and runtime techniques for heterogeneous systems, acceleration of bioinformatics algorithms, and high-speed networking applications. She has pioneered frameworks for efficient data transformation, GPU-accelerated compression, and memory-efficient graph algorithms for quantum computing. Her work also explores thread coarsening, mixed-precision auto-tuning, and secure multi-core processor design. Key contributions include the PILOT runtime system for GPU memory management, the GPU-FPtuner auto-tuner for floating-point applications, and innovative approaches to automata processors for genomic analysis. Her publications emphasize reproducible accuracy in scientific simulations and the optimization of irregular applications on many-core platforms.

Mathias Payerمشاهده پروفایل

دانشیار

• Software Security
• System Security
• Binary Exploitation
• +۳ مورد دیگر

Mathias Payer is an Associate Professor at EPFL's School of Computer and Communication Sciences (IC), leading the HexHive Laboratory . His work focuses on software security, particularly addressing memory corruption and type violations through binary analysis and compiler-based techniques. He contributes to research in secure system design, fault isolation, and fuzzing methodologies. Current PhD students : Di Bartolomeo Luca, Feng Zhiyao, Hofhammer Florian, Lyu Tao, Mao Philipp Yuxiang, Zhang Chibin, Zheng Han Past EPFL PhD students: Badoux Nicolas Daniel, Bhattacharyya Atri, Hazimeh Ahmad His research explores software security in areas like: Protecting applications from vulnerabilities Binary exploitation and mitigation Compiler-driven security hardening Strong sanitization and privilege separation Memory corruption detection The HexHive group develops tools and frameworks for: Automated fuzz driver generation Gradual compartmentalization State inference for feedback optimization Secure cell architectures Recent publications highlight advancements in: Fuzzing hybrid approaches (e.g., DUMPLING, MendelFuzz) Memory safety validation (QMSan, Pacmem) Compiler-assisted defenses (Gradient, Type++)

Stephen W. Kecklerمشاهده پروفایل

استاد مدعو

• Computer Architecture
• Deep Learning Accelerators
• GPU Computing
• +۴ مورد دیگر

Stephen W. Keckler is an Adjunct Professor at the Department of Computer Science , The University of Texas at Austin , and serves as Vice President of Architecture Research at NVIDIA . He is an ACM Fellow , IEEE Fellow , and Sloan Foundation Research Fellow . Education: BS in Electrical Engineering, Stanford University (1990) SM in Computer Science, Massachusetts Institute of Technology (1992) PhD in Computer Science, MIT (1998) Research Interests focus on computer architecture for deep learning , GPU computing , and energy-efficient systems . His work explores memory compression , network-on-chip designs , and heterogeneous computing . Publication Trends highlight advancements in deep learning accelerators , GPU memory systems , and energy-efficient architectures . Notable themes include sparsity exploitation , multi-chip modules , and fault-tolerant GPU pipelines . Scientific Recognition : ACM Fellow IEEE Fellow Sloan Foundation Research Fellow Best Paper Awards at ASPLOS 2009 and ISPASS 2011 Laboratory Affiliations : Computer Architecture and Technology Laboratory (CART) TRIPS Project (Tera-Op Reliable Intelligently adaptive Processing System) NVIDIA Research

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

استاد

• Parallel and Distributed Systems
• Virtualization
• Operating Systems
• +۸ مورد دیگر

Peter Dinda is a Professor in the Department of Computer Science at Northwestern University , with a secondary appointment in the Department of Electrical and Computer Engineering . He has authored over 130 scientific papers, holds five patents, and is a Fellow of the IEEE . As the former head of the Computer Engineering and Systems division, he has contributed extensively to experimental computer systems. Education: B.S. in Electrical and Computer Engineering from the University of Wisconsin Ph.D. in Computer Science from Carnegie Mellon University Research Focus: Experimental computer systems, particularly parallel and distributed systems , virtualization , operating systems , and empathic systems that integrate user satisfaction with systems-level decision-making. His work also spans compiler design, memory management, and hardware-software co-design for performance optimization. Recent Trends: His publications emphasize virtualization efficiency, memory protection frameworks, parallel programming language design, and power management in heterogeneous computing environments. Key areas include exascale systems, IoT privacy, and physiological sensor-based user modeling. Scientific Awards: Fellow, IEEE Leadership: Served as Director of Graduate Studies and previously led the Computer Engineering and Systems division.

Ahmad Afsahiمشاهده پروفایل

استاد

• Parallel Processing
• High-Performance Computing
• Network-Based Computing
• +۵ مورد دیگر

Dr. Ahmad Afsahi is a Professor in the Department of Electrical and Computer Engineering at Queen's University, Canada. He leads the Parallel Processing Research Laboratory (PPRL) and chairs the Graduate Studies committee in ECE. His research focuses on parallel processing, high-performance computing (HPC), and network-based systems, with emphasis on communication runtime systems, accelerated computing, and deep learning infrastructure. Education: Ph.D. (Electrical Engineering, 2000) from University of Victoria; M.Sc. (Computer Engineering, Sharif University of Technology); B.Sc. (Computer Engineering, Shiraz University). Research interests include parallel programming models, MPI optimization, GPU-aware communication, network-aware algorithms, and power-efficient HPC systems. He is a Senior Member of IEEE, ACM member, and licensed Professional Engineer in Ontario. Key Awards: Canada Foundation for Innovation Award, Ontario Innovation Trust Award. Over 50 publications in top venues like SC, EuroMPI, IPDPS, and IEEE journals. Current teaching includes cluster computing and digital systems. Labs/Groups: PPRL, Queen's Collaborative Graduate Specialization in Computational Science and Engineering, Data, Analytics, and Computing (DAC) Research Group.

Tom Schrijversمشاهده پروفایل

استاد

• Programming Languages
• Functional Programming
• Type Systems
• +۶ مورد دیگر

Tom Schrijvers is a Professor at the Department of Computer Science in the Faculty of Engineering Science at KU Leuven, Belgium. He leads the Programming Languages Group within the Declarative Languages and Artificial Intelligence (DTAI) research group. His research focuses on programming languages, particularly functional and logic programming, with special emphasis on Haskell, type systems, and algebraic effects. His research interests include: Functional Programming, especially Haskell Type Systems and Type Theory Algebraic Effects and Handlers Logic Programming, particularly Prolog Constraint Programming Domain-Specific Languages Programming Language Theory Prof. Schrijvers' recent research has focused on effect systems, staged programming, and language composition. His work on algebraic effect handlers has been particularly influential, providing new insights into how effects can be modularly composed and handled in functional languages. He has also made significant contributions to the understanding of type classes and their implementation in Haskell. His publications demonstrate a consistent focus on practical applications of programming language theory, with work spanning from foundational type theory to applied domain-specific languages for areas like fluorescence microscopy. His research often bridges the gap between theoretical programming language concepts and practical implementation concerns. Prof. Schrijvers has supervised numerous PhD students to completion, including Pieter Wuille, Benoit Desouter, George Karachalias, Steven Keuchel, Amr Saleh, Alexander Vandenbroucke, and Ruben Pieters. He currently supervises PhD students Klara Mardirosian, César Santos, Gert-Jan Bottu, Koen Pauwels, Birthe van den Berg, and Roger Bosman. His research group has received funding from various sources including EU projects like GRACeFUL. The Programming Languages Group at KU Leuven, which he leads, focuses on functional (Haskell) and logic (Prolog, Datalog, CLP) programming languages, as well as general programming language theory. The group has been active in numerous research projects and collaborations across Europe.

• Embedded Systems
• Cyber-Physical Systems
• Computer Architecture
• +۵ مورد دیگر

Aviral Shrivastava is a Professor at the School of Computing and Augmented Intelligence, Arizona State University, leading the Make Programming Simple Lab. He holds a Ph.D. and M.S. from the University of California-Irvine (2006, 2002) and a Bachelor’s from IIT Delhi (1999). His research focuses on making programming simple for embedded and cyber-physical systems, with a particular interest in manycore and accelerated computing, software for CPS, and resilient/fault-tolerant computing. He has co-authored over 120 publications in top venues like DAC, ESWEEK, and ACM TECS, with more than 3000 citations and 5 granted patents. His work has been recognized with multiple awards, including the 2010 NSF CAREER award and best paper nominations. Research Areas: Embedded and Cyber-Physical Systems Compiler Design for Modern Architectures Resilient and Fault-Tolerant Computing Scientific Awards: 2010 NSF CAREER award DAC 2017 Best Paper Award Candidate VLSI 2016 Best Student Paper Award LCTES 2010 Second Highest Ranked Paper ASPDAC 2008 Best Paper Candidate Advising & Grants: He has mentored 9 Ph.D. and over 20 Masters students. His research has been funded by NSF, DOE, NIST, SFAZ, and industry partners, totaling $3.5M. He teaches courses on computer organization, architecture, and embedded systems, with student evaluations averaging over 4/5. He also serves as General Chair of Embedded Systems Week (ESWEEK) and holds editorial roles in IEEE ESL, ACM TCPS, and ACM TECS.

Michael Ferdmanمشاهده پروفایل

دانشیار

• Computer Architecture
• Operating Systems
• Machine Learning
• +۷ مورد دیگر

Michael Ferdman is an Associate Professor in the Department of Computer Science at Stony Brook University, where he leads research in computer architecture and systems. His office is located in Room 343 at Stony Brook, NY 11794-2424, and he can be contacted via phone (631-632-8449) or email. Ferdman directs the Computer Architecture and Systems Laboratory (compas.cs.stonybrook.edu), focusing on next-generation server infrastructure. Ferdman's research spans the entire computing stack with emphasis on: FPGA integration for server environments (Intel HARP, Microsoft Catapult) Machine learning accelerators for convolutional neural networks Server systems optimization in the post-Moore era Network processing and software-defined networking Programming models for emerging memory technologies (HBM, 3D XPoint) Reconfigurable hardware and high-level synthesis His work addresses both performance and security challenges in modern computing infrastructure. Analysis of his 15 most recent publications (2022-2025) reveals consistent focus on: Hardware acceleration techniques (FPGAs, specialized processors) Memory hierarchy optimization and cache management Security vulnerabilities in web applications and systems Post-Moore computing architectures Parallel processing and distributed systems His research shows strong emphasis on practical implementations bridging hardware and software layers. Awards recognizing his contributions include: Graduate Teaching Award (2014) Best Paper Award at ASPLOS XVII Best Paper Finalist at HPCA XVII Three IEEE Micro Top Picks selections (2009, 2012) He teaches advanced courses including CSE 502, CSE 602, and CSE 506 at Stony Brook University.

Zhendong Suمشاهده پروفایل

استاد

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

Zhendong Su is a full professor in the Department of Computer Science at ETH Zurich since August 2018. Previously, he held a full professorship at UC Davis from 2003 until June 2019. He earned his Ph.D. in Computer Science from UC Berkeley and dual Bachelor’s degrees in Computer Science and Mathematics from UT Austin in 1995. Affiliations: ETH Zurich: Full Professor (since 2018) UC Davis: Full Professor and Chancellor’s Fellow (2003–2019) IEEE Fellow, ACM Fellow, and Member of Academia Europaea His research focuses on programming languages, compilers, software engineering, computer security, and education technologies . Key contributions include compiler validation (e.g., Project Yin-Yang for SMT solvers and DBMS testing), testing tools like SQLancer, and educational innovations such as the Algot visual programming language. Recent work emphasizes secure AI (e.g., CipherSteal for TEE-shielded models) and compiler reliability (e.g., Artemis/Apollo for JIT validation). He has pioneered techniques like metamorphic testing and equivalence modulo inputs (EMI) for compiler validation, uncovering thousands of bugs in GCC/LLVM and SMT solvers. Awards: ICSE MIP Award (2022), ACM SIGSOFT Impact Paper (2018), NSF CAREER Award, and multiple industrial awards. His students have won IEEE TCSE Rising Star and SIGSOFT Impact Paper awards, securing roles at top universities and companies like Google and NVIDIA. Service: Steering committee member of ISSTA and ESEC/FSE, ACM Distinguished Speaker, and Associate Editor for ACM TOSEM. Program chaired ISSTA 2012 and co-chaired FSE 2016. Labs/Teams: Leads research groups on compiler validation, secure AI, and education technologies. Projects include Yin-Yang (SMT testing), SQLancer (DBMS fuzzing), and Algot (visual programming for education).

Bill Groppمشاهده پروفایل

استاد

• High Performance Computing
• Parallel Computing
• Scientific Computing
• +۳ مورد دیگر

William Gropp is the Grainger Distinguished Chair and Director of the National Center for Supercomputing Applications (NCSA) at the University of Illinois Urbana-Champaign. He holds a Ph.D. in Computer Science from Stanford University (1982) and has contributed extensively to parallel computing, software for scientific computing, and numerical methods for PDEs. His research focuses on high performance computing, programming models, and scalable algorithms. Education: B.S. Mathematics (Case Western Reserve, 1977), M.S. Physics (University of Washington, 1978), Ph.D. Computer Science (Stanford, 1982). Research Interests: Gropp's work spans HPC, parallel computing, and numerical methods. He co-developed the MPI standard and MPICH implementation, and contributed to the PETSc library. His current projects include the Delta and DeltaAI supercomputers, Illinois Computes, and exascale initiatives. Scientific Awards: AAAS Fellow (2018), ACM/IEEE-CS Ken Kennedy Award (2016), SIAM/ACM Prize (2015), and 2024 ACM Software System Award. Member of the National Academy of Engineering. Grants & Leadership: Director of NCSA, leader of the Midwest Big Data Hub, and contributor to NSF-funded projects. His teams support AI/ML infrastructure and exascale computing. He advises on HPC policy and serves on committees like the Computing Community Consortium. Labs/Teams: NCSA, Siebel School research groups, collaborations with DOE, NSF, and industry partners. His work drives advancements in cyberinfrastructure and computational science.

Kunal Agrawalمشاهده پروفایل

استاد

• Parallel Computing
• Algorithms Design
• Runtime Systems
• +۳ مورد دیگر

Kunal Agrawal is a Professor in the Department of Computer Science & Engineering at the McKelvey School of Engineering, Washington University in St. Louis. She holds a PhD from MIT (2009), an MS from the National University of Singapore (2002), and a BE from Mumbai University (2001). Her research focuses on parallel computing, runtime systems for parallel programming, scheduling, transactional memory, and cache-aware/streaming algorithms. She joined WashU in 2009 after working with MIT's Supercomputing Technologies Group. Her 2012 NSF CAREER Award supports developing concurrency platforms for high-throughput parallel programs. Collaborative projects include enhancing atmospheric simulation software (GEOS-Chem) and studying novel computer memory properties. She also contributed to an NSF-funded study on interactive parallel applications. Her lab explores foundational challenges in parallel system design. Lab Website: Link Google Scholar Profile: Link Research emphasizes bridging theoretical guarantees with practical efficiency in parallel systems, addressing scalability and resource management in real-time environments.

Alan Sussmanمشاهده پروفایل

استاد

• Databases and Big Data
• High Performance Computing
• Parallel and Distributed Systems
• +۴ مورد دیگر

Alan Sussman is a Professor and Associate Chair of Undergraduate Education in the Computer Science department at the University of Maryland. His research focuses on databases, high-performance computing, parallel systems, and educational curriculum development for computing disciplines. He holds a Ph.D. from Carnegie Mellon University (1991) and a B.S.E. from Princeton University (1982). His educational contributions include integrating parallel and distributed computing concepts into early undergraduate courses, supported by NSF-funded initiatives like the CyberTraining program. He has advised students such as Harshit Soora (Master's) and Xiaolong Tian (PhD). His research spans compiler optimizations for parallel programs, distributed data management systems, and scientific workflow frameworks like DYFLOW. He collaborates with UMIACS and contributes to interdisciplinary projects like the TASCS center. Key innovations include VeloxDFS for distributed dataset streaming, compiler techniques for irregular memory access in PGAS programs, and NetCDFaster for geospatial data optimization. His work emphasizes productivity improvements for high-performance applications and curriculum modernization to address emerging computational challenges. Awards: No individual awards explicitly listed; however, collaborator Jik-Soo Kim received a best paper award in 2006. Grants: NSF CyberTraining, TCPP Curriculum Initiative, and Center for Technology for Advanced Scientific Component Software (TASCS). Labs/Teams: Active in UMIACS and interdisciplinary collaborations, including the TASCS center and InterComm framework development.

Laurie Williamsمشاهده پروفایل

استاد

• Software Security
• Agile Software Development
• Software Supply Chain Security
• +۴ مورد دیگر

Laurie Williams serves as a Goodnight Distinguished University Professor in the Computer Science Department within the College of Engineering at North Carolina State University. She co-directs both the NCSU Secure Computing Institute and the NC State Science of Security Lablet, demonstrating deep institutional leadership in cybersecurity research. With over 260 refereed publications, her work establishes her as a prominent figure in software security academia. Her research spans critical areas including software security, agile development practices (particularly continuous deployment), software reliability, and software supply chain security. Williams focuses on practical security solutions addressing modern challenges like malicious dependencies in open-source ecosystems, AI-generated code vulnerabilities, and runtime protection mechanisms. Her work bridges theoretical security principles with industry-relevant applications. Recent publications reveal strong trends toward software supply chain security, with multiple 2024-2025 papers addressing vulnerability exploitability, malicious commit detection, and metrics-driven security control selection. Her research increasingly incorporates machine learning for threat detection while maintaining focus on human factors in secure development practices. IEEE Fellow (2018) National Science Foundation CAREER Award (2004) ACM SIGSOFT Influential Educator Award (2009) Multiple IBM Faculty Awards (2002-2012) NCSU Alumni Association Outstanding Research Award (2015-2016) Williams leads multiple major NSF-funded projects including the $5.7M SaTC Frontiers grant on secure software supply chains and the Science of Security Lablet with $3.6M in DoD funding. Her research emphasizes practical industry impact through collaborations with Cisco and Laboratory for Analytic Sciences. She actively mentors through the NCSU Research Leadership Academy and maintains significant educational outreach in software security. Her laboratory work centers on the Secure Computing Institute and Science of Security Lablet, where her team develops frameworks for vulnerability prediction, supply chain risk assessment, and secure development methodologies. Current projects focus on machine learning integrity, cognitive modeling for security decisions, and empirical analysis of build/deployment logs for anomaly detection.

• Energy Efficiency in Software
• Multicore Memory Systems
• Hardware/Software Co-Design
• +۳ مورد دیگر

Arrvindh Shriraman is an Associate Professor and Program Director of Software Systems at Simon Fraser University's School of Computing Science in Surrey. His research focuses on energy-efficient software, multicore memory systems, and optimizing hardware/software interfaces for parallel programming. He holds a Ph.D. (2010) and M.S. (2006) in Computer Science from the University of Rochester, and a B.Eng. (2004) from the University of Madras. He teaches courses on parallel programming and energy-conscious software design. His research interests include synchronization mechanisms for domain-specific architectures, cache optimization, and FPGA-based acceleration. He has contributed to frameworks like Mu-grind for HLS-generated RTL instrumentation and TAPAS for parallel accelerator generation. Notable projects include RANGE-BLOCKS for synchronization in domain-specific systems and TapeFlow for gradient computation in neural networks. His work emphasizes real-time verification of autonomous systems and safety-critical trajectory planning for underwater vehicles. Shriraman collaborates closely with the Tangent Lab, exploring cutting-edge solutions in hardware-software co-design and embedded systems. His teaching and research bridge theoretical computer science with applied engineering challenges, addressing scalability, efficiency, and safety in modern computing systems.