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

Event details

  • When: 6th October 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar, Talk

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 topics including thermodynamics, economics, machine learning and control theory.

Bio:

Jeremy Singer is a lecturer at the School of Computing Science, University of Glasgow, Scotland. He has research interests in programming languages,compilation, run time code optimization and memory management. Singer received his PhD from Cambridge in 2006. Website:http://www.dcs.gla.ac.uk/~jsinger