University of Cambridge > Talks.cam > Microsoft Research Summer School > From program analysis research to industrial programming language development

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

From program analysis research to industrial programming language development

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Dr Fabien Petitcolas.

Abstract: During my PhD I was offered the chance to be an intern with the Oslo product team at Microsoft in Redmond. As a research student in program analysis with some industrial experience, I was in the privileged position of being able to work on the design and implementation of a new programming language called M. After completing my PhD I accepted a job offer to continue working with the Oslo team on the M programming language. In this talk I will describe my PhD work, how it led me to my current job and what it’s like as a former research student in industry.

Biography: Andy Maule is a software development engineer at Microsoft Corporation working on the M programming language as part of the Oslo project. He completed his PhD at University College London in 2009, studying static analysis of programming languages to help mitigate the effects of database schema changes. His interests include programming languages, program analysis and software engineering process and tools.

This talk is part of the Microsoft Research Summer School series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Tencent Talk: Fast and Furious Explore the Ever-changing Digital China Department of Geography - Book launch Sinew Speakers Series

Other talks

Stereodivergent Catalysis, Strategies and Tactics Towards Secondary Metabolites as enabling tools for the Study of Natural Products Biology Reframing African Studies through Languages and Translation: Overcoming Barricades to Knowledge and Knowledge Management "Vectorbuilder: Revolutionising Vector Design & Custom Cloning" (25 min seminar) followed by "Advanced Technologies For Rapid Generation Of Custom Designed Animal Models" (25 min seminar) POSTPONED - Acoustics in the 'real world' - POSTPONED The MHC ligandome of two contagious cancers within the Tasmanian devil population, Devil Facial Tumour 1 and Devil Facial Tumour 2 TBC Katie Field - Symbiotic options for the conquest of land Structural basis for human mitochondrial DNA replication, repair and antiviral drug toxicity Inferring the Evolutionary History of Cancers: Statistical Methods and Applications Retinal mechanisms of non-image-forming vision The Exposome in Epidemiological Practice
 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity