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
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. ,
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
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
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
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
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
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
Formal verification of a synchronous data-flow compiler: from signal to c, 2014. ,
URL : https://hal.archives-ouvertes.fr/tel-01058041
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
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
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
Translation validation, 4th Intl. Conf. TACAS'98, volume LNCS 1384, pp.151-166, 1998. ,
DOI : 10.1007/BFb0054170
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
Evaluating value-graph translation validation for llvm, ACM SIGPLAN Conference on Programming and Language Design Implementation, 2011. ,
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