School Seminars

Seminar: ‘Formalizing Garbage: Mathematical Models of Memory Management’ by Jeremy Singer

Abstract: Garbage collection is no longer an esoteric research interest. Mainstream programming languages like Java and C# rely on high-performance memory managed run time systems. In this talk, I will motivate the need for rigorous models of memory management to enable more powerful analysis and optimization techniques. I will draw on a diverse range of Seminar: ‘Formalizing Garbage: Mathematical Models of Memory Management’ by Jeremy Singer

The Design and Implementation of Feldspar

By: Josef Svenningsson, Chalmers University of Technology, Sweden Feldspar is a domain specific language with the goal of raising the level of abstraction for performance sensitive, low-level code. Feldspar is a functional language embedded in Haskell, which offers a high-level style of programming. The key to generating generating efficient code from such descriptions is to The Design and Implementation of Feldspar