Régis Cridlig

An optimizing ML to C compiler

Regis Cridlig, Régis Cridlig, 1992 .

Semantic analysis of shared-memory concurrent languages using abstract model-checking

Régis Cridlig, Régis Cridlig, 1995, PEPM '95.

Implementing a Static Analyzer of Concurrent Programs: Problems and Perspectives

Régis Cridlig, Régis Cridlig, 1996, LOMAPS.

Semantics and Analysis of Linda-Based Languages

Eric Goubault, Régis Cridlig, É. Goubault, 1993, WSA.

Semantic analysis of concurrent ML by abstract model-checking

Régis Cridlig, Régis Cridlig, 1996, INFINITY.