Prof. Darko Marinov — Research Profile
University of Illinois Urbana-Champaign · Computer Science
About
Prof. Darko Marinov at University of Illinois Urbana-Champaign Computer Science lists Software engineering, formal methods, programming languages as their registered research area.
Research keywords
Recent papers
- Re-evaluating Detection of Equivalent Mutants using LLMs: We Should Properly Measure How Far We AreProceedings of the ACM on software engineering. · Oct 1
- The Discreet Charm of the Bugeoisie: A First Look at Bug Reports Created by ResearchersProceedings of the ACM on software engineering. · Oct 1
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
Vyas Sekar 교수 연구실
Carnegie Mellon University · Electrical and Computer Engineering
Agentic RCA for Internet-Scale Services Using Constrained CreativityPreprintarXiv (Cornell University) · Oct 6Shared topic: Software System Performance and Reliability
Claire Tomlin 교수 연구실
University of California, Berkeley · Electrical Engineering and Computer Sciences
ATLAS-AL: Adaptive Trust-Region for Latent Adversarial Searches via Active LearningNewPreprintarXiv (Cornell University) · Oct 5Shared topic: Software Testing and Debugging Techniques
Ion Stoica 교수 연구실
University of California, Berkeley · Electrical Engineering and Computer Sciences
MobileCybench: Evaluating Agent Vulnerability Discovery via Executable ProbesPreprintarXiv (Cornell University) · Sep 21Shared topic: Software Testing and Debugging Techniques
Other labs in this department
- 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
- Text Information Management and Analysis Research (TIMAN)
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