Geoffrey Mainland
Assistant Professor
Department of Information Science
Drexel University
United States of America
Biography
"Geoffrey Mainland is an assistant professor of computer science at Drexel University. Mainland's research focuses on high-level programming language and runtime support for non-general purpose computation. His work seeks to make it easier to exploit the power of special-purpose devices, like GPUs, that require specialized programming models for optimal efficiency. After obtaining an bachelor of arts degree in physics from Harvard, Mainland spent three years working in Silicon Valley. He then returned to Harvard, where he completed his doctorate in computer science in 2011. He was also a postdoctoral researcher with the Programming Principles and Tools group at Microsoft Research Cambridge (UK). Mainland's research interests span both the systems and programming languages communities. He has published papers at conferences such as Networked Systems Design and Implementation (NSDI) and the International Conference on Functional programming (ICFP). "
Research Interest
"High-level programming languages and runtime support for non-general purpose computation "
Publications
-
Geoffrey Mainland and Greg Morrisett. Nikola: Embedding compiled GPU functions in Haskell. In Proceedings of the third ACM Symposium on Haskell(Haskell’10), pages 67–78, Baltimore,Maryland, USA, 2010.
-
Gavin Bierman, Claudio Russo, Geoffrey Mainland, Erik Meijer, and Mads Torgersen. Pause ’n’ play: Formalizing asynchronous C♯. In Proceeedings of the ƻƿth European Conference on Object-Oriented Programming (ECOOP’12), Lecture Notes in Computer Science, pages 233—257, Beijing, China, jan 2012.
-
Geoffrey Mainland. Explicitly heterogeneous metaprogramming with MetaHaskell. In Proceedings of the 17th ACM SIGPLAN International Conferenceon Functional Programming(IFCP ’12), pages 311—322, Copenhagen, Denmark, 2012.
