Difference between revisions of "Formal Systems Laboratory"

From FSL
Jump to: navigation, search
Line 26: Line 26:
  
  
{{Header | Research Areas}}
+
{{Header | Current Research Areas}}
: '''''[[Monitoring, Runtime Analysis and Testing]]'''''
+
: '''''[[Semantics of Programming Languages]]'''''
+
: '''''[[Specification Theory]]'''''
+
: '''''[[Term Rewriting and Rewriting Logic]]'''''
+
  
 +
: '''''[[Runtime Verification]]'''''
 +
: '''''[[K and Matching Logic | Programming Language Semantics]]'''''
 +
: '''''[[Circ | Behavioral Specification]]'''''
  
  

Revision as of 21:46, 4 August 2012

Quick Links Downarrow.png

Circ -- Online-sm.JPG

K

Matching Logic -- Online-sm.JPG

Maude Stepper---Online-sm.JPG

MOP

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
Runtime Verification
Programming Language Semantics
Behavioral Specification


News

2018-04-26: Xiaohong Chen received the 2018-2019 Yunni & Maxine Pao Memorial Fellowship.
2018-03-30: KEVM: A Complete Semantics of the Ethereum Virtual Machine was accepted to CSF 2018.
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.

[ all news ]

Personal tools
Namespaces

Variants
Actions
Navigation