Iavor S. Diatchki

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 4

Top Topics

Wide Acceptance

Programming Language

Top Venues

Proc. ACM Program. Lang.

Publications

Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoît Razet, Cole Schlesinger, Simon Winwood
Daedalus: Safer Document Parsing. Proc. ACM Program. Lang. 8 (PLDI) (2024)
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, Daniel Wagner, Simon Winwood
Macaw: A Machine Code Toolbox for the Busy Binary Analyst. CoRR (2024)
David Thrane Christiansen, Iavor S. Diatchki, Robert Dockins, Joe Hendrix, Tristan Ravitch
Dependently typed Haskell in industry (experience report). Proc. ACM Program. Lang. 3 (ICFP) (2019)
Iavor S. Diatchki
Improving Haskell types with SMT. Haskell (2015)
John Launchbury, Iavor S. Diatchki, Thomas DuBuisson, Andy Adams-Moran
Efficient lookup-table protocol in secure multiparty computation. ICFP (2012)
Iavor S. Diatchki, Lee Pike, Levent Erkök
Practical Considerations in Control-Flow Integrity Monitoring. ICST Workshops (2011)
Mark P. Jones, Iavor S. Diatchki
Language and program design for functional dependencies. Haskell (2008)
Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach
Writing systems software in a functional language: an experience report. PLOS@SOSP (2007)
Iavor S. Diatchki, Mark P. Jones
Strongly typed memory areas programming systems-level data structures in a functional language. Haskell (2006)
Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie
High-level views on low-level representations. ICFP (2005)
Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren
A formal specification of the Haskell 98 module system. Haskell (2002)