Edwin Brady (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Saleem Bhatti, Edwin Brady, Kevin Hammond, James McKinna: Domain Specific Languages (DSLs) for Network Protocols (Position Paper). ICDCS Workshops 2009: 208-213

4 Edwin Brady, Kevin Hammond: A verified staged interpreter is a verified compiler. GPCE 2006: 111-120

2 Edwin Brady, Kevin Hammond: A Dependently Typed Framework for Static Analysis of Program Execution Costs. IFL 2005: 74-90

Selection of 3 from 5 records - Edwin Brady has 4 coauthors

5		Saleem Bhatti, Edwin Brady, Kevin Hammond, James McKinna: Domain Specific Languages (DSLs) for Network Protocols (Position Paper). ICDCS Workshops 2009: 208-213
4		Edwin Brady, Kevin Hammond: A verified staged interpreter is a verified compiler. GPCE 2006: 111-120
2		Edwin Brady, Kevin Hammond: A Dependently Typed Framework for Static Analysis of Program Execution Costs. IFL 2005: 74-90