Difference between revisions of "Formal Systems Laboratory"

From FSL
Jump to: navigation, search
Line 7: Line 7:
[[k: | K]]
[[k: | K]] -- {{TryItOnline|http://www.kframework.org/tool/run/}}
[[:ml:Matching Logic|Matching Logic]] -- {{TryItOnline|:ml:Special:MatchCOnline}}
[[:ml:Matching Logic|Matching Logic]] -- {{TryItOnline|:ml:Special:MatchCOnline}}

Revision as of 14:38, 16 October 2013

Quick Links Downarrow.png

K -- Online-sm.JPG

Matching Logic -- Online-sm.JPG


Circ -- Online-sm.JPG

Welcome to the Formal Systems Laboratory (FSL) of the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC). FSL was founded in 2002 by Grigore Rosu, when he joined UIUC (from NASA Ames). In the FSL, we design and develop

  • foundational and theoretical models,
  • specification and programming languages, techniques and methodologies, as well as
  • software analysis prototypes and tools,

all aiming at increasing the quality of computing systems.

Current Research Areas
Programming Language Design and Semantics
Runtime Verification
Behavioral Specification


2017-12-21: Program Verification by Coinduction was accepted at ESOP 2018.
2017-12-18: Approximate Transformations as Mutation Operators was accepted at ICST 2018.
2017-12-13: DeFlaker: Automatically Detecting Flaky Tests was accepted at ICSE 2018.
2017-11-02: Everett Hildenbrandt presents the KEVM work at Devcon3, video here.
2017-10-12: 25px-Zip_icon.png PPTX Info_circle.png Grigore Rosu gave an invited talk at LOPSTR'17.

[ all news ]

Personal tools