Get started
Author

Iavor S. Diatchki

Observed names: Diatchki, Iavor, Diatchki, Iavor S., Diatchki, Iavor Sotirov, Iavor Diatchki
ORCID: 0009-0000-7795-4708
Observed ORCID: 0009-0000-7795-4708
OpenAlex ID: A5078168035
Efficient lookup-table protocol in secure multiparty computation
2012 · John Launchbury, Iavor S. Diatchki, et al. · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 46
High-level views on low-level representations
2005 · Iavor S. Diatchki, Mark P. Jones, et al. · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 26
Language and program design for functional dependencies
2008 · Mark P. Jones, Iavor S. Diatchki · International Symposium on Haskell · 22
Strongly typed memory areas programming systems-level data structures in a functional language
2006 · Iavor S. Diatchki, Mark P. Jones · International Symposium on Haskell · 22
Efficient lookup-table protocol in secure multiparty computation
2012 · John Launchbury, Iavor S. Diatchki, et al. · ACM SIGPLAN Notices · 18
A formal specification of the Haskell 98 module system
2002 · Iavor S. Diatchki, Mark P. Jones, et al. · International Symposium on Haskell · 18
Improving Haskell types with SMT
2015 · Iavor S. Diatchki · International Symposium on Haskell · 17
Dependently typed Haskell in industry (experience report)
2019 · David Thrane Christiansen, Iavor S. Diatchki, et al. · Proceedings of the ACM on Programming Languages · 10
PDF
High-Level Abstractions for Low-Level Programming
2007 · Diatchki, Iavor Sotirov · 9
Crux, a Precise Verifier for Rust and Other Languages
2024 · Pernsteiner, Stuart, Diatchki, Iavor S., et al. · arXiv (Cornell University) · 6
PDF
Daedalus: Safer Document Parsing
2024 · Iavor S. Diatchki, Mike Dodds, et al. · Proceedings of the ACM on Programming Languages · 6
Language and program design for functional dependencies
2008 · Mark P. Jones, Iavor S. Diatchki · ACM SIGPLAN Notices · 6
Practical Considerations in Control-Flow Integrity Monitoring
2011 · Iavor Diatchki, Lee Pike, et al. · IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) · 4
Writing systems software in a functional language: an experience report
2007 · Iavor S. Diatchki, Thomas Hallgren, et al. · Workshop on Programming Languages and Operating Systems (PLOS) · 4
High-level views on low-level representations
2005 · Iavor S. Diatchki, Mark P. Jones, et al. · ACM SIGPLAN Notices · 2
Capturing the iccMAX calculatorElement: A Case Study on Format Design
2022 · Vijay H. Kothari, Prashant Anantharaman, et al. · IEEE Security and Privacy Workshops (SPW) · 1
Improving Haskell types with SMT
2015 · Iavor S. Diatchki · ACM SIGPLAN Notices · 1
Writing Systems Software in a Functional Language
2007 · Iavor S. Diatchki, Thomas Hallgren, et al. · 1
Macaw: A Machine Code Toolbox for the Busy Binary Analyst
2024 · Scott, Ryan G., Boston, Brett, et al. · arXiv (Cornell University)
PDF
Experience Report: Statically-Typed Server APIs
2008 · Eric Mertens, Iavor S. Diatchki
Works count: 27
Citation count: 220
H-index: 9
I10-index: 8
Year
Topic
Type