Concepedia

Iavor S. Diatchki

IS

Statistics

Publications

7

Citations

160

H-Index

7

Active since

2002

Affiliations

Galois (United States)(Current)

Oregon Health & Science University

Portland State University

Iavor S. Diatchki is an author at Galois (United States) specializing in computer science, computing, and type systems.

Publications per year

2002–2015

7

Publications

7

Efficient lookup-table protocol in secure multiparty computation

John Launchbury, Iavor S. Diatchki, Thomas Dubuisson et al. · 2012 · 44 citations

Computing, Computer Engineering, Computer Science +15

High-level views on low-level representations

Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie · 2005 · 24 citations

Computing, Computer Science, Computer Systems +17

Language and program design for functional dependencies

Mark P. Jones, Iavor S. Diatchki · 2008 · 23 citations

Computing, Computer Science, Compilers +11

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

Iavor S. Diatchki, Mark P. Jones · 2006 · 20 citations

Computing, Computer Science, Computer Systems +17

A formal specification of the Haskell 98 module system

Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren · 2002 · 18 citations

Computing, Computer Science, Formal Methods +10

1–5 of 7