Rebekah Leslie

According to our database, Rebekah Leslie authored at least 6 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2012

SMT-Based System Verification with DVF.

Amit Goel, Sava Krstic, Rebekah Leslie, Mark R. Tuttle

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

2007

Writing systems software in a functional language: an experience report.

Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach

Proceedings of the 4th workshop on Programming languages and operating systems, 2007

2006

Dynamic Intransitive Noninterference.

Rebekah Leslie

Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006

2005

Operating system construction in Haskell.

Rebekah Leslie, Mark P. Jones

Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

A principled approach to operating system construction in Haskell.

Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

High-level views on low-level representations.

Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005