Software Engineering

Automated Program Repair and Self-Healing Systems

Research on techniques for automatically detecting, locating, and fixing software bugs and vulnerabilities without human intervention.

RESEARCH GAP FRONTIERS

Machine Learning for Code Generation

Investigation of deep learning models and neural networks for synthesizing functional source code from natural language or specifications.

RESEARCH GAP FRONTIERS

Quantum Software Engineering Methodologies

Development of software engineering practices, testing frameworks, and development tools specifically designed for quantum computing applications.

RESEARCH GAP FRONTIERS

Formal Verification of Concurrent Systems

Application of mathematical formal methods to prove correctness properties of multi-threaded and distributed concurrent software systems.

RESEARCH GAP FRONTIERS

Empirical Studies in Software Refactoring

Large-scale empirical analysis of code refactoring practices, their impact on maintainability, and effectiveness in real-world projects.

RESEARCH GAP FRONTIERS

AI-Driven Software Architecture Design

Using artificial intelligence techniques to automatically generate, evaluate, and optimize software architectural patterns and designs.

RESEARCH GAP FRONTIERS

Zero-Trust Security Architecture in Microservices

Research on implementing zero-trust security principles within microservices-based architectures and distributed system environments.

RESEARCH GAP FRONTIERS

Software Supply Chain Security Analysis

Investigation of vulnerabilities, threats, and defensive mechanisms across software development and deployment supply chains.

RESEARCH GAP FRONTIERS

Continuous Integration and Deployment Optimization

Research on advanced techniques for accelerating CI/CD pipelines while maintaining code quality and security standards.

Natural Language Processing for Requirements Engineering

Application of advanced NLP techniques to automatically extract, analyze, and validate software requirements from textual specifications.

Software Evolution in Legacy Systems

Study of systematic approaches to modernize, maintain, and evolve long-lived legacy software systems with minimal disruption.

Chaos Engineering and Resilience Testing

Development of frameworks and methodologies for proactively testing distributed system resilience through controlled chaos injection.

Privacy-Preserving Software Development Practices

Research on techniques for embedding privacy-by-design principles and differential privacy into software development lifecycles.

Static Analysis Scalability and Precision

Investigation of advanced static analysis algorithms that improve bug detection accuracy while maintaining scalability for large codebases.

Collaborative Software Development in Remote Teams

Research on tools, practices, and methodologies that enhance code collaboration, knowledge sharing, and team coordination in distributed environments.

Energy-Efficient Software Optimization Techniques

Study of compiler optimizations, runtime techniques, and architectural patterns for reducing energy consumption in software systems.

Graph-Based Program Analysis and Optimization

Application of graph algorithms and representations to perform advanced program analysis, optimization, and parallelization tasks.

Containerization and Orchestration at Scale

Research on managing, deploying, and optimizing containerized applications across large-scale distributed infrastructure environments.

Symbolic Execution and Dynamic Analysis Integration

Investigation of hybrid approaches combining symbolic execution and dynamic analysis for comprehensive software testing and verification.

Model-Driven Software Engineering for IoT

Application of model-driven development techniques to streamline design and deployment of Internet of Things software systems.

Fuzzing Techniques and Vulnerability Discovery

Development of advanced fuzzing methodologies for automatically discovering, reproducing, and characterizing software vulnerabilities.

Anomaly Detection in Software Behavior Monitoring

Research on machine learning approaches to detect abnormal software behavior, performance degradation, and potential security threats in production.

Domain-Specific Language Design and Implementation

Study of methodologies for designing, implementing, and optimizing domain-specific languages for specialized problem domains.

Blockchain-Based Software Verification Systems

Investigation of blockchain technologies for creating immutable, verifiable software provenance, licensing, and execution records.

Empirical Analysis of Code Review Effectiveness

Large-scale empirical studies examining code review practices, reviewer expertise, and their impact on software quality metrics.

Dependence Analysis and Program Slicing

Advanced techniques for computing data and control dependencies in programs to support testing, debugging, and optimization tasks.

Distributed Tracing for Microservice Debugging

Research on comprehensive tracing and observability platforms for debugging, profiling, and optimizing distributed microservice architectures.

API Design Evolution and Compatibility Management

Study of systematic approaches to evolve public APIs while maintaining backward compatibility and minimizing user impact.

Software Testing in Heterogeneous Environments

Research on testing strategies and frameworks for applications running across diverse hardware, operating systems, and cloud platforms.

Serverless Computing Architecture and Patterns

Investigation of architectural patterns, design practices, and optimization techniques for serverless and function-as-a-service applications.

Invariant Generation and Inference Techniques

Development of automated techniques for discovering and verifying program invariants to support verification and testing activities.

Software Testing for Machine Learning Systems

Research on specialized testing methodologies, metrics, and frameworks for validating the correctness and robustness of ML-based software.

Gradual Type System Design and Implementation

Study of gradually-typed programming language design that allows mixing statically and dynamically typed code in single systems.

Runtime Monitoring and Enforcement of Properties

Research on techniques for monitoring software behavior at runtime and enforcing security, safety, and correctness properties dynamically.

Software Reuse and Component Repository Management

Investigation of systems for discovering, evaluating, managing, and integrating reusable software components across large ecosystems.

Parallel and Distributed Program Verification

Advanced verification techniques addressing unique challenges of correctness, synchronization, and consensus in parallel and distributed systems.

Software Modernization and Technical Debt Quantification

Research on measuring, analyzing, and systematically addressing technical debt and software degradation in evolving systems.

Augmented Reality Software Development Frameworks

Study of specialized software engineering practices, tools, and architectures for developing immersive augmented reality applications.

Metamorphic Testing for Non-Testable Systems

Investigation of metamorphic testing approaches to validate software systems without explicitly specified expected outputs or oracles.

Green Software Metrics and Sustainability

Research on defining, measuring, and optimizing software sustainability through carbon footprint reduction and energy efficiency metrics.

Semantic Code Search and Understanding

Development of semantic analysis techniques and machine learning models for intelligent code search, understanding, and clone detection.

Adversarial Testing and Robustness Evaluation

Research on generating adversarial inputs and scenarios to evaluate software robustness against attacks and malicious perturbations.

Software Feature Flags and Experimentation Platform

Investigation of feature flag management systems and A/B testing infrastructure for safe, controlled software deployment and experimentation.

Cross-Platform Mobile Application Development

Study of frameworks, tools, and methodologies for efficiently developing mobile applications that function across multiple platforms and devices.

Automated Test Case Prioritization and Selection

Research on machine learning and heuristic-based approaches to prioritize and select test cases for efficient regression testing.

Graph Neural Networks for Program Analysis

Application of graph neural network architectures to learn patterns and predict properties in program representations and source code.

Software Documentation Generation and Maintenance

Research on automated techniques for generating, updating, and maintaining software documentation from source code and development artifacts.

Threat Modeling and Security Pattern Integration

Study of systematic threat modeling methodologies and integration of security design patterns early in the software development lifecycle.

Web Assembly and Edge Computing Optimization

Investigation of software optimization techniques and architectural patterns for Web Assembly and edge computing deployment scenarios.

Requirements Traceability and Impact Analysis

Research on maintaining traceability links between requirements, code, and tests to support impact analysis and change management.

Automated Bug Localization Using Spectrum Analysis

Research on techniques for pinpointing fault locations in software systems through statistical analysis of program execution spectra and coverage data.

Mutation Testing and Adequacy Assessment

Investigation of mutation operators and metrics to evaluate the quality and effectiveness of software test suites in detecting artificial code mutations.

Software Composition Analysis and License Compliance

Study of methods for identifying, tracking, and managing open-source components to ensure legal compliance and security in software projects.

Predictive Software Defect Modeling

Development of machine learning models to forecast defect-prone modules and predict software quality attributes across different project characteristics.

Concurrency Bug Detection and Diagnosis

Research on techniques for identifying, reproducing, and diagnosing subtle race conditions and deadlocks in concurrent and parallel software systems.

Code Clone Detection and Refactoring

Investigation of methods to identify duplicate code patterns and develop strategies for systematic clone removal and maintenance.

Software Metrics and Quality Prediction

Development and validation of software metrics that correlate with quality attributes and predict maintenance costs and reliability.

Multi-Objective Software Testing Optimization

Research on balancing multiple testing objectives such as coverage, execution time, and cost through evolutionary algorithms and optimization techniques.

Configuration Management and Variability

Study of techniques for managing software product lines, feature flags, and configuration spaces in complex software systems.

Software Architecture Restructuring and Recovery

Investigation of methods to extract, recover, and improve software architecture from existing systems through clustering and dependency analysis.

Type System Inference and Verification

Research on inferring and verifying type information in dynamically-typed languages to improve code reliability and performance.

Security Vulnerability Pattern Recognition

Development of techniques to automatically identify common security vulnerability patterns and anti-patterns in source code.

Just-In-Time Defect Prediction

Research on predicting defect likelihood at code commit time by analyzing recent changes and historical patterns.

Semantic Versioning and API Stability

Study of techniques for detecting breaking changes, managing API evolution, and maintaining backward compatibility across versions.

Program Synthesis from Specifications

Investigation of automated methods to generate executable code directly from formal specifications or example inputs and outputs.

Test Flakiness Detection and Elimination

Research on identifying non-deterministic test behavior and developing strategies to ensure consistent and reliable test execution.

Containerized Application Performance Analysis

Study of profiling, monitoring, and optimization techniques specific to containerized and virtualized software environments.

Cross-Compilation and Platform Abstraction

Investigation of methods for compiling software across heterogeneous platforms and managing platform-specific implementation differences.

Software Complexity Measurement and Reduction

Development of metrics and techniques to quantify code complexity and guide refactoring efforts toward simpler designs.

Regression Testing and Change Impact Analysis

Research on efficient strategies to test software after changes by predicting impacted components and selecting relevant test cases.

Fault Tolerance and Recovery Mechanisms

Study of design patterns and techniques for building software systems that gracefully handle failures and recover from errors.

Static Analysis Rule Mining and Generation

Investigation of automated methods to discover and generate static analysis rules from code repositories and vulnerability databases.

Temporal Property Specification and Monitoring

Research on formal specifications for system behavior over time and runtime verification techniques to enforce temporal properties.

Code Readability Assessment and Improvement

Study of metrics and techniques for evaluating code readability and guiding developers toward more maintainable implementations.

Differential Testing and Oracle Problems

Investigation of techniques for testing software without explicit oracles by comparing outputs across multiple implementations or versions.

Mobile Application Security and Privacy

Research on vulnerability detection, permission analysis, and privacy preservation techniques specific to mobile platforms.

Source Code Authorship Attribution

Study of machine learning techniques to identify code authors based on coding style and patterns for plagiarism detection and forensics.

Symbolic Debugging and Constraint Solving

Investigation of constraint-based techniques to automatically diagnose bugs and generate debugging information for complex systems.

Deep Learning for Software Engineering Tasks

Research on applying deep neural networks to software engineering problems such as bug detection, code summarization, and optimization.

Aspect-Oriented Programming and Crosscutting

Study of techniques to modularize crosscutting concerns and manage the composition of aspects in complex software systems.

Binary Code Analysis and Reverse Engineering

Research on static and dynamic analysis techniques for understanding and extracting information from compiled executable code.

Empirical Software Engineering Methodology

Investigation of rigorous experimental methods and statistical techniques for conducting controlled studies in software engineering research.

Incremental Software Development and Iteration

Study of iterative development practices, feedback mechanisms, and continuous improvement strategies in agile software projects.

Software Traceability and Requirements Linking

Research on maintaining bidirectional traceability between requirements, design, implementation, and test artifacts throughout development.

Aspect Mining and Identification

Investigation of techniques to automatically discover crosscutting concerns and aspect candidates in existing source code.

Neural Architecture Search for Software Systems

Study of automated machine learning techniques to design optimal neural network architectures for software engineering applications.

Software Debugging with Causal Analysis

Research on using causal reasoning and dependency analysis to identify root causes of failures in complex software systems.

Heterogeneous Software Integration Challenges

Investigation of techniques for integrating software components built with different technologies, languages, and architectural styles.

Quantitative Software Process Modeling

Study of mathematical models and simulation techniques for predicting project outcomes and optimizing software development processes.

Usability Testing and User Experience Evaluation

Research on methods for evaluating software usability, user satisfaction, and accessibility through empirical studies and heuristic analysis.

Version Control System Analysis and Mining

Study of techniques for extracting software engineering insights from version control history, commit patterns, and evolution data.

Compiler Optimization and Code Generation

Research on advanced compiler techniques for generating efficient code through analysis, transformation, and machine learning-based optimization.

Real-Time Systems and Timing Verification

Investigation of methods for guaranteeing timing constraints, analyzing schedulability, and verifying real-time properties in safety-critical systems.

Software Testing for Cyber-Physical Systems

Research on testing techniques specific to systems that integrate software, hardware, and physical processes in embedded and IoT devices.

Modular Monolith Architecture Patterns

Study of architectural patterns and practices for building maintainable monolithic systems with strong module boundaries and clear dependencies.

Machine Learning Model Interpretability in Engineering

Research on techniques to explain and interpret machine learning predictions for software engineering applications to build trust and understanding.

API Misuse Detection and Prevention

Investigation of methods to automatically detect incorrect API usage patterns and guide developers toward correct API adoption.

Continuous Verification and Runtime Assurance

Study of techniques for verifying correctness continuously throughout development and providing runtime assurance in production systems.

Explainability in Neural Code Models

Research on interpreting and explaining decision-making processes within deep learning models trained on source code and software artifacts.

Software Defect Prediction Using Metrics

Development of predictive models that identify fault-prone code modules through analysis of software quality metrics and historical data.

Container Image Vulnerability Management

Systems and techniques for detecting, analyzing, and remediating security vulnerabilities in containerized application images at scale.

Empirical Software Engineering in Practice

Controlled experiments and industrial case studies validating software engineering practices and methodologies in real-world development contexts.

Software Architecture Reconstruction Techniques

Methods for recovering and documenting software architecture from existing source code without original design documentation.

Test-Driven Development Effectiveness Analysis

Empirical investigation of the impact of test-first development practices on code quality, maintainability, and developer productivity.

Recommender Systems for Software Development

Intelligent systems that suggest code snippets, API usage patterns, and refactoring opportunities based on contextual development information.

Clone Detection and Code Duplication Analysis

Techniques for identifying, classifying, and managing code clones to reduce maintenance costs and improve software quality.

Secure Coding Pattern Recognition

Machine learning approaches to identify and enforce secure coding patterns while detecting anti-patterns and vulnerability-prone constructs.

Software Traceability Link Recovery

Automated methods for establishing bidirectional links between requirements, design, implementation, and test artifacts.

Performance Regression Detection Systems

Automated frameworks that identify performance degradations in software through continuous monitoring and statistical analysis.

Adaptive Software Testing Strategies

Dynamic testing approaches that adjust test execution and generation based on real-time feedback and code coverage metrics.

Software License Compliance Automation

Tools and methodologies for automatically detecting license obligations and ensuring compliance across software supply chains.

Collaborative Code Review Intelligence

AI-assisted systems that enhance code review processes through automated issue detection and reviewer recommendation.

Scalable Program Analysis Frameworks

Infrastructure and algorithms enabling efficient analysis of extremely large codebases through distributed and incremental techniques.

Software Testing Under Uncertainty

Research on testing strategies for systems with probabilistic behavior, machine learning components, or nondeterministic execution.

API Specification Mining and Inference

Automated extraction of API specifications and behavioral contracts from source code and usage patterns.

Continuous Software Reliability Assessment

Integrated measurement and prediction of software reliability metrics throughout the development and deployment lifecycle.

Machine Learning Pipeline Validation

Verification and testing techniques specific to machine learning workflows ensuring correctness of data preprocessing and model training.

Compositional Software Verification Methods

Verification approaches that modularly verify system components to enable scalable checking of large distributed systems.

Anti-Pattern Detection in Source Code

Automated identification of design and implementation anti-patterns that negatively impact maintainability and performance.

Software Metrics for Code Quality

Development and validation of novel metrics quantifying code quality dimensions including complexity, cohesion, and maintainability.

Distributed Systems Simulation and Testing

Controlled testing environments for discovering and reproducing concurrency bugs in distributed and cloud-native systems.

Program Synthesis from Specifications

Automated generation of executable code from high-level formal specifications and example-based specifications.

Software Debugging via Machine Learning

Intelligent systems that localize faults and suggest fixes by learning from historical bug patterns and code changes.

DevOps Tool Integration and Orchestration

Research on seamlessly integrating heterogeneous DevOps tools and automating workflow orchestration across development pipelines.

Accessibility Testing in Software Systems

Automated and manual testing techniques ensuring software accessibility for users with disabilities across platforms.

Code Smell Detection and Refactoring

Automated identification of code smells and generation of refactoring suggestions to improve software maintainability.

Runtime Assertion Checking Efficiency

Optimization techniques for efficient runtime monitoring of program assertions without excessive performance overhead.

Software Architecture Pattern Cataloging

Systematic identification, documentation, and validation of recurring architectural patterns in modern software systems.

Automated Security Patch Generation

Techniques for automatically generating and validating security patches to address discovered vulnerabilities.

Feature Interaction Testing for Systems

Testing methodologies addressing unintended interactions between software features in complex systems.

Cross-Language Program Analysis

Analysis techniques for polyglot systems containing multiple programming languages with inter-language dependencies.

Software Comprehension via Visualization

Visual representation techniques enhancing developer understanding of complex code structures and system behaviors.

Probabilistic Program Analysis Methods

Analysis approaches handling programs with probabilistic behavior, uncertainty, and randomized algorithms.

Real-Time System Verification and Testing

Specialized verification and testing techniques ensuring timing correctness and deadline satisfaction in real-time systems.

Software Quality Gate Automation

Automated decision systems enforcing quality standards and preventing defective code from progressing through pipelines.

Configuration Management in DevOps

Research on managing and validating infrastructure and application configurations across diverse deployment environments.

Empirical Bug Localization Techniques

Data-driven methods for pinpointing faulty code locations using test results, execution traces, and statistical analysis.

Software Modularity Assessment Metrics

Quantitative measures for evaluating the modularity and coupling characteristics of software architectures.

Automated Regression Test Generation

Techniques for automatically generating focused regression test suites capturing previously fixed bugs and behavioral changes.

Software Documentation Quality Assessment

Metrics and evaluation methods for measuring completeness, accuracy, and usefulness of software documentation.

Automated API Misuse Detection

Techniques identifying incorrect usage patterns of libraries and frameworks that violate API contracts.

Concurrent Program Testing Frameworks

Specialized testing and analysis frameworks for discovering race conditions and synchronization bugs in concurrent software.

Software Evolution Mining and Analysis

Extraction and analysis of software evolution patterns from version control history to understand development dynamics.

Deployment Strategy Optimization Research

Analysis and optimization of deployment strategies including canary releases and blue-green deployments for risk mitigation.

Testability-Driven Code Generation Frameworks

Investigates techniques for automatically generating highly testable software code by integrating testability metrics into the code generation pipeline.

Evolutionary Testing for Autonomous Systems

Explores genetic algorithms and evolutionary computation methods for generating comprehensive test suites for autonomous vehicle and robotics software.

Software Debts Prediction Using Time Series

Develops predictive models using temporal data to forecast accumulation of technical debt and maintenance costs in evolving software systems.

Distributed Consensus Protocol Verification

Applies formal methods and model checking to verify correctness properties of consensus algorithms in Byzantine fault-tolerant systems.

Source Code Vulnerability Prediction Models

Develops machine learning classifiers to predict vulnerable code locations before deployment using syntactic and semantic code features.

Reverse Engineering of Binary Malware

Studies automated techniques for decompiling and analyzing compiled malware to understand attack vectors and develop countermeasures.

Software Configuration Space Exploration

Investigates sampling and optimization strategies for navigating high-dimensional software configuration spaces to identify optimal settings.

Regression Test Suite Minimization Algorithms

Develops algorithms to reduce regression test suite size while maintaining code coverage and fault-detection capabilities.

Container Image Vulnerability Scanning Systems

Creates automated systems for detecting security vulnerabilities in container images throughout the software development lifecycle.

Software Composition Analysis at Scale

Develops scalable techniques for analyzing complex software dependency graphs to identify licensing and security compliance issues.

Cross-Language Program Analysis Frameworks

Designs unified frameworks for analyzing and verifying polyglot software systems written in multiple programming languages.

Software Performance Regression Detection

Develops automated methods to detect performance degradation in software systems using statistical analysis of runtime metrics.

Type Inference for Dynamically Typed Languages

Investigates type inference algorithms and gradual typing systems for languages like Python and JavaScript to improve static analysis.

Software Clone Detection and Refactoring

Studies detection and elimination of code clones through automated refactoring to improve maintainability and reduce duplication.

Hardware-Software Co-Design Verification

Explores formal verification techniques for systems combining hardware and software components to ensure integrated system correctness.

Automated Patch Generation from Specifications

Investigates synthesis techniques to automatically generate security patches and bug fixes from formal specifications and test cases.

Software Privacy Vulnerability Assessment

Develops tools and metrics for systematically identifying data flows that violate privacy requirements in software applications.

Continuous Fuzzing Infrastructure Design

Studies deployment and orchestration of continuous fuzzing campaigns across distributed infrastructure for long-running vulnerability discovery.

Mutation Testing for Security Properties

Extends mutation testing methodologies to evaluate test effectiveness in detecting security-critical faults and vulnerabilities.

Software Modernization Planning and Execution

Develops decision support systems and execution strategies for planning cost-effective modernization of legacy software systems.

Machine Learning Model Extraction from Code

Investigates techniques to extract and understand learned behavior patterns from machine learning models embedded in software systems.

Automated Software License Compliance Checking

Creates systems to automatically detect license incompatibilities and compliance violations in software dependency graphs.

Fault Injection for Resilience Engineering

Develops principled fault injection techniques to systematically test and improve resilience properties of distributed systems.

Code Review Automation Using Deep Learning

Applies deep learning neural networks to automate detection of defects and violations during software code review processes.

Software Testing Oracles Generation Methods

Investigates automated techniques for generating test oracles that can determine correctness of system outputs without manual specification.

Database Schema Evolution and Migration

Studies version control, testing, and automated migration strategies for evolving database schemas in production environments.

Software Architecture Recovery from Code

Develops algorithms to reverse-engineer and reconstruct software architecture models from implementation code and execution traces.

Intrusion Detection for Software Systems

Creates machine learning-based systems to detect malicious behavior and attacks within running software applications.

Software Requirements Decomposition and Allocation

Investigates automated methods for decomposing complex requirements into implementable software components and test cases.

Program Invariant Discovery for Verification

Develops machine learning and statistical techniques to automatically discover loop and data invariants for formal verification.

Distributed System Debugging Frameworks

Creates tools and methodologies for diagnosing and reproducing issues in large-scale distributed systems through log analysis.

Vulnerability Pattern Mining from Repositories

Mines software repositories to discover recurring vulnerability patterns and develop detection strategies for similar vulnerabilities.

Software Testing Cost Estimation Models

Develops predictive models to estimate testing effort and costs based on software characteristics and historical project data.

API Usage Pattern Mining and Recommendation

Discovers common API usage patterns from source code repositories and provides intelligent recommendations for developers.

Concurrency Bug Detection and Reproduction

Develops tools to detect, reproduce, and fix race conditions and concurrency-related bugs in multithreaded software systems.

Software Traceability Link Prediction

Applies machine learning to predict missing traceability links between requirements, code, and test artifacts in large projects.

Program Repair with Semantic Constraints

Develops techniques for automatically fixing code defects while preserving semantic properties and functional requirements.

Real-Time Software System Monitoring

Creates low-overhead monitoring and profiling systems for continuous observation of production software system behavior.

Software Testing for Embedded Systems

Investigates testing methodologies specific to resource-constrained embedded systems with hardware dependencies and real-time constraints.

Code Obfuscation Resilience Analysis

Evaluates effectiveness of code obfuscation techniques against reverse engineering and develops improved obfuscation methods.

API Backward Compatibility Analysis Systems

Creates automated tools to detect API breaking changes and ensure backward compatibility across software versions.

Software Testing on Cloud Platforms

Investigates cloud-native testing strategies including on-demand resource allocation and distributed test execution.

Binary Code Similarity Analysis

Develops techniques to identify similar functionality across compiled binaries for vulnerability discovery and software forensics.

Impact Analysis for Software Changes

Creates methods to predict downstream impacts of code changes on other modules and guide comprehensive testing strategies.

Software Testing Accessibility and Inclusion

Develops testing frameworks and methodologies to ensure software accessibility for users with disabilities and diverse abilities.

Reproducibility in Software Research Studies

Investigates tools and practices to improve reproducibility and replicability of empirical software engineering research.

Compositional Verification of Distributed Consensus Protocols

Research on formal methods for verifying correctness and safety properties of distributed consensus algorithms through compositional reasoning and abstraction techniques.

Software Debugging with Interactive Causal Analysis

Investigation of causal inference techniques to automatically identify root causes of software failures through dynamic execution traces and interactive debugging paradigms.

Software Security Incident Response Automation

Develops automated systems to detect, classify, and respond to security incidents in software applications.

Type System Design for Concurrent Reactive Programming

Development of advanced type systems that statically prevent data races and atomicity violations in reactive and event-driven software architectures.

Machine Code Decompilation Techniques

Advances automated decompilation methods for converting machine code back to high-level code for analysis and understanding.

Software Clone Detection and Semantic Equivalence Analysis

Exploration of machine learning and semantic analysis methods to identify functionally equivalent code fragments across large codebases for maintainability improvement.

Metamodel-Based Code Generation for Domain Languages

Research on metamodel-driven approaches for automatically generating correct-by-construction code from high-level domain specifications and architectural models.

Vulnerability Prediction in Source Code Using Graph Learning

Application of graph neural networks and structural learning to predict security vulnerabilities and software defects from abstract syntax tree representations.

Software Configuration Space Exploration and Testing

Study of sampling and search techniques for efficiently testing highly configurable software systems across exponentially large feature combination spaces.

Just-In-Time Code Review Recommendation Systems

Development of predictive models using machine learning to recommend code review assignments and identify risky changesets requiring additional scrutiny.