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

Gero Mühlمشاهده پروفایل

استاد

• Distributed systems
• Distributed algorithms
• Event-based systems
• +۷ مورد دیگر

Prof. Dr.-Ing. habil. Gero Mühl is a W2-Professor at the University of Rostock, where he holds the chair for "Architecture of Application Systems" since October 2009. His academic journey includes positions as a Heisenberg Fellow at the Technical University of Berlin (2009), postdoctoral research at TU Berlin (2002-2009), and doctoral studies at TU Darmstadt where he received his Dr.-Ing. degree with distinction in 2002. He completed dual Diplomas in Computer Science (Dipl.-Inform.) and Electrical Engineering (Dipl.-Ing.) from FernUniversität in Hagen in 1998. Prof. Mühl's research focuses on Self-Organizing Distributed Systems , with particular expertise in distributed systems, distributed algorithms, event-based systems, middleware, energy-efficient systems, organic computing, sensor networks, web services, and electronic commerce. His work bridges theoretical foundations with practical implementations in real-world distributed environments. His recent publications show a strong trend toward time-sensitive networking, content-based publish/subscribe systems, and P4 programmable data planes. These works address critical challenges in industrial communication, real-time systems, and network reliability. His research group has made significant contributions to making distributed systems more autonomous, reliable, and efficient. Scientific awards and recognitions include: Nomination for the Berlin Science Award for Young Scientists (2008) Heisenberg Fellowship by the German Research Foundation (DFG) (2008) Best paper award in System Software and Security at SAC 2015 Prof. Mühl has been actively involved in numerous research projects and collaborations, particularly focusing on self-organizing and self-stabilizing systems. His work on the REBECA publish/subscribe middleware represents a significant contribution to autonomous distributed systems. He has supervised numerous students and researchers, contributing to the development of the next generation of computer scientists specializing in distributed systems. His laboratory at the University of Rostock focuses on practical implementations of self-organizing distributed systems, with current projects investigating time-sensitive networking, publish/subscribe systems, and energy-efficient distributed computing. The team combines theoretical analysis with practical system development to address real-world challenges in industrial and commercial applications of distributed systems.

Jie M. Zhangمشاهده پروفایل

استادیار

• Software Testing
• AI for Software Engineering
• Software Engineering for AI
• +۵ مورد دیگر

Jie M. Zhang is an Assistant Professor in the Department of Informatics at King's College London, specializing in the intersection of software engineering and artificial intelligence. Her research focuses on two main directions: AI for Software Engineering (leveraging AI technologies to automate software tasks) and Software Engineering for AI (applying SE principles to enhance AI system trustworthiness). Her educational background includes a PhD in Computer Science from Peking University, where she was supervised by Professors Lu Zhang and Dan Hao. Prior to joining King's College London, she was a Research Fellow at University College London working with Professor Mark Harman and Professor Federica Sarro. Dr. Zhang's research interests center on software testing, machine learning trustworthiness, fairness testing, bias mitigation in AI systems, and program analysis. Her work particularly examines how large language models can be utilized for code generation, test case creation, and program repair, while also developing techniques to detect and fix issues within AI models. Her recent publications demonstrate strong trends in evaluating and enhancing the trustworthiness of AI-generated code, with specific emphasis on fairness testing across various domains including autonomous driving systems, machine translation, and decision-making software. Her research increasingly focuses on the efficiency of generated code and detecting hallucinations in large language models. 2025 ACM Sigsoft Early Career Researcher Award for pioneering contributions to software engineering for AI IEEE TSE 2024 Best Paper Award for 'Stealthy Backdoor Attack for Code Models' FSE 2025 Distinguished Paper Award Royal Society International Exchange Grant recipient NMES Enterprise & Engagement Partnerships Fund recipient Dr. Zhang has served in numerous leadership roles across major software engineering conferences including as General Chair for AIware 2025, Area Chair for ASE 2025, and Steering Committee Member for ICST. She has advised multiple PhD students and received significant research funding for her work on LLMs and software engineering. Her research group collaborates with industry partners including Huawei and Facebook, and she leads projects such as ITEA GENIUS and ITEA GreenCode. She is actively involved with King's College London research hubs including the Trusted Autonomous Systems Hub, Security Hub, and Software Systems group, where her work contributes to developing trustworthy AI systems across multiple domains.

Kihong Heoمشاهده پروفایل

دانشیار

• Program Analysis
• Programming Language
• Machine Learning
• +۳ مورد دیگر

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.

José Cano Reyesمشاهده پروفایل

دانشیار

• Computer Architecture
• Computer Systems
• Compilers
• +۳ مورد دیگر

José Cano Reyes serves as a Reader (Associate Professor) in the School of Computing Science at the University of Glasgow, where he leads the Glasgow Intelligent Computing (GIC) Lab. His academic profile spans multiple premier conferences including ASE, CGO, ICSME, and EASE through 2025, demonstrating active engagement in computer systems research. His research focuses on the critical intersection of hardware and software systems for AI workloads, with core interests in Computer Architecture, Compilers, and Machine Learning. Recent investigations examine deep learning framework conversions, hardware accelerator robustness, and security implications of computational environments. This work addresses fundamental challenges in deploying efficient and reliable AI systems across diverse hardware platforms. Analysis of his 2023-2025 publications reveals a concentrated research trajectory toward optimizing deep learning deployment: 80% of recent work targets framework conversion errors and hardware compatibility issues, with strong emphasis on image recognition systems. Key methodologies include automatic fault localization (40% of publications), performance parameter analysis (30%), and domain-specific compiler techniques (30%). Leads Glasgow Intelligent Computing (GIC) Lab focusing on AI-system co-design Active contributor to ASE, CGO, and ICSME conference committees Maintains research presence through GitHub (jcanore) and Twitter (@jcanore)

• Accessibility Research
• Web Accessibility
• Mobile Accessibility
• +۵ مورد دیگر

Shari Trewin is a prominent researcher in accessibility and human-computer interaction at IBM Research with over 25 years of scholarly contributions. Her work focuses on making digital technologies accessible to people with disabilities, particularly in web and mobile contexts. She has published extensively in top-tier venues including ACM SIGACCESS conferences (ASSETS, W4A) and journals, CHI, and other leading HCI publications. Dr. Trewin's research interests span web accessibility, mobile accessibility for users with physical and cognitive disabilities, inclusive design methodologies, and the application of artificial intelligence to improve accessibility. Her work addresses both theoretical foundations and practical implementations of accessible technologies, with particular emphasis on user-centered design approaches and evaluation methodologies. She has made significant contributions to understanding how people with disabilities interact with digital interfaces and how to design systems that accommodate diverse user needs. Her publication record shows a clear progression from foundational work on input devices and keyboard accessibility in the 1990s to contemporary research on AI fairness for people with disabilities. Recent publications demonstrate her leadership in addressing emerging challenges at the intersection of AI and accessibility, particularly around algorithmic fairness and inclusive design practices for AI systems. Among her notable contributions are editorial work for ACM Transactions on Accessible Computing and co-editing conference proceedings for the ASSETS conference. She has collaborated extensively with leading researchers in the field including Vicki L. Hanson, Gregg Vanderheiden, and Calvin Swart. Dr. Trewin has advised junior researchers including Jessica J. Tran, and her work has influenced both academic research and industry practices in accessibility. Her research has practical implications for web developers, designers, and policy makers working to create more inclusive digital experiences.

• Artificial Intelligence
• Automated Planning
• Temporal Reasoning
• +۴ مورد دیگر

Alfonso Emilio Gerevini is a prominent researcher in artificial intelligence with over 30 years of continuous academic contributions. His work spans theoretical foundations of automated planning to practical healthcare applications, with recent publications demonstrating significant impact in both traditional AI domains and emerging interdisciplinary areas. His research interests focus on automated planning systems , temporal reasoning , and multi-agent coordination , with recent expansion into healthcare applications using machine learning techniques. Gerevini has made fundamental contributions to planning algorithms, particularly in width-based search, case-based planning, and privacy-preserving multi-agent planning. His work on PDDL (Planning Domain Definition Language) has been influential in standardizing planning representations. Analysis of his 15 most recent publications reveals a strategic evolution from core planning research toward impactful healthcare applications, particularly during the COVID-19 pandemic. While maintaining his expertise in planning algorithms, he has successfully integrated machine learning techniques to address real-world medical challenges including radiology report analysis, prognosis prediction, and lab test interpretation. His work demonstrates exceptional versatility across both theoretical and applied domains of artificial intelligence. Gerevini maintains a robust collaborative network, primarily with Italian researchers including Ivan Serina, Alessandro Saetti, and Luca Putelli. His publications appear consistently in top-tier AI venues including Artificial Intelligence journal, Journal of Artificial Intelligence Research, and AAAI/ICAPS conferences. The collaborative patterns suggest he leads a significant research group focused on advancing planning systems while applying them to critical real-world problems.

Jingling Xueمشاهده پروفایل

استاد

• Programming Languages
• Compilers
• Program Analysis
• +۵ مورد دیگر

Jingling Xue is a Scientia Professor at the School of Computer Science and Engineering at the University of New South Wales (UNSW) in Sydney, Australia. As an IEEE Fellow of the Computer Society, he leads the Programming Languages and Compilers research group, focusing on practical applications of compiler optimization and program analysis techniques. His work bridges theoretical foundations with real-world software systems, particularly in developing open-source tools for large-scale program analysis. Professor Xue received his B.Eng and M.Eng degrees from Tsinghua University in 1984 and 1987, respectively, followed by a PhD from the University of Edinburgh in 1992. His academic journey has established him as a leading figure in programming languages and compiler technology. Xue's research spans programming languages, compiler technology, and program analysis with emphasis on practical relevance. His current projects include compiler techniques for improving parallelism and locality, pointer/alias analysis for million-line-scale programs, and static/dynamic analysis for detecting bugs and security vulnerabilities in real-world applications like web browsers and Android apps. His group actively develops open-source tools to support scientific replicability and reproducibility in these areas. His recent publications demonstrate a strong focus on applying program analysis techniques to modern challenges including AI compilers, homomorphic encryption, security vulnerability detection, and graph processing systems. The work shows evolution from traditional compiler optimization to addressing emerging domains like privacy-preserving computation and deep learning systems while maintaining rigorous theoretical foundations. Scientific Awards: Best Paper Award at CGO'13 Best Paper Award at CGO'16 Distinguished Paper Award at ECOOP'16 Distinguished Paper Award at ICSE'18 Distinguished Paper Award at ISSTA'19 Distinguished Paper Award at ASE'19 Distinguished Artifact Award at ISSTA'23 Best Artifact Award at FSE'23 Distinguished Paper Award at ASE'23 Test-of-Time Award at CGO'21 Professor Xue has successfully supervised 30 PhD students to completion, many of whom now work as professors or researchers in academia and industry. He has served as Program Chair for major conferences including LCTES'13, CC'18, CGO'20, and General Chair for LCTES'20. His group currently focuses on memory safety in Rust, smart contract analysis, AI compilers, compilation for privacy-preserving computation, and adversarial attacks in deep learning. The Programming Languages and Compilers group maintains strong connections with industry partners, translating theoretical advances into practical tools for real-world software development challenges. Their work on pointer analysis, memory safety, and compiler optimizations continues to influence both academic research and industrial practice.

Julia Lawallمشاهده پروفایل

پژوهشگر

• Operating Systems
• Domain-Specific Languages
• Program Transformation
• +۴ مورد دیگر

Julia Lawall is a Senior Research Scientist (Directrice de Recherche) at Inria-Paris, where she leads research in the Whisper group. She has made significant contributions to the fields of programming languages, operating systems, and software engineering, with a particular focus on program transformation and Linux kernel development. Her work bridges theoretical computer science with practical software engineering challenges. Dr. Lawall's research primarily centers on the design and implementation of domain-specific languages for operating system problems, program transformation techniques, and automated software evolution. Her most notable contribution is the Coccinelle framework, which has been instrumental in automating the evolution of Linux device drivers for over a decade. Her work spans from theoretical foundations in optimal reduction of the lambda calculus to practical tools that address real-world software maintenance challenges in large-scale systems like the Linux kernel. Her publication record demonstrates consistent contributions across multiple domains, with recent work focusing on Android API evolution, Linux kernel bug detection, and program transformation techniques. The trajectory of her research shows a progression from theoretical programming language concepts to increasingly practical applications in system software maintenance and evolution. EuroSys Test of time award for 'Documenting and Automating Collateral Evolutions in Linux Device Drivers' at EuroSys 2008 Best paper award for 'Diagnosys: Automatic Generation of a Debugging Interface to the Linux kernel' at ASE 2012 Most Influential ICFP Paper Award for foundational work on lambda calculus Best Reviewer at GPCE 2020 and Distinguished Reviewer at ASE 2020 Dr. Lawall has been actively involved in the academic community, serving as program co-chair for numerous prestigious conferences including ASE 2019, FSE 2026, and EuroSys 2025. She has also contributed to community initiatives as the Linux kernel coordinator for Outreachy (2015-2018) and as a member of the advisory board for Software Heritage. Her leadership extends to editorial roles, including associate editor for Higher-Order and Symbolic Computation and membership on the editorial board of Science of Computer Programming. She leads the Whisper research group at Inria-Paris, which focuses on program transformation techniques and their applications to system software. The group has developed several influential tools including Coccinelle, Coccinelle4J, LiLiput, Prequel, and JMake, which have had substantial impact on both academic research and industrial practice in software maintenance and evolution.

Tegawendé F. Bissyandéمشاهده پروفایل

استاد

• Program repair
• Software Security
• Code Search
• +۶ مورد دیگر

Prof. Tegawendé F. Bissyandé is a Chief Scientist in the Professor category at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) at the University of Luxembourg. He holds the prestigious position of ERC Fellow and serves as Principal Investigator of the NATURAL project focused on Artificial Intelligence for Program Repair. His research spans software engineering, cybersecurity, and artificial intelligence, with particular emphasis on applying machine learning techniques to software development and security challenges. Dr. Bissyandé's research interests include: Software Debugging (especially bug localization and program repair) Software Security (especially malware detection and analysis) Code Search (both free-form and semantic code-to-code) Machine Learning and Natural Language Processing for software engineering Cyber-security applications in mobile and cloud environments His recent work demonstrates a strong focus on leveraging Large Language Models (LLMs) for various software engineering tasks. Analysis of his 15 most recent publications reveals several key trends: extensive application of LLMs to program repair and code generation; innovative approaches to Android security and malware detection; development of novel techniques for code search and understanding; and exploration of the intersection between natural language processing and software engineering. His research increasingly bridges theoretical software engineering with practical applications in mobile security and developer productivity tools, with a significant portion of his work focusing on Android ecosystem security and program repair technologies. Dr. Bissyandé has received numerous prestigious awards throughout his career: APSEC Best ERA Paper Award (2018) for 'LSRepair: Live Search of Fix Ingredients for Automated Program Repair' IPSJ SIG SE Excellent Research Award (2018) for 'FaCOY: a Code-to-Code Search Engine' FOSS Impact Paper Award (2018) for 'Characterizing Deprecated Android APIs' SANER Best ERA Paper Award (2016) for 'Parameter Values of Android APIs: A Preliminary Study on 100,000 Apps' ASE Best Paper Award (2012) for 'Diagnosys: automatic generation of a debugging interface to the Linux kernel' As an active member of the software engineering research community, Dr. Bissyandé serves on program committees for major conferences including ICSE, ASE, and ISSTA, and has been an Area Chair for ICSE 2024. His industry partnerships include significant collaborations with BGL BNP Paribas (since January 2019), Luxembourg Stock Exchange (since January 2018), and Paul Wurth (January 2015 to 2018), demonstrating the practical impact of his research. He leads the SerVAL lab at SnT, which focuses on software validation and analysis, with particular expertise in mobile security and program repair technologies, and actively mentors PhD candidates through FNR research grants.

Björn Annighöferمشاهده پروفایل

استاد

• Avionics Systems
• Self-Adaptive Systems
• Cybersecurity
• +۵ مورد دیگر

Björn Annighöfer is a Professor at the Institute of Aviation Systems (ILS) at the University of Stuttgart, where he serves as Managing Director. His work focuses on complex, digital, and safety-critical avionics systems, including self-adaptive platforms, cybersecurity, and AI-supported aerospace systems. Research interests include: Self-adaptive avionics platforms Model-based cybersecurity frameworks Integrated Modular Avionics (IMA) development Virtualization and middleware for safety-critical systems AI applications in aerospace Automated development and certification processes Recent publications highlight advancements in PLUG-AND-FLY avionics, security assessment using large language models, and domain-specific modeling tools. He leads a team of ~25 scientists at ILS, which operates modern labs, flight simulators, and research aircraft for testing.

• Software Security
• Vulnerability Analysis
• Static Analysis
• +۸ مورد دیگر

Yeting Li is a researcher at the Institute of Information Engineering, Chinese Academy of Sciences, with academic affiliation at the University of Chinese Academy of Sciences. Their work bridges software security and artificial intelligence, focusing on practical vulnerabilities in modern systems. Research spans vulnerability analysis in Kubernetes ecosystems, AI-driven binary similarity detection , and semantic-enhanced static analysis for baseband firmware. Recent work explores large language models for security applications including fuzz driver generation and data contamination mitigation in benchmarking, alongside accessibility-focused testing for speech recognition systems. Publications reveal a clear trajectory toward integrating AI with traditional security analysis, particularly in containerized environments and binary code analysis. Emerging themes include LLM-based tooling for vulnerability identification and specialized testing methodologies for emerging technologies like automatic speech recognition and deep learning operators. Key contributions include Kubernetes resource injection vulnerability studies, Aster for stutterer accessibility testing, and ACETest for deep learning operator validation. Research demonstrates consistent focus on empirical evaluation of security tools across ASE, ICSE, and ISSTA venues from 2023-2025.

Owolabi Legunsenمشاهده پروفایل

استادیار

• Software Engineering
• Software Testing
• Runtime Verification
• +۳ مورد دیگر

Owolabi Legunsen is an Assistant Professor in the Department of Computer Science at Cornell University's College of Engineering. His research focuses on software engineering with particular emphasis on software testing and runtime verification. He maintains an active teaching schedule with courses including Runtime Verification (taught Fall 2020, Spring 2022-2025) and Software Testing (taught Spring 2021, Fall 2021-2023, Fall 2025). Dr. Legunsen's research interests center around improving software reliability through advanced testing methodologies. His work spans runtime verification, where he develops techniques to monitor software behavior during execution, and regression test selection, where he creates methods to optimize the testing process as software evolves. His research also extends to cloud systems configuration testing and inline testing approaches. He is part of Cornell's growing Software Engineering Group and maintains an active research program with numerous publications in top-tier software engineering conferences. His recent publications show a clear trend toward making runtime verification more efficient and practical for real-world software testing scenarios. The research spans foundational verification techniques, tool development for practical application, and empirical studies examining overheads and effectiveness in different contexts. His work increasingly integrates evolution-aware approaches that account for how software changes over time. ACM SIGSOFT Distinguished Paper Award (ISSTA 2024) ACM SIGSOFT Distinguished Paper Award (ISSTA 2023) ACM SIGSOFT Distinguished Paper Award (ASE 2016) Dr. Legunsen actively mentors PhD students and postdocs, with several co-authored publications indicating strong student involvement in his research program. His work has been supported by research grants that enable his investigations into software testing and verification techniques. He regularly serves on program committees for major software engineering conferences including ICSE, FSE, ASE, and ISSTA, demonstrating his standing in the research community. Dr. Legunsen maintains close collaborations with researchers at multiple institutions, particularly in the areas of cloud systems and configuration testing. His research group develops practical tools like TraceMOP for explicit-trace runtime verification, ExLi for inline-test generation in Java, and pytest-inline for Python testing. These tools bridge theoretical research with practical application, allowing his techniques to be evaluated in real-world settings and adopted by practitioners.

Mark Harmanمشاهده پروفایل

استاد

• Search Based Software Engineering
• Software Testing
• Program Analysis
• +۳ مورد دیگر

Mark Harman is a part-time Professor of Software Engineering at University College London's Department of Computer Science within the Faculty of Engineering Sciences, while working full-time as a Research Scientist at Meta Platforms in the Instagram Product Performance team. He previously served as head of Software Engineering at UCL and director of its CREST centre from 2006 to 2017 before joining Meta when his startup Majicke was acquired in 2017. Harman's research spans multiple domains of software engineering, with particular emphasis on Search Based Software Engineering (SBSE), which he co-founded in 2001. His work has evolved to include LLM-based software engineering, software testing, program analysis, and bias mitigation in machine learning systems. He has made significant contributions to automated testing through systems like Sapienz and WW that have been deployed at scale at Meta. His publication record shows a clear evolution from traditional software testing and analysis toward increasingly sophisticated integration of machine learning techniques. Recent work demonstrates strong focus on addressing fairness challenges in ML systems, improving test reliability in continuous integration environments, and exploring the applications of large language models in software engineering tasks. This reflects both his ability to identify emerging challenges and his commitment to practical, industry-relevant research. IEEE Harlan Mills Award (2019) ACM Outstanding Research Award (2019) Fellowship of the Royal Academy of Engineering (2020) Harman maintains a unique bridge between academia and industry, having co-founded the Simulation-Based Testing team at Meta and previously directing UCL's CREST research centre. His work on Sapienz grew from his startup Majicke and has had significant industrial impact while maintaining strong academic foundations. He frequently participates in academic conferences as both contributor and committee member, demonstrating ongoing commitment to the research community despite his industry position. At Meta, Harman works within the Instagram Product Performance team, building on his earlier work with the Simulation-Based Testing team where he co-developed platforms for client- and server-side testing. His research on cyber-cyber digital twins represents an innovative application of simulation techniques to virtual software systems rather than physical ones.

• Software Security
• Static Analysis
• Program Analysis
• +۳ مورد دیگر

Dr. Dominik Helm is an interim professor for Software Engineering at the University of Duisburg-Essen . His research focuses on modularization and automatic parallelization of collaborative static analyses, particularly through the OPAL framework for Java VM bytecode. He is the lead maintainer of OPAL, which aims to enhance precision, soundness, and scalability in static analysis for bug and security vulnerability detection. Helm has also received the Ernst Denert Software-Engineering-Preis (2024) for his contributions. Education : Helm earned his PhD in Computer Science from Technische Universität Darmstadt in 2023, with his thesis titled Modular Collaborative Program Analysis . His academic background includes extensive work on purity analysis, call graphs, and modular static analysis techniques. Research Interests : Helm's work bridges theoretical advancements in program analysis with practical tools. His key areas include cross-language analysis (e.g., AXA framework), modular call-graph algorithms (Unimocg), and soundness theory for analysis architectures. He emphasizes improving static analysis tools to handle complex language features and ensure robust software quality. Publications & Awards : Helm has authored/co-authored over 15 papers in top-tier conferences like ASE, ISSTA, and ESOP. His 2024 work on AXA and Unimocg showcases cross-language interoperability and modular consistency. The Ernst Denert Preis recognizes his impactful contributions to software engineering research. Technical Leadership : As OPAL's lead maintainer, Helm drives collaborative research in static analysis frameworks. His projects often involve interdisciplinary teams, reflecting his commitment to practical software engineering solutions.

Alessandra Gorlaمشاهده پروفایل

دانشیار

• Malware detection for mobile applications
• Automatic software repair
• Software testing
• +۴ مورد دیگر

Alessandra Gorla is an associate researcher professor at IMDEA Software Institute in Madrid, Spain, with a strong background in software engineering research. She previously worked as a postdoctoral researcher with Andreas Zeller at Saarland University in Germany and completed her PhD under Mauro Pezzè at the University of Lugano in Switzerland. Her research bridges theoretical foundations with practical applications in mobile software systems. Her research focuses on malware detection for mobile applications, automatic software repair, software testing and analysis. She has developed techniques for detecting behavior anomalies in graphical user interfaces, identifying third-party libraries in mobile apps, and leveraging intrinsic software redundancy for reliability. Her work spans both Android and iOS ecosystems, with particular attention to permission systems, release practices, and security implications. Analysis of her recent publications reveals a strong trend toward mobile application security and analysis, with increasing focus on iOS systems alongside traditional Android research. Her work combines static and dynamic analysis techniques, often incorporating natural language processing for comment analysis and test generation. There's a clear progression from foundational work on intrinsic software redundancy to more applied research on mobile security and testing. FRITZ-KUTTER AWARD! for PhD thesis on Automatic Workarounds BEST PAPER AWARD! for Search-based Security Testing of Web Applications BEST STUDENT POSTER AWARD! for Automatic Workarounds as Failure Recoveries Dr. Gorla actively mentors students and seeks motivated individuals for internship and PhD opportunities in software engineering. She has served in various organizational roles including Tool Demonstrations co-chair for FSE 2016, Artifact Evaluation co-chair for ESSoS 2016 and ISSTA 2016, and multiple program committee positions at top software engineering conferences. Her work has been supported through collaborations with major research institutions and industry partners. At IMDEA Software Institute, Dr. Gorla leads research on mobile application analysis, particularly focusing on behavioral analysis of Android and iOS applications. Her CHABADA prototype for clustering Android apps by description topics and identifying API usage outliers demonstrates her practical approach to malware detection. She also investigates intrinsic software redundancy for building more resilient systems.