Iavor S. Diatchki

Most-cited papers

Efficient lookup-table protocol in secure multiparty computation
J. Launchbury, Iavor S. Diatchki, Thomas Dubuisson, Andy Adams-Moran
2012ACM SIGPLAN International Conference on Functional Programming55 citations
Semantic Scholar
Language and program design for functional dependencies
Mark P. Jones, Iavor S. Diatchki
2008ACM SIGPLAN Symposium/Workshop on Haskell27 citations Open access
Semantic Scholar
High-level views on low-level representations
Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie
2005ACM SIGPLAN International Conference on Functional Programming27 citations
Semantic Scholar
A formal specification of the Haskell 98 module system
Iavor S. Diatchki, Mark P. Jones, T. Hallgren
2002ACM SIGPLAN Symposium/Workshop on Haskell22 citations
Semantic Scholar
Strongly typed memory areas programming systems-level data structures in a functional language
Iavor S. Diatchki, Mark P. Jones
2006ACM SIGPLAN Symposium/Workshop on Haskell21 citations
Semantic Scholar
Improving Haskell types with SMT
Iavor S. Diatchki
2015ACM SIGPLAN Symposium/Workshop on Haskell20 citations
Semantic Scholar
High-Level Abstractions for Low-Level Programming
Iavor S. Diatchki
200714 citations
Semantic Scholar
Dependently typed Haskell in industry (experience report)
D. Christiansen, Iavor S. Diatchki, Robert Dockins, Joe Hendrix +1 more
2019Proc. ACM Program. Lang.8 citations Open access
Semantic Scholar
Daedalus: Safer Document Parsing
Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, B. Harris +4 more
2024Proc. ACM Program. Lang.6 citations Open access
Semantic Scholar
Writing systems software in a functional language: an experience report
Iavor S. Diatchki, T. Hallgren, Mark P. Jones, Rebekah Leslie +1 more
2007Programming Languages and Operating Systems6 citations
Semantic Scholar
Practical Considerations in Control-Flow Integrity Monitoring
Iavor S. Diatchki, P. Lee, Levent Erkök
20112011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops5 citations
Semantic Scholar
Crux, a Precise Verifier for Rust and Other Languages
Stuart Pernsteiner, Iavor S. Diatchki, Robert Dockins, Mike Dodds +5 more
2024arXiv.org4 citations
Semantic Scholar
Writing Systems Software in a Functional Language
Iavor S. Diatchki, T. Hallgren, Mark P. Jones, Rebekah Leslie +1 more
20071 citations
Semantic Scholar
Macaw: A Machine Code Toolbox for the Busy Binary Analyst
Ryan G. Scott, Brett Boston, Ben Davis, Iavor S. Diatchki +10 more
2024arXiv.org0 citations
Semantic Scholar
Capturing the iccMAX calculatorElement: A Case Study on Format Design
Vijay H. Kothari, P. Anantharaman, Sean W. Smith, B. Hitaj +5 more
20222022 IEEE Security and Privacy Workshops (SPW)0 citations
Semantic Scholar
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell
Iavor S. Diatchki
2017ACM SIGPLAN International Conference on Functional Programming0 citations
Semantic Scholar
Experience Report: Statically-Typed Server APIs
Eric Mertens, Iavor S. Diatchki
20080 citations
Semantic Scholar
Haskell Communities and Activities Report
Andres Löh, L. Allison, Tiago Miguel, Laureano Alves +92 more
20060 citations
Semantic Scholar
Haskell Communities and Activities Report
Andres Löh, P. Alexander, L. Allison, Tiago L. Alves +79 more
20050 citations
Semantic Scholar
Haskell Communities and Activities Report
P. Alexander, L. Allison, Krasimir Angelov, Alistair Bayley +73 more
20040 citations
Semantic Scholar