Dilsun Kirli: Publications

Monograph

Papers

• Confined mobile functions . To appear in Proceedings of the 14th IEEE Computer Security Foundations Workshop , Nova Scotia, Canada, June 2001.



• Secure information flow for mobile functions . In Proceedings of the Workshop on Issues in the Theory of Security , Geneva, July 2000.



• An abstract machine model of dynamic module replacement (joint work with S. Gilmore and C. Walton). In Future Generation Computer Systems , Volume 16, Issue 7, page 793-808, May 2000.



• A survey on functions, concurrency, distribution and mobility . In Preliminary Proceedings of the 1st Scottish Functional Programming Workshop , Stirling, UK, September 1999.



• A static type system for detecting potentially transmissible functions . In P. Sewell and J. Vitek, editors, Proceedings of the 5th Mobile Object Systems Workshop: Programming Languages for Wide Area Networks , Lisbon, Portugal, June 1999.



• A polymorphic type and effect system for detecting mobile functions . Technical Report ECS-LFCS-99-413, Laboratory for Foundations of Computer Science, Division of Informatics, The University of Edinburgh, 1999.



• Dynamic ML without dynamic types (joint work with S. Gilmore and C. Walton). Technical Report ECS-LFCS-97-378, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh, 1998.



• A test case assessor for ML. MSc.Thesis. The University of Edinburgh, 1997
  
  

Poster

• Poster presented at the Informatics Jamboree in 2000 gives an overview of my PhD thesis.