Difference between revisions of "Formal Systems Laboratory"

From FSL
Jump to: navigation, search
Line 23: Line 23:
 
all aiming at increasing the quality of computing systems.
 
all aiming at increasing the quality of computing systems.
 
|}
 
|}
<private>[http://fsl.cs.uiuc.edu/index.php?title=Special%3AAllPages&from=&to=&namespace=102 Private Pages]</private>
+
<private>You are now logged in.  Click to view [http://fsl.cs.uiuc.edu/index.php?title=Special%3AAllPages&from=&to=&namespace=102 Private Pages.]</private>
 
{{Header | Current Research Areas}}
 
{{Header | Current Research Areas}}
  

Revision as of 19:32, 26 April 2013


Quick Links Downarrow.png

K

Matching Logic -- Online-sm.JPG

MOP

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


News

2018-11-09: Xiaohong Chen gave a talk on the paper A Language-Independent Program Verification Framework at ISoLA 2018, Cyprus.
2018-11-05: Xiaohong Chen and Grigore Rosu gave a joint talk on the paper A Language-Independent Approach to Smart Contract Verification at ISoLA 2018, Cyprus.
2018-08-08: Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem was accepted at ISSRE 2018.
2018-07-25: Technical report on IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics.
2018-07-16: A Formal Verification Tool for Ethereum VM Bytecode was accepted at FSE 2018.

[ all news ]

Personal tools
Namespaces

Variants
Actions
Navigation