She is one of the developers of Coccinelle, a tool for finding patterns and making systematic transformations of source code,[1][2][3] and she has also done research on domain-specific languages for operating systems.
Her dissertation, Continuation Introduction and Elimination in Higher-Order Programming Languages, was jointly supervised by Daniel P. Friedman and Olivier Danvy.
Her paper with Harry Mairson, "Optimality and inefficiency: what isn’t a cost model of the lambda calculus?
", on the optimization criteria for finding normal forms in the lambda calculus, won the inaugural Most Influential ICFP Paper Award of ACM SIGPLAN, ten years after its publication in 1996.
The paper introduced Cocinelle and described its use in maintaining device drivers to keep them synchronized with operating system changes.