Iavor S. Diatchki
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2002–2015
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | HASKELL | Improving Haskell types with SMT. | Iavor S. Diatchki |
| 2012 | ICFP | Efficient lookup-table protocol in secure multiparty computation. | John Launchbury, Iavor S. Diatchki, Thomas DuBuisson, Andy Adams-Moran |
| 2011 | ICST | Practical Considerations in Control-Flow Integrity Monitoring. | Iavor S. Diatchki, Lee Pike, Levent Erkk |
| 2008 | HASKELL | Language and program design for functional dependencies. | Mark P. Jones, Iavor S. Diatchki |
| 2007 | SOSP | Writing systems software in a functional language: an experience report. | Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach |
| 2006 | HASKELL | Strongly typed memory areas programming systems-level data structures in a functional language. | Iavor S. Diatchki, Mark P. Jones |
| 2005 | ICFP | High-level views on low-level representations. | Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie |
| 2002 | HASKELL | A formal specification of the Haskell 98 module system. | Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren |