Computer Science @ University of St Andrews

University of St Andrews crest

Dr Edwin Brady

Dr Edwin Brady

Lecturer

Research profile

Email: ecb10@st-andrews.ac.uk

Room: 1.26 - Jack Cole Building, North Haugh

Direct phone: +44 (0)1334 463271

Home page: http://eb.host.cs.st-andrews.ac.uk

Recent Publications

Programming in Idris: a Tutorial

Brady, EC Programming in Idris: a Tutorial .

Epic—A Library for Generating Compilers

Brady, EC 2012, ' Epic—A Library for Generating Compilers '. in Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers. Lecture Notes in Computer Science, Springer-Verlag, pp. 33-48, 12th International Symposium, Trends in Functional Programming (TFP) 2011, Madrid, Spain, 16-18 May.

Resource-Safe Systems Programming with Embedded Domain Specific Languages

Brady, EC & Hammond, K 2012, ' Resource-Safe Systems Programming with Embedded Domain Specific Languages '. in C Russo & N-F Zhou (eds), Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings. vol. 7149, Lecture Notes in Computer Science, Springer, pp. 242-257, 14th International Symposium, PADL 2012, Philadelphia, PA, United States, 23-24 January.

Idris --- Systems Programming Meets Full Dependent Types

Brady, E 2011, ' Idris --- Systems Programming Meets Full Dependent Types '.

Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation

Brady, E & Hammond, K 2010, ' Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation '. in ICFP '10: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming. ACM, pp. 297-308, ICFP 2010 - The 15th ACM SIGPLAN International Conference on Functional Programming , Baltimore, United States, 27-29 September.

Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols

Brady, E & Hammond, K 2010, ' Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols ' Fundamenta Informaticae , vol 102, no. 2, pp. 145-176.

Domain Specific Languages (DSLs) for Network Protocols (Position Paper)

Bhatti, S , Brady, E , Hammond, K & McKinna, J 2009, ' Domain Specific Languages (DSLs) for Network Protocols (Position Paper) ' ICDCS: 2009 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS , pp. 208-213.

Lightweight Invariants with Full Dependent Types

Brady, EC , Herrmann, CA & Hammond, K 2008, ' Lightweight Invariants with Full Dependent Types '. in Trends in Functional Programming. Intellect Books.

Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types

Brady, EC , Hammond, K & McKinna, JH 2007, ' Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types, '. in Trends in Functional Programming. Intellect Books.

A Verified Staged Interpreter is a Verified Compiler: Multi-stage Programming with Dependent Types

Brady, E & Hammond, K 2006, ' A Verified Staged Interpreter is a Verified Compiler: Multi-stage Programming with Dependent Types ' pp. 111--120.

© University of St Andrews 2013. All rights reserved.

The University of St Andrews is a charity registered in Scotland, No SC013532.

School of Computer Science, Jack Cole Building, North Haugh, St Andrews, Fife KY16 9SX, Scotland, UK.

Phone: +44 (0)1334 463253