| Posts | Date Created | Categories |
|---|---|---|
| Type-Systems for Describing System-on-a-Chip Architectures. | July 12, 2018 | idris,soc,hardware,linear-types,dependent-types,border-patrol,tdd,pl-interest,glasgow,talks |
| A Type-System for describing System-on-a-Chip Architectures. | April 5, 2018 | idris,soc,hardware,linear-types,dependent-types,border-patrol,tdd,stacs-fp,glasgow,talks |
| A Type-System for describing the Structural Topology of System-on-a-Chip Architectures. | February 28, 2018 | idris,soc,hardware,linear-types,dependent-types,border-patrol,tdd,msp101,glasgow,talks |
| Designing Hardware using Session Types and Dependent Types---A First Look | October 11, 2017 | glasgow,idris,session-types,border-patrol,tdd,spls,talks |
| Border Patrol':' Improving Hardware Security through Type-Aware Systems Design | September 12, 2017 | idris,glasgow,talks,arm-summit |
| Mapping dataflow programs to FPGAs | June 26, 2017 | fpga,dataflow,talks |
| High Level DSLs for HPC, GPUs and FPGAs; Are There DSLs? | March 29, 2017 | dsls,fpga,talks |