Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Causalité modulaire dans un langage de flots synchrone., and . JFLA, page 113-128. INRIA, (2001)Detecting Strict Aliasing Violations in the Wild., , and . VMCAI, volume 10145 of Lecture Notes in Computer Science, page 14-33. Springer, (2017)Modular Causality in a Synchronous Stream Language., and . ESOP, volume 2028 of Lecture Notes in Computer Science, page 237-251. Springer, (2001)A Value Analysis for C Programs., , and . SCAM, page 123-124. IEEE Computer Society, (2009)A Mergeable Interval Map., and . Stud. Inform. Univ., 9 (1): 5-37 (2011)Optimal inverse projection of floating-point addition., , and . Numer. Algorithms, 83 (3): 957-986 (2020)Test-case reduction for C compiler bugs., , , , , and . PLDI, page 335-346. ACM, (2012)Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2., and . ML, page 13-22. ACM, (2008)