Xujie Si is an Assistant Professor in the Department of Computer Science at the University of Toronto. He is also a faculty affiliate at the Vector Institute and an affiliate member at Mila - Quebec AI Institute, holding a Canada CIFAR AI Chair. Previously, he served as an Assistant Professor at McGill University's School of Computer Science. Education: Ph.D., Computer and Information Science, University of Pennsylvania (advised by Mayur Naik) M.S., Computer Science, Vanderbilt University B.E. (with Honors), Nankai University Research Focus: His work bridges AI and program reasoning, emphasizing the integration of statistical and logical methods. Key areas include: Static analysis and verification using deep learning/reinforcement learning Neuro-symbolic systems for urban simulation (e.g., LogiCity) Automated theorem proving via LLMs and symbolic reasoning Program repair and compiler fuzzing Recent Article Trends: Recent work focuses on synergizing LLMs with symbolic reasoning (e.g., Olympiad inequality proving), advancing SAT solving with graph neural networks, and applying neuro-symbolic methods to Euclidean geometry formalization. Awards: Canada CIFAR AI Chair (2023) Lab/Teams: Leads research teams exploring program analysis, neuro-symbolic AI, and formal verification at the University of Toronto and Vector Institute.
Yingfei Xiong is an active Associate Professor at Peking University, China, specializing in software engineering and programming languages. With a consistent research trajectory from 2013 through 2026, Xiong has established themselves as a prominent figure in the software engineering research community, regularly contributing to top-tier conferences including SPLASH, ICSE, ASE, and PLDI. Dr. Xiong's research primarily focuses on program synthesis, automated program repair, and software analysis techniques. Their work bridges theoretical programming language concepts with practical software engineering applications, particularly in developing novel approaches for code generation, bug fixing, and program optimization. The research demonstrates strong interdisciplinary connections between traditional software engineering, programming languages theory, and emerging AI techniques. Analysis of Xiong's publication trends reveals a clear evolution in research focus, beginning with foundational work in API transformations and program adaptation around 2013-2016, shifting toward program repair techniques from 2017-2020, and most recently incorporating machine learning and neural approaches into program synthesis and repair (2021-2026). The work consistently addresses practical challenges in software development while maintaining theoretical rigor, with increasing integration of AI techniques in recent years. Dr. Xiong has served in various leadership roles across the software engineering conference ecosystem, including program committee membership and session chair positions at major conferences. Their extensive service demonstrates recognition by peers as a subject matter expert in software engineering and programming languages research. While specific grant information isn't detailed in the provided text, the sustained publication record suggests successful research funding.
Lingming Zhang is an Associate Professor at the Department of Computer Science, University of Illinois Urbana-Champaign, affiliated with the Grainger College of Engineering. His research focuses on the intersection of Software Engineering, Programming Languages, and Machine Learning, with a particular emphasis on automated program repair, compiler testing, and large language model (LLM) applications in software engineering. He has published over 100 papers, achieving an h-index of 50+, and holds an ACM Distinguished Member status. Research Interests: LLM-based software testing, repair, and synthesis Fuzzing of deep-learning libraries and compilers Open-source code LLMs (e.g., StarCoder2, Magicoder) with over 1M downloads Automated program repair systems (e.g., AlphaRepair, ChatRepair, Agentless) Recent Contributions: Developed TitanFuzz for coverage-guided compiler fuzzing Released Agentless , an LLM-based coding tool adopted by OpenAI and DeepSeek Proposed SWE-RL to enhance LLM reasoning via reinforcement learning Service Roles: Program Co-Chair for ASE 2025 and LLM4Code 2025 Associate Chair for OOPSLA 2024 and Area Chair for ICSE 2025/2026 Recipient of NSF CAREER Award and ACM SIGSOFT Early Career Award Lab/Teams: Develops open-source tools like UniAPR for efficient patch validation Active in releasing industry-adopted LLM-based software engineering tools
Yongle Zhang is an Assistant Professor in the Department of Computer Science at Purdue University, joining in Spring 2021. His research focuses on systems software, particularly improving reliability and availability in complex distributed systems through failure detection and diagnosis. He holds a Ph.D. from the University of Toronto and has prior degrees from Shandong University and the Chinese Academy of Sciences. **Education:** Ph.D., University of Toronto, Computer Engineering (2020) Master, Institute of Computing Technology, Chinese Academy of Sciences (2013) Bachelor, Shandong University, Computer Science (2010) **Research Interests:** His work addresses challenges in distributed systems, including root cause diagnosis in cloud environments, diagnosable software design, and concurrency bugs in persistent memory applications. Recent projects include analyzing live debugging activities in production systems and detecting cross-system interaction failures. **Awards & Grants:** SIGOPS Dennis M. Ritchie Thesis Award (2021) Meta 2022 Systems Research Award NSF Core Grant (2021) **Advising & Labs:** Advises PhD and Master’s students in distributed systems research (e.g., Shangshu Qian, Panchapakesan Chitra Sruthi). Leads a lab focused on production system reliability, with collaborations on cloud infrastructure and failure analysis tools.
Darko Marinov is a Professor at the Siebel School of Computing and Data Science and a member of the Information Trust Institute at the University of Illinois at Urbana-Champaign. His research focuses on software testing methodologies, particularly regression testing, flaky tests, and software reliability engineering. He has contributed to frameworks like Ekstazi for regression test selection and DeFlaker for identifying flaky tests. Marinov holds an NSF CAREER Award (2008) for his work in this domain. His research interests span testing techniques for modern software systems, including configuration testing, test prioritization, and fault localization. He has pioneered studies on the characteristics of flaky tests in large-scale projects and developed tools to improve software quality assurance processes. Marinov collaborates across academic and industrial settings, addressing challenges in continuous integration, reproducibility of computational experiments, and hardware-software co-design for resilience. His work bridges theory and practice, with applications in cloud computing, AI workloads, and cybersecurity. Awards: NSF CAREER Award (2008) Key Contributions: Ekstazi, DeFlaker, FastFlip, and Ctest4J frameworks Labs/Teams: Active member of the Information Trust Institute and leads software testing research groups at UIUC
Omprakash Gnawali is an Associate Professor in the Department of Computer Science at the University of Houston, with expertise in Internet of Things, wireless sensor networks, and artificial intelligence. His research focuses on advanced networking protocols, mobility analysis, and safety monitoring systems. Postdoctoral work at Stanford University PhD in Computer Science from University of Southern California Masters and Bachelors from Massachusetts Institute of Technology His research interests include Ultra-Wideband (UWB) localization, network protocol design, edge computing for monitoring systems, and mobile sensor networks. He leads the Networked Systems Laboratory , where he develops frameworks like the Collection Tree Protocol and CodeDrip for efficient data dissemination. Recent publications highlight trends in UWB-based safety monitoring, routing optimization in dual-radio networks, and deception detection in cybersecurity. He has secured NSF Student Travel Grants for ACM SenSys conferences in 2016 and 2017. Scientific Awards NSF Student Travel Grant (2017) NSF Student Travel Grant (2016) He actively mentors students in research projects and teaches courses such as Research Methods in Computer Science and Computer Networks . His service roles include Technical Program Committee memberships and chairing the TinyOS Network Protocol Working Group.
Abhik Roychoudhury is a Provost's Chair Professor of Computer Science at the National University of Singapore (NUS), leading the Trustworthy and Secure Software (TSS) research group since 2001. His work focuses on automated program repair, software testing, security, and agentic AI. He is a Senior Advisor at SonarSource following the acquisition of his startup AutoCodeRover. He holds an ACM Fellowship and has received the ICSE Most Influential Paper Award for program repair research. Education: M.S. and Ph.D. in Computer Science from State University of New York at Stony Brook (1997-2000). Research interests include program analysis, software security, and AI-driven software engineering. His team has pioneered techniques like SemFix and Angelix for program repair, and AFLNet for protocol fuzzing. He has served as editor-in-chief of ACM TOSEM and conference chair for ICSE and FSE. Awards include the NUS Outstanding Graduate Mentor Award (inaugural recipient) and IEEE New Directions Award. His work bridges academia and industry, with contributions to projects like the DesCartes initiative for critical urban systems. Key collaborations include Microsoft on API repair and IBM on AI research centers. His recent focus includes agentic AI for software engineering, reflected in AutoCodeRover's acquisition by SonarSource.
Bihuan Chen is an Associate Professor at the College of Computer Science and Artificial Intelligence, Fudan University, specializing in software engineering with focus on software supply chain security and trustworthy AI systems. His research spans multiple programming languages including JavaScript, Python, Java, and C/C++ across application and AI domains. Dr. Chen earned his B.Sc. and Ph.D. in Computer Science from Fudan University in 2009 and 2014 respectively, followed by postdoctoral research at Nanyang Technological University (2014-2017). His research interests include software supply chain risk assessment, trustworthy AI systems, and program analysis. His recent publications demonstrate strong focus on malicious package detection in NPM/PyPI ecosystems, vulnerability patch porting using LLMs, and safety verification for autonomous driving systems. The work shows increasing integration of machine learning techniques with traditional program analysis approaches, particularly evident in the 2024-2025 publications that leverage LLMs for vulnerability detection and code refinement. ACM SIGSOFT Distinguished Paper Award (FSE 2016, ASE 2018, ASE 2022, FSE 2025) IEEE TCSE Distinguished Paper Award (ICSME 2020, SANER 2023) CCF Prototype Competition Awards (2nd and 3rd Prizes) Dr. Chen has advised over 50 students including current PhD candidates and notable alumni now at Huawei, ByteDance, and other leading tech firms. His fuxi platform assesses security, legal, and maintenance risks across the software engineering lifecycle. He serves on program committees for major conferences including ICSE, FSE, ASE, and ISSTA, and as Associate Editor for the Journal of Software: Evolution and Process.
Allison Sullivan is an Assistant Professor of Computer Science at the University of Texas at Arlington (UTA), where she also serves as the Undergraduate Software Engineering Program Director. She is a member of the Software Engineering Research Center (SERC) at UTA and serves as faculty advisor for UTA's Society of Women Engineers (SWE) club. Dr. Sullivan received her PhD in Software Verification, Validation and Testing (SVVAT) from the University of Texas at Austin in 2017 under Sarfraz Khurshid. Her educational background includes: PhD in Software Verification, Validation and Testing, University of Texas at Austin (2017) M.S. in Software Engineering, University of Texas at Austin (2014) B.S. in Software Engineering, University of Texas at Dallas (2012) Dr. Sullivan's research focuses on two primary areas: Automated Software Engineering : Test/Oracle Generation, Automated Bug Localization and Repair, Mutation Testing, and Regression Testing Formal Methods and Programming Languages : Abstractions, Finite Model Finders, Program Synthesis, and SAT/SMT Solvers She leads the SCOPE lab which focuses on 'showing the correctness of all program executions' and has published extensively on Alloy modeling language applications. Her recent publications demonstrate a strong focus on applying formal methods to software engineering problems, with a growing emphasis on the intersection of large language models and software development practices. Her work spans theoretical foundations, tool development, and empirical studies of how developers use modeling languages. Her scientific achievements have been recognized with: NSF CAREER Award (2024) UTA CSE department Rising Star Research Award (2024) UTA College of Engineering Outstanding Early Career Faculty Award (2025) NSF grant for building an educational tool for software modeling ($400k) Dr. Sullivan has successfully advised two PhD students to completion: Dr. Ana Jovanovic (defended November 2024) and Dr. Anahita Samadi (defended February 2025). She actively mentors undergraduate researchers and has secured significant research funding including the NSF CAREER grant. Her service includes committee roles for major conferences including ASE, ISSRE, and FormaliSE. She leads the SCOPE lab at UTA, which brings together graduate and undergraduate researchers to develop techniques for improving software verification and validation, with particular emphasis on making formal methods more accessible to practitioners.
Ali Ghanbari is an Assistant Professor in the Department of Computer Science and Software Engineering at Auburn University's College of Engineering. His research focuses on software engineering, programming languages, and data science, with an emphasis on automated program repair, deep learning, and mutation analysis. He received his Ph.D. in Software Engineering from the University of Texas at Dallas and his M.Sc. and B.Sc. from Amirkabir University of Technology in Tehran, Iran. Education: Ph.D. Software Engineering, University of Texas at Dallas M.Sc. Software Engineering, Amirkabir University of Technology B.Sc. Software Engineering, Amirkabir University of Technology Research Interests: Dr. Ghanbari's work spans automated program repair, deep neural network analysis, and mutation-based fault localization. He explores techniques to enhance software quality through methods like patch correctness assessment, object similarity-based prioritization, and optimization of mutation testing frameworks. His contributions include frameworks such as PRF and tools like Shibboleth for hybrid patch evaluation. Publications Trends: His recent work highlights advancements in accelerating mutation analysis, improving deep learning models via modular decomposition, and refining automated repair techniques. Notable contributions include Rocq for goal clone detection and MeMu for faster mutation analysis. Awards & Grants: No specific awards or grants mentioned in the provided materials. Advising & Labs: While no advisees are listed, his research group likely focuses on program repair and deep learning applications. His work is supported by datasets like Defexts, which provides reproducible real-world bugs for JVM languages.
Baris Kasikci is an Associate Professor in the Paul G. Allen School of Computer Science & Engineering at the University of Washington. Previously (2017-2023), he was a Morris Wellman Assistant Professor in the Electrical Engineering and Computer Science Department at the University of Michigan. His research focuses on building efficient and trustworthy computer systems through innovative combinations of approaches from systems, computer architecture, and programming languages. Dr. Kasikci received his PhD in Computer Science at EPFL and has held research positions at Microsoft Research Cambridge, Google, Intel, and VMware. His work addresses critical challenges in system reliability, security, and performance in increasingly complex software ecosystems. His research interests center on improving the efficiency of datacenter applications and machine learning systems, analyzing and fixing failures, and enhancing hardware security. His lab develops techniques for automated bug detection, formal verification of distributed systems, and building systems support for heterogeneous hardware architectures. Recent projects include Whisper (profile-guided branch misprediction elimination), Huron (taming false sharing), and Agamotto (automatic detection and repair of bugs in persistent memory applications). Analysis of his recent publications shows a strong trend toward optimizing large language model serving, hardware security, and performance optimization for modern heterogeneous architectures. His work bridges traditional systems research with emerging AI infrastructure needs, particularly in efficient LLM serving, security vulnerabilities in modern hardware, and performance optimization for heterogeneous computing environments. NSF CAREER award Microsoft Research Faculty Fellowship Intel Rising Star Award VMware Early Career Faculty Grant Google Faculty Award Roger Needham PhD Award (best PhD thesis in computer systems in Europe) Patrick Denantes Memorial Prize (best PhD thesis at EPFL) Best Paper Award at OSDI'18 Best Paper Award at MICRO'22 Dr. Kasikci has advised numerous PhD students who have gone on to prestigious positions in academia and industry, including Tanvir Ahmed Khan (Assistant Professor at Columbia University), Akshitha Sriraman (Assistant Professor at CMU), and Jiacheng Ma (AMD). His research has been supported by significant grants from NSF, DARPA, Intel, Google, Microsoft, VMware, and Amazon. His lab, the EfesLab, focuses on building tools and techniques that make computer systems more reliable, secure, and efficient. The EfesLab, led by Dr. Kasikci, brings together postdocs, PhD students, and undergraduate researchers to tackle fundamental challenges in systems reliability and performance. The lab has developed numerous influential tools including Whisper, Huron, and Agamotto that address critical performance and reliability issues in modern computing systems. Current research directions include efficient LLM serving, security of emerging hardware technologies, and automated debugging techniques.
Kihong Heo is an Associate Professor in the School of Computing and Graduate School of Information Security at KAIST (Korea Advanced Institute of Science and Technology) in South Korea. His academic career includes serving as an Assistant Professor at KAIST from 2017-2019 before being promoted to Associate Professor in 2020, following his postdoctoral research at the University of Pennsylvania. He earned both his Ph.D. and B.S. in Computer Science & Engineering from Seoul National University. Dr. Heo's research focuses on developing program reasoning systems for safe and reliable software, with specific interests in AI-based program analysis systems for detecting deep semantic software bugs, general-purpose program simplification systems for secure and efficient software, and scalable program synthesis systems for automatic software generation and repair. His work bridges the gap between programming languages, program analysis, and machine learning techniques to create next-generation programming systems. Analysis of his recent publications reveals a strong trend toward integrating machine learning techniques with traditional program analysis methods, with significant contributions in compiler validation, software security, fault localization, and program debloating. His research has practical impact, with some of his work incorporated into Facebook's Infer static analyzer. ACM SIGSOFT Distinguished Paper Award, FSE 2025 Amazon Research Award, 2024 The Soo-Young Lee Teaching Innovation Award, KAIST, 2024 Prize for Excellence in Teaching, KAIST, 2024 Best Artifact Award, ICSE 2022 ACM SIGPLAN Distinguished Paper Award, PLDI 2019 ACM SIGSOFT Distinguished Paper Award, ICSE 2019 Dr. Heo actively mentors graduate students, currently advising several Ph.D. candidates including Yeonhee Ryou, Taeeun Kim, and Sujin Jang, as well as master's students. He has served on program committees for major software engineering and programming language conferences including PLDI, ICSE, POPL, and SPLASH, demonstrating his active role in the academic community. His laboratory, the Programming Systems Laboratory at KAIST, focuses on creating innovative programming systems that leverage both semantic-based program analysis and AI techniques.
Joshua Garcia is an Assistant Professor in the Informatics Department at the University of California, Irvine (UCI), within the Donald Bren School of Information and Computer Sciences. His research focuses on software architecture, automated testing, and cybersecurity, particularly in autonomous systems and mobile applications. He leads projects like DeltaDroid, Doppelgänger Test Generation, and Darcy, which address software vulnerability management, architectural consistency, and safety-critical systems. Key achievements include an NSF CAREER Award (2025), an NSF CRI Grant (2018), and a DARPA competition win (2024). His work is adopted by organizations like Boeing, Google, and NASA. Garcia collaborates internationally, involving institutions in Padova and researchers like Luca, Jessy Ayala, and Philipp. Research Interests: Software architecture evolution, automated exploit generation, autonomous vehicle testing, and accessibility in software development Grants: NSF CAREER ($500K+), NSF CRI ($1M+) Labs/Teams: HexHive Group, Autonomous Systems Testing Lab
Prof. Rocco OLIVETO is a Full Professor at the University of Molise, affiliated with the School of Biosciences and Territory. His research spans software engineering, artificial intelligence, cybersecurity, and healthcare technology. He focuses on empirical studies of developer practices, AI-driven code analysis, vulnerability detection in smart contracts, and human-centric computing. His work also addresses challenges in game development, mobile app optimization, and wearable health monitoring systems. Notable research areas include code readability assessment, machine learning applications in healthcare diagnostics, and the effectiveness of AI tools like GitHub Copilot. He has contributed to projects like QualAI (continuous quality improvement for AI systems) and 2Vita-B (cognitive and physical rehabilitation systems). His empirical studies often bridge academic research with real-world developer workflows, emphasizing practical applicability. Prof. Oliveto's recent work explores topics such as automated gameplay analysis for game debugging, detection of engagement issues in video games, and robust methods for identifying security vulnerabilities. He has also investigated Dockerfile quality, developer frustration metrics, and the ethical implications of AI in administrative document simplification.
Abbas Heydarnoori is an Assistant Professor in the Department of Computer Science at Bowling Green State University (USA) since 2022, and previously held a faculty position at Sharif University of Technology (Iran) from 2012 to 2022. He earned his Ph.D. in Computer Science from the University of Waterloo (Canada, 2009), and M.Sc. and B.Sc. in Software Engineering from Sharif University of Technology (2001 and 1999). His research focuses on AI-driven software engineering (AI4SE/SE4AI), leveraging data science and AI to address challenges like fault localization, bug prediction, and code comprehension. He analyzes software repositories (e.g., GitHub, Stack Overflow) to improve developer productivity and software quality. He has contributed to tools like CrowdSummarizer and ExceptionTracer, and his work spans topics such as microservices architecture, API usage analysis, and code summarization. Teaching includes graduate/undergraduate courses on AI for Software Engineering, Database Systems, and Software Engineering. His service roles include editorial board membership at Science of Computer Programming , and PC membership in conferences like MSR, SANER, and FSE. His research group actively publishes on automated code analysis, documentation generation, and developer productivity tools, with a focus on empirical and data-driven approaches.
