Scottish Programming Languages Seminar, Wednesday March 13th
The next Scottish Programming Languages Seminar will take place in St Andrews on Wednesday March 13th. All are welcome to attend, and the programme is available here.
Programming Languages
Why Homotopy type Theory (HoTT) matters – Professor Thorsten Altenkirch
Abstract: Dependent types are a wonderful way to construct correct functional programming and specify interfaces as Edwin has shown in his nice book on type driven development using a welsh dragon. But shall we go further in the esoteric world of homotopy type theory? I will try to motivate this and I am looking forward … Why Homotopy type Theory (HoTT) matters – Professor Thorsten Altenkirch
The OpenMP and MPI refactoring with ParaFormance – Turkey Alsalkini
Abstract: The increasing complexity of codes with the growing number of cores that should be utilised make such codes hard to optimise and maintain. In this talk, we present the OpenMP and MPI refactoring implemented in the ParaFormance tool. This tool transforms the sequential code into parallel code able to run on shared memory machines. … The OpenMP and MPI refactoring with ParaFormance – Turkey Alsalkini
A Type-System for describing System-on-a-Chip Architectures – Jan De Muijnck-Hughes
Title: A Type-System for describing System-on-a-Chip Architectures Abstract: The protocols that describe the interactions between IP Cores on System-on-a-Chip (SoC) architectures are well-documented. These protocols described not only the structural properties of the physical interfaces but also the behaviour of the emanating signals. However, there is a disconnect between the design of SoC architectures, their … A Type-System for describing System-on-a-Chip Architectures – Jan De Muijnck-Hughes
Diderot: A Parallel Domain-Specific Language for Image Analysis and Visualization – John Reppy
Diderot: A Parallel Domain-Specific Language for Image Analysis and Visualization Abstract: The analysis of structure in three-dimensional images is increasingly valuable for biomedical research and computational science. At the same time, the computational burden of processing images is increasing as devices produce images of higher resolution (e.g., typical CT scans have gone from 128^3 to … Diderot: A Parallel Domain-Specific Language for Image Analysis and Visualization – John Reppy
PhD viva success: Matus Tejiscak
Congratulations to Matus Tejiscak, who successfully defended his thesis yesterday. He is pictured with supervisor Dr Edwin Brady, Internal examiner Dr Chris Jefferson and external examiner Dr Andreas Abel, from the University of Gothenburg.
Compositional Coinduction with Sized Types – Dr. Andreas Abel
Abstract: Formal languages and automata are taught to every computer science student. However, the student will most likely not see the beautiful coalgebraic foundations, which use coindutive reasoning. In this talk, I recapitulate how infinite tries can represent formal languages (sets of strings). I explain Agda’s coinduction mechanism based on copatterns and sized types demonstrate … Compositional Coinduction with Sized Types – Dr. Andreas Abel