P. Aubry, P. L. Guernic, and S. Machard, Synchronous distribution of SIGNAL programs, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences, pp.656-665, 1996.
DOI : 10.1109/HICSS.1996.495517
URL : https://hal.archives-ouvertes.fr/hal-00544057

S. Blazy, Which C Semantics to Embed in the Front-end of a Formally Verified Compiler, Tools and Techniques for Verification of System Infrastructure, TTVSI, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00292441

R. Ballance, A. Maccabe, and K. Ottenstei, The Program Dependence Web: A Representation Supporting Control, Data, and Demand Driven Interpretation of Imperative Languages, Proc. of the SIGPLAN'90 Conference on Programming Language Design and Implementation, pp.257-271, 1990.

A. Benveniste and P. L. Guernic, Hybrid dynamical systems theory and the Signal language, IEEE Transactions on Automatic Control, vol.35, issue.5, pp.535-546, 1990.
DOI : 10.1109/9.53519
URL : https://hal.archives-ouvertes.fr/inria-00075715

L. Besnard, T. Gautier, P. L. Guernic, and J. Talpin, Compilation of Polychronous Data Flow Equations, Synthesis of Embedded Software Springer, pp.1-40, 2010.
DOI : 10.1007/978-1-4419-6400-7_1
URL : https://hal.archives-ouvertes.fr/inria-00540493

T. Gautier, P. L. Guernic, and L. Besnard, SIGNAL: A declarative language for synchronous programming of real-time systems, Proc. 3rd. Conf. on Functional Programming Languages and Computer Architecture, 1990.
DOI : 10.1007/3-540-18317-5_15
URL : https://hal.archives-ouvertes.fr/inria-00075791

T. Gautier and P. L. Guernic, Code generation in the SACRES project, Towards System Safety, Proceedings of the Safety-critical Systems Symposium, pp.127-149, 1999.
DOI : 10.1007/978-1-4471-0823-8_9
URL : https://hal.archives-ouvertes.fr/hal-00543824

O. Maffe¨?smaffe¨?s and P. L. Guernic, Distributed Implementation of Signal: Scheduling and Graph Clustering, 3rd International School and Symposium on Formal Techniques in Real-time and Fault-tolerant Systems, pp.547-566, 1994.

V. C. Ngo, J. Talpin, T. Gautier, P. L. Guernic, and L. Besnard, Formal Verification of Compiler Transformations on Polychronous Equations, Proceedings of 9th International Conference on Integrated Formal Methods IFM 2012, 2012.
DOI : 10.1007/978-3-642-30729-4_9
URL : https://hal.archives-ouvertes.fr/hal-00730393

V. C. Ngo, J. Talpin, T. Gautier, P. L. Guernic, and L. Besnard, Formal verification of synchronous data-flow program transformations toward certified compilers, Frontiers of Computer Science, Special Issue on Synchronous Programming, 2013.
DOI : 10.1007/s11704-013-3910-8
URL : https://hal.archives-ouvertes.fr/hal-00846279

V. C. Ngo, Formal Verification of a Synchronous Data-flow Compiler: from Signal to C
URL : https://hal.archives-ouvertes.fr/tel-01058041

A. Pnueli, M. Siegel, and E. Singerman, Translation validation, 4th Intl. Conf. TACAS'98, pp.151-166, 1998.
DOI : 10.1007/BFb0054170

A. Pnueli, O. Shtrichman, and M. Siegel, Translation Validation: From SIGNAL to C, Correct Sytem Design Recent Insights and Advances, pp.231-255, 2000.
DOI : 10.1007/3-540-48092-7_11

J. Tristan, P. Govereau, and G. Morrisett, Evaluating Value-graph Translation Validation for LLVM, ACM SIGPLAN Conference on Programming and Language Design Implementation, 2011.

R. Tate, M. Stepp, Z. Tatlock, and S. Lerner, Equility Saturation: A New Approach to Optimization, 36th Principles of Programming Languages, pp.264-276, 2009.

D. Weise, R. F. Crew, M. D. Ernst, and B. Steensgaard, Value dependence graphs, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '94, pp.297-310, 1994.
DOI : 10.1145/174675.177907