Darko Marinov 교수 연구 프로필
일리노이 대학교 어배너-섐페인 · 컴퓨터과학과
소개
일리노이 대학교 어배너-섐페인 컴퓨터과학과 소속 Darko Marinov 교수의 등록된 연구 분야는 Software engineering, formal methods, programming languages입니다.
연구 키워드
최근 논문
- Re-evaluating Detection of Equivalent Mutants using LLMs: We Should Properly Measure How Far We AreProceedings of the ACM on software engineering. · 10월 1일
- The Discreet Charm of the Bugeoisie: A First Look at Bug Reports Created by ResearchersProceedings of the ACM on software engineering. · 10월 1일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Vyas Sekar 교수 연구실
카네기멜런 대학교 · 전기컴퓨터공학과
Agentic RCA for Internet-Scale Services Using Constrained Creativity프리프린트arXiv (Cornell University) · 10월 6일겹치는 주제: Software System Performance and Reliability
Claire Tomlin 교수 연구실
캘리포니아 대학교 버클리 · 전기컴퓨터공학부
ATLAS-AL: Adaptive Trust-Region for Latent Adversarial Searches via Active Learning새 논문프리프린트arXiv (Cornell University) · 10월 5일겹치는 주제: Software Testing and Debugging Techniques
Ion Stoica 교수 연구실
캘리포니아 대학교 버클리 · 전기컴퓨터공학부
MobileCybench: Evaluating Agent Vulnerability Discovery via Executable Probes프리프린트arXiv (Cornell University) · 9월 21일겹치는 주제: Software Testing and Debugging Techniques
같은 학과의 다른 연구실
- Bo Li 교수 연구실
Trustworthy machine learning, adversarial machine learning, security and privacy
- Brighten Godfrey 교수 연구실
Networked systems, software-defined networking, data center architectures, network verification
- Chandra Chekuri 교수 연구실
Theory and algorithms, approximation algorithms, graph algorithms, combinatorial optimization
- ChengXiang Zhai 교수 연구실
Information retrieval, data mining, natural language processing, bioinformatics
- Craig Zilles 교수 연구실
Computer architecture, compilers, computer science education, learning analytics
- David Forsyth 교수 연구실
Computer vision, computer graphics, machine learning