A formal specification of the Haskell 98 module system. - Iavor S. Diatchki; Mark P. Jones; Thomas Hallgren (Haskell, 2002)

High-level views on low-level representations. - Iavor S. Diatchki; Mark P. Jones; Rebekah Leslie (ICFP, 2005)

Strongly typed memory areas programming systems-level data structures in a functional language. - Iavor S. Diatchki; Mark P. Jones (Haskell, 2006)

Writing systems software in a functional language: an experience report. - Iavor S. Diatchki; Thomas Hallgren; Mark P. Jones; Rebekah Leslie; Andrew Tolmach (PLOS@SOSP, 2007)

Language and program design for functional dependencies. - Mark P. Jones; Iavor S. Diatchki (Haskell, 2008)

Practical Considerations in Control-Flow Integrity Monitoring. - Iavor S. Diatchki; Lee Pike; Levent Erkök (ICST Workshops, 2011)

Efficient lookup-table protocol in secure multiparty computation. - John Launchbury; Iavor S. Diatchki; Thomas DuBuisson; Andy Adams-Moran (ICFP, 2012)

Improving Haskell types with SMT. - Iavor S. Diatchki (Haskell, 2015)

Dependently typed Haskell in industry (experience report). - David Thrane Christiansen; Iavor S. Diatchki; Robert Dockins; Joe Hendrix; Tristan Ravitch (Proc. ACM Program. Lang., 2019)

Macaw: A Machine Code Toolbox for the Busy Binary Analyst. - Ryan G. Scott; Brett Boston; Benjamin Davis; Iavor S. Diatchki; Mike Dodds; Joe Hendrix; Daniel Matichuk; Kevin Quick; Tristan Ravitch; Valentin Robert; Benjamin Selfridge; Andrei Stefanescu; et al. (CoRR, 2024)

Crux, a Precise Verifier for Rust and Other Languages. - Stuart Pernsteiner; Iavor S. Diatchki; Robert Dockins; Mike Dodds; Joe Hendrix; Tristan Ravitch; Patrick Redmond; Ryan G. Scott; Aaron Tomb (CoRR, 2024)

Daedalus: Safer Document Parsing. - Iavor S. Diatchki; Mike Dodds; Harrison Goldstein; Bill Harris; David A. Holland; Benoît Razet; Cole Schlesinger; Simon Winwood (Proc. ACM Program. Lang., 2024)