Iavor S. Diatchki

13 papers A 2C 5Journal 4Unranked 2

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Crux, a Precise Verifier for Rust and Other Languages. CoRR Stuart Pernsteiner, Iavor S. Diatchki, Robert Dockins, Mike Dodds, Joe Hendrix, Tristan Ravitch, Patrick Redmond, Ryan G. Scott, Aaron Tomb
2024	J	`jnl`	Daedalus: Safer Document Parsing. Proc. ACM Program. Lang. Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoît Razet, Cole Schlesinger, Simon Winwood
2024	J	`jnl`	Macaw: A Machine Code Toolbox for the Busy Binary Analyst. CoRR 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
2019	J	`jnl`	Dependently typed Haskell in industry (experience report). Proc. ACM Program. Lang. David Thrane Christiansen, Iavor S. Diatchki, Robert Dockins, Joe Hendrix, Tristan Ravitch
2017	C	`ed.`	Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017 Haskell Iavor S. Diatchki
2015	C	`conf`	Improving Haskell types with SMT. Haskell Iavor S. Diatchki
2012	A	`conf`	Efficient lookup-table protocol in secure multiparty computation. ICFP John Launchbury, Iavor S. Diatchki, Thomas Dubuisson, Andy Adams-Moran
2011	—	`conf`	Practical Considerations in Control-Flow Integrity Monitoring. ICST Workshops Iavor S. Diatchki, Lee Pike, Levent Erkök
2008	C	`conf`	Language and program design for functional dependencies. Haskell Mark P. Jones, Iavor S. Diatchki
2007	—	`conf`	Writing systems software in a functional language: an experience report. PLOS@SOSP Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach
2006	C	`conf`	Strongly typed memory areas programming systems-level data structures in a functional language. Haskell Iavor S. Diatchki, Mark P. Jones
2005	A	`conf`	High-level views on low-level representations. ICFP Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie
2002	C	`conf`	A formal specification of the Haskell 98 module system. Haskell Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren