Iavor S. Diatchki

According to our database1, Iavor S. Diatchki authored at least 8 papers between 2005 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Dependently typed Haskell in industry (experience report).
Proc. ACM Program. Lang., 2019

2015
Improving Haskell types with SMT.
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2012
Efficient lookup-table protocol in secure multiparty computation.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011
Practical Considerations in Control-Flow Integrity Monitoring.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2008
Language and program design for functional dependencies.
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

2007
Writing systems software in a functional language: an experience report.
Proceedings of the 4th workshop on Programming languages and operating systems, 2007

2006
Strongly typed memory areas programming systems-level data structures in a functional language.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2006

2005
High-level views on low-level representations.
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005


  Loading...