Formal Systems Laboratory

From FSL

Quick Links JavaMOP jPredictor Circ -- K K-Scheme--- BusMOP Welcome to the Formal Systems Laboratory (FSL) at UIUC. We design and develop theoretical models, specification and programming languages and methodologies, as well as software analysis prototypes and tools, all aiming at increasing the quality of computing systems.

Research Areas

Monitoring, Runtime Analysis and Testing

Semantics of Programming Languages

Specification Theory

Term Rewriting and Rewriting Logic

News

2007-10-18: ptCaRet page has been launched

2007-10-2: jPredictor 0.2 has been released

2007-07-2: K-Scheme page has been launched

2007-06-11: FMOODS'07 paper on tuning analysis performance for object-oriented languages defined using rewriting logic semantics was published in LNCS 4468, pp 107-121

2007-04-20: MProlog page has been launched

[ all news ]