Publications

Here are some of my papers:

Improving Haskell Types with SMT
by Iavor S. Diatchki
Haskell Symposium 2015
pdf

Efficient Lookup-Table Protocol in Secure Multiparty Computation
by John Launchbury, Iavor Diatchki, and Andy Adams-Moran
ICFP 2012
pdf

Language and Program Design for Functional Dependencies
by Mark P. Jones and Iavor Diatchki
Haskell Symposium 2008
pdf

Experience Report: Statically Typed Server APIs
by Eric Mertens, Iavor S. Diatchki
Submitted to ICFP 2008
pdf

Writing Systems Software in a Functional Language: An Experience Report
by Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach
PLOS 2007
pdf | bib

High-Level Abstractions for Low-Level Programming
by Iavor S. Diatchki
Ph.D. dissertation, May 2007
pdf | bib

Strongly Typed Memory Areas3
by Iavor S. Diatchki, Mark P. Jones
Haskell Workshop 2006
pdf | Haskell Workshop 2006 presentation (pdf) | bib

High-level Views on Low-level Representations1,2
by Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie
ICFP 2005
pdf | ICFP 2005 presentation (pdf) | bib

A Formal Specification for the Haskell 98 Module System
by Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren
Haskell Workshop 2002
pdf | source code (new Set API) | bib

Talks

Here are some of the talks that I have presented:

Introduction to GF, the Grammatical Framework
by Iavor S. Diatchki
Galois Tech Talk
slides

Notes:

  1. © ACM, (2005). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM SIGPLAN Notices, Volume 40, Issue 9, (September 2005) (Access article)
  2. This material is based upon work supported by the National Science Foundaition under Grant No. 0205737.
  3. © ACM, (2006). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM SIGPLAN Notices (Access article)