Grigore Rosu 교수 연구실
Formal Systems Laboratory (FSL)
일리노이 대학교 어배너-섐페인 · 컴퓨터과학과
소개
일리노이 대학교 어배너-섐페인 컴퓨터과학과 소속 Grigore Rosu 교수의 등록된 연구 분야는 Programming languages, formal methods, runtime verification, automated reasoning입니다.
연구 키워드
최근 논문
- Evaluating Exact Output and Checkpoint-State Prediction in Real Programs프리프린트arXiv (Cornell University) · 10월 8일
- From Verification Failures to Reusable Guidance for Coding Agents프리프린트arXiv (Cornell University) · 9월 30일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Ion Stoica 교수 연구실
캘리포니아 대학교 버클리 · 전기컴퓨터공학부
TokenEconomizer: Experience-Driven Black-Box Cost Control for Coding Agents새 논문프리프린트arXiv (Cornell University) · 10월 15일겹치는 주제: Software Engineering Research
Clark Barrett 교수 연구실
스탠퍼드 대학교 · 컴퓨터과학과
CSLib: Building a Platform for AI-assisted Formal Verification in Lean새 논문OAPEN (The OAPEN Foundation) · 9월 1일겹치는 주제: Logic, programming, and type systems
Song Han 교수 연구실
매사추세츠 공과대학교 · 전기컴퓨터공학부
SoL-Pi: Recursively Scaling Auto-Research Loops for Efficient Agent Harness프리프린트arXiv (Cornell University) · 9월 17일겹치는 주제: Software Engineering Research
같은 학과의 다른 연구실
- 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
- Darko Marinov 교수 연구실
Software engineering, formal methods, programming languages