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

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, 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

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

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

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, p.274, 1990.
DOI : 10.1007/3-540-18317-5_15

URL : https://hal.archives-ouvertes.fr/inria-00075791

O. Maffeis and P. L. Guernic, Distributed implementation of SIGNAL: Scheduling & graph clustering, 3rd International School and Symposium on Formal Techniques in Real-time and Fault-tolerant Systems, volume LNCS 863, pp.547-566, 1994.
DOI : 10.1007/3-540-58468-4_183

URL : https://hal.archives-ouvertes.fr/hal-00544101

V. Ngo, Formal verification of a synchronous data-flow compiler: from signal to c, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01058041

V. 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, volume LNCS 7321, pp.113-127, 2012.
DOI : 10.1007/978-3-642-30729-4_9

URL : https://hal.archives-ouvertes.fr/hal-00730393

V. 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, vol.7321, issue.7, pp.598-616, 2013.
DOI : 10.1007/978-3-642-30729-4_9

URL : https://hal.archives-ouvertes.fr/hal-00846279

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

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

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.
DOI : 10.2168/lmcs-7(1:10)2011

URL : http://arxiv.org/pdf/1012.1802

J. Tristan, P. Govereau, and G. Morrisett, Evaluating value-graph translation validation for llvm, ACM SIGPLAN Conference on Programming and Language Design Implementation, 2011.

D. Weise, R. Crew, M. 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