This page is organised as a list of researchers working in the field of synchronous languages, compilers, tools, applications, and so on. A short sentence states what they do more precisely. Send us an email with a short sentence describing your work if you want to appear in this list:
Charles André: SyncCharts, a graphical synchronous model fully compatible with Esterel.
Ramesh Bharadwaj: Synchronous programming in SCR/SAL/SOL; distributed synchronous language implementation (SINS/SOL). Methods and tools for synchronous programming; the use of decision procedures and combinations thereof (Salsa) for formal verification of synchronous programs.
Albert Benveniste: Signal language, joint handling of synchrony and asynchrony in distributed architectures, and heterogenous models in general.
Frédéric Boussinot: Reactive languages with dynamic creation of new parallel components: Reactive-C, Junior, FairThreads.
Jean-Ferdy Susini: Reactive languages with dynamic creation of new parallel components: SugarCubes.
Stephen Edwards: CEC Esterel compiler.
Alain Girault: automatic code distribution (ocrep software), fault tolerance, discrete controller synthesis.
Nicolas Halbwachs: Lustre language, verification by model-checking and abstract interpretation.
Florence Maraninchi: Argos synchronous language, and mode automata.
Ioannis Parissis: Automated testing of synchronous software.
Marc Pouzet: Synchronous and functional programming; program analysis; implementation of Lucid Synchrone, an ML extension of Lustre.
S. Ramesh: Processor Specification and Verification using Esterel Tools, Slicing of Synchronous languages like Esterel and Argos, Communicating Reactive State Machines (CRSM).
Pascal Raymond: Lustre language and associated tools (compiler, model-checker, tester).
Jan Romberg:AutoFocus, a graphical CASE tool with synchronous semantics; multitask and multiprocessor distribution of synchronous programs for real-time control.
Éric Rutten: Domain-specific languages for the safe programming of hybrid continuous/discrete control systems; applications of discrete controller systhesis.
Ingo Sander: Development of ForSyDe, a system design methodology that uses a synchronous computational model, expressed in the functional language Haskell, for the initial specification model. This model is then stepwise refined into the final implementation.
Yves Sorel: Optimized codesign for distributed real-time embedded applications, system level CAD software SynDEx.
Jean-Pierre Talpin: The open Polychrony tool-set, the implementation of Signal - Refinement-based and flow-invariant design of correct-by-construction GALS architectures starting from multi-clocked specifications - Model of high-level design languages and concurrent execution models in Signal (e.g. SystemC, real-time Java) - Formal methods for refinement and conformance checking.
Christophe Mauras: verification of numerical properties of embedded systems; constraint programming.
Partha Roop: EMPEROR - A Synchronous Multiprocessor for Direct Esterel Execution, Synchronous languages for resource constrained embedded system design, Reuse methodology for synchronous programs (forced simulation), Reactive Processors (REFLIX, HiDRA) inspired by the synchronous paradigm.
And second, here is an incomplete list of research labs working on synchronous languages, compilers, tools, applications, and so on. Send us an email if you want your lab to appear in this list:
Pop Art (Inria): Grenoble, France.
CFDVS (Center for Formal design and Verification of Software, IIT): Bombay, Mumbai, India.
CHACS/NRL (Center for High Assurance Computer Systems/ Naval Research Laboratory): Washington, DC, USA.
Espresso (Irisa): Rennes, France.
SAM (Royal Institute of Technology): Stockholm, Sweden.
LSR (IMAG): Grenoble, France.
Mimosa (Inria): Sophia-Antipolis, France.
Ostre (Inria): Paris, France.
S4 (Irisa): Rennes, France.
SPI (LIP6): Paris, France.
Sports (I3S): Nice, France.
Aoste (Inria): Nice, France.
TCS / TIFR (Technology and Computer Science group / Tata Institute of Fundamental Research): Mumbai, India.
Verimag (CNRS, UJF, INPG): Grenoble, France.
Vertecs (Irisa): Rennes, France.
Embedded Systems Research Group (Department of Electrical and Computer Engineering, University of Auckland): Auckland, New Zealand.