Iavor S. Diatchki

According to our database, Iavor S. Diatchki authored at least 9 papers between 2002 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Dependently typed Haskell in industry (experience report).

David Thrane Christiansen, Iavor S. Diatchki, Robert Dockins, Joe Hendrix, Tristan Ravitch

Proc. ACM Program. Lang., 2019

2015

Improving Haskell types with SMT.

Iavor S. Diatchki

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2012

Efficient lookup-table protocol in secure multiparty computation.

John Launchbury, Iavor S. Diatchki, Thomas DuBuisson, Andy Adams-Moran

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

Practical Considerations in Control-Flow Integrity Monitoring.

Iavor S. Diatchki, Lee Pike, Levent Erkök

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2008

Language and program design for functional dependencies.

Mark P. Jones, Iavor S. Diatchki

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

2007

Writing systems software in a functional language: an experience report.

Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach

Proceedings of the 4th workshop on Programming languages and operating systems, 2007

2006

Strongly typed memory areas programming systems-level data structures in a functional language.

Iavor S. Diatchki, Mark P. Jones

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2006

2005

High-level views on low-level representations.

Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2002

A formal specification of the Haskell 98 module system.

Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren

Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, 2002