Paper on our experiences with writing the Xen control stack in OCaml at ICFP 2010
Using functional programming within an industrial product group: perspectives and perceptionsDave Scott, Richard Sharp, Thomas Gazagnaire, and Anil Madhavapeddy.Paper in the proceedings of the 15th ACM SIGPLAN international conference on Functional programming.URL (dl.acm.org) DOI BIB PDF
Using functional programming within an industrial product group: perspectives and perceptions
Dave Scott, Richard Sharp, Thomas Gazagnaire, and Anil Madhavapeddy.
Paper in the proceedings of the 15th ACM SIGPLAN international conference on Functional programming.
URL (dl.acm.org) DOI BIB PDF
Anil Madhavapeddy, Professor of Planetary Computing 
papers