Prof. Cristian Cadar — Research Profile
Imperial College London · Department of Computing
About
Prof. Cristian Cadar at Imperial College London Department of Computing lists Software engineering, security, software reliability as their registered research area.
Research keywords
Recent papers
- Repair-Driven Greybox FuzzingProceedings of the ACM on software engineering. · Oct 1
- Effective Fuzzing within CI/CD PipelinesACM Transactions on Software Engineering and Methodology · Aug 20
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Earl Barr 교수 연구실
University College London · Department of Computer Science
Cadence: Strategic Guidance for Coding AgentsNewPreprintarXiv (Cornell University) · Oct 8Shared topic: Software Engineering Research
Federica Sarro 교수 연구실
University College London · Department of Computer Science
When Code Becomes an LLM Call: An Empirical Study of Call-Site Contracts in Agentic SystemsNewPreprintarXiv (Cornell University) · Oct 17Shared topic: Software Engineering Research
Nobuko Yoshida 교수 연구실
University of Oxford · Department of Computer Science
Fine-grained Causal Reversibility for Asynchronous Channel-based ProgrammingPreprintarXiv (Cornell University) · Aug 29Shared topic: Software Testing and Debugging Techniques
Other labs in this department
- Abbas Edalat 교수 연구실
Computational geometry, optimization theory, game theory
- Alastair Donaldson 교수 연구실
Formal verification, software performance optimization
- Aldo Faisal 교수 연구실
Neurotechnology, machine learning, algorithmic behavior prediction
- Alessandra Russo 교수 연구실
Computational logic, logic-based machine learning, autonomous systems
- Alessio Lomuscio 교수 연구실
AI verification, computer vision validation, certified learning
- Andrew Davison 교수 연구실
Computer vision, robotics, SLAM, augmented reality