Formal Systems Laboratory (FSL)
Formal Systems Laboratory (FSL)
University of Illinois Urbana-Champaign · Computer Science
About
Prof. Grigore Rosu at University of Illinois Urbana-Champaign Computer Science lists Programming languages, formal methods, runtime verification, automated reasoning as their registered research area.
Research keywords
Recent papers
- Evaluating Exact Output and Checkpoint-State Prediction in Real ProgramsPreprintarXiv (Cornell University) · Oct 8
- From Verification Failures to Reusable Guidance for Coding AgentsPreprintarXiv (Cornell University) · Sep 30
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
Ion Stoica 교수 연구실
University of California, Berkeley · Electrical Engineering and Computer Sciences
TokenEconomizer: Experience-Driven Black-Box Cost Control for Coding AgentsNewPreprintarXiv (Cornell University) · Oct 15Shared topic: Software Engineering Research
Clark Barrett 교수 연구실
Stanford University · Computer Science
CSLib: Building a Platform for AI-assisted Formal Verification in LeanNewOAPEN (The OAPEN Foundation) · Sep 1Shared topic: Logic, programming, and type systems
Song Han 교수 연구실
Massachusetts Institute of Technology · Department of Electrical Engineering and Computer Science
SoL-Pi: Recursively Scaling Auto-Research Loops for Efficient Agent HarnessPreprintarXiv (Cornell University) · Sep 17Shared topic: Software Engineering Research
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
- Darko Marinov 교수 연구실
Software engineering, formal methods, programming languages