Iavor S. Diatchki

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

Collaborative distances:

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

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

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

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, Daniel Wagner, Simon Winwood

CoRR, 2024

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