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

James C. Hoeمشاهده پروفایل

استاد

• Computer Architecture
• Reconfigurable Computing
• High-Level Hardware Design and Synthesis
• +۴ مورد دیگر

James C. Hoe is Professor of Electrical and Computer Engineering at Carnegie Mellon University (College of Engineering). He is on sabbatical at MangoBoost and directs research in computer architecture, reconfigurable computing, and high-level hardware design. Education Ph.D., Electrical Engineering and Computer Science, MIT (2000) M.S., Electrical Engineering and Computer Science, MIT (1994) B.S., Electrical Engineering and Computer Science, UC Berkeley (1992) Research Interests Professor Hoe’s work spans computer architecture , reconfigurable computing , FPGA architectures , and high-level hardware synthesis . His group created the CoRAM abstraction for virtualized FPGA computing and leads efforts in power-efficient accelerators, in-network computing, and security-oriented FPGA systems. Scientific Awards IEEE Fellow (2013) Intel Outstanding Researcher Award (2021) Research Funding & Projects Intel / VMware Crossroads 3D-FPGA Academic Research Center – co-leading exploration of FPGA roles in future datacenters. DARPA BRASS program ($2.7 M, 4 years) – ensuring long-lived software systems remain robust to resource changes. Pigasus open-source IDS – world’s fastest FPGA-accelerated intrusion-detection system (100 Gb/s on one server). Labs & Teams He heads activities within the Computer Architecture Lab at Carnegie Mellon (CALCM) , supervising graduate researchers on CoRAM++, SPIRAL autotuning, and FPGA overlays for stream processing.

Nadia Polikarpovaمشاهده پروفایل

دانشیار

• Program Synthesis
• Program Verification
• Type Systems
• +۵ مورد دیگر

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

• Software Engineering
• Computer Systems
• Software Security
• +۱۱ مورد دیگر

Cristian Cadar is a Professor in the Department of Computing at Imperial College London, leading the Software Reliability Group . His research focuses on improving software reliability and security through practical techniques in software engineering, computer systems, and program analysis. Education: Ph.D. in Computer Science, Stanford University M.Eng. in Computer Science, MIT B.S. in Computer Science and Mathematics, MIT His research interests center on software engineering and software security , particularly symbolic execution , dynamic symbolic execution (DSE) , and multi-version execution . Current work explores techniques for scalability, constraint solving, and runtime security in software systems. Key trends in his recent articles include optimizing symbolic execution for testing, addressing path explosion in constraint-based test generation, and advancing multi-version execution for dynamic software updates. His publications also cover program analysis , automated testing , and formal methods for software reliability. Awarded prestigious honors such as the Humboldt Research Award (2024) , ERC Consolidator Grant (2018) , and IEEE New Directions Award (2022) . Other accolades include the BCS Roger Needham Award (2019) and SIGOPS Hall of Fame (2018) . Cadar supervises PhD and postdoctoral researchers in software reliability and security. His group has secured grants from the ERC and EPSRC , including a Consolidator Grant (2018) and Early-Career Fellowship (2013) . He actively contributes to conference organizing committees and editorial boards. The Software Reliability Group at Imperial College, led by Cadar, specializes in techniques like KLEE and EXE for automated testing. Their work has been adopted by industry partners such as Fujitsu, IBM, and Microsoft, particularly in runtime security tools like WIT .

Todd Millsteinمشاهده پروفایل

استاد

• Software Reliability
• Network Verification
• Programming Languages
• +۵ مورد دیگر

Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA), and served as Department Chair from 2022–2025. He is also an Amazon Scholar and a co-founder and former Chief Scientist of Intentionet (now at AWS). His research focuses on making software systems more reliable, particularly through network verification and programming language techniques. He pioneered the Batfish network configuration analyzer, which is used by AWS, Oracle Cloud, and dozens of companies, and received the ACM SIGCOMM Networking Systems Award (2025) for this work. His recent publications span probabilistic programming, network reliability, and interactive program verification, including papers at PLDI 2024 (on bit blasting probabilistic programs), NSDI 2024 (on behavioral testing of BGP), and HotNets 2024 (on network layering). Todd has received prestigious awards such as an NSF CAREER Award , a Microsoft Research Outstanding Collaborator Award , and multiple best paper awards at PLDI, OOPSLA, and SIGCOMM. He has advised Ph.D. students like Ana Brendel and Poorva Garg , and teaches courses such as CS30 (Principles of Computing), CS231 (Types and Programming Languages), and CS239 (Current Topics in PL and Systems). His professional roles include Program Chair for OOPSLA 2014 and ECOOP 2018, and committee member for numerous conferences including PLDI , SPLASH , and LAFI .

Ion Stoicaمشاهده پروفایل

استاد

• Distributed Systems
• Cloud Computing
• AI Systems
• +۳ مورد دیگر

Ion Stoica is a Professor in the Electrical Engineering and Computer Sciences Department at the University of California, Berkeley, where he holds the Xu Bao Chancellor Chair. He serves as Director of the Sky Computing Lab and is Executive Chairman of both Databricks and Anyscale. His research spans distributed systems, cloud computing, and AI systems, with significant contributions to large-scale data processing frameworks. Stoica's research interests focus on the intersection of AI and systems, with emphasis on developing practical implementations that bridge theoretical foundations with real-world deployability. His work addresses fundamental challenges in distributed computing, resource management, and large-scale machine learning systems. Current projects include Ray (a distributed execution framework), vLLM (a high-throughput inference engine for LLMs), Chatbot Arena (an open platform for human preference evaluations), and SkyPilot (a framework for running AI workloads across clouds). His research output demonstrates a consistent trajectory toward more efficient, scalable systems for modern AI workloads, particularly focusing on optimizing inference performance, resource utilization, and cross-cloud deployment. Recent publications reflect growing interest in large language model serving, video generation optimization, and agent-based systems. ACM Fellow SIGOPS Hall of Fame Award (2015) SIGCOMM Test of Time Award (2011) ACM Doctoral Dissertation Award (2001) Member of National Academy of Engineering Honorary Member of the Romanian Academy Stoica has advised an extensive number of doctoral students who have gone on to prominent positions in academia and industry, including assistant professorships at Stanford, MIT, Carnegie Mellon, and other top institutions. He has received significant research funding through his lab activities and startup ventures. His research group has been particularly successful in translating academic research into widely adopted open-source technologies and commercial products. Stoica leads the Sky Computing Lab at UC Berkeley, which focuses on developing systems for AI workloads across multiple clouds. His research group has produced numerous influential open-source projects including Apache Spark, Apache Mesos, and Alluxio, which have become industry standards for large-scale data processing. The lab maintains strong industry partnerships while pursuing fundamental research in distributed systems and AI infrastructure.

KHOO Siau Chengمشاهده پروفایل

دانشیار

• Programming Languages
• Code Analytics
• Software Engineering
• +۷ مورد دیگر

KHOO Siau Cheng is an Associate Professor in the Department of Computer Science at the National University of Singapore (NUS) School of Computing. He also serves as Co-Director of the NUS Business Analytics Centre, established in 2013 in collaboration with the Economic Development Board of Singapore and IBM. His academic journey began with a Ph.D. in Computer Science from Yale University in 1992. Professor Khoo's research focuses on improving software developer productivity through advanced programming language theories and software engineering techniques. His work spans multiple areas including static program analysis, dynamic program optimization, code analytics, and specification mining. He has applied his expertise to develop domain-specific languages for financial data analysis and has pioneered techniques for discovering dynamic program behaviors via data-mining approaches. Research Interests: Programming Languages and Software Engineering Code Analytics and Program Analysis Specification Mining and Bug Signature Discovery Static and Dynamic Program Analysis Program Transformation and Optimization Domain-Specific Languages Professor Khoo's publications demonstrate a consistent focus on improving software quality and developer productivity. His recent work emphasizes scalable approaches to refactoring detection, bug signature mining, and specification inference, showing an evolution from theoretical foundations to practical applications in software maintenance and quality assurance. As an educator and mentor, Professor Khoo has supervised numerous graduate students to completion of their M.Sc. and Ph.D. degrees. His research projects have provided valuable training opportunities for students while addressing important challenges in software development. He has also contributed significantly to academic administration, having served as Vice Dean (Undergraduate Studies) in the School of Computing from 2005 to 2011 and currently as Co-Director of the Master of Science (Business Analytics) Programme.

Bernhard Rumpeمشاهده پروفایل

استاد

• Software Engineering
• Model-Based Software Engineering (MBSE)
• Domain-Specific Languages (DSLs)
• +۱۶ مورد دیگر

Bernhard Rumpe is a Professor and Chair of Software Engineering at the Department of Computer Science 3, RWTH Aachen University, Germany. He leads a research group focused on model-based software engineering, domain-specific languages, and digital twins, with strong industrial collaborations and applications in embedded systems, AI, IoT, and autonomous vehicles. His research centers on improving software development through model-driven engineering, generative techniques, and formal modeling using UML, SysML, and the MontiCore language workbench. Key interests include digital twins, variability modeling, model composition, and the integration of cyber-physical systems with information systems. The recent publications highlight a consistent focus on model-driven digitalization, language workbenches, and system integration. Trends show increasing emphasis on digital twins in manufacturing and societal systems, formal verification of model transformations, and educational applications of model-driven low-code platforms. His work bridges theoretical foundations with industrial applicability. Keynote Speaker, OOPSLE 2025 General Chair, GPCE 2023 Session Chair, MODELS 2020 Program Committee Member, SLE, GPCE, ICSE, ECMFA He advises master’s and doctoral students and leads a vibrant research team that has successfully executed over 100 research projects. His group develops foundational tools like MontiCore and applies them in industrial contexts, contributing to software quality and developer efficiency. No formal grants are listed, but sustained project funding is evident. He is involved in several research labs and teams centered around the Software Engineering Chair at RWTH Aachen, focusing on language workbenches, model-driven development, and digital twin systems. The team actively contributes to open research through publications, tools, and industrial partnerships.

• Emergent Software Systems
• Runtime Adaptation
• Component-Based Software
• +۷ مورد دیگر

Professor Barry Porter is a faculty member at Lancaster University in the School of Computing and Communications . His research focuses on emergent software platforms that address software complexity through component models , meta-software platforms , and machine learning . Key areas include distributed systems, cloud integration with sensor nodes, green computing, and real-time visualization. Research Interests : Runtime adaptation in complex systems Self-assembling software architectures Machine learning for code optimization Distributed emergent systems at scale Green computing for multi-core environments Edge-cloud continuum integration Recent Publication Trends : His 2025 work explores genetic improvement for software using speciation algorithms , program geometry projection , and multi-agent decision frameworks . Earlier studies (2022-2024) investigate edge-cloud systems , neural transfer learning , and ecosystem curation in emergent software. Supervision & Projects : He supervises PhD student Ben Craine and leads projects like B-EGI (Bio-Enhanced Genetic Improvement) and BBC Prosperity Partnership for media delivery. Collaborations span environmental IoT, multi-agent learning, and fog computing. Labs & Groups : Affiliated with the Lancaster Intelligent, Robotic and Autonomous Systems Centre , Centre of Excellence in Environmental Data Science , and the Distributed Systems group.

Benjamin J. Delawareمشاهده پروفایل

استادیار

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

Benjamin J. Delaware is an Assistant Professor of Computer Science at Purdue University. His research focuses on programming languages, formal verification, and tools for ensuring software correctness using mechanized theorem provers. He holds a Ph.D. from The University of Texas at Austin (2013), an MSc from Washington University in St. Louis (2007), and a B.S. from Truman State University (2005). His work emphasizes practical formal methods, including static enforcement of privacy policies, compiler design for oblivious computation, and automated verification techniques. Key contributions include tools like Taypsi, KestRel, and HACCLE. His research bridges theory and practice, addressing challenges in software security, correctness, and efficiency. Publications span top venues like POPL, PLDI, and OOPSLA, reflecting a strong focus on foundational programming language concepts. Collaborations with researchers like Suresh Jagannathan and Qianchuan Ye drive advancements in automated reasoning and secure computation.

• Software Engineering
• Refactoring Techniques
• Technical Debt Management
• +۴ مورد دیگر

Christian Newman is an Associate Professor in the Department of Software Engineering at the Golisano College of Computing and Information Sciences, Rochester Institute of Technology (RIT). He serves as the Graduate Program Director and has expertise in software engineering methodologies, refactoring techniques, and source code analysis. His research focuses on improving code quality, developer practices, and automated documentation. Education: Newman holds a BS, MS, and Ph.D. from Kent State University. His academic background aligns with his current research in software engineering and empirical studies. Research Interests: His work emphasizes identifier naming standards, technical debt management, refactoring strategies, and code reuse. He explores how developers perceive and implement refactoring tools, as well as the role of large language models (LLMs) in programming education and code generation. Publications: Newman's recent work includes studies on identifier semantics, part-of-speech tagging for code analysis, and the performance of LLMs in introductory programming tasks. His research often combines empirical studies with tool development, such as SATDBailiff for technical debt tracking and TSDetect for test smell detection. Teaching & Advising: He teaches courses like SWEN-250 (Personal Software Engineering), SWEN-331 (Engineering Secure Software), and graduate-level thesis supervision. His courses emphasize secure development, software design principles, and team-based projects. Tools & Contributions: Newman has developed tools like srcSlice (static slicing), srcType (type resolution), and SCALAR (identifier analysis). These tools support software evolution, code comprehension, and empirical research in the field.

Zhen Ming Jiangمشاهده پروفایل

دانشیار

• Software Engineering
• Artificial Intelligence
• Computer Systems
• +۶ مورد دیگر

Zhen Ming (Jack) Jiang is an Associate Professor and York Research Chair (Tier II) in Software Engineering for Foundation Model-Powered Systems at York University's Department of Electrical Engineering and Computer Science. His research bridges software engineering, artificial intelligence, and computer systems with significant industrial impact. Dr. Jiang earned his Ph.D. from Queen's University's School of Computing and MMath/BMath degrees from the University of Waterloo's David R. Cheriton School of Computer Science. During his doctoral studies, he collaborated with BlackBerry's Performance Engineering team, developing tools now used daily to monitor commercial software systems. His research focuses on engineering rigor for AI-powered applications , software engineering evolution in the Generative AI era , and performance optimization of large-scale systems . Key areas include software performance engineering, mining software repositories, debugging distributed systems, source code analysis, and software visualization. His work combines empirical studies with practical tool development. Recent publications reveal strong trends in applying AI to software engineering challenges, particularly in machine learning systems reliability, blockchain efficiency, and AIOps solutions. His research consistently emphasizes empirical validation using real-world systems and industrial case studies. Scientific recognition includes: York Research Chair (Tier II) in Software Engineering for Foundation Model-Powered Systems NSERC Discovery Accelerator Supplements (DAS), 2020 Best Paper Award at ICST 2016 IEEE Software Best SEIP Paper at ICSE 2015 Ph.D. Research Achievement Award at Queen's University Multiple best paper awards at WCRE, MSR, and ICSE Dr. Jiang actively supervises graduate students and has secured competitive research funding including NSERC grants. His service includes program committee roles for top conferences (ICSE, ASE, ICSME) and editorial work for leading journals (TSE, TOSEM, EMSE). He leads research initiatives focused on foundation model-powered systems, collaborating with industry partners on performance monitoring and debugging solutions for large-scale distributed environments.

• Software Engineering
• Video Game Development
• Artificial Intelligence for Software Engineering (AI4SE)
• +۴ مورد دیگر

Cristiano Politowski is an Assistant Professor in the Department of Computer Science at Ontario Tech University’s Faculty of Science. His research focuses on applying software engineering principles to video game development, with particular emphasis on software testing, artificial intelligence for software engineering (AI4SE), deep reinforcement learning, and empirical software engineering. Education includes a PhD in Computer Science and Software Engineering from Concordia University (2022), supervised by Professors Yann-Gaël Guéhéneuc and Fabio Petrillo. Prior to his current role, he held postdoctoral positions at Université de Montréal and École de Technologie Supérieure in Montréal, Canada. Research interests span game engine architecture analysis, automated testing methodologies for games, and bridging gaps between academic theory and industry practices in software engineering. His work often involves empirical studies on software quality, framework impacts, and event-driven systems. Publications reflect a focus on game development challenges, including studies on API compatibility, subsystem coupling visualization, and AI-driven game balance assessment. He actively contributes to the understanding of software processes in the video game industry through surveys and dataset curation initiatives like PlayMyData.

• Software Engineering
• Technical Debt Management
• Software Architecture
• +۳ مورد دیگر

Paris Avgeriou is a Professor of Software Engineering at the University of Groningen, affiliated with the Faculty of Science and Engineering and the Bernoulli Institute. He leads the Software Engineering and Architecture research group and serves as Editor-in-Chief of the Journal of Systems and Software . His expertise spans technical debt management, software architecture, self-adaptive systems, and embedded systems design. Avgeriou holds an office at Nijenborgh 9, Groningen, and actively advises academic institutions and funding bodies globally. Research Interests: Avgeriou's work focuses on advancing software architecture principles, technical debt lifecycle management, and the integration of AI in software engineering. His research emphasizes practical solutions for improving software quality, maintainability, and system dependability, particularly in embedded and self-adaptive contexts. Recent Contributions: Recent studies include frameworks for benefit-cost-risk decision-making in self-adaptive systems, automated technical debt management using ML, and tools for tracing architecture-related debt. He collaborates internationally, contributing to standards like the Copenhagen Manifesto for human-centered AI in software engineering. Grants & Awards: While no specific awards are listed, his editorial role and frequent conference contributions reflect recognition in the field. He chairs conference tracks and oversees workshops, fostering early-career researchers and artifact evaluation. Labs & Teams: His group is part of the Bernoulli Institute, working on platforms like SDK4ED for embedded systems and tools such as DebtViz for technical debt monitoring. The team explores intersections between systems engineering and software architecture in complex systems-of-systems.

• Software Engineering
• Model-Driven Engineering
• Automotive Embedded Systems
• +۳ مورد دیگر

Vera Pantelic is an Adjunct Assistant Professor in the Department of Computing and Software at McMaster University. Her research focuses on software engineering practices for model-based development in automotive systems, particularly centralized Electrical/Electronic (E/E) architectures, Simulink modeling, and supervisory control of probabilistic discrete event systems. Education: Not explicitly mentioned in the text. Her scholarly activity includes extensive contributions to conferences and journals in automotive software engineering, model transformation, and real-time systems. Her work addresses challenges in modularity, documentation, and compliance within automotive embedded systems. Her recent publications emphasize advancements in centralized E/E architectures, model-driven testing, and assurance cases for automotive safety. She collaborates on topics integrating software engineering principles with automotive domain requirements. Scientific Awards: No specific awards mentioned in the text. She serves as an advisor in software engineering, though specific student names are not listed. Her projects involve simulation-based testing, model refactoring, and compliance frameworks, supported by industry partnerships and academic grants. Her work contributes to labs and teams focused on automotive software reliability and model-driven engineering. No explicit lab or team affiliations are detailed in the provided text.

Rachel Harrisonمشاهده پروفایل

استاد

• Software Engineering
• Machine Learning
• Requirements Engineering
• +۳ مورد دیگر

Professor Rachel Harrison is a Professor in Computer Science at the School of Engineering, Computing and Mathematics, Oxford Brookes University. Her research focuses on software metrics, machine learning, and requirements engineering with emphasis on empirical and automated software engineering solutions. She has over 160 publications and extensive industry collaborations with organizations like IBM and Philips Research Labs. Her work has been recognized through roles as Editor-in-Chief of the Software Quality Journal and leadership in conferences such as ICSE and ESEM. She leads the Dependable System Engineering Centre (DSERC) and is part of the Artificial Intelligence, Data Analysis and Systems (AIDAS) Institute and the Applied Software Engineering and Data Analytics (ASEDA) Group. Her research projects include AI applications for big data analysis (AIMi), automated review classification (ReClass), and software quality improvement (SEQUIN). Professor Harrison has served on over 50 international program committees and initiated workshops like RAISE and AIRE. Her teaching includes advanced computer science modules and leadership in courses like Essential Maths for University Study and Advanced Software Development . Her work bridges academic research and practical applications, particularly in healthcare technology (e.g., diabetes management systems) and mobile application usability. She advocates for rigorous software quality practices and has contributed to frameworks for requirements validation and risk assessment in software projects.