Any views expressed within media held on this service are those of the contributors, should not be taken as approved or endorsed by the University, and do not necessarily reflect the views of the University in respect of any particular issue.

Huawei-Edinburgh Joint Lab

Huawei-Edinburgh Joint Lab

  1. Huawei-Edinburgh Joint Lab
  2. tech talk
  3. 【BAYES COFFEE HOUSE TECH TALK SERIES】 Applied Programming Language Theory at Scale

【BAYES COFFEE HOUSE TECH TALK SERIES】 Applied Programming Language Theory at Scale

Have you ever wondered what it takes to evolve a programming language used by Facebook? How can we balance innovation with the realities of production on a massive scale? Join us for Nick Benton’s talk and help build the future of programming!

Title: Applied Programming Language Theory at Scale

Speaker: Nick Benton

Time: 05/01(Thur) 11:00-12:00 (UTC+01:00)London

Location: Bayes Coffee House Bayes Centre 4th Floor, 47 Potterrow, Edinburgh EH8 9BT

External: https://app.huawei.com/wmeeting/join/94300732/e63CVQfGjz0pwKxkIYXCGkFCiy8Toyd5T

Meeting ID: 94300732

Passcode: 362414

Registration: https://www.smartsurvey.co.uk/s/3N8U7J/

Abstract:

Facebook’s codebase is powered by a language called Hack, a typed evolution of PHP. We’ll dive into the story of how programming language theory shaped Hack’s design and implementation, and the new theory we developed along the way. We’ll also describe the challenges and compromises involved in evolving a language in active use at enormous scale.

Bio:

Nick Benton recently retired after 8 years as a software engineer and engineering manager at Meta in London, working mainly on the Hack language and the Infer static analyser. Prior to that, he spent 18 years at Microsoft Research in Cambridge.

His research ranges from proof theory and categorical logic, through semantics of programming languages and static analyses, to programming language design and compiler implementation. His thesis was on strictness analysis and he has since worked on topics that include term calculi and categorical models for linear logic, MLj and SML.NET (optimizing compilers from SML to the JVM and .NET with extensions for interlanguage working), Polyphonic C#/Cω (C# with join-calculus concurrency and XML/relational data constructs), monads and effect systems, models for dynamic allocation, compositional compiler correctness, mechanically formalized logics for reasoning about machine code programs, and reactive programming.

Nick has a degree in Mathematics and a PhD in Computer Science, both from the University of Cambridge, and is a Fellow Commoner of Queens’ College.

【BAYES COFFEE HOUSE TECH TALK SERIES】 Applied Programming Language Theory at Scale / Huawei-Edinburgh Joint Lab by blogadmin is licensed under a Creative Commons Attribution CC BY 3.0

Posted by

Categories

coffee house • tech talk

Tags

• • • • • •

Previous post

Next post

You are viewing the last post.

css.php

Report this page

To report inappropriate content on this page, please use the form below. Upon receiving your report, we will be in touch as per the Take Down Policy of the service.

Please note that personal data collected through this form is used and stored for the purposes of processing this report and communication with you.

If you are unable to report a concern about content via this form please contact the Service Owner.

Please enter an email address you wish to be contacted on. Please describe the unacceptable content in sufficient detail to allow us to locate it, and why you consider it to be unacceptable.
By submitting this report, you accept that it is accurate and that fraudulent or nuisance complaints may result in action by the University.

  Cancel