Cristian Cadar 교수 연구 프로필
임페리얼 칼리지 런던 · 컴퓨터학과
소개
임페리얼 칼리지 런던 컴퓨터학과 소속 Cristian Cadar 교수의 등록된 연구 분야는 Software engineering, security, software reliability입니다.
연구 키워드
최근 논문
- Repair-Driven Greybox FuzzingProceedings of the ACM on software engineering. · 10월 1일
- Effective Fuzzing within CI/CD PipelinesACM Transactions on Software Engineering and Methodology · 8월 20일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Earl Barr 교수 연구실
유니버시티 칼리지 런던 · 컴퓨터과학과
Cadence: Strategic Guidance for Coding Agents새 논문프리프린트arXiv (Cornell University) · 10월 8일겹치는 주제: Software Engineering Research
Federica Sarro 교수 연구실
유니버시티 칼리지 런던 · 컴퓨터과학과
When Code Becomes an LLM Call: An Empirical Study of Call-Site Contracts in Agentic Systems새 논문프리프린트arXiv (Cornell University) · 10월 17일겹치는 주제: Software Engineering Research
Nobuko Yoshida 교수 연구실
옥스퍼드 대학교 · 컴퓨터과학과
Fine-grained Causal Reversibility for Asynchronous Channel-based Programming프리프린트arXiv (Cornell University) · 8월 29일겹치는 주제: Software Testing and Debugging Techniques
같은 학과의 다른 연구실
- 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